GaloisInc/cryptol
1
1
Fork 0
mirror of https://github.com/GaloisInc/cryptol.git synced 2024-11-28 01:13:34 +03:00
Code Issues Projects Releases Wiki Activity
e282c65a7e
cryptol/tests
History
Aaron Tomb e282c65a7e Fix test failures from latest type checker changes 
Recent changes resolved issue 002, so we no longer need to indicate that
it's expected to fail. Other small changes to the type checker have
made things like type variable numbers change slightly.
2017-06-20 10:08:36 -07:00
..
issues Fix test failures from latest type checker changes 2017-06-20 10:08:36 -07:00
mono-binds Fix test failures from latest type checker changes 2017-06-20 10:08:36 -07:00
parser Fix test to account for printing of operators' precedences. 2017-02-08 16:07:54 -08:00
regression Add .cryptolsrc files 2017-02-15 09:08:02 -08:00
renamer Update test output renamer errors 2016-05-27 18:50:27 -07:00
.gitignore Initial import from internal repo 2014-04-17 15:34:25 -07:00
cryptol-test-runner.cabal use base-compat to remove much CPP 2015-10-08 16:54:08 -07:00
Main.hs Update copyright dates and add missing headers 2016-01-19 18:19:35 -08:00
README Add comment in README explaining how to run tests. 2016-03-04 09:05:47 -08:00

README 

Test suites:

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

To manually run the test suite over all issues/* tests simply cabal build the
test suite runner then run:

./dist/build/cryptol-test-runner/cryptol-test-runner -c `which cryptol` ./issues/*.icry