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

Bug 467

Summary: verifyta fails on generation of trace
Product: UPPAAL Reporter: Kenneth Yrke Jørgensen <kyrke>
Component: EngineAssignee: Alexandre David <adavid>
Status: RESOLVED FIXED    
Severity: major    
Priority: P1    
Version: unspecified   
Hardware: PC   
OS: All   
Architecture:

Description Kenneth Yrke Jørgensen 2009-04-01 16:34:05 CEST
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 Alexandre David 2009-06-15 21:01:25 CEST
Fixed in rev. 4335.