def get_solvers(self):
# Skip these test for now because of a problem with pysmt
raise nose.SkipTest()
solvers = [
claripy.SolverStrings(
backend=claripy.backend_manager.backends.smtlib_cvc4),
claripy.SolverStrings(
backend=claripy.backend_manager.backends.smtlib_z3),
# claripy.SolverStrings(backend=claripy.backend_manager.backends.smtlib_z3str),
]
return solvers
def get_solver(self):
if 'smtlib_cvc4' not in claripy.backends._backends_by_name:
raise nose.SkipTest()
backend = SolverBackendCVC4(daggify=True)
solver = claripy.SolverStrings(backend=backend, timeout=300000)
return solver
def get_solver(self):
if 'smtlib_abc' not in claripy.backends._backends_by_name:
raise nose.SkipTest()
from claripy.backends.backend_smtlib_solvers.abc_popen import SolverBackendABC
backend = SolverBackendABC(daggify=True)
solver = claripy.SolverStrings(backend=backend)
return solver
def get_solver(self):
# Skip these test for now because of a problem with pysmt
raise nose.SkipTest()
if 'smtlib_z3' not in claripy.backends._backends_by_name:
raise nose.SkipTest()
backend = SolverBackendZ3(daggify=True)
solver = claripy.SolverStrings(backend=backend)
return solver