Add copy test case

Joseph-Edwards · Nov 18, 2024 · 755df11 · 755df11
1 parent 4e1bbec
commit 755df11
Showing 1 changed file with 55 additions and 0 deletions.
diff --git a/tests/test-schreier-sims.cpp b/tests/test-schreier-sims.cpp
@@ -4416,4 +4416,59 @@ namespace libsemigroups {
          71, 63, 64, 65, 75, 76, 77, 78, 79, 80, 72, 73, 74})));
   }
 
+  LIBSEMIGROUPS_TEST_CASE("SchreierSims",
+                          "068",
+                          "uint8_t Perm",
+                          "[quick][schreier-sims][copy constructor]") {
+    auto rg    = ReportGuard(false);
+    using Perm = Perm<0, uint8_t>;
+    SchreierSims<255, uint8_t, Perm> S1;
+    S1.add_generator(Perm(
+        {1,   0,   2,   3,   4,   5,   6,   7,   8,   9,   10,  11,  12,  13,
+         14,  15,  16,  17,  18,  19,  20,  21,  22,  23,  24,  25,  26,  27,
+         28,  29,  30,  31,  32,  33,  34,  35,  36,  37,  38,  39,  40,  41,
+         42,  43,  44,  45,  46,  47,  48,  49,  50,  51,  52,  53,  54,  55,
+         56,  57,  58,  59,  60,  61,  62,  63,  64,  65,  66,  67,  68,  69,
+         70,  71,  72,  73,  74,  75,  76,  77,  78,  79,  80,  81,  82,  83,
+         84,  85,  86,  87,  88,  89,  90,  91,  92,  93,  94,  95,  96,  97,
+         98,  99,  100, 101, 102, 103, 104, 105, 106, 107, 108, 109, 110, 111,
+         112, 113, 114, 115, 116, 117, 118, 119, 120, 121, 122, 123, 124, 125,
+         126, 127, 128, 129, 130, 131, 132, 133, 134, 135, 136, 137, 138, 139,
+         140, 141, 142, 143, 144, 145, 146, 147, 148, 149, 150, 151, 152, 153,
+         154, 155, 156, 157, 158, 159, 160, 161, 162, 163, 164, 165, 166, 167,
+         168, 169, 170, 171, 172, 173, 174, 175, 176, 177, 178, 179, 180, 181,
+         182, 183, 184, 185, 186, 187, 188, 189, 190, 191, 192, 193, 194, 195,
+         196, 197, 198, 199, 200, 201, 202, 203, 204, 205, 206, 207, 208, 209,
+         210, 211, 212, 213, 214, 215, 216, 217, 218, 219, 220, 221, 222, 223,
+         224, 225, 226, 227, 228, 229, 230, 231, 232, 233, 234, 235, 236, 237,
+         238, 239, 240, 241, 242, 243, 244, 245, 246, 247, 248, 249, 250, 251,
+         252, 253, 254}));
+    S1.add_generator(Perm(
+        {1,   2,   3,   4,   0,   5,   6,   7,   8,   9,   10,  11,  12,  13,
+         14,  15,  16,  17,  18,  19,  20,  21,  22,  23,  24,  25,  26,  27,
+         28,  29,  30,  31,  32,  33,  34,  35,  36,  37,  38,  39,  40,  41,
+         42,  43,  44,  45,  46,  47,  48,  49,  50,  51,  52,  53,  54,  55,
+         56,  57,  58,  59,  60,  61,  62,  63,  64,  65,  66,  67,  68,  69,
+         70,  71,  72,  73,  74,  75,  76,  77,  78,  79,  80,  81,  82,  83,
+         84,  85,  86,  87,  88,  89,  90,  91,  92,  93,  94,  95,  96,  97,
+         98,  99,  100, 101, 102, 103, 104, 105, 106, 107, 108, 109, 110, 111,
+         112, 113, 114, 115, 116, 117, 118, 119, 120, 121, 122, 123, 124, 125,
+         126, 127, 128, 129, 130, 131, 132, 133, 134, 135, 136, 137, 138, 139,
+         140, 141, 142, 143, 144, 145, 146, 147, 148, 149, 150, 151, 152, 153,
+         154, 155, 156, 157, 158, 159, 160, 161, 162, 163, 164, 165, 166, 167,
+         168, 169, 170, 171, 172, 173, 174, 175, 176, 177, 178, 179, 180, 181,
+         182, 183, 184, 185, 186, 187, 188, 189, 190, 191, 192, 193, 194, 195,
+         196, 197, 198, 199, 200, 201, 202, 203, 204, 205, 206, 207, 208, 209,
+         210, 211, 212, 213, 214, 215, 216, 217, 218, 219, 220, 221, 222, 223,
+         224, 225, 226, 227, 228, 229, 230, 231, 232, 233, 234, 235, 236, 237,
+         238, 239, 240, 241, 242, 243, 244, 245, 246, 247, 248, 249, 250, 251,
+         252, 253, 254}));
+
+    SchreierSims<255, uint8_t, Perm> S2(S1);
+    REQUIRE(&S1 != &S2);
+    REQUIRE(S1.number_of_generators() == S2.number_of_generators());
+    REQUIRE(S1.current_size() == S2.current_size());
+    REQUIRE(S1.finished() == S2.finished());
+  }
+
 }  // namespace libsemigroups