Changes between Version 8 and Version 9 of GUIRequirements


Ignore:
Timestamp:
06/17/14 13:31:48 (12 years ago)
Author:
siegel
Comment:

--

Legend:

Unmodified
Added
Removed
Modified

  • GUIRequirements

    v8 v9  
    1212 * Features
    1313   * Show source code for statements
     14* the GUI should provide a (non-interactive) Console view which shows the output produced by CIVL as it executes its functions, similar to what would be seen when using CIVL from the command line
    1415* the GUI needs to guide the user through all commands which can be executed through the command line
    1516 * verify, run, parse, etc.
    … …  
    2829 * allow the user to click the source code summary to go the source code
    2930 * if the error is an execution error, then there should be a shortcut for the user to replay the counter example immediately
    30  
     31 * the GUI should interact with CIVL solely through CIVL's Java API (and not, for example, through the command line interface), both when invoking CIVL's functionality and in obtaining CIVL's results, including statistics, traces, and error messages