GaloisInc/cryptol
1
1
Fork 0
mirror of https://github.com/GaloisInc/cryptol.git synced 2024-12-11 07:00:49 +03:00
Code Issues Projects Releases Wiki Activity
1528fb524d
cryptol/tests
History
Robert Dockins 5d1e1948d8 Add test case to demonstrate tracing, as discussed in issue 68. 
The new evaluator allows us to have more direct control over
evaluation order, and makes it straightforward to implement tracing
primitives.  There are two new primitives 'trace' and 'traceVal' in the
Cryptol prelude that produce tracing output when evaluated.
Fixes #68
2016-07-13 15:09:56 -07:00
..
issues Add test case to demonstrate tracing, as discussed in issue 68. 2016-07-13 15:09:56 -07:00
mono-binds remove splitBy and update documentation 2016-07-05 09:58:49 -07:00
parser Remove trailing whitespace 2016-02-19 10:08:20 -08:00
regression Remove trailing whitespace 2016-02-19 10:08:20 -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