Changes between Version 7 and Version 8 of GUIRequirements


Ignore:
Timestamp:
06/17/14 13:28:36 (12 years ago)
Author:
zmanchun
Comment:

--

Legend:

Unmodified
Added
Removed
Modified

  • GUIRequirements

    v7 v8  
    2323* the GUI needs to display the statistics resulting from execution in formatted way (such as a table)
    2424* the views of the source code, model, AST, and trace need to all be linked.  For example, a location occurring in the trace should be clickable, and clicking it should take you to the location in the CIVL Model.  Clicking in some other way should take to the AST, and some other way should take you to the source code.
    25 
     25* If an error is reported, the GUI needs to
     26 * display the error message
     27 * display the error state if possible
     28 * allow the user to click the source code summary to go the source code
     29 * if the error is an execution error, then there should be a shortcut for the user to replay the counter example immediately
    2630