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

Bug 504 - Use of stopwatches with UPPAAL_COMPILE_ONLY produce an exception
Summary: Use of stopwatches with UPPAAL_COMPILE_ONLY produce an exception
Status: NEW
Alias: None
Product: UPPAAL
Classification: Unclassified
Component: Engine (show other bugs)
Version: unspecified
Hardware: PC Windows XP
: P2 normal
Assignee: Alexandre David
Depends on:
Reported: 2010-11-08 10:32 CET by Van Goethem Simon
Modified: 2010-11-08 10:32 CET (History)
0 users

See Also:


Note You need to log in before you can comment on or make changes to this bug.
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.