def write_configuration(config_filename, environment=None):
"""
Dumps the current pysmt configuration to the specified file path
"""
if environment is None:
environment = get_env()
config.write_environment_configuration(config_filename, environment)
def write_configuration(config_filename, environment=None):
"""
Dumps the current pysmt configuration to the specified file path
"""
if environment is None:
environment = get_env()
config.write_environment_configuration(config_filename, environment)
def write_configuration(config_filename, environment=None):
"""Dumps the current pysmt configuration to the specified file path
:param config_filename: Specify the name of the config file
:param environment: Specify the environment
"""
if environment is None:
environment = get_env()
config.write_environment_configuration(config_filename, environment)
def write_configuration(config_filename, environment=None):
"""Dumps the current pysmt configuration to the specified file path
:param config_filename: Specify the name of the config file
:param environment: Specify the environment
"""
if environment is None:
environment = get_env()
config.write_environment_configuration(config_filename, environment)
def test_write(self):
env = get_env()
configure_environment(self._get_config_path("config1.ini"), env)
tmp = self._get_tmp_file()
fname = tmp.name
write_environment_configuration(fname, env)
new_env = Environment()
configure_environment(fname, new_env)
os.remove(fname)
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())
def test_write(self):
env = get_env()
configure_environment(self._get_config_path("config1.ini"), env)
tmp = self._get_tmp_file()
fname = tmp.name
write_environment_configuration(fname, env)
new_env = Environment()
configure_environment(fname, new_env)
try:
os.remove(fname)
except WindowsError:
print("Error deleting file...")
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())
