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, "spaceex", '.xml', TOOL_PATH)
def __init__(self): HybridTool.__init__(self, 'hycreate', '.hyc2', TOOL_PATH)