run

machine_check_gui

Function run 

Source 
pub fn run<M: FullMachine>(
    system: M,
    property: Option<Property>,
    strategy: Strategy,
) -> Result<(), ExecError>
Expand description

Runs the Graphical User Interface backend.