(log)
return filtered[0][1]
Returns the result of the check-sat command from a log.

    Raises errors in case a unique check-sat command cannot be located.
Returns the result of the check-sat command from a log.
Returns the result of the check - sat command from a log .
def check_sat_filter(log):
    """
    Returns the result of the check-sat command from a log.

    Raises errors in case a unique check-sat command cannot be located.
    """
    filtered = [(x,y) for x,y in log if x == smtcmd.CHECK_SAT]
    assert len(filtered) == 1
    return filtered[0][1]
def check_sat_filter ( log ) : filtered = [ ( x , y ) for x , y in log if x == smtcmd . CHECK_SAT ] assert len ( filtered ) == 1 return filtered [ 0 ] [ 1 ]