OPT_STOCHASTIC_TESTS
{ "stochastic", OPT_STOCHASTIC_TESTS, '-', "Run stochastic tests" },
case OPT_STOCHASTIC_TESTS:
