Community
Participate
Working Groups
In the statistical graph there is an arrow to the far right that you can enable, so that the graph will "follow" the data as it is plotted on the graph. For local agents this works very well, however there is a problem with doing this on a remote agent whose clock is different from the workbench machine. The problem is that the data is plotted on the graph using the remote machine time, but the view follows the current time. This means if the remote clock is one minute ahead of the local one (a common occurence), the graph will "lag" behind and follow what happened one minute ago. Two ways to solve this problem, that I can think of, would be to try and find the clock skew between the machines, and compensate, or to forget times altogether and just keep jumping to the furthest point as it is plotted.
Moving to 4.2.
The work for this bug seems to be encompassed in the enhancement 110614. Marking this as a duplicate. *** This bug has been marked as a duplicate of 110614 ***
As of TPTP 4.6.0, TPTP is in maintenance mode and focusing on improving quality by resolving relevant enhancements/defects and increasing test coverage through test creation, automation, Build Verification Tests (BVTs), and expanded run-time execution. As part of the TPTP Bugzilla housecleaning process (see http://wiki.eclipse.org/Bugzilla_Housecleaning_Processes), this enhancement/defect is verified/closed by the Project Lead since this enhancement/defect has been resolved and unverified for more than 1 year and considered to be fixed. If this enhancement/defect is still unresolved and reproducible in the latest TPTP release (http://www.eclipse.org/tptp/home/downloads/), please re-open.
