From ad571510f3e44b57a67372a8e46675eba3a84f5e Mon Sep 17 00:00:00 2001 From: Nikolaj Bjorner Date: Wed, 9 May 2018 10:49:32 +0100 Subject: [PATCH] disable slow validation code Signed-off-by: Nikolaj Bjorner --- src/smt/theory_pb.cpp | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/src/smt/theory_pb.cpp b/src/smt/theory_pb.cpp index b93de3073..d1ac608ea 100644 --- a/src/smt/theory_pb.cpp +++ b/src/smt/theory_pb.cpp @@ -1820,8 +1820,8 @@ namespace smt { return value < 0; } - bool theory_pb::validate_implies(app_ref& A, app_ref& B) { - static bool validating = false; + bool theory_pb::validate_implies(app_ref& A, app_ref& B) { + static bool validating = true; // false; if (validating) return true; validating = true; ast_manager& m = get_manager();