Changes between Version 11 and Version 12 of GUIRequirements


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

--

Legend:

Unmodified
Added
Removed
Modified

  • GUIRequirements

    v11 v12  
    3131 * if the error is an execution error, then there should be a shortcut for the user to replay the counter example immediately
    3232* 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
     33* the GUI should display useful information when the mouse pointer "hovers" over certain elements.   This is admittedly vague, but let's think of some cool things it can show when hovering.