added tgt to extraSchedules

vprover · Jul 11, 2022 · 948b971 · 948b971
1 parent 001d1ef
commit 948b971
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/CASC/PortfolioMode.cpp b/CASC/PortfolioMode.cpp
@@ -264,6 +264,7 @@ void PortfolioMode::getExtraSchedules(Property& prop, Schedule& old, Schedule& e
    else{
    // Don't try this in SMT-COMP mode as it requires a goal
     extra_opts.push("slsq=on");
+    extra_opts.push("tgt=full");
    }
 
   }