#(work hard runs) equals #(checked states)

Description

None

Environment

None

Activity

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

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
February 14, 2013, 1:42 PM

Integrated in

ProB_Tests_Linux_No_Parallel #17

Result = SUCCESS

Fixed

Assignee

Philipp Koerner

Reporter

Philipp Koerner

Priority

Blocker