#(work hard runs) equals #(checked states)
Description
None
Environment
None
Activity
Show:
Jenkins Build Server
February 14, 2013, 1:42 PM
Jenkins Build Server
January 30, 2013, 5:30 PM
Integrated in
ProB_TclTk_Windows #148
fixes and works on (Revision 12910)
Result = SUCCESS
koerner :
Files :
/trunk/prolog/extensions/zmq/external.c
/trunk/prolog/extensions/zmq/external.h
/trunk/prolog/extensions/zmq/worker.c
Jenkins Build Server
January 30, 2013, 4:10 PM
Integrated in
ProB_TclTk_Linux #5403
fixes and works on (Revision 12910)
Result = SUCCESS
koerner :
Files :
/trunk/prolog/extensions/zmq/external.c
/trunk/prolog/extensions/zmq/external.h
/trunk/prolog/extensions/zmq/worker.c