Changes between Version 10 and Version 11 of GUIRequirements


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

--

Legend:

Unmodified
Added
Removed
Modified

  • GUIRequirements

    v10 v11  
    2222 * etc.
    2323* the GUI needs to display the trace and allow the user to interact with the trace if a counterexample is found or if the run command is used
     24* when interacting with a trace, at any time, there will be at most one selected execution step (the "active step").  The active step will cause the corresponding parts of the source code view, the AST view, and the model view to be highlighted
    2425* the GUI needs to display the statistics resulting from execution in formatted way (such as a table)
    2526* 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.