Пример #1
0
    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)
Пример #2
0
    def __init__(self):
        self._settings = None
        self._run_hylaa = None
        self._result = None

        python_path = sys.executable
        HybridTool.__init__(self, 'pysim', '.py', python_path)
Пример #3
0
    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)
Пример #4
0
    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)
Пример #5
0
 def __init__(self):
     HybridTool.__init__(self, 'flowstar', '.flowstar', 'flowstar')
Пример #6
0
 def __init__(self):
     HybridTool.__init__(self, 'flowstar', '.flowstar', 'flowstar')
Пример #7
0
 def __init__(self):
     HybridTool.__init__(self, "spaceex", '.xml', 'spaceex')
Пример #8
0
 def __init__(self):
     HybridTool.__init__(self, 'hycreate', '.hyc2', 'HyCreate2.8.jar')
Пример #9
0
 def __init__(self):
     HybridTool.__init__(self, 'hycreate', '.hyc2', 'HyCreate2.8.jar')
Пример #10
0
 def __init__(self):
     HybridTool.__init__(self, "dreach", '.drh', 'dReach')
Пример #11
0
 def __init__(self):
     python_path = sys.executable
     HybridTool.__init__(self, 'pysim', '.py', python_path)
Пример #12
0
 def __init__(self):
     python_path = sys.executable
     HybridTool.__init__(self, 'pysim', '.py', python_path)