display_result

taco_cli::cli

Function display_result 

Source 
pub fn display_result(
    ta: GeneralThresholdAutomaton,
    spec: ELTLSpecification,
    model_checker: Option<ModelCheckerOption>,
    config: TACOConfig,
    abort_on_violation: bool,
    mode: CheckMode,
    compact_out: bool,
)