Statistic file output is incorrect
Description
Environment
None
Gliffy Diagrams
Activity
Show:

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

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
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
Some entries in the output file are off by one.