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:	Engine	Assignee:	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 :-)