Steps to reproduce:
1. In the attached model, change the sync "call?" to "call?[newline]c?"
2. Press F7 (Uppaal marks "c?" as a syntax error)
3. Change the sync back to "call?"
Uppaal throws an IllegalArgumentException.
Created attachment 29 [details]
Created attachment 30 [details]
Can you reproduce this error? I have tried to follow your instructions, but I do
not see any exceptions at all (using Linux and UPPAAL 3.5.5).
Yes, the bug is reproducible. However, it only occurs if the sync is changed via
"Edit Edge" and not when changed via "Edit Synchronisation" - I'm sorry I didn't
make that clear in the original report.
Yes, now I can also reproduce the error.
I will fix the bug.
A fix has been checked into CVS. The problem was that the edit edge dialog did not erase the previous
error messages from the list (but the edit synchronisation dialog did).