GUI Requirements

• the GUI needs to show a view of the source code
  • the source code will usually consist of multiple files, these should be shown in separate windows or tabs
  • the source view must show line numbers
• GUI needs to show a view of the AST in a hierarchical way
• GUI needs to show a view of the CIVL model in a hierarchical way
• the GUI needs to guide the user through all commands which can be executed through the command line
  • verify, run, parse, etc.
  • the GUI should guide the user by showing the options available to each command in some way and letting the user select those options in a graphical way (buttons, menus, etc.)
  • the GUI should allow the user to specify by inputs by showing the list of input variables in a table, with one row for each input. The table should show the type of the input variable.
  • for a boolean input variable, the options should be unspecified (always the default), true, or false.
  • for an integer input variable, the options should be unspecified (again, the default), or some concrete integer that can be typed into a field
  • etc.
• the GUI needs to display the trace and allow the user to interact with the trace if a counterexample is found
• the GUI needs to display the statistics resulting from execution in formatted way (such as a table)