def to_cli_filter(bool_or_filter):
    if not isinstance(bool_or_filter, (bool, CLIFilter)):
        raise TypeError('Expecting a bool or a CLIFilter instance. Got %r' % bool_or_filter)

    return {
        True: _always,
        False: _never,
    }.get(bool_or_filter, bool_or_filter)
Returns a BenchExec result status based on the output of SMACK
dataset/ETHPy150Open jonathanslenders/python-prompt-toolkit/prompt_toolkit/filters/utils.py/to_cli_filter--crossover with--dataset/ETHPy150Open sosy-lab/benchexec/benchexec/tools/smack.py/Tool.determine_result