def get_list_from_xml(elem, tag="option", attributes=["name"]):
    return flatten(([option.get(attr) for attr in attributes] + [option.text] for option in elem.findall(tag)), exclude=[None])
The http_method property.
dataset/ETHPy150Open sosy-lab/benchexec/benchexec/util.py/get_list_from_xml--crossover with--dataset/ETHPy150Open Microsoft/ApplicationInsights-Python/applicationinsights/channel/contracts/RequestData.py/RequestData.http_method