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