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 /unittests/Makefile | |
| 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 'unittests/Makefile')
| -rw-r--r-- | unittests/Makefile | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/unittests/Makefile b/unittests/Makefile index b7e51371..2a73b809 100644 --- a/unittests/Makefile +++ b/unittests/Makefile @@ -17,7 +17,7 @@ CPP.Flags += -I$(LLVM_SRC_ROOT)/utils/unittest/googletest/include/ CPP.Flags += -Wno-variadic-macros # FIXME: Parallel dirs is broken? -DIRS = Expr Solver Ref +DIRS = Expr Solver Ref Assignment include $(LEVEL)/Makefile.common |