GaloisInc/cryptol
1
1
Fork 0
mirror of https://github.com/GaloisInc/cryptol.git synced 2024-12-16 11:22:33 +03:00
Code Issues Projects Releases Wiki Activity
d11cc88633
cryptol/tests
History
Iavor S. Diatchki d11cc88633 Merge remote-tracking branch 'origin/master' into wip/cs
2015-02-25 14:21:20 -08:00
..
issues Merge remote-tracking branch 'origin/master' into wip/cs 2015-02-25 14:21:20 -08:00
mono-binds add load targets to search path 2015-02-17 15:27:59 -08:00
parser Initial import from internal repo 2014-04-17 15:34:25 -07:00
regression add load targets to search path 2015-02-17 15:27:59 -08:00
renamer add load targets to search path 2015-02-17 15:27:59 -08:00
.gitignore Initial import from internal repo 2014-04-17 15:34:25 -07:00
cryptol-test-runner.cabal Initial import from internal repo 2014-04-17 15:34:25 -07:00
Main.hs Modify testrunniner to figure out on its own if we have a dir or a test. 2015-02-25 14:19:11 -08:00
README Initial import from internal repo 2014-04-17 15:34:25 -07:00

README 

Test suites:

regression: tests from Cryptol-1's regression test suite.
issues: tests related to issues in the bug tracker.