diff options
| author | Robert Norton | 2017-07-06 12:36:44 +0100 |
|---|---|---|
| committer | Robert Norton | 2017-07-06 12:36:44 +0100 |
| commit | adaabb05518f68c5a2aea672920f7355b39b18cc (patch) | |
| tree | 059e338a92f0d7fb497a2ef9fdccd4c2d3cdd7ec /src/test/lib/tests/test_add.sail | |
| parent | bf58dee32245592bfd85e4eaab959fb4caffea6c (diff) | |
fix interpreter version of get_min/max_representable which similarly broken to ocaml version. TODO: also fix copies in sail_values.lem and sail_values_word.lem.
Diffstat (limited to 'src/test/lib/tests/test_add.sail')
0 files changed, 0 insertions, 0 deletions