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

Bug 350

Summary:	Summary output from verifyta reports wrong trace type
Product:	UPPAAL	Reporter:	Gerd Behrmann <behrmann>
Component:	Engine	Assignee:	Gerd Behrmann <behrmann>
Status:	RESOLVED FIXED
Severity:	trivial
Priority:	P2
Version:	4.0.2
Hardware:	All
OS:	All
Architecture:

Description Gerd Behrmann 2006-09-23 17:22:51 CEST

Reported on the mailing list 30th of august 2006:

I'm using verifita (Uppaal 4.0.2) on a linux system. Entering the 
command

/usr/selocal/uppaal-4.0.2/bin-Linux/verifyta -t2 sf.xml sf-query.q

I get the output

Options for the verification:
Generating shortest trace
...

It does generate a fastest trace, as it should with the option -t2.

Comment 1 Gerd Behrmann 2006-09-23 17:50:51 CEST

Fixed in the 4.0 branch from rev. 2686. Still needs to be fixed on the trunk.

Comment 2 Gerd Behrmann 2006-10-14 15:52:57 CEST

Fixed on the trunk from rev. 2763.