Skip to main content

sentri_simulator/
lib.rs

1#![warn(missing_docs)]
2#![deny(unsafe_code)]
3
4//! Simulation engine for finding invariant violations.
5
6pub mod engine;
7
8pub use engine::SimulationEngine;