|Product:||UPPAAL||Reporter:||Marius Mikučionis <marius>|
|Component:||Engine||Assignee:||Alexandre David <adavid>|
Description Marius Mikučionis 2008-12-18 18:35:28 CET
I think this bug is a release critical, so just for the record: 1) There is no documentation about stopwatches in the manual, i.e. how to define, use them and what are consequences. 2) safety verification suddenly switches to "probably" and does not give any trace, although the verification terminates quite quickly, i.e. it clearly found something, but refuses to show it. I'd like to get that trace, even if that is an overapproximation, or at least show a reason in status why there is no trace when trace is requested. Is it a fundamental/correctness problem or implementation limitation?
Comment 1 Alexandre David 2009-03-10 11:19:01 CET
Fixed in rev. 4247.