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._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 __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, "dreach", '.drh', 'dReach')
def __init__(self): python_path = sys.executable HybridTool.__init__(self, 'pysim', '.py', python_path)