コード例 #1
0
ファイル: test_configuration.py プロジェクト: shadown/pysmt
    def test_write_shortcut(self):
        read_configuration(self._get_config_path("config1.ini"))

        tmp = self._get_tmp_file()
        fname = tmp.name

        write_configuration(fname)

        new_env = Environment()
        read_configuration(fname, new_env)
        os.remove(fname)

        env = get_env()
        self.assertEqual(new_env.enable_infix_notation,
                         env.enable_infix_notation)
        self.assertEqual(new_env.factory.solver_preference_list,
                         env.factory.solver_preference_list)

        self.assertTrue("mathsat-smt" in new_env.factory.all_solvers())
        self.assertTrue("z3-smt" in new_env.factory.all_solvers())
コード例 #2
0
ファイル: test_configuration.py プロジェクト: agriggio/pysmt
    def test_write_shortcut(self):
        read_configuration(self._get_config_path("config1.ini"))

        tmp = self._get_tmp_file()
        fname = tmp.name

        write_configuration(fname)

        new_env = Environment()
        read_configuration(fname, new_env)
        try:
            os.remove(fname)
        except WindowsError:
            print("Error deleting file...")

        env = get_env()
        self.assertEqual(new_env.enable_infix_notation,
                          env.enable_infix_notation)
        self.assertEqual(new_env.factory.solver_preference_list,
                          env.factory.solver_preference_list)

        self.assertTrue("mathsat-smt" in new_env.factory.all_solvers())
        self.assertTrue("z3-smt" in new_env.factory.all_solvers())
コード例 #3
0
ファイル: test_configuration.py プロジェクト: agriggio/pysmt
 def test_read_shortcut(self):
     read_configuration(self._get_config_path("config1.ini"))
     env = get_env()
     self.assertTrue("mathsat-smt" in env.factory.all_solvers())
     self.assertTrue("z3-smt" in env.factory.all_solvers())
コード例 #4
0
ファイル: test_configuration.py プロジェクト: agriggio/pysmt
 def test_bad_conf(self):
     with self.assertRaises(Exception):
         read_configuration(self._get_config_path("config_bad.ini"))
コード例 #5
0
ファイル: test_configuration.py プロジェクト: agriggio/pysmt
 def test_nonexistent_conf(self):
     with self.assertRaises(PysmtIOError):
         read_configuration("/tmp/nonexistent")
コード例 #6
0
ファイル: test_configuration.py プロジェクト: zenbhang/pysmt
 def test_nonexistent_conf(self):
     with self.assertRaises(IOError):
         read_configuration("/tmp/nonexistent")
コード例 #7
0
ファイル: test_configuration.py プロジェクト: zenbhang/pysmt
 def test_read_shortcut(self):
     read_configuration(self._get_config_path("config1.ini"))
     env = get_env()
     self.assertTrue("mathsat-smt" in env.factory.all_solvers())
     self.assertTrue("z3-smt" in env.factory.all_solvers())
コード例 #8
0
ファイル: test_configuration.py プロジェクト: zenbhang/pysmt
 def test_bad_conf(self):
     with self.assertRaises(Exception):
         read_configuration(self._get_config_path("config_bad.ini"))