Eval Console

For this tutorial, load for example the file StackConstructive.mch included in the examples/Tutorial directory of the ProB distribution.

After loading the file, double click on the "SETUP_CONSTANTS" in the "Enabled Operations" Pane.