-model_check, -mc

[Franco Mazzanti]

Is there a wayto pass  set the -model_check or the -mc <nodes>  options to the  prob GUI?

It seems that these options are not recognised as valid by SET_PREF_XXX

and I could not find another way to extend the model checking limits from the tcl/tk GUI.

Best Regards

Franco Mazzanti