I’m not totally sure what you mean by “fully controlled”, but we make the system under test fully deterministic and then choose “save states” to randomly explor

I’m not totally sure what you mean by “fully controlled”, but we make the system under test fully deterministic and then choose “save states” to randomly explore from; the upcoming SDK features are intended to give users more control over determining which save states are worth further exploration.