283
283
push @gentest_options, "--xml-output=$xml_output" if defined $xml_output;
284
284
push @gentest_options, "--debug" if defined $debug;
285
285
push @gentest_options, "--filter=$filter" if defined $filter;
287
288
# Push the number of "worker" threads into the environment.
288
289
# lib/GenTest/Generator/FromGrammar.pm will generate a corresponding grammar element.