edwinb/Idris2-boot
1
1
Fork 0
mirror of https://github.com/edwinb/Idris2-boot.git synced 2024-12-28 23:33:27 +03:00
Code Issues Projects Releases Wiki Activity
c458957bd6
Idris2-boot/tests
History
Edwin Brady c458957bd6 Get correct namespace in parameters blocks 
Fixes #132. When getting the names in the block, we need to return the
fully explicit name, because we can't assume they'll all be in the same
namespace as we can have namespaces inside parameters blocks.
2019-10-25 14:03:15 +01:00
..
chez Support foreign callbacks in Racket back end 2019-09-29 19:37:30 +01:00
ideMode Add optional version tag when build in between releases 2019-10-14 12:01:29 +06:00
idris2 Get correct namespace in parameters blocks 2019-10-25 14:03:15 +01:00
ttimp allow matching constants in with clauses fix #122 2019-10-15 21:52:44 +02:00
typedd-book Add '--no-banner' option 2019-09-24 20:26:25 +06:00
Main.idr Get correct namespace in parameters blocks 2019-10-25 14:03:15 +01:00
Makefile Add instructions on how to run a subset of the tests 2019-07-28 20:21:34 +02: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.