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

Back to bug 392

Who When What Removed Added
behrmann 2007-02-19 12:15:27 CET Severity normal critical
Status NEW ASSIGNED
Priority P2 P1
behrmann 2007-02-19 15:09:43 CET Summary Wrongful interpretation of query expression Wrongful interpretation of query over automatically instantiated templates with select expressions
behrmann 2007-05-13 18:11:00 CEST Priority P1 P2

Back to bug 392