Esempi in Python per TestCase

Esempio n. 1

File: test_generic_wrapper.py Progetto: SE-Researcher/ASE2018

    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)

Esempio n. 2

File: test_generic_wrapper.py Progetto: agriggio/pysmt

    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)

Esempio n. 3

File: test_generic_wrapper.py Progetto: shadown/pysmt

    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)

Esempio n. 4

File: test_generic_wrapper.py Progetto: bingcao/pysmt

    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)

Esempio n. 5

 def setUp(self):
     TestCase.setUp(self)
     self.x, self.y = Symbol("x"), Symbol("y")

Esempio n. 6

File: test_shannon_expansion.py Progetto: mpreiner/pysmt

 def setUp(self):
     TestCase.setUp(self)
     self.x, self.y = Symbol("x"), Symbol("y")

Esempio n. 7

File: test_native_qe.py Progetto: SE-Researcher/ASE2018

 def setUp(self):
     TestCase.setUp(self)
     self.x, self.y = Symbol("x"), Symbol("y")
     self.qe = ["shannon", "selfsub"]