Python TestCase.setUp示例

示例#1

文件： test_generic_wrapper.py 项目： 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)

示例#2

文件： test_generic_wrapper.py 项目： 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)

示例#3

文件： test_generic_wrapper.py 项目： 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)

示例#4

文件： test_generic_wrapper.py 项目： 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)

示例#5

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

示例#6

文件： test_shannon_expansion.py 项目： mpreiner/pysmt

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

示例#7

文件： test_native_qe.py 项目： SE-Researcher/ASE2018

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