diff options
| author | Alasdair | 2019-04-24 00:07:16 +0100 |
|---|---|---|
| committer | Alasdair | 2019-04-24 00:07:16 +0100 |
| commit | ef237aea8d1667f1cbe13047acf1c916c94335e5 (patch) | |
| tree | a0f2af7991219fda5ff91127027c8262159a6823 /src/initial_check.ml | |
| parent | bb769fc808fe7034e76147a3b9ef887406044818 (diff) | |
SMT: Can now recheck some simple models via the interpreter
Probably need to clean-up the implementation and merge new_interpreter into
this branch before supporting re-checking counterexamples with more things.
Diffstat (limited to 'src/initial_check.ml')
0 files changed, 0 insertions, 0 deletions