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

Bug 230

Summary:	Exception when using "forall" in guards
Product:	UPPAAL	Reporter:	Leonid Mokrushin <leom>
Component:	Engine	Assignee:	Gerd Behrmann <behrmann>
Status:	RESOLVED FIXED
Severity:	normal
Priority:	P1
Version:	3.6 Alpha 2
Hardware:	PC
OS:	All
Architecture:
Attachments:	Test case

Description Leonid Mokrushin 2005-11-29 14:31:27 CET

I'm trying to use "forall" quantification on guards and I'm gettin an 
exception "Cannot normalise forall..." even though the same kind of 
functionality seems to work in location invariants.

Comment 1 Leonid Mokrushin 2005-11-29 14:33:59 CET

Created attachment 76 [details]
Test case

Comment 2 Gerd Behrmann 2005-12-01 11:07:36 CET

I have only tested forall and exists with non-clock guards, so I'm not surprised :-) I will take a look at it.

Comment 3 Gerd Behrmann 2005-12-07 14:19:25 CET

Fixed on the trunk (revision 1333).