diff options
| author | Dan Liew <delcypher@gmail.com> | 2016-09-29 21:04:27 +0100 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2016-09-29 21:04:27 +0100 |
| commit | 96b77a4a211745cdee375b38ce4313dfc70efe8f (patch) | |
| tree | c2bbce1f697a31d9b8c8716cf765b651b266185a /lib/Solver/Z3Builder.h | |
| parent | a936dcbaefe0efa67e97f4ea14893bdae63db99b (diff) | |
| download | klee-96b77a4a211745cdee375b38ce4313dfc70efe8f.tar.gz | |
Fix bug in `AssignmentEvaluator` where NotOptimizedExpr would not (#466)
* Add unittest to check that the `Assignment` class can evaluate expressions containing a `NotOptimizedExpr`. * Fix the `AssignmentTest.FoldNotOptimized` unit test by teaching the `ExprEvaluator` to fold `NotOptimizedExpr` nodes.
Diffstat (limited to 'lib/Solver/Z3Builder.h')
0 files changed, 0 insertions, 0 deletions