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

Bug 177

Summary: verifyta segfaults on use of -T option
Product: UPPAAL Reporter: Ferdy Hanssen <hanssen>
Component: EngineAssignee: Gerd Behrmann <behrmann>
Status: RESOLVED FIXED    
Severity: major    
Priority: P2    
Version: 3.5.8   
Hardware: All   
OS: All   
Architecture:
Attachments: Model
Query file

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 1 Ferdy Hanssen 2005-07-14 17:26:51 CEST
Created attachment 50 [details]
Model
Comment 2 Ferdy Hanssen 2005-07-14 17:27:16 CEST
Created attachment 51 [details]
Query file
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.
Comment 7 Gerd Behrmann 2005-08-05 20:55:31 CEST
Correction: 3.4.11 did not yet contain the fix for bug 170. Hence a version of 3.4 containing this problem 
was never released. Reducing severity again :-)