From 6102cf14b114c1c704a0f7bc97ce426139ff03cc Mon Sep 17 00:00:00 2001
From: reiniscirpons <rc234@st-andrews.ac.uk>
Date: Sat, 30 Dec 2023 10:21:31 +0000
Subject: [PATCH] Add some non-monoid semigroup tests

---
 tests/test-sims2.cpp | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/tests/test-sims2.cpp b/tests/test-sims2.cpp
index 96edfd5e7..6a070a186 100644
--- a/tests/test-sims2.cpp
+++ b/tests/test-sims2.cpp
@@ -417,7 +417,7 @@ namespace libsemigroups {
     p.alphabet("ab");
     p.contains_empty_word(true);
     Sims2 s(p);
-    s.number_of_threads(4);  // FIXME fails if number of threads is >1
+    s.number_of_threads(4);
     REQUIRE(s.number_of_congruences(1) == 1);
     REQUIRE(s.number_of_congruences(2) == 7);    // verified with GAP
     REQUIRE(s.number_of_congruences(3) == 27);   // verified with GAP
@@ -580,7 +580,7 @@ namespace libsemigroups {
     p.alphabet("ab");
     p.contains_empty_word(false);  // FIXME: Method fails for non-monoids
     Sims2 s(p);
-    s.number_of_threads(1);
+    s.number_of_threads(4);
     // Number of congruences with up to 7 classes given in:
     // A. Bailey, M. Finn-Sell and R. Snocken
     // "SUBSEMIGROUP, IDEAL AND CONGRUENCE GROWTH OF FREE SEMIGROUPS"