mirror of
https://github.com/GaloisInc/cryptol.git
synced 2024-08-17 01:41:09 +03:00
|
||
---|---|---|
.. | ||
examples | ||
issues | ||
modsys | ||
mono-binds | ||
parser | ||
regression | ||
renamer | ||
suiteb | ||
.gitignore | ||
cryptol-test-runner.cabal | ||
Main.hs | ||
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