On Wed, Mar 14, 2018 at 2:53 AM, Pavel Dovgalyuk <[email protected]> wrote:
> icount is adjusted by icount_warp_rt when CPU sleeps.
> These adjustments may be different in different runs.
> And the first adjustment is performed at the start of the machine.
> Therefore "now" value includes non-deterministic component from the beginning,
> but its increments caused by instruction executions are deterministic.

Ok, so the CPU reset is non-deterministic. Thanks.

-- Max

Reply via email to