Python read_configurationの例

コード例 #1

ファイル: 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

ファイル: 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

ファイル: 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

ファイル: test_configuration.py プロジェクト: agriggio/pysmt

 def test_bad_conf(self):
     with self.assertRaises(Exception):
         read_configuration(self._get_config_path("config_bad.ini"))

コード例 #5

ファイル: test_configuration.py プロジェクト: agriggio/pysmt

 def test_nonexistent_conf(self):
     with self.assertRaises(PysmtIOError):
         read_configuration("/tmp/nonexistent")

コード例 #6

ファイル: test_configuration.py プロジェクト: zenbhang/pysmt

 def test_nonexistent_conf(self):
     with self.assertRaises(IOError):
         read_configuration("/tmp/nonexistent")

コード例 #7

ファイル: 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

ファイル: test_configuration.py プロジェクト: zenbhang/pysmt

 def test_bad_conf(self):
     with self.assertRaises(Exception):
         read_configuration(self._get_config_path("config_bad.ini"))