First Last Prev Next    No search results available      Search page      Enter new bug
Bug#: 458
Product:
Component:
Status: RESOLVED
Resolution: FIXED
Assigned To: Alexandre David <adavid@cs.aau.dk>
Hardware:
OS:
Version:
Priority:
Severity:
Reporter: Frits Vaandrager <F.Vaandrager@cs.ru.nl>
Add CC:
CC:
Remove selected CCs
URL:
Summary:

Attachment Type Creator Created Size Actions
Create a New Attachment (proposed patch, testcase, etc.) View All

Bug 458 depends on: Show dependency tree
Show dependency graph
Bug 458 blocks:
Votes: 0    Show votes for this bug    Vote for this bug

Additional Comments:







View Bug Activity   |   Format For Printing   |   XML   |   Clone This Bug

Description:   Opened: 2009-01-17 23:01 
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 From Alexandre David 2009-03-10 11:24:23 ------- 
If you create an attachment, you can join the model. Could do it or send it to
me?

------- Comment #2 From Alexandre David 2009-03-19 13:41:28 ------- 
Fixed in rev. 4271.
First Last Prev Next    No search results available      Search page      Enter new bug