Skip to content

Commit

Permalink
ci: add no-valgrind tag to more tests
Browse files Browse the repository at this point in the history
All tests taking longer than 1s in a recent CI run.
  • Loading branch information
james-d-mitchell committed Sep 17, 2024
1 parent 424412d commit 03d86f6
Show file tree
Hide file tree
Showing 24 changed files with 125 additions and 115 deletions.
4 changes: 2 additions & 2 deletions tests/test-cong.cpp
Original file line number Diff line number Diff line change
Expand Up @@ -995,7 +995,7 @@ namespace libsemigroups {
LIBSEMIGROUPS_TEST_CASE("Congruence",
"035",
"stellar_monoid S4",
"[quick][cong]") {
"[quick][cong][no-valgrind]") {
auto rg = ReportGuard(false);
Presentation<word_type> p = zero_rook_monoid(4);

Expand Down Expand Up @@ -1172,7 +1172,7 @@ namespace libsemigroups {
LIBSEMIGROUPS_TEST_CASE("Congruence",
"042",
"const_contains",
"[quick][cong]") {
"[quick][cong][no-valgrind]") {
auto rg = ReportGuard(false);
Presentation<word_type> p;
p.alphabet(2);
Expand Down
6 changes: 3 additions & 3 deletions tests/test-cutting.cpp
Original file line number Diff line number Diff line change
Expand Up @@ -67,7 +67,7 @@ namespace libsemigroups {
LIBSEMIGROUPS_TEST_CASE("Cutting",
"002",
"step_hen Stephen test case 004",
"[cutting][quick]") {
"[cutting][quick][no-valgrind]") {
ToWord to_word("xyzXYZ");
InversePresentation<word_type> p;
p.alphabet(to_word("xyzXYZ"));
Expand All @@ -87,7 +87,7 @@ namespace libsemigroups {
LIBSEMIGROUPS_TEST_CASE("Cutting",
"003",
"symmetric_inverse_semigroup",
"[cutting][quick]") {
"[cutting][quick][no-valgrind]") {
auto p = to_inverse_presentation(fpsemigroup::symmetric_inverse_monoid(4));
REQUIRE(p.alphabet() == 01234567_w);
REQUIRE(p.inverses() == 45670123_w);
Expand Down Expand Up @@ -128,7 +128,7 @@ namespace libsemigroups {
LIBSEMIGROUPS_TEST_CASE("Cutting",
"005",
"dual_symmetric_inverse_monoid",
"[cutting][quick]") {
"[cutting][quick][no-valgrind]") {
auto p = to_inverse_presentation(
fpsemigroup::dual_symmetric_inverse_monoid(4));
REQUIRE(p.contains_empty_word());
Expand Down
18 changes: 9 additions & 9 deletions tests/test-fpsemi-examples-1.cpp
Original file line number Diff line number Diff line change
Expand Up @@ -642,7 +642,7 @@ namespace libsemigroups {
LIBSEMIGROUPS_TEST_CASE("fpsemi-examples",
"034",
"uniform_block_bijection_monoid(5)",
"[fpsemi-examples][quick]") {
"[fpsemi-examples][quick][no-valgrind]") {
auto rg = ReportGuard(REPORT);
size_t n = 5;
auto p = uniform_block_bijection_monoid(n, author::FitzGerald);
Expand Down Expand Up @@ -683,7 +683,7 @@ namespace libsemigroups {
LIBSEMIGROUPS_TEST_CASE("fpsemi-examples",
"038",
"orientation_preserving_reversing_monoid(5)",
"[fpsemi-examples][quick]") {
"[fpsemi-examples][quick][no-valgrind]") {
auto rg = ReportGuard(REPORT);
size_t n = 5;
ToddCoxeter tc(congruence_kind::twosided,
Expand Down Expand Up @@ -756,7 +756,7 @@ namespace libsemigroups {
LIBSEMIGROUPS_TEST_CASE("fpsemi-examples",
"044",
"symmetric_group(6) Carmichael",
"[fpsemi-examples][quick]") {
"[fpsemi-examples][quick][no-valgrind]") {
auto rg = ReportGuard(REPORT);
size_t n = 6;
ToddCoxeter tc(congruence_kind::twosided,
Expand All @@ -767,7 +767,7 @@ namespace libsemigroups {
LIBSEMIGROUPS_TEST_CASE("fpsemi-examples",
"045",
"symmetric_group(6) Moore index 0",
"[fpsemi-examples][quick]") {
"[fpsemi-examples][quick][no-valgrind]") {
auto rg = ReportGuard(REPORT);
size_t n = 6;

Expand All @@ -779,7 +779,7 @@ namespace libsemigroups {
LIBSEMIGROUPS_TEST_CASE("fpsemi-examples",
"046",
"symmetric_group(7) Moore index 1",
"[fpsemi-examples][quick]") {
"[fpsemi-examples][quick][no-valgrind]") {
auto rg = ReportGuard(REPORT);
size_t n = 7;
ToddCoxeter tc(congruence_kind::twosided,
Expand Down Expand Up @@ -839,7 +839,7 @@ namespace libsemigroups {
LIBSEMIGROUPS_TEST_CASE("fpsemi-examples",
"049",
"full_transformation_monoid(5) Iwahori",
"[fpsemi-examples][quick]") {
"[fpsemi-examples][quick][no-valgrind]") {
auto rg = ReportGuard(REPORT);
size_t n = 5;

Expand All @@ -851,7 +851,7 @@ namespace libsemigroups {
LIBSEMIGROUPS_TEST_CASE("fpsemi-examples",
"050",
"partial_transformation_monoid(5) Sutov",
"[fpsemi-examples][quick]") {
"[fpsemi-examples][quick][no-valgrind]") {
auto rg = ReportGuard(REPORT);
size_t n = 5;
ToddCoxeter tc(congruence_kind::twosided,
Expand Down Expand Up @@ -938,7 +938,7 @@ namespace libsemigroups {
LIBSEMIGROUPS_TEST_CASE("fpsemi-examples",
"058",
"cyclic_inverse_monoid(8) Fernandes index 1",
"[fpsemi-examples][quick]") {
"[fpsemi-examples][quick][no-valgrind]") {
auto rg = ReportGuard(REPORT);
size_t n = 8;
ToddCoxeter tc(congruence_kind::twosided,
Expand Down Expand Up @@ -1051,7 +1051,7 @@ namespace libsemigroups {
LIBSEMIGROUPS_TEST_CASE("fpsemi-examples",
"072",
"partial_brauer_monoid(4)",
"[fpsemi-examples][quick]") {
"[fpsemi-examples][quick][no-valgrind]") {
auto rg = ReportGuard(REPORT);
size_t n = 4;

Expand Down
14 changes: 8 additions & 6 deletions tests/test-froidure-pin-bmat8.cpp
Original file line number Diff line number Diff line change
Expand Up @@ -39,7 +39,7 @@ namespace libsemigroups {
LIBSEMIGROUPS_TEST_CASE("FroidurePin",
"015",
"(BMat8) regular boolean mat monoid 4",
"[quick][froidure-pin][bmat8]") {
"[quick][froidure-pin][bmat8][no-valgrind]") {
auto rg = ReportGuard(false);
std::vector<BMat8> gens
= {BMat8({{0, 1, 0, 0}, {1, 0, 0, 0}, {0, 0, 1, 0}, {0, 0, 0, 1}}),
Expand Down Expand Up @@ -253,7 +253,7 @@ namespace libsemigroups {
LIBSEMIGROUPS_TEST_CASE("FroidurePin",
"018",
"(BMat8) exception prefix",
"[quick][froidure-pin][bmat8]") {
"[quick][froidure-pin][bmat8][no-valgrind]") {
std::vector<BMat8> gens
= {BMat8({{0, 1, 0, 0}, {1, 0, 0, 0}, {0, 0, 1, 0}, {0, 0, 0, 1}}),
BMat8({{0, 1, 0, 0}, {0, 0, 1, 0}, {0, 0, 0, 1}, {1, 0, 0, 0}}),
Expand All @@ -275,12 +275,13 @@ namespace libsemigroups {
BMat8({{0, 1, 0, 0}, {0, 0, 1, 0}, {0, 0, 0, 1}, {1, 0, 0, 0}}),
BMat8({{1, 1, 0, 0}, {1, 0, 1, 0}, {0, 1, 1, 1}, {0, 1, 1, 1}})};
FroidurePin<BMat8> S(gens);
// TODO(0) there are no tests in here!
}

LIBSEMIGROUPS_TEST_CASE("FroidurePin",
"020",
"(BMat8) exception first_letter",
"[quick][froidure-pin][bmat8]") {
"[quick][froidure-pin][bmat8][no-valgrind]") {
std::vector<BMat8> gens
= {BMat8({{0, 1, 0, 0}, {1, 0, 0, 0}, {0, 0, 1, 0}, {0, 0, 0, 1}}),
BMat8({{0, 1, 0, 0}, {0, 0, 1, 0}, {0, 0, 0, 1}, {1, 0, 0, 0}}),
Expand All @@ -302,12 +303,13 @@ namespace libsemigroups {
BMat8({{0, 1, 0, 0}, {0, 0, 1, 0}, {0, 0, 0, 1}, {1, 0, 0, 0}}),
BMat8({{1, 1, 0, 0}, {1, 0, 1, 0}, {0, 1, 1, 1}, {0, 1, 1, 1}})};
FroidurePin<BMat8> S(gens);
// TODO(0) there are no tests in here!
}

LIBSEMIGROUPS_TEST_CASE("FroidurePin",
"022",
"(BMat8) exception current_length",
"[quick][froidure-pin][bmat8]") {
"[quick][froidure-pin][bmat8][no-valgrind]") {
std::vector<BMat8> gens
= {BMat8({{0, 1, 0, 0}, {1, 0, 0, 0}, {0, 0, 1, 0}, {0, 0, 0, 1}}),
BMat8({{0, 1, 0, 0}, {0, 0, 1, 0}, {0, 0, 0, 1}, {1, 0, 0, 0}}),
Expand All @@ -323,7 +325,7 @@ namespace libsemigroups {
LIBSEMIGROUPS_TEST_CASE("FroidurePin",
"023",
"(BMat8) exception product_by_reduction",
"[quick][froidure-pin][bmat8]") {
"[quick][froidure-pin][bmat8][no-valgrind]") {
std::vector<BMat8> gens
= {BMat8({{0, 1, 0, 0}, {1, 0, 0, 0}, {0, 0, 1, 0}, {0, 0, 0, 1}}),
BMat8({{1, 1, 0, 0}, {1, 0, 1, 0}, {0, 1, 1, 1}, {0, 1, 1, 1}})};
Expand All @@ -345,7 +347,7 @@ namespace libsemigroups {
LIBSEMIGROUPS_TEST_CASE("FroidurePin",
"024",
"(BMat8) exception fast_product",
"[quick][froidure-pin][bmat8]") {
"[quick][froidure-pin][bmat8][024]") {
std::vector<BMat8> gens
= {BMat8({{0, 1, 0, 0}, {1, 0, 0, 0}, {0, 0, 1, 0}, {0, 0, 0, 1}}),
BMat8({{1, 1, 0, 0}, {1, 0, 1, 0}, {0, 1, 1, 1}, {0, 1, 1, 1}})};
Expand Down
2 changes: 1 addition & 1 deletion tests/test-froidure-pin-intmat.cpp
Original file line number Diff line number Diff line change
Expand Up @@ -246,7 +246,7 @@ namespace libsemigroups {
LIBSEMIGROUPS_TEST_CASE("FroidurePin<IntMat>",
"038",
"exception: prefix, suffix, first_letter",
"[quick][froidure-pin][element]") {
"[quick][froidure-pin][element][no-valgrind]") {
test010<IntMat<2>>();
test010<IntMat<>>();
}
Expand Down
30 changes: 15 additions & 15 deletions tests/test-froidure-pin-transf.cpp
Original file line number Diff line number Diff line change
Expand Up @@ -998,7 +998,7 @@ namespace libsemigroups {
LIBSEMIGROUPS_TEST_CASE("FroidurePin<Transf<>>",
"098",
"sorted_position, sorted_at",
"[quick][froidure-pin][transf]") {
"[quick][froidure-pin][transf][no-valgrind]") {
auto rg = ReportGuard(REPORT);
FroidurePin<Transf<>> S;
S.add_generator(Transf<>({0, 1, 2, 3, 4, 5}));
Expand Down Expand Up @@ -1556,7 +1556,7 @@ namespace libsemigroups {
LIBSEMIGROUPS_TEST_CASE("FroidurePin<Transf<>>",
"109",
"copy_closure [partly enumerated]",
"[quick][froidure-pin][transf]") {
"[quick][froidure-pin][transf][no-valgrind]") {
auto rg = ReportGuard(REPORT);
FroidurePin<Transf<>> S;
S.add_generator(Transf<>({0, 1, 2, 3, 4, 5}));
Expand Down Expand Up @@ -1665,7 +1665,7 @@ namespace libsemigroups {
LIBSEMIGROUPS_TEST_CASE("FroidurePin<Transf<>>",
"112",
"copy_closure [fully enumerated]",
"[quick][froidure-pin][transf]") {
"[quick][froidure-pin][transf][no-valgrind]") {
auto rg = ReportGuard(REPORT);
FroidurePin<Transf<>> S;
S.add_generator(Transf<>({0, 1, 2, 3, 4, 5}));
Expand Down Expand Up @@ -1772,7 +1772,7 @@ namespace libsemigroups {
LIBSEMIGROUPS_TEST_CASE("FroidurePin<Transf<>>",
"115",
"relations",
"[quick][froidure-pin][transf]") {
"[quick][froidure-pin][transf][no-valgrind]") {
auto rg = ReportGuard(REPORT);
FroidurePin<Transf<>> S;
S.add_generator(Transf<>({0, 1, 2, 3, 4, 5}));
Expand Down Expand Up @@ -1811,7 +1811,7 @@ namespace libsemigroups {
LIBSEMIGROUPS_TEST_CASE("FroidurePin<Transf<>>",
"116",
"relations [copy_closure, duplicate gens]",
"[quick][froidure-pin][transf]") {
"[quick][froidure-pin][transf][no-valgrind]") {
auto rg = ReportGuard(REPORT);
FroidurePin<Transf<>> S;
S.add_generator(Transf<>({0, 1, 2, 3, 4, 5}));
Expand Down Expand Up @@ -1846,7 +1846,7 @@ namespace libsemigroups {
LIBSEMIGROUPS_TEST_CASE("FroidurePin<Transf<>>",
"117",
"relations [copy_add_generators, duplicate gens]",
"[quick][froidure-pin][transf]") {
"[quick][froidure-pin][transf][no-valgrind]") {
auto rg = ReportGuard(REPORT);
FroidurePin<Transf<>> S;
S.add_generator(Transf<>({0, 1, 2, 3, 4, 5}));
Expand Down Expand Up @@ -1881,7 +1881,7 @@ namespace libsemigroups {
LIBSEMIGROUPS_TEST_CASE("FroidurePin<Transf<>>",
"118",
"relations [from copy, not enumerated]",
"[quick][froidure-pin][transf]") {
"[quick][froidure-pin][transf][no-valgrind]") {
auto rg = ReportGuard(REPORT);
FroidurePin<Transf<>> S;
S.add_generator(Transf<>({0, 1, 2, 3, 4, 5}));
Expand All @@ -1904,7 +1904,7 @@ namespace libsemigroups {
LIBSEMIGROUPS_TEST_CASE("FroidurePin<Transf<>>",
"119",
"relations [from copy, partly enumerated]",
"[quick][froidure-pin][transf]") {
"[quick][froidure-pin][transf][no-valgrind]") {
auto rg = ReportGuard(REPORT);
FroidurePin<Transf<>> S;
S.add_generator(Transf<>({0, 1, 2, 3, 4, 5}));
Expand All @@ -1931,7 +1931,7 @@ namespace libsemigroups {
LIBSEMIGROUPS_TEST_CASE("FroidurePin<Transf<>>",
"120",
"relations [from copy, fully enumerated]",
"[quick][froidure-pin][transf]") {
"[quick][froidure-pin][transf][no-valgrind]") {
auto rg = ReportGuard(REPORT);
FroidurePin<Transf<>> S;
S.add_generator(Transf<>({0, 1, 2, 3, 4, 5}));
Expand Down Expand Up @@ -1959,7 +1959,7 @@ namespace libsemigroups {
LIBSEMIGROUPS_TEST_CASE("FroidurePin<Transf<>>",
"121",
"relations [from copy_closure, not enumerated]",
"[quick][froidure-pin][transf]") {
"[quick][froidure-pin][transf][no-valgrind]") {
auto rg = ReportGuard(REPORT);
FroidurePin<Transf<>> S;
S.add_generator(Transf<>({0, 1, 2, 3, 4, 5}));
Expand Down Expand Up @@ -1988,7 +1988,7 @@ namespace libsemigroups {
"FroidurePin<Transf<>>",
"122",
"relations [from copy_add_generators, not enumerated]",
"[quick][froidure-pin][transf]") {
"[quick][froidure-pin][transf][no-valgrind]") {
auto rg = ReportGuard(REPORT);
FroidurePin<Transf<>> S;
S.add_generator(Transf<>({0, 1, 2, 3, 4, 5}));
Expand All @@ -2013,7 +2013,7 @@ namespace libsemigroups {
LIBSEMIGROUPS_TEST_CASE("FroidurePin<Transf<>>",
"123",
"relations [from copy_closure, partly enumerated]",
"[quick][froidure-pin][transf]") {
"[quick][froidure-pin][transf][no-valgrind]") {
auto rg = ReportGuard(REPORT);
FroidurePin<Transf<>> S;
S.add_generator(Transf<>({0, 1, 2, 3, 4, 5}));
Expand All @@ -2037,7 +2037,7 @@ namespace libsemigroups {
"FroidurePin<Transf<>>",
"124",
"relations [from copy_add_generators, partly enumerated]",
"[quick][froidure-pin][transf]") {
"[quick][froidure-pin][transf][no-valgrind]") {
auto rg = ReportGuard(REPORT);
FroidurePin<Transf<>> S;
S.add_generator(Transf<>({0, 1, 2, 3, 4, 5}));
Expand All @@ -2064,7 +2064,7 @@ namespace libsemigroups {
LIBSEMIGROUPS_TEST_CASE("FroidurePin<Transf<>>",
"125",
"relations [from copy_closure, fully enumerated]",
"[quick][froidure-pin][transf]") {
"[quick][froidure-pin][transf][no-valgrind]") {
auto rg = ReportGuard(REPORT);
FroidurePin<Transf<>> S;
S.add_generator(Transf<>({0, 1, 2, 3, 4, 5}));
Expand All @@ -2090,7 +2090,7 @@ namespace libsemigroups {
"FroidurePin<Transf<>>",
"126",
"relations [from copy_add_generators, fully enumerated]",
"[quick][froidure-pin][transf]") {
"[quick][froidure-pin][transf][no-valgrind]") {
auto rg = ReportGuard(REPORT);
FroidurePin<Transf<>> S;
S.add_generator(Transf<>({0, 1, 2, 3, 4, 5}));
Expand Down
5 changes: 4 additions & 1 deletion tests/test-gabow.cpp
Original file line number Diff line number Diff line change
Expand Up @@ -237,7 +237,10 @@ namespace libsemigroups {
// }
// }

LIBSEMIGROUPS_TEST_CASE("Gabow", "009", "large cycle", "[quick][gabow]") {
LIBSEMIGROUPS_TEST_CASE("Gabow",
"009",
"large cycle",
"[quick][gabow][no-valgrind]") {
WordGraph<size_t> wg;
wg.add_to_out_degree(1);
word_graph::add_cycle(wg, 100000);
Expand Down
Loading

0 comments on commit 03d86f6

Please sign in to comment.