usage information incorrect

[Stephen Siegel]

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.

[ywei]

Information fixed.

[Stephen Siegel]

Usage information says

   -buffer=N : specify the buffer size.

but that doesn't work. What works is

   -buffer N

Please make consistent.

[ywei]

Information changed.