diff options
| author | Cristian Cadar <c.cadar@imperial.ac.uk> | 2015-04-19 15:55:06 +0100 |
|---|---|---|
| committer | Cristian Cadar <c.cadar@imperial.ac.uk> | 2015-04-19 15:55:06 +0100 |
| commit | 489adebedcf18c31e168c6cfa6827021c63248c8 (patch) | |
| tree | 58498fce78b8e518ae190194319a44b077038ad4 /lib | |
| parent | 5f4673e68a5dceb92fb933fa56d04125cb155dfd (diff) | |
| download | klee-489adebedcf18c31e168c6cfa6827021c63248c8.tar.gz | |
Added a new test case that checks the --rewrite-equalities optimisation. The test contains the program proposed by Eric Rizzi in https://github.com/klee/klee/issues/227, and shows a case in which a constant constraint results after the optimisation.
Diffstat (limited to 'lib')
0 files changed, 0 insertions, 0 deletions