Switched to QF_FD (smt checker for rsc)

2017-03-13 22:06:33 +01:00
parent 7f6ea619b2
commit 36f571c0d1
1 changed files with 1 additions and 1 deletions
--- a/smt/smt_checker_rsc.py
+++ b/smt/smt_checker_rsc.py
@@ -38,7 +38,7 @@ class SmtCheckerRSC(object):
        
        self.loop_position = Int("loop_position")
        
-        self.solver = Solver()
+        self.solver = SolverFor("QF_FD")
        
        self.verification_time = None