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)
示例#2
0
    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)
示例#3
0
    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)
示例#4
0
    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)
示例#5
0
 def setUp(self):
     TestCase.setUp(self)
     self.x, self.y = Symbol("x"), Symbol("y")
示例#6
0
 def setUp(self):
     TestCase.setUp(self)
     self.x, self.y = Symbol("x"), Symbol("y")
示例#7
0
 def setUp(self):
     TestCase.setUp(self)
     self.x, self.y = Symbol("x"), Symbol("y")
     self.qe = ["shannon", "selfsub"]