Terminate on first error
Description
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
Details
Assignee
Philipp Koerner
Philipp KoernerReporter
Jens Bendisposto
Jens BendispostoPriority
Created January 7, 2013 at 12:16 PM
Updated January 21, 2013 at 3:16 PM
Resolved January 15, 2013 at 2:57 PM
We should have a switch for model checking until all states processed and terminate on error (i.e. result is not empty).