GaloisInc/cryptol
1
1
Fork 0
mirror of https://github.com/GaloisInc/cryptol.git synced 2024-11-24 06:52:44 +03:00
Code Issues Projects Releases Wiki Activity
ec0395e9d0
cryptol/tests
History
Brian Huffman ec0395e9d0 Update regression test number 289, which now runs successfully. 
This test works as of revision db08bfafa9.

Versions of SBV prior to 3.1 did not distinguish the boolean type from
the size-1 bitvector type; this example uses literals like "0b0" and
"0b1", so it triggered the SBV bug, which manifested as a type error from
the external SMT solver.
2014-07-21 16:01:43 -07:00
..
issues Update regression test number 289, which now runs successfully. 2014-07-21 16:01:43 -07:00
parser Initial import from internal repo 2014-04-17 15:34:25 -07:00
regression Update regression tests for :prove and :sat output 2014-07-15 16:26:37 -07:00
renamer Initial import from internal repo 2014-04-17 15:34:25 -07:00
.gitignore Initial import from internal repo 2014-04-17 15:34:25 -07:00
cryptol-test-runner.cabal Initial import from internal repo 2014-04-17 15:34:25 -07:00
Main.hs Initial import from internal repo 2014-04-17 15:34:25 -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.