def _copy_model(self, temp_folder):
'''copy the model to the temp folder and set class path variables (override)'''
HybridTool._copy_model(self, temp_folder)
self.cfg_path = self.model_path + ".cfg"
shutil.copyfile(self.original_cfg_path, self.cfg_path)
def _copy_model(self, temp_folder):
'''copy the model to the temp folder and set class path variables (override)'''
HybridTool._copy_model(self, temp_folder)
self.cfg_path = self.model_path + ".cfg"
shutil.copyfile(self.original_cfg_path, self.cfg_path)
def load_args(self, args):
'''initialize the class from a namespace (result of ArgumentParser.parse_args())'''
HybridTool.load_args(self, args)
# also setup the extra cfg path
cfg_path = args.cfg
if cfg_path is None:
cfg_path = os.path.splitext(self.original_model_path)[0] + ".cfg"
cfg_path = os.path.realpath(cfg_path)
if not os.path.exists(cfg_path):
raise RuntimeError('cfg file not found at path: ' +
self.original_cfg_path)
self.original_cfg_path = cfg_path
def load_args(self, args):
'''initialize the class from a namespace (result of ArgumentParser.parse_args())'''
HybridTool.load_args(self, args)
if not self.original_model_path.endswith(".xml"):
raise RuntimeError("Model path must end with .xml: " + str(self.original_model_path))
# also setup the extra cfg path
cfg_path = args.cfg
if cfg_path is None:
cfg_path = os.path.splitext(self.original_model_path)[0] + ".cfg"
cfg_path = os.path.realpath(cfg_path)
if not os.path.exists(cfg_path):
raise RuntimeError('cfg file not found at path: ' + str(cfg_path))
self.original_cfg_path = cfg_path
def __init__(self):
HybridTool.__init__(self, "hycreate", ".hyc2", TOOL_PATH)
def __init__(self):
HybridTool.__init__(self, "dreach", '.drh', TOOL_PATH)
def __init__(self):
HybridTool.__init__(self, 'flowstar', '.flowstar', TOOL_PATH)
def __init__(self):
HybridTool.__init__(self, 'flowstar', '.flowstar', TOOL_PATH)
def __init__(self):
HybridTool.__init__(self, "spaceex", '.xml', TOOL_PATH)
def __init__(self):
HybridTool.__init__(self, "spaceex", '.xml', TOOL_PATH)
def __init__(self):
HybridTool.__init__(self, 'hycreate', '.hyc2', TOOL_PATH)
