diff options
| author | Alasdair Armstrong | 2019-05-14 15:56:59 +0100 |
|---|---|---|
| committer | Alasdair Armstrong | 2019-05-14 18:13:38 +0100 |
| commit | 94f44553d4ca93d89713b279a1d5590cb002b70f (patch) | |
| tree | fd82d65153abf686a31e2be39c99c7e9d6dc53b6 /src/reporting.ml | |
| parent | 9d6734f717639f9babdec4441f8362bfeca10d66 (diff) | |
Various bugfixes
Since we have __deref to desugar *x in this file (as it's the one file
everything includes) we might as well add a __bitfield_deref here too,
for the bitfield setters.
Make sure undefined_nat can be used in C
Both -memo_z3 and -no_memo_z3 were listed as default options, now only
-no_memo_z3 is listed as the default.
Diffstat (limited to 'src/reporting.ml')
0 files changed, 0 insertions, 0 deletions