Skip to content

Commit 52314aa

Browse files
Joseph-EdwardsJoseph-Edwards
authored
Reclassify tests (libsemigroups#692)
1 parent 582b13b commit 52314aa

11 files changed

Lines changed: 174 additions & 197 deletions

‎tests/test-cong.cpp‎

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -1165,7 +1165,7 @@ namespace libsemigroups {
11651165
LIBSEMIGROUPS_TEST_CASE("Congruence",
11661166
"032",
11671167
"stellar_monoid S7",
1168-
"[quick][cong][no-valgrind]") {
1168+
"[standard][cong]") {
11691169
auto rg = ReportGuard(false);
11701170
Presentation<word_type> p = presentation::examples::zero_rook_monoid(7);
11711171

‎tests/test-froidure-pin-transf.cpp‎

Lines changed: 4 additions & 5 deletions
Original file line numberDiff line numberDiff line change
@@ -892,11 +892,10 @@ namespace libsemigroups {
892892
REQUIRE(nr == S.number_of_idempotents());
893893
}
894894

895-
LIBSEMIGROUPS_TEST_CASE(
896-
"FroidurePin<Transf>",
897-
"073",
898-
"cbegin_idempotents/cend, is_idempotent",
899-
"[standard][froidure-pin][transf][multithread][no-valgrind]") {
895+
LIBSEMIGROUPS_TEST_CASE("FroidurePin<Transf>",
896+
"073",
897+
"cbegin_idempotents/cend, is_idempotent",
898+
"[standard][froidure-pin][transf][multithread]") {
900899
auto rg = ReportGuard(false);
901900
FroidurePin<Transf<>> S;
902901
S.add_generator(make<Transf<>>({1, 2, 3, 4, 5, 6, 0}));

‎tests/test-hpcombi.cpp‎

Lines changed: 2 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -297,8 +297,8 @@ namespace libsemigroups {
297297
REQUIRE(S.size() == 597369);
298298
}
299299

300-
LIBSEMIGROUPS_TEST_CASE("HPCombi", "012", "Renner0", "[extreme][hpcombi]") {
301-
auto rg = ReportGuard(true);
300+
LIBSEMIGROUPS_TEST_CASE("HPCombi", "012", "Renner0", "[standard][hpcombi]") {
301+
auto rg = ReportGuard(false);
302302
auto S = make<FroidurePin>(
303303
{Renner0Element({0, 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12, 13, 14, 15}),
304304
Renner0Element(

‎tests/test-knuth-bendix-4.cpp‎

Lines changed: 0 additions & 10 deletions
Original file line numberDiff line numberDiff line change
@@ -776,14 +776,4 @@ namespace libsemigroups {
776776
REQUIRE(!k.finished());
777777
}
778778

779-
LIBSEMIGROUPS_TEST_CASE("KnuthBendix",
780-
"118",
781-
"partition_monoid(7)",
782-
"[knuthbendix][extreme]") {
783-
auto rg = ReportGuard(true);
784-
auto p = presentation::examples::partition_monoid(7);
785-
KnuthBendix k(twosided, p);
786-
REQUIRE(k.number_of_classes() == 0);
787-
}
788-
789779
} // namespace libsemigroups

‎tests/test-konieczny-bmat8-2.cpp‎

Lines changed: 8 additions & 8 deletions
Original file line numberDiff line numberDiff line change
@@ -36,9 +36,9 @@ namespace libsemigroups {
3636
LIBSEMIGROUPS_TEST_CASE("Konieczny",
3737
"012",
3838
"full bmat monoid 5",
39-
"[extreme][bmat8]") {
39+
"[standard][bmat8]") {
4040
using BMat = BMatFastest<5>;
41-
auto rg = ReportGuard(true);
41+
auto rg = ReportGuard(false);
4242

4343
Konieczny T = make<Konieczny>({BMat({{1, 0, 0, 0, 0},
4444
{0, 1, 0, 0, 0},
@@ -162,9 +162,9 @@ namespace libsemigroups {
162162
LIBSEMIGROUPS_TEST_CASE("Konieczny",
163163
"014",
164164
"regular generated bmat monoid 5",
165-
"[extreme][bmat8]") {
165+
"[standard][bmat8]") {
166166
using BMat = BMatFastest<5>;
167-
auto rg = ReportGuard(true);
167+
auto rg = ReportGuard(false);
168168

169169
Konieczny T = make<Konieczny>({BMat({{0, 1, 0, 0, 0},
170170
{1, 0, 0, 0, 0},
@@ -434,9 +434,9 @@ namespace libsemigroups {
434434
LIBSEMIGROUPS_TEST_CASE("Konieczny",
435435
"018",
436436
"full bmat monoid 5 with stop in Action",
437-
"[extreme][bmat8]") {
437+
"[standard][bmat8]") {
438438
using BMat = BMatFastest<5>;
439-
auto rg = ReportGuard(true);
439+
auto rg = ReportGuard(false);
440440

441441
Konieczny T = make<Konieczny>({BMat({{1, 0, 0, 0, 0},
442442
{0, 1, 0, 0, 0},
@@ -522,8 +522,8 @@ namespace libsemigroups {
522522
LIBSEMIGROUPS_TEST_CASE("Konieczny",
523523
"019",
524524
"regular generated bmat monoid 5 with stops",
525-
"[extreme][bmat8]") {
526-
auto rg = ReportGuard(true);
525+
"[standard][bmat8]") {
526+
auto rg = ReportGuard(false);
527527

528528
Konieczny T = make<Konieczny>({BMat8({{0, 1, 0, 0, 0},
529529
{1, 0, 0, 0, 0},

‎tests/test-presentation-examples-1.cpp‎

Lines changed: 9 additions & 9 deletions
Original file line numberDiff line numberDiff line change
@@ -653,7 +653,7 @@ namespace libsemigroups {
653653
LIBSEMIGROUPS_TEST_CASE("Example",
654654
"043",
655655
"partial_transformation_monoid(5) Shutov",
656-
"[pres-examples][quick][no-valgrind]") {
656+
"[pres-examples][standard]") {
657657
auto rg = ReportGuard(false);
658658
size_t n = 5;
659659
ToddCoxeter tc(congruence_kind::twosided,
@@ -1021,8 +1021,8 @@ namespace libsemigroups {
10211021
"Example",
10221022
"073",
10231023
"renner_type_B_monoid(5, 1) (Gay-Hivert presentation)",
1024-
"[extreme][pres-examples][hivert]") {
1025-
auto rg = ReportGuard(true);
1024+
"[standard][pres-examples][hivert]") {
1025+
auto rg = ReportGuard(false);
10261026
ToddCoxeter tc(congruence_kind::twosided, renner_type_B_monoid(5, 1));
10271027
REQUIRE(tc.presentation().rules.size() == 272);
10281028
REQUIRE(!is_obviously_infinite(tc));
@@ -1047,8 +1047,8 @@ namespace libsemigroups {
10471047
"Example",
10481048
"074",
10491049
"renner_type_B_monoid(5, 0) (Gay-Hivert presentation)",
1050-
"[extreme][pres-examples][hivert]") {
1051-
auto rg = ReportGuard(true);
1050+
"[standard][pres-examples][hivert]") {
1051+
auto rg = ReportGuard(false);
10521052
ToddCoxeter tc(congruence_kind::twosided, renner_type_B_monoid(5, 0));
10531053
tc.strategy(decltype(tc)::options::strategy::felsch);
10541054

@@ -1142,8 +1142,8 @@ namespace libsemigroups {
11421142
"Example",
11431143
"081",
11441144
"renner_type_D_monoid(5, 1) (Gay-Hivert presentation)",
1145-
"[extreme][pres-examples][hivert]") {
1146-
auto rg = ReportGuard(true);
1145+
"[standard][pres-examples][hivert]") {
1146+
auto rg = ReportGuard(false);
11471147
ToddCoxeter tc(congruence_kind::twosided, renner_type_D_monoid(5, 1));
11481148
tc.strategy(decltype(tc)::options::strategy::felsch);
11491149

@@ -1157,8 +1157,8 @@ namespace libsemigroups {
11571157
"Example",
11581158
"082",
11591159
"renner_type_D_monoid(5, 0) (Gay-Hivert presentation)",
1160-
"[extreme][pres-examples][hivert]") {
1161-
auto rg = ReportGuard(true);
1160+
"[standard][pres-examples][hivert]") {
1161+
auto rg = ReportGuard(false);
11621162
ToddCoxeter tc(congruence_kind::twosided, renner_type_D_monoid(5, 0));
11631163
tc.strategy(decltype(tc)::options::strategy::felsch);
11641164

‎tests/test-schreier-sims.cpp‎

Lines changed: 17 additions & 21 deletions
Original file line numberDiff line numberDiff line change
@@ -3508,11 +3508,10 @@ namespace libsemigroups {
35083508
REQUIRE(U.contains(make<Perm>({11, 10, 5, 7, 8, 2, 9, 3, 4, 6, 1, 0, 12})));
35093509
}
35103510

3511-
LIBSEMIGROUPS_TEST_CASE(
3512-
"SchreierSims",
3513-
"050",
3514-
"S17 and A39 intersection",
3515-
"[standard][schreier-sims][no-valgrind][intersection]") {
3511+
LIBSEMIGROUPS_TEST_CASE("SchreierSims",
3512+
"050",
3513+
"S17 and A39 intersection",
3514+
"[quick][schreier-sims][no-valgrind][intersection]") {
35163515
auto rg = ReportGuard(false);
35173516
SchreierSims<50> S, T, U;
35183517
using Perm = SchreierSims<50>::element_type;
@@ -3544,11 +3543,10 @@ namespace libsemigroups {
35443543
34, 35, 36, 37, 38, 39, 40, 41, 42, 43, 44, 45, 46, 47, 48, 49})));
35453544
}
35463545

3547-
LIBSEMIGROUPS_TEST_CASE(
3548-
"SchreierSims",
3549-
"051",
3550-
"A50 and PGL(2, 49) intersection",
3551-
"[extreme][schreier-sims][no-valgrind][intersection]") {
3546+
LIBSEMIGROUPS_TEST_CASE("SchreierSims",
3547+
"051",
3548+
"A50 and PGL(2, 49) intersection",
3549+
"[standard][schreier-sims][intersection]") {
35523550
auto rg = ReportGuard(false);
35533551
SchreierSims<50> S, T, U;
35543552
using Perm = SchreierSims<50>::element_type;
@@ -3638,7 +3636,7 @@ namespace libsemigroups {
36383636
"SchreierSims",
36393637
"053",
36403638
"PGamma(2, 9) wreath Sym(2) and Alt(6)^2.D_8 intersection",
3641-
"[standard][schreier-sims][no-valgrind][intersection]") {
3639+
"[quick][schreier-sims][no-valgrind][intersection]") {
36423640
auto rg = ReportGuard(false);
36433641
SchreierSims<100> S, T, U;
36443642
using Perm = SchreierSims<100>::element_type;
@@ -3688,11 +3686,10 @@ namespace libsemigroups {
36883686
63, 53, 43, 33, 23, 12, 2, 92, 82, 72, 62, 52, 42, 32, 22})));
36893687
}
36903688

3691-
LIBSEMIGROUPS_TEST_CASE(
3692-
"SchreierSims",
3693-
"054",
3694-
"Alt(6)^2.2^2:4 and Alt(6)^2.4 intersection",
3695-
"[standard][schreier-sims][no-valgrind][intersection]") {
3689+
LIBSEMIGROUPS_TEST_CASE("SchreierSims",
3690+
"054",
3691+
"Alt(6)^2.2^2:4 and Alt(6)^2.4 intersection",
3692+
"[quick][schreier-sims][no-valgrind][intersection]") {
36963693
auto rg = ReportGuard(false);
36973694
SchreierSims<100> S, T, U;
36983695
using Perm = SchreierSims<100>::element_type;
@@ -3989,11 +3986,10 @@ namespace libsemigroups {
39893986
16, 17, 18, 19, 20, 21, 22, 23, 24, 25, 26, 27, 28, 29, 30, 31})));
39903987
}
39913988

3992-
LIBSEMIGROUPS_TEST_CASE(
3993-
"SchreierSims",
3994-
"060",
3995-
"AGL(7, 2) and PGL(2, 127) intersection",
3996-
"[extreme][schreier-sims][no-valgrind][intersection]") {
3989+
LIBSEMIGROUPS_TEST_CASE("SchreierSims",
3990+
"060",
3991+
"AGL(7, 2) and PGL(2, 127) intersection",
3992+
"[standard][schreier-sims][intersection]") {
39973993
auto rg = ReportGuard(false);
39983994
SchreierSims<128> S, T, U;
39993995
using Perm = SchreierSims<128>::element_type;

0 commit comments

Comments
 (0)