We should have a switch for model checking until all states processed and terminate on error (i.e. result is not empty).
Integrated in
ProB_TclTk_Linux #5276
(Revision 12781)
Result = SUCCESS
koerner :
Files :
/trunk/prolog/extensions/zmq/master.c
Integrated in
ProB_TclTk_Windows #120
(Revision 12781)
Result = SUCCESS
koerner :
Files :
/trunk/prolog/extensions/zmq/master.c
Integrated in
ProB_TclTk_Linux_No_Parallel #12
(Revision 12781)
Result = SUCCESS
koerner :
Files :
/trunk/prolog/extensions/zmq/master.c