edwinb/Idris2-boot
1
1
Fork 0
mirror of https://github.com/edwinb/Idris2-boot.git synced 2024-09-11 16:05:51 +03:00
Code Issues Projects Releases Wiki Activity
9328579575
Idris2-boot/tests
History
Edwin Brady 9328579575 Hack for optimising some enumerations 
Really this should be generalised to any type that looks like an
enumeration after erasure, but this catches the most common options
quickly.
2020-05-11 18:10:08 +01:00
..
chez Hack for optimising some enumerations 2020-05-11 18:10:08 +01:00
ideMode Update test output 2020-04-27 14:45:06 +01:00
idris2 Fix laziness bookkeeping in unification 2020-05-09 19:19:26 +01:00
ttimp Change argument unification order 2020-04-28 11:31:18 +01:00
typedd-book Adjust some tests. 2020-04-18 12:19:17 +02:00
Main.idr Fix laziness bookkeeping in unification 2020-05-09 19:19:26 +01:00
Makefile [ new ] interactive test runner 2020-04-06 11:06:19 +01:00
README.md Add instructions on how to run a subset of the tests 2019-07-28 20:21:34 +02:00

README.md

Tests

Note: The commands listed in this section should be run from the repository's root folder.

Run all tests: make test

To run only a subset of the tests use: make test only=NAME. NAME is matched against the path to each test case.

Examples:

  • make test only=chez will run all Chez Scheme tests.
  • make test only=ttimp/basic will run all basic tests for TTImp.
  • make test only=idris2/basic001 will run a specific test.