== 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)