Edwin BradyFix lambda multiplicity check4947a996 years agoHistory
NameLast commit messageLast commit date
..
chezMerge branch 'master' into fix-chez-in-folder-with-spaces6 years ago
ideModeAdd a lambda lifter6 years ago
idris2Fix lambda multiplicity check6 years ago
ttimpAdd tests for default implict record type arguments6 years ago
typedd-bookRabbit hole6 years ago
Main.idrFix lambda multiplicity check6 years ago
Makefile[ new ] interactive test runner6 years ago
README.mdAdd instructions on how to run a subset of the tests7 years ago
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.

Keyboard shortcuts

General

Show keyboard shortcuts
?
Focus the current search
/

Issues and pull requests

Open filters
f

Issues, pull requests and Inbox

Select next item
j↓
Select previous item
k↑
Open selected item
Enter
Dismiss filters or clear selection
Esc

Repository code

Go to file
t