Skip to content

Commit

Permalink
Add report guard and comment to some tests
Browse files Browse the repository at this point in the history
  • Loading branch information
reiniscirpons committed Sep 27, 2024
1 parent 5accd21 commit f0e5b98
Showing 1 changed file with 5 additions and 2 deletions.
7 changes: 5 additions & 2 deletions tests/test-sims.cpp
Original file line number Diff line number Diff line change
Expand Up @@ -2759,7 +2759,8 @@ namespace libsemigroups {
"078",
"order_preserving_monoid(5)",
"[extreme][sims1]") {
auto p = fpsemigroup::order_preserving_monoid(5);
auto rg = ReportGuard(true);
auto p = fpsemigroup::order_preserving_monoid(5);

REQUIRE(p.rules.size() == 50);
presentation::sort_each_rule(p);
Expand All @@ -2780,7 +2781,8 @@ namespace libsemigroups {
"079",
"order_preserving_monoid(6)",
"[extreme][sims1]") {
auto p = fpsemigroup::order_preserving_monoid(6);
auto rg = ReportGuard(true);
auto p = fpsemigroup::order_preserving_monoid(6);

REQUIRE(p.rules.size() == 72);
presentation::sort_each_rule(p);
Expand All @@ -2794,6 +2796,7 @@ namespace libsemigroups {
REQUIRE(S.presentation(p)
.number_of_threads(std::thread::hardware_concurrency())
.number_of_congruences(462)
// TODO(2): This answer is likely wrong
== 37'951);
}

Expand Down

0 comments on commit f0e5b98

Please sign in to comment.