Add a convenient way to select the initial environment in pure cleveland tests
Clarification and motivation
nettestTestProp
allows us to run a PureM
/emulated cleveland scenario in a Hedgehog property, but it does so with a fixed initial environment (see initEnv
).
This overall works, but it doesn't allow us to pick a different initial configuration for the emulator, which would be useful.
One use case, for example (that we have a need for in at least one place) is to set the initial value of NOW
to be different from the default dummyNow
that is currently used.
Note that the nettest interface, AFAIK purposefully, does not export ways to update an ongoing scenario and that should probably remain the same.
Acceptance criteria
It's possible to start an emulated property test, as in nettestTestProp
, with any given PureState
.