diff options
| author | Alasdair Armstrong | 2019-03-25 14:43:40 +0000 |
|---|---|---|
| committer | Alasdair Armstrong | 2019-03-25 14:44:33 +0000 |
| commit | a0aae7194dddab24d0c198d46b0e22fef04c2026 (patch) | |
| tree | 1e5adcf754c895efd4c063ccf05c05b1bfc52397 /src/graph.ml | |
| parent | aed0ec76a7497365ea436c4764f764e58ccc6685 (diff) | |
Typecheck: Use emod_int/ediv_int in sizeof rewriting
These are the correct versions for div/mod in the SMT solver
Diffstat (limited to 'src/graph.ml')
0 files changed, 0 insertions, 0 deletions