+AT_ARG_OPTION_ARG([random-seed],
+ [AS_HELP_STRING([--random-seed=ARG],
+ [Integer seed for randomized testing (default: auto)])],
+ [random_seed=$at_optarg], [random_seed=$RANDOM$$])
+
+AT_ARG_OPTION_ARG([random-iterations],
+ [AS_HELP_STRING([--random-iterations=N],
+ [Number of randomized testcases to perform (default: 500)])],
+ [random_iter=$at_optarg], [random_iter=])
+