@@ -799,7 +799,7 @@ int main(int argc, char **argv) {
799
799
else if (!std::strcmp (argv[i], " -te" )) {
800
800
if (params_left < 1 ) {std::printf (" command line option %s must be followed by a value\n " , argv[i]); std::exit (0 );}
801
801
expanded = std::atoi (argv[++i]);
802
- if (expanded < 0 || expanded > 1 ) {
802
+ if (expanded < 0 || expanded > 2 ) {
803
803
std::printf (" invalid expanded test set value: -te %s\n " , argv[i]);
804
804
std::exit (0 );
805
805
}
@@ -939,7 +939,7 @@ int main(int argc, char **argv) {
939
939
std::printf (" RNG = %s, seed = 0x" , testing_rng->get_name ().c_str ());
940
940
if (seed >> 32 ) std::printf (" %lx%08lx" , long (seed >> 32 ), long ((seed << 32 ) >> 32 ));
941
941
else std::printf (" %lx" , long (seed));
942
- const char *test_set_names[2 ] = {" normal" , " expanded" };
942
+ const char *test_set_names[3 ] = {" normal" , " expanded" , " pat5 " };
943
943
const char *folding_names[3 ] = {" none" , " standard" , " extra" };
944
944
std::printf (" \n test set = %s, folding = %s" , test_set_names[expanded], folding_names[folding]);
945
945
if (folding == 1 ) {
@@ -956,6 +956,8 @@ int main(int argc, char **argv) {
956
956
// 5.6 GB / minute -- core = basic tests only, no folding
957
957
else if (folding == 0 && expanded == 0 ) tests = Tests::Batteries::get_core_tests ();
958
958
959
+ else if (folding == 1 && expanded == 2 ) tests = Tests::Batteries::get_pat5_tests ();
960
+
959
961
// 4.4 GB / minute -- standard = basic tests, smart folding
960
962
else if (folding == 1 && expanded == 0 ) tests = Tests::Batteries::get_standard_tests (testing_rng);
961
963
0 commit comments