pub fn run<M: FullMachine, D: Send + 'static>(
abstract_system: M::Abstr,
machine: IMachine,
property: Option<IProperty>,
property_macros: PropertyMacros<D>,
strategy: Strategy,
) -> Result<(), ExecError>Expand description
Runs the Graphical User Interface backend.