def __init__(self):
self._pysim_model = None
self._result = None
self._init_states = None # saved befetween run_tool and make_image
python_path = sys.executable
HybridTool.__init__(self, 'pysim', '.py', python_path)
def __init__(self):
self._settings = None
self._run_hylaa = None
self._result = None
python_path = sys.executable
HybridTool.__init__(self, 'pysim', '.py', python_path)
def __init__(self):
self._pysim_model = None
self._result = None
self._init_states = None # saved befetween run_tool and make_image
python_path = sys.executable
HybridTool.__init__(self, 'pysim', '.py', python_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 __init__(self):
self._settings = None
self._run_hylaa = None
self._result = None
python_path = sys.executable + "3" # path to python3... not 100% correct but should work for now
HybridTool.__init__(self, 'hylaa2', '.py', python_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, 'flowstar', '.flowstar', 'flowstar')
def __init__(self):
HybridTool.__init__(self, 'flowstar', '.flowstar', 'flowstar')
def __init__(self):
HybridTool.__init__(self, "spaceex", '.xml', 'spaceex')
def __init__(self):
HybridTool.__init__(self, 'hycreate', '.hyc2', 'HyCreate2.8.jar')
def __init__(self):
HybridTool.__init__(self, 'hycreate', '.hyc2', 'HyCreate2.8.jar')
def __init__(self):
HybridTool.__init__(self, "dreach", '.drh', 'dReach')
def __init__(self):
python_path = sys.executable
HybridTool.__init__(self, 'pysim', '.py', python_path)
def __init__(self):
python_path = sys.executable
HybridTool.__init__(self, 'pysim', '.py', python_path)
