We're updating the issue view to help you get more done. 

Investigate why ProB2-UI needs a higher TIME_OUT to work

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.

Status

Assignee

Unassigned

Reporter

Michael Leuschel

Labels

None

Priority

Major