Submitted by Daniel Karlsson on the public mailing list:
I've used the attached traffic light problem as an example in a course
for some years now. It has always worked for the Uppaal 3 versions, but
now as I wanted (had to) upgrade to version 4 some properties failed. I
have investigated the diagnostic trace, but I can't understand why they
Might there be a bug in the new version, or perhaps there has always
been a bug in my model which completely escapes me?
Created attachment 132 [details]
Created attachment 133 [details]
Fixed on the 4.0 branch from rev. 2872.
Fixed on the trunk from rev. 2874.