Command-Line breve Without Graphical Display

If you wish to run a simulation without graphical display, you can use the command breve -x. Follow the same setup directions described above ([link]) in order to setup your environment, and then run the simulation:

% ./bin/breve -x ./demos/Push/PushRegression.tz

Textual output will be printed as usual, but no graphical window is shown. This feature is most useful for collecting data when user interaction and observation is unimportant.