Investigate why ProB2-UI needs a higher TIME_OUT to work
Fixed
Description
When using the example blocksworld_medium.mch from prob_examples and adding the line SET_PREF_TIME_OUT == 70; SET_PREF_STATIC_ORDERING == TRUE; ProB Tcl/Tk can load the machine without a time out appearing, but in ProB2 UI we systematically get a time-out. I have seen this with other models (AMASS) and the SETUP_CONSTANTS transition.
Major
When using the example blocksworld_medium.mch from prob_examples
and adding the line
SET_PREF_TIME_OUT == 70; SET_PREF_STATIC_ORDERING == TRUE;
ProB Tcl/Tk can load the machine without a time out appearing, but in ProB2 UI we systematically get a time-out.
I have seen this with other models (AMASS) and the SETUP_CONSTANTS transition.