Bug for handling params of template

[balp-jbt]

• 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 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

[Jack0Chan]

Thank you for your support! This bug has been fixed in GitHub. PyPi will be updated to 1.2.2 soon, and I will notify you here.