diff options
| author | Cristian Cadar <c.cadar@imperial.ac.uk> | 2016-04-14 19:35:02 +0100 |
|---|---|---|
| committer | Cristian Cadar <c.cadar@imperial.ac.uk> | 2016-04-14 19:35:02 +0100 |
| commit | 9efe135e3072c115af92c3f163c9d3e12ca57fb1 (patch) | |
| tree | 1f3f9cfff116edf12e36a3b9c05756db0c3a84fb /examples/sort | |
| parent | 7616398de27ac2aabfc707ba11fce33ef6032627 (diff) | |
| download | klee-9efe135e3072c115af92c3f163c9d3e12ca57fb1.tar.gz | |
Disabling --solver-optimize-divides by default, as the optimization is currently buggy, and we keep hitting this bug... See https://github.com/klee/klee/issues/334 for details.
Diffstat (limited to 'examples/sort')
0 files changed, 0 insertions, 0 deletions