Expand description
Convenience functions for simulating random runs.
Structs§
- Injection
Oracle - Injects certain transitions after a specified delay.
- Simulator
- A simulator used to simulate random runs.
- Uniform
Oracle - An Oracle choosing a transition uniformly at random.
Traits§
- Oracle
- Represents an oracle used to choose a transition.