Changes between Version 1 and Version 2 of Ticket #21


Ignore:
Timestamp:
08/20/09 11:29:20 (17 years ago)
Author:
Stephen Siegel
Comment:

Legend:

Unmodified
Added
Removed
Modified

  • Ticket #21 – Description

    v1 v2  
    3535
    3636The stuff about parsing and the IR should only be printed out if the verbose option is selected.
     37
     38
     39If the user enters an incorrect command line, the system should not only respond with a complaint about the input, but should also display a usage message that describes the commandline interface
     40
     41{{{
     42Usage:
     43
     44tass verify [options] model.mmp
     45tass compare [options] spec.mmp impl.mmp
     46
     47Options:
     48  -reduce=std   : no reductions
     49  -reduce=urgent :
     50}}}
     51
     52etc.
     53