Changes between Version 9 and Version 10 of GUIRequirements


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

--

Legend:

Unmodified
Added
Removed
Modified

  • GUIRequirements

    v9 v10  
    2929 * allow the user to click the source code summary to go the source code
    3030 * if the error is an execution error, then there should be a shortcut for the user to replay the counter example immediately
    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
     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