Fix infinite loop issue

reiniscirpons · Dec 19, 2023 · b52cfc4 · b52cfc4
1 parent b0b6639
commit b52cfc4
Show file tree

Hide file tree

Showing 3 changed files with 4 additions and 2 deletions.
diff --git a/Makefile.am b/Makefile.am
@@ -92,7 +92,6 @@ pkginclude_HEADERS += include/libsemigroups/schreier-sims.hpp
 pkginclude_HEADERS += include/libsemigroups/sims1.hpp
 pkginclude_HEADERS += include/libsemigroups/sims1.tpp
 pkginclude_HEADERS += include/libsemigroups/sims2.hpp
-pkginclude_HEADERS += include/libsemigroups/sims2.tpp
 pkginclude_HEADERS += include/libsemigroups/stephen.hpp
 pkginclude_HEADERS += include/libsemigroups/stephen.tpp
 pkginclude_HEADERS += include/libsemigroups/to-froidure-pin.hpp

diff --git a/include/libsemigroups/sims1.hpp b/include/libsemigroups/sims1.hpp
@@ -769,7 +769,7 @@ namespace libsemigroups {
           // Don't care about stats in this case
           std::for_each(cbegin<iterator>(n), cend<iterator>(n), pred);
         } else {
-          Subclass::stats().stats_zero();
+          stats().stats_zero();
           detail::Ticker t([this]() { report_progress_from_thread(); });
           auto           it   = cbegin<iterator>(n);
           auto const     last = cend<iterator>(n);

diff --git a/include/libsemigroups/sims2.hpp b/include/libsemigroups/sims2.hpp
@@ -98,6 +98,9 @@ namespace libsemigroups {
      private:
       size_t& used_slots(size_t num_edges) {
         LIBSEMIGROUPS_ASSERT(num_edges < _used_slots.size());
+        if (_used_slots[0] == UNDEFINED) {
+          _used_slots[0] = 0;
+        }
         size_t i = num_edges;
         while (_used_slots[i] == UNDEFINED) {
           --i;