PyUPPAAL
PyUPPAAL copied to clipboard
Jack0Chan
PyUPPAAL is a python package basically for reflecting UPPAAL's model editing, verification, and counter-example parsing operations into scripts.
umodel.find_all_patterns() can not correctly return all possible patterns if `focused_actions` is set. We have fixed this bug, and will update it in the next version.
目前创建两个Location之间的edge的时候传入参数为两个Location的id和position，这里position有点多余，希望可以根据location的id自动获取position，传入location的id或者location结构。
`|` operation is supported for `python>=3.10`, and we are fixing it by converting `type a | type b` into `Union(type a, type b)`. We will fix this bug in version...
印象中对于SimTrace的过滤功能好像没有案例或者描述之类的，看看能不能补上。下面是需要考虑的点。 # FilterByAction You can filter specific edges with specific actions. # FilterByClock You can filter constraints with specific clocks (e.g. gclk). ``` Constraints with certain clocks: t1 t1 or...
希望`get_communication_graph`功能能够导出`.svg`，`.png`等格式的图片。 参考方案 1. 使用mermaid引擎导出来（优先推荐） 2. 使用在线api（类似爬虫），找在线的编译网站。这个链接的难点在于pako如何获取[reference-link](https://mermaid.live/edit#pako:eNpVj80OgkAMhF-l6UkTeQEOJgLKxUQTvbEcGqjsRvcnyxJjgHd30Yv21HS-mUxHbGzLmGLnyUm4FsJAnF2VS6_6oKmvIUm2U8kBtDX8miBblRZ6aZ1Tplt_-WyBIB-PC8YQpDL3-SvlH__J8ARFdSQXrKt_levTTrCv1FnG-H9Feo6uQ3Wj9EZJQx5y8h8EN6jZa1JtrD4uF4FBsmaBaVxb8neBwsyRoyHYy8s0mAY_8AYH11LgQlH8WGMMfvQ8vwGEfFP7)
经过测试，UPPAAL也可以识别字符串类型的Location.id。但如果直接用字符串类型的文件输入，可能出现问题。 ```bash Traceback (most recent call last): File "/usr/local/lib/python3.10/dist-packages/SkyPlatformPyTool/run.py", line 311, in _inner d = f(exec_ctx_wrapper, args) File "/root/app/app.py", line 96, in handler self.compose_model(model_file_local, config, File "/root/app/app.py", line 55, in...
* I use : `const int[1,100] id, int[-200, 450] temp, int& out_temp //precision 0.1, ex: temp=10->1°C ` as the original model params in .xml file, and it seems works fine...
