示例#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
文件： tool_hylaa.py 项目： carptj/hyst 
    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)