57
57
$redefine_file, $seed, $mask, $mask_level, $mem, $rows,
58
58
$varchar_len, $xml_output, $valgrind, $views, $start_dirty,
59
59
$filter, $build_thread, $testname, $report_xml_tt, $report_xml_tt_type,
62
62
my $threads = my $default_threads = 10;
63
63
my $queries = my $default_queries = 1000;