Changes between Initial Version and Version 1 of Ticket #21


Ignore:
Timestamp:
08/20/09 00:33:25 (17 years ago)
Author:
Stephen Siegel
Comment:

Legend:

Unmodified
Added
Removed
Modified

  • Ticket #21 – Description

    initial v1  
    33During a comparison, instead of naming the models "P1" and "P2", how about "Spec" and "Impl".
    44
     5The stuff initially printed out is as follows:
     6
     7{{{
     8MiniMP version 1.0
     9URL: http://vsl.cis.udel.edu
     10
     11Minimp initialized with 1 process
     12Program runs in compare mode.
     13Program parsed succesfully.
     14IR generated succesfully.
     15}}}
     16
     17Can we replace that instead with the following form:
     18
     19{{{
     20+----------------------------------------------------------------------+
     21|           TASS: Toolkit for Accurate Scientific Software             |
     22|    version 1.0       1 Sep 2009       http://vsl.cis.udel.edu/tass   |
     23+----------------------------------------------------------------------+
     24
     25            Function          : compare
     26            specification     : foo.mmp (np=1)
     27            implementation    : bar.mmp (np=5)
     28            Deadlock detection: potential [absolute, ignore]
     29            Reduction         : Urgent [Standard]
     30           
     31[etc. for any other options]
     32}}}
     33
     34For verify model, the Function is "verify" and instead of specification and implementation, just "model".
     35
     36The stuff about parsing and the IR should only be printed out if the verbose option is selected.