diff options
| author | Cristian Cadar <c.cadar@imperial.ac.uk> | 2015-04-09 12:58:18 +0100 |
|---|---|---|
| committer | Cristian Cadar <c.cadar@imperial.ac.uk> | 2015-04-09 13:00:23 +0100 |
| commit | f0de5e4ea4f1bed2e698ae99a19f1f0b96770f9c (patch) | |
| tree | 92c10835803e59ddb90907b5bcae2c19cbb447e9 /runtime/Intrinsic/klee_div_zero_check.c | |
| parent | ad658135be0bf2f71ce2067b1bd834659ca3ca50 (diff) | |
| download | klee-f0de5e4ea4f1bed2e698ae99a19f1f0b96770f9c.tar.gz | |
Added a new option, --rewrite-equalities, which makes it possible to disable the optimisation that rewrites existing constraints when an equality with a constant is added
Diffstat (limited to 'runtime/Intrinsic/klee_div_zero_check.c')
0 files changed, 0 insertions, 0 deletions