Attached is the specification that causes Uppaal to crash instead of showing
Created attachment 36 [details]
Specification causing crash
Crash bug in 3.4 series is considered to be a major bug. Increasing severity.
The bug is in libutap.
A fix for this has been checked into CVS for 3.5. We need to backport libutap to 3.4 to get the fix into the
I have backported the latest libutap to the 3.4 tree. This should resolve the bug.