From 96b77a4a211745cdee375b38ce4313dfc70efe8f Mon Sep 17 00:00:00 2001 From: Dan Liew Date: Thu, 29 Sep 2016 21:04:27 +0100 Subject: 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. --- include/klee/util/ExprEvaluator.h | 1 + 1 file changed, 1 insertion(+) (limited to 'include') diff --git a/include/klee/util/ExprEvaluator.h b/include/klee/util/ExprEvaluator.h index 6b67a1cf..313ac0a5 100644 --- a/include/klee/util/ExprEvaluator.h +++ b/include/klee/util/ExprEvaluator.h @@ -25,6 +25,7 @@ namespace klee { Action visitSDiv(const SDivExpr &e); Action visitURem(const URemExpr &e); Action visitSRem(const SRemExpr &e); + Action visitExprPost(const Expr& e); public: ExprEvaluator() {} -- cgit 1.4.1