On Fri, Jun 13, 2014 at 11:08:37AM -0700, Gurucharan Shetty wrote:
> On Thu, Jun 12, 2014 at 3:35 PM, Ben Pfaff wrote:
> > On Fri, Jun 06, 2014 at 10:04:31AM -0700, Gurucharan Shetty wrote:
> >> The new command is of the form 'time/warp LARGE_MSECS MSECS'.
> >> It advances the current monotonic ti
On Thu, Jun 12, 2014 at 3:35 PM, Ben Pfaff wrote:
> On Fri, Jun 06, 2014 at 10:04:31AM -0700, Gurucharan Shetty wrote:
>> The new command is of the form 'time/warp LARGE_MSECS MSECS'.
>> It advances the current monotonic time by LARGE_MSECS. This is done MSECS
>> at a time in each run of the main
On Fri, Jun 06, 2014 at 10:04:31AM -0700, Gurucharan Shetty wrote:
> The new command is of the form 'time/warp LARGE_MSECS MSECS'.
> It advances the current monotonic time by LARGE_MSECS. This is done MSECS
> at a time in each run of the main thread. This gives other threads
> time to run after the
The new command is of the form 'time/warp LARGE_MSECS MSECS'.
It advances the current monotonic time by LARGE_MSECS. This is done MSECS
at a time in each run of the main thread. This gives other threads
time to run after the clock has been advanced by MSECS.
The old command would continue to work.