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