Changed how I'm copying z3 solvers

bannsec · Apr 10, 2016 · 6e34a7b · 6e34a7b
1 parent 617a386
commit 6e34a7b
Showing 1 changed file with 2 additions and 1 deletion.
diff --git a/pyState/__init__.py b/pyState/__init__.py
@@ -1452,8 +1452,9 @@ def copy(self):
         #solverCopy.add(self.solver.assertions())
 
 
-        solverCopy = self.solver.translate(z3.Context())
+        #solverCopy = self.solver.translate(z3.Context())
         #print(solverCopy)
+        solverCopy = self.solver.translate(self.solver.ctx)
 
         newState = State(
             solver=solverCopy,