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 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

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 10, 2013, 9:49 AM

Integrated in

ProB_TclTk_Linux #5276
(Revision 12781)

Result = SUCCESS
koerner :
Files :

  • /trunk/prolog/extensions/zmq/master.c

Fixed

Assignee

Philipp Koerner

Reporter

Jens Bendisposto