-
Notifications
You must be signed in to change notification settings - Fork 6
Open
Description
- I use :
const int[1,100] id, int[-200, 450] temp, int& out_temp //precision 0.1, ex: temp=10->1°Cas the original model params in .xml file, and it seems works fine in GUI.
-
However, the error generated, messages as below:
File "D:\Python\Python313\Lib\site-packages\pyuppaal\tracer.py", line 340, in trim_transitions
assert len(real_param_list) == len(form_param_list), "Invalid UPPAAL template file"
^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
AssertionError: Invalid UPPAAL template file -
Try to print the info learnt by codes,
form_param_list['1', '12', 'out_temp']
real_param_list['int[1', 'id', 'int[-200', 'temp', '0.1', 'temp=10->1°C']
-
Seems the comment and the range limitations are counted into split the vars
Reactions are currently unavailable
Metadata
Metadata
Assignees
Labels
No labels
