Changes between Version 5 and Version 6 of GUIRequirements


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

--

Legend:

Unmodified
Added
Removed
Modified

  • GUIRequirements

    v5 v6  
    2121 * etc.
    2222* the GUI needs to display the trace and allow the user to interact with the trace if a counterexample is found
     23* the GUI needs to display the trace and allow the user to interact with the trace if the run command is used
    2324* the GUI needs to display the statistics resulting from execution in formatted way (such as a table)
    2425* 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.