Changes between Version 6 and Version 7 of GUIRequirements


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

--

Legend:

Unmodified
Added
Removed
Modified

  • GUIRequirements

    v6 v7  
    2020 * for an integer input variable, the options should be unspecified (again, the default), or some concrete integer that can be typed into a field
    2121 * etc.
    22 * 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
     22* 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
    2423* the GUI needs to display the statistics resulting from execution in formatted way (such as a table)
    2524* 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.