Changes between Version 2 and Version 3 of GUIRequirements


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

--

Legend:

Unmodified
Added
Removed
Modified

  • GUIRequirements

    v2 v3  
    1616* the GUI needs to display the trace and allow the user to interact with the trace if a counterexample is found
    1717* the GUI needs to display the statistics resulting from execution in formatted way (such as a table)
     18* 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.
     19
    1820