Terminate on first error
Description
We should have a switch for model checking until all states processed and terminate on error (i.e. result is not empty).
Environment
None
Activity
Show:
Jenkins Build Server
January 10, 2013, 9:49 AM
Integrated in
ProB_TclTk_Linux #5276
(Revision 12781)
Result = SUCCESS
koerner :
Files :
/trunk/prolog/extensions/zmq/master.c
Jenkins Build Server
January 10, 2013, 7:41 PM
Integrated in
ProB_TclTk_Windows #120
(Revision 12781)
Result = SUCCESS
koerner :
Files :
/trunk/prolog/extensions/zmq/master.c
Jenkins Build Server
January 21, 2013, 3:16 PM
Integrated in
ProB_TclTk_Linux_No_Parallel #12
(Revision 12781)
Result = SUCCESS
koerner :
Files :
/trunk/prolog/extensions/zmq/master.c
