diff options
| author | Alasdair Armstrong | 2017-07-03 17:49:51 +0100 |
|---|---|---|
| committer | Alasdair Armstrong | 2017-07-03 17:49:51 +0100 |
| commit | f9e0b95b220cff4c7d2fafb578342644fe6c9ebd (patch) | |
| tree | 953b35640584ba33e84883dd4a9c49351aa1746d /src/gen_lib/sail_values.ml | |
| parent | 86938166d7196501b3e520004af0581732057064 (diff) | |
Added tests for lem shallow embedding
Now the test suite generates lem for all the typechecker tests, and
tests if the generated lem typechecks. For a lot of the cases the
answer is currently no.
Diffstat (limited to 'src/gen_lib/sail_values.ml')
0 files changed, 0 insertions, 0 deletions