First Last Prev Next    No search results available      Search page      Enter new bug
Bug#: 467
Product:
Component:
Status: RESOLVED
Resolution: FIXED
Assigned To: Alexandre David <adavid@cs.aau.dk>
Hardware:
OS:
Version:
Priority:
Severity:
Reporter: Kenneth Yrke Jørgensen <kyrke@cs.aau.dk>
Add CC:
CC:
URL:
Summary:

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

Bug 467 depends on: Show dependency tree
Show dependency graph
Bug 467 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: 2009-04-01 16:34 
When running the appended model using verifyta -t2 todavid.xml, verifyta shows
the error: EXCEPTION: Clock valuation 

The model is found at: 
http://www.cs.aau.dk/~kyrke/download/uppaal-verifyta-error.tar.gz

------- Comment #1 From Alexandre David 2009-06-15 21:01:25 ------- 
Fixed in rev. 4335.
First Last Prev Next    No search results available      Search page      Enter new bug