mirror of
https://github.com/GaloisInc/cryptol.git
synced 2024-09-19 18:08:37 +03:00
1e1c14c28a
This ensures that the constraints and right-hand side expressions in each guard are well formed. This check suffices to catch the bug in https://github.com/GaloisInc/saw-script/issues/2043, which was fixed separately in a previous commit. I have also updated the `tests/constraint-guards/type-sig-constraint.icry` test to use `coreLint=on` rather than checking `debug` output, as the former is more resilient to internal changes in Cryptol's pretty-printer. Fixes #1647. |
||
|---|---|---|
| .. | ||
| constraint-guards | ||
| enum | ||
| examples | ||
| ffi | ||
| 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