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
9b7e46724c
cryptol/tests
History
Trevor Elliott 9b7e46724c Give 100 fixity levels, and fix prelude fixity again 
Also fix issue198, which had been accidentally updated while failing
2015-06-10 11:55:54 -07:00
..
issues Give 100 fixity levels, and fix prelude fixity again 2015-06-10 11:55:54 -07:00
mono-binds Name changes in debug output 2015-06-09 14:27:43 -07:00
parser Add another test for unary operators 2015-06-04 10:37:28 -07:00
regression Slight test output change 2015-06-09 17:02:07 -07: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 tweak paths in test output for Windows 2015-03-06 12:03:21 -08:00
Main.hs Allow expected failures to be ignored 2015-03-30 16:58:33 -07: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.