Skip to main content

Module compiled

Module compiled 

Source
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§

CompiledSim
A handle to a compiled Hydro simulation, which can be instantiated and run.
CompiledSimInstance
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.