agent0.hyperfuzz.unit_fuzz.helpers.advance_time

Helpers for advancing time wrt checkpoint boundaries

Functions

advance_time_before_checkpoint(→ None)	Advance time on the chain a random amount that is less than the next checkpoint time.
advance_time_after_checkpoint(→ None)	Advance time on the chain to the next checkpoint boundary plus some buffer.

Module Contents

agent0.hyperfuzz.unit_fuzz.helpers.advance_time.advance_time_before_checkpoint(chain: agent0.core.hyperdrive.interactive.LocalChain, rng: numpy.random.Generator, interactive_hyperdrive: agent0.core.hyperdrive.interactive.LocalHyperdrive) → None

Advance time on the chain a random amount that is less than the next checkpoint time.

Parameters:

• chain (LocalChain) – An instantiated LocalChain.

• rng (Generator) – The numpy Generator provides access to a wide range of distributions, and stores the random state.

• interactive_hyperdrive (InteractiveHyperdrive) – An instantiated InteractiveHyperdrive object.

agent0.hyperfuzz.unit_fuzz.helpers.advance_time.advance_time_after_checkpoint(chain: agent0.core.hyperdrive.interactive.LocalChain, interactive_hyperdrive: agent0.core.hyperdrive.interactive.LocalHyperdrive) → None

Advance time on the chain to the next checkpoint boundary plus some buffer.

Parameters:

• chain (LocalChain) – An instantiated LocalChain.

• interactive_hyperdrive (InteractiveHyperdrive) – An instantiated InteractiveHyperdrive object.