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
Created attachment 50 [details]
Created attachment 51 [details]
verifyta 3.5.7 does not exhibit this problem
Confirmed. This is most likely caused by the fix for bug 170.
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
3.4.11 might suffer from the same problem, so I do not close the bug.
3.4.11 is affected by the same problem. Increasing the severity of the bug.
A fix has been checked into CVS.
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 :-)