3
0
Fork 0
mirror of https://github.com/Z3Prover/z3 synced 2025-04-08 10:25:18 +00:00

Python API context fix

This commit is contained in:
Miguel Angelo Da Terra Neves 2017-10-27 12:36:09 -07:00
parent 8bb2be1fba
commit 3a05313c67

View file

@ -6315,11 +6315,11 @@ class Solver(Z3PPObject):
def from_file(self, filename):
"""Parse assertions from a file"""
self.add([f for f in parse_smt2_file(filename)])
self.add([f for f in parse_smt2_file(filename, ctx=self.ctx)])
def from_string(self, s):
"""Parse assertions from a string"""
self.add([f for f in parse_smt2_string(s)])
self.add([f for f in parse_smt2_string(s, ctx=self.ctx)])
def assertions(self):
"""Return an AST vector containing all added constraints.