Skip to:

  1. Skip to Jira Navigation
  2. Skip to Side Navigation
  3. Skip to Main Content

Statistic file output is incorrect

Description

Some entries in the output file are off by one.

Environment

None

Gliffy Diagrams

Activity

Show:

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

Integrated in

ProB_Tests_Linux_No_Parallel #17

Result = SUCCESS

Jenkins Build Server January 30, 2013 at 5:30 PM

Integrated in

ProB_TclTk_Windows #148
fixing timer problems as in (Revision 12911)

Result = SUCCESS
koerner :
Files :

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

Jenkins Build Server January 30, 2013 at 4:59 PM

Integrated in

ProB_TclTk_Linux #5404
fixing timer problems as in (Revision 12911)

Result = SUCCESS
koerner :
Files :

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

Jenkins Build Server January 25, 2013 at 7:53 PM

Integrated in

ProB_TclTk_Windows #142
(Revision 12885)

Result = SUCCESS
koerner :
Files :

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

Jenkins Build Server January 25, 2013 at 6:03 PM

Integrated in

ProB_TclTk_Linux #5380
(Revision 12885)

Result = SUCCESS
koerner :
Files :

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

Fixed

Details

Assignee

Reporter

Priority

Created January 25, 2013 at 8:58 AM
Updated February 14, 2013 at 1:42 PM
Resolved January 25, 2013 at 5:18 PM
Configure