This issue tracker is closed. Please visit UPPAAL issue tracker at Github instead.

Bug 458

Summary:	Uppaal server crashes with certain use of channel priorities
Product:	UPPAAL	Reporter:	Frits Vaandrager <F.Vaandrager>
Component:	Engine	Assignee:	Alexandre David <adavid>
Status:	RESOLVED FIXED
Severity:	critical	CC:	F.Vaandrager
Priority:	P1
Version:	4.0.7
Hardware:	PC
OS:	Windows XP
Architecture:

Description Frits Vaandrager 2009-01-17 23:01:47 CET

The attached model is made to solve the jealous husbands problem, see
http://en.wikipedia.org/wiki/Missionaries_and_cannibals_problem.  Since
Uppaal has no until operator, I need to give priority to affairs with other
woman whenever possible ;-)  The resulting model is syntactically correct
but when I start the simulator or verifier, the server crashes.
When I remove the channel priority declaration there is no problem.
I believe this is a bug.

Why is there no possibility to append a Uppaal model in a bug report?
I will send it to Alexander

Comment 1 Alexandre David 2009-03-10 11:24:23 CET

If you create an attachment, you can join the model. Could do it or send it to me?

Comment 2 Alexandre David 2009-03-19 13:41:28 CET

Fixed in rev. 4271.