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

Bug 474 - verifier crashes without warning
Summary: verifier crashes without warning
Status: RESOLVED FIXED
Alias: None
Product: UPPAAL
Classification: Unclassified
Component: Engine (show other bugs)
Version: 4.0.8
Hardware: PC Windows XP
: P1 critical
Assignee: Alexandre David
URL:
: 473 (view as bug list)
Depends on:
Blocks:
 
Reported: 2009-06-18 21:05 CEST by Aivo Anier
Modified: 2009-08-04 12:12 CEST (History)
1 user (show)

See Also:
Architecture:

Attachments
gossip, forall, veryfier crash (1017 bytes, application/zip)
2009-06-18 21:06 CEST, Aivo Anier 		Details
Add an attachment (proposed patch, testcase, etc.)

Note You need to log in before you can comment on or make changes to this bug.
Description Aivo Anier 2009-06-18 21:05:14 CEST 
verifier crashes when solving the gossiping girls, with forall statement
Comment 1 Aivo Anier 2009-06-18 21:06:18 CEST 
Created attachment 221 [details]
gossip, forall, veryfier crash

model+query
Comment 2 Alexandre David 2009-06-24 17:23:17 CEST 
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 Alexandre David 2009-06-25 18:20:32 CEST 
Fixed in rev. 4366 (dev) and 4367 (4.0.9).
Comment 4 Alexandre David 2009-08-04 12:12:10 CEST 
*** Bug 473 has been marked as a duplicate of this bug. ***