Expand description
Simulation engine for finding invariant violations.
Re-exports§
pub use engine::SimulationEngine;
Modules§
- engine
- Simulation engine for analyzing program invariants.
Simulation engine for finding invariant violations.
pub use engine::SimulationEngine;