The attached model is made to solve the jealous husbands problem, see
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
If you create an attachment, you can join the model. Could do it or send it to me?
Fixed in rev. 4271.