Assertion checking is broken

Description

None

Environment

None

Activity

Show:
Jenkins Build Server
February 14, 2013, 1:42 PM

Integrated in

ProB_Tests_Linux_No_Parallel #17

Result = SUCCESS

Philipp Koerner
January 25, 2013, 8:56 AM

Segmentation faults are fixed.

Jenkins Build Server
January 24, 2013, 7:53 PM

Integrated in

ProB_TclTk_Windows #141
(Revision 12879)

Result = SUCCESS
koerner :
Files :

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

Jenkins Build Server
January 24, 2013, 2:40 PM

Integrated in

ProB_TclTk_Linux #5375
(Revision 12879)

Result = SUCCESS
koerner :
Files :

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

Fixed

Assignee

Philipp Koerner

Reporter

Jens Bendisposto