idris-lang/Idris2
1
1
Fork 0
mirror of https://github.com/idris-lang/Idris2.git synced 2024-09-21 10:18:23 +03:00
Code Issues Projects Releases Wiki Activity
26e6e1ed82
Idris2/tests
History
Edwin Brady 26e6e1ed82 Calculate compile time references even in case 
If we don't do this, we don't look inside case blocks to check they
cover, and so we might miss coverage errors in nested case blocks.
Fixes #202
2020-05-30 21:53:29 +01:00
..
chez Try to make Windows happy with backslashes 2020-05-28 16:42:56 +02:00
ideMode Experiment %syntactic flag on with 2020-05-29 16:39:11 +01:00
idris2 Calculate compile time references even in case 2020-05-30 21:53:29 +01:00
ttimp Add visibility rules on types 2020-05-30 17:03:15 +01:00
typedd-book Add visibility rules on types 2020-05-30 17:03:15 +01:00
Main.idr Calculate compile time references even in case 2020-05-30 21:53:29 +01:00
Makefile Make sure literals are normalise on LHS 2020-05-23 11:48:15 +01:00
README.md Add test script 2020-05-19 18:25:18 +01:00
tests.ipkg Windows support 2020-05-21 15:13:06 +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.