diff options
| author | Alasdair | 2019-04-10 01:36:52 +0100 |
|---|---|---|
| committer | Alasdair | 2019-04-10 01:36:52 +0100 |
| commit | 2aca5a074a6207997f8bf73e6a42a2c7387e0cc1 (patch) | |
| tree | 541123bbe214cc56aae6b36c46a2c3f50ef2701e /src/error_format.ml | |
| parent | 271a8aba3041e4f712f3331fd1610cdf31fbb4c9 (diff) | |
SMT: Add some simple constant folding for generated SMT
Make sure struct fields can overlap each other, and function names
Diffstat (limited to 'src/error_format.ml')
0 files changed, 0 insertions, 0 deletions