From 9302d8bef37c82d64ec4b9f8805763b32d229509 Mon Sep 17 00:00:00 2001 From: Lev Nachmanson Date: Sat, 16 Mar 2019 21:07:53 -0700 Subject: [PATCH] Guard the creation of solvers in qfnia_tactic.cpp by a define --- src/tactic/smtlogics/CMakeLists.txt | 1 + 1 file changed, 1 insertion(+) diff --git a/src/tactic/smtlogics/CMakeLists.txt b/src/tactic/smtlogics/CMakeLists.txt index 2741334b4..bbdcae080 100644 --- a/src/tactic/smtlogics/CMakeLists.txt +++ b/src/tactic/smtlogics/CMakeLists.txt @@ -40,3 +40,4 @@ z3_add_component(smtlogic_tactics qfufbv_tactic.h quant_tactics.h ) +add_definitions(-DSTART_ONLY_QFNIA_SMT)