1import unittest
2import claripy
3import nose
4from claripy.backends.backend_smtlib_solvers.cvc4_popen import SolverBackendCVC4
5import common_backend_smt_solver
6
7
8class SmtLibSolverTest_CVC4(common_backend_smt_solver.SmtLibSolverTestBase):
9    def get_solver(self):
10        if 'smtlib_cvc4' not in claripy.backends._backends_by_name:
11            raise nose.SkipTest()
12
13        backend = SolverBackendCVC4(daggify=True)
14        solver = claripy.SolverStrings(backend=backend, timeout=300000)
15        return solver
16
17
18if __name__ == "__main__":
19    suite = unittest.TestLoader().loadTestsFromTestCase(SmtLibSolverTest_CVC4)
20    unittest.TextTestRunner(verbosity=2).run(suite)
21