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/Assignment/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/Assignment/Makefile')
| -rw-r--r-- | unittests/Assignment/Makefile | 12 |
1 files changed, 12 insertions, 0 deletions
diff --git a/unittests/Assignment/Makefile b/unittests/Assignment/Makefile new file mode 100644 index 00000000..d4110c80 --- /dev/null +++ b/unittests/Assignment/Makefile @@ -0,0 +1,12 @@ +##===- unittests/Assignment/Makefile -----------------------*- Makefile -*-===## + +LEVEL := ../.. +include $(LEVEL)/Makefile.config + +TESTNAME := Assignment +USEDLIBS := kleaverExpr.a +LINK_COMPONENTS := support + +include $(LLVM_SRC_ROOT)/unittests/Makefile.unittest + +CXXFLAGS += -DLLVM_29_UNITTEST |