First Last Prev Next    No search results available      Search page      Enter new bug
Bug#: 474
Product:
Component:
Status: RESOLVED
Resolution: FIXED
Assigned To: Alexandre David <adavid@cs.aau.dk>
Hardware:
OS:
Version:
Priority:
Severity:
Reporter: Aivo Anier <aivo.anier@ttu.ee>
Add CC:
CC:
Remove selected CCs
URL:
Summary:

Attachment Type Creator Created Size Actions
gossip, forall, veryfier crash application/zip Aivo Anier 2009-06-18 21:06 1017 bytes Details
Create a New Attachment (proposed patch, testcase, etc.) View All

Bug 474 depends on: Show dependency tree
Show dependency graph
Bug 474 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-06-18 21:05 
verifier crashes when solving the gossiping girls, with forall statement

------- Comment #1 From Aivo Anier 2009-06-18 21:06:18 ------- 
Created an attachment (id=221) [details]
gossip, forall, veryfier crash

model+query

------- Comment #2 From Alexandre David 2009-06-24 17:23:17 ------- 
Work-around that bug in rev. 4361 (4.0.8) and 4362 (dev).
The bug will still occur if the name of the process parameter
matches a name of the template member. This still needs to be
fixed.

------- Comment #3 From Alexandre David 2009-06-25 18:20:32 ------- 
Fixed in rev. 4366 (dev) and 4367 (4.0.9).

------- Comment #4 From Alexandre David 2009-08-04 12:12:10 ------- 
*** Bug 473 has been marked as a duplicate of this bug. ***
First Last Prev Next    No search results available      Search page      Enter new bug