def setUp(self):
TestCase.setUp(self)
self.all_solvers = []
for (name, path) in ALL_WRAPPERS:
self.env.factory.add_generic_solver(name, [path],
[QF_UFLRA, QF_UFLIA, QF_UFBV])
self.all_solvers.append(name)
def setUp(self):
TestCase.setUp(self)
self.all_solvers = []
for (name, path) in ALL_WRAPPERS:
self.env.factory.add_generic_solver(name,
[path],
[QF_UFLRA,
QF_UFLIA,
QF_UFBV])
self.all_solvers.append(name)
def setUp(self):
TestCase.setUp(self)
self.all_solvers = []
env = get_env()
for _, _, fnames in os.walk(BASE_DIR):
for f in fnames:
if f.endswith(".solver.sh"):
name = os.path.basename(f)
path = os.path.join(BASE_DIR, "bin/" + f)
env.factory.add_generic_solver(name, [path], [QF_UFLIRA])
self.all_solvers.append(f)
def setUp(self):
TestCase.setUp(self)
self.all_solvers = []
env = get_env()
for _, _, fnames in os.walk(BASE_DIR):
for f in fnames:
if f.endswith(".solver.sh"):
name = os.path.basename(f)
path = os.path.join(BASE_DIR, "bin/" + f)
env.factory.add_generic_solver(name,
[path],
[QF_UFLIRA,
QF_UFBV])
self.all_solvers.append(f)
def setUp(self):
TestCase.setUp(self)
self.x, self.y = Symbol("x"), Symbol("y")
def setUp(self):
TestCase.setUp(self)
self.x, self.y = Symbol("x"), Symbol("y")
def setUp(self):
TestCase.setUp(self)
self.x, self.y = Symbol("x"), Symbol("y")
self.qe = ["shannon", "selfsub"]
