id	summary	reporter	owner	description	type	status	priority	milestone	component	version	resolution	keywords	cc
98	usage information incorrect	Stephen Siegel	ywei	"The usage information printed from the command line is incorrect at several points.

It says ""reduce="" but the system actually expects ""reduction="".   I suggest changing the system to ""reduce"" and keeping the usage info as is.

""absolut"" should be ""absolute"".

""-bufferBound"" doesn't work.  Make it ""-buffer=n"" to be consistent.

{{{
frederic:MiniMP siegel$ tass
Usage: 
            tass verify [options] model.mmp [-np N]
            tass compare [options] spec.mmp [-np N] impl.mmp [-np N]
            tass extract model.mmp [-np N]
Options: 
   -reduce=std  : no reductions.
   -reduce=urgent
   -deadlock=absolut    : report absolut deadlocks.
   -deadlock=potential  : report potential deadlocks (including absolute ones).
   -deadlock=ignore     : ignore all deadlocks.
   -verbose     : verbose mode.
   -simplify    : use prover simplification.
   -bufferBound N : specify the buffer size.
   -loop        : use loop comparison technique (compare mode only, default off).
}}}

Check all others to make sure they are correct.
"	defect	closed	major		User Interface	1.0	fixed	ui, command line