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: EngineAssignee: 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).