Controlling ProB Preferences

ProB provides a variety of preferences to control its behaviour.

Setting Preferences in a B machine

This only works for classical B models. For a preference P you can add the following definition to the DEFINITIONS section of the main machine:

SET_PREF_P == VAL

This will set the preference P to the value VAL for this model only.

Setting Preferences from the command-line

probcli -p P VAL

You can obtain a list of preferences by calling

probcli -help -v

Setting Preferences from ProB Tcl/Tk