|Summary:||Hangs with unclosed comments|
|Product:||UPPAAL||Reporter:||Gerd Behrmann <behrmann>|
|Component:||Engine||Assignee:||Gerd Behrmann <behrmann>|
Description Gerd Behrmann 2004-04-27 12:01:17 CEST
Submitted by Marius: The following string in the guard/sync/assignment causes server to eat up all the system memory very quickly: /*goosefrahbah Enter this string in UPPAAL GUI and press F7 to activate this memory leak. Warning: save all your documents and prepare for killing before you press F7.
Comment 1 Gerd Behrmann 2004-04-27 12:02:17 CEST
Confirmed. This bug is triggered by any unclosed comment. Placement does not matter.
Comment 2 Gerd Behrmann 2004-04-27 12:03:46 CEST
A fixed has been checked into CVS.