Summary: | NullPointerException in GUI; verifyta works fine | ||
---|---|---|---|
Product: | UPPAAL | Reporter: | Jinghao Shi <jinghaos> |
Component: | Engine | Assignee: | Marius Mikučionis <marius> |
Status: | RESOLVED FIXED | ||
Severity: | enhancement | CC: | adavid |
Priority: | P3 | ||
Version: | 4.1.19 | ||
Hardware: | PC | ||
OS: | Linux | ||
Architecture: | |||
Attachments: | The model I tried to verify |
The xta file contains some (shared) variable declarations in between template definitions, which is not really allowed. verifyta can deal with it because it uses a different parsing technology, whereas the GUI parser is more strict (it assumes system declaration once it sees a variable declaration and hence breaks). A workaround is to move those declarations into the global/shared declarations section. Also the GUI pops with a "NullPointerException" instead of proper error message due to an obfuscation bug. Fixed and released in version 4.1.20 |
Created attachment 300 [details] The model I tried to verify While I tried to open the attached "xta" file in UPPAAL GUI, there was this pop up saying "java.lang.NullPointException". However, I was able to use the "verifyta" command to validate the model fine without any problem. The full "verifyta" command I used is: verifyta -C -S 0 -t 1 -y assoc_expend.xta assoc.q If there's any way to obtain more detailed debug information (such as stack trace, logs, etc), please let me know. Thanks for your help. Thanks, Jinghao