Available on
stageleft_runtime and crate feature sim only.Expand description
Interfaces for compiled Hydro simulators and concrete simulation instances.
NOTE: This module runs inside bolero’s catch_unwind scope, which silently
swallows panics. Internal invariant checks should use abort_assert!
rather than panic!/assert!.
TODO(mingwei): Panics inside the tick DFIR (generated code in the dylib) are
also caught by bolero’s catch_unwind. Consider a mechanism to detect and
propagate those as well.
Structs§
- Compiled
Sim - A handle to a compiled Hydro simulation, which can be instantiated and run.
- Compiled
SimInstance - A single instance of a compiled Hydro simulation, which provides methods to interactively execute the simulation, feed inputs, and receive outputs.
Traits§
- Instantiator
- A trait implemented by closures that can instantiate a compiled simulation.