get_zcs_model_checker_heuristic

taco_cli::cli

Function get_zcs_model_checker_heuristic 

Source 
fn get_zcs_model_checker_heuristic(
    heuristic: Option<SymbolicModelCheckerHeuristics>,
) -> Option<ZCSModelCheckerHeuristics>
Expand description

Get the symbolic model checker heuristic based on the CLI option