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

Attachment Type Creator Created Size Actions
Create a New Attachment (proposed patch, testcase, etc.) View All

Bug 441 depends on: Show dependency tree
Show dependency graph
Bug 441 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: 2008-05-06 13:21 
A feature allowing the use of forall in invariants would be greatly
appreciated. This would be very convenient, particularly now that Uppaal allows
stopwatches from version 4.1.0.

------- Comment #1 From Alexandre David 2009-03-02 19:32:15 ------- 
This feature is already supported in 4.0.7 & development versions.
What you want is to be able to define rates in forall all expressions.

------- Comment #2 From Alexandre David 2009-03-02 21:42:51 ------- 
forall with clock rates is supported from rev. 4230.
First Last Prev Next    No search results available      Search page      Enter new bug