Reported on the mailing list 30th of august 2006:
I'm using verifita (Uppaal 4.0.2) on a linux system. Entering the
/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.
Fixed in the 4.0 branch from rev. 2686. Still needs to be fixed on the trunk.
Fixed on the trunk from rev. 2763.