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

Gliffy Diagrams

Activity

Show:

Jenkins Build Server January 21, 2013 at 3:16 PM

Integrated in

ProB_TclTk_Linux_No_Parallel #12
https://probjira.atlassian.net/browse/ZMQEXTENSION-34#icft=ZMQEXTENSION-34 (Revision 12781)

Result = SUCCESS
koerner :
Files :

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

Jenkins Build Server January 10, 2013 at 7:41 PM

Integrated in

ProB_TclTk_Windows #120
https://probjira.atlassian.net/browse/ZMQEXTENSION-34#icft=ZMQEXTENSION-34 (Revision 12781)

Result = SUCCESS
koerner :
Files :

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

Jenkins Build Server January 10, 2013 at 9:49 AM

Integrated in

ProB_TclTk_Linux #5276
https://probjira.atlassian.net/browse/ZMQEXTENSION-34#icft=ZMQEXTENSION-34 (Revision 12781)

Result = SUCCESS
koerner :
Files :

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

Fixed

Details

Assignee

Reporter

Priority

Created January 7, 2013 at 12:16 PM
Updated January 21, 2013 at 3:16 PM
Resolved January 15, 2013 at 2:57 PM