help="Timeout in seconds for each individual testcase. Default is no timeout.",
)
parser.addoption("--reduction_level",choices=["exhaustive","reduced"],help="Flag for running the allpairs-reduced version of the long BE test",default="exhaustive")
parser.addoption(
"--reduction_level",
choices=["exhaustive","reduced"],
help="Flag for running the allpairs-reduced version of the long BE test",