|Summary:||verifyta segfaults on use of -T option|
|Product:||UPPAAL||Reporter:||Ferdy Hanssen <hanssen>|
|Component:||Engine||Assignee:||Gerd Behrmann <behrmann>|
Description Ferdy Hanssen 2005-07-14 17:26:22 CEST
In some cases verifyta 3.5.8 (not in bugzilla) segfaults on the use of -T. I cannot pinpoint it exactly, but the attached model and query file show it when run with 'verifyta -N -T'. When not using the -T option the segfault does not occur.
Comment 3 Ferdy Hanssen 2005-07-14 18:14:23 CEST
verifyta 3.5.7 does not exhibit this problem
Comment 4 Gerd Behrmann 2005-07-17 18:18:24 CEST
Confirmed. This is most likely caused by the fix for bug 170.
Comment 5 Gerd Behrmann 2005-08-05 18:49:32 CEST
The problem was not directly in the fix of bug 170, but rather that the fix of bug 170 made that part of the code non-reentrant. For 3.5 I have checked in a fix that removes the requirement that this particular code fragment must be reentrant. 3.4.11 might suffer from the same problem, so I do not close the bug.
Comment 6 Gerd Behrmann 2005-08-05 20:51:48 CEST
3.4.11 is affected by the same problem. Increasing the severity of the bug. A fix has been checked into CVS.