Bug 504

Summary: Use of stopwatches with UPPAAL_COMPILE_ONLY produce an exception
Product: UPPAAL Reporter: Van Goethem Simon <vangoethemsimon>
Component: EngineAssignee: Alexandre David <adavid>
Status: NEW ---    
Severity: normal    
Priority: P2    
Version: unspecified   
Hardware: PC   
OS: Windows XP   

Description Van Goethem Simon 2010-11-08 10:32:04 CET
I use the Uppaal 4.1.3 snapshot with stopwatches, and when I want to generate the compiled version of the timed automata to analyse the traces, with the environment variable UPPAAL_COMPILE_ONLY, Uppaal throw an "EXCEPTION: Cannot build expression".  I guess it's because the part of Uppaal dedicated to the printing of the compiled model is not adapted to the new stopwatch feature, the problem is not present if I don't use any stopwatch.