- "coverage-testing" => \$coverage_testing,
- "valgrind" => \$valgrind,
- "strace" => \$strace,
+ "coverage-testing" => \$options{coverage},
+ "keep-xdummy-output" => \$keep_xdummy_output,
+ "valgrind" => \$options{valgrind},
+ "strace" => \$options{strace},
+ "xtrace" => \$options{xtrace},