|Summary:||Exception when using "forall" in guards|
|Product:||UPPAAL||Reporter:||Leonid Mokrushin <leom>|
|Component:||Engine||Assignee:||Gerd Behrmann <behrmann>|
|Version:||3.6 Alpha 2|
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 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).