From 9ed2104757f40dace928fdc195546458730d532d Mon Sep 17 00:00:00 2001
From: Artur Meski <artur@Arturs-MacBook-Pro.local>
Date: Mon, 13 Mar 2017 22:31:08 +0100
Subject: [PATCH] Changed back to the old solver (BMC never finished)

---
 smt/smt_checker_rsc.py | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/smt/smt_checker_rsc.py b/smt/smt_checker_rsc.py
index 727f0f3..849aa4f 100644
--- 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 = SolverFor("QF_FD")
+        self.solver = Solver() #For("QF_FD")
         
         self.verification_time = None