fix: increase seq array size to 20

seahorn · Sep 19, 2023 · 6bba21f · 6bba21f
1 parent eb49267
commit 6bba21f
Showing 1 changed file with 4 additions and 2 deletions.
diff --git a/src/include/seamock.hh b/src/include/seamock.hh
@@ -41,8 +41,10 @@ static size_t g_sequence_counter;
 namespace seamock {
 namespace util {
 
-static std::array<const char *, 5> SeqArray{"UNDEF", "UNDEF", "UNDEF", "UNDEF",
-                                            "UNDEF"};
+static std::array<const char *, 20> SeqArray{
+    "UNDEF", "UNDEF", "UNDEF", "UNDEF", "UNDEF", "UNDEF", "UNDEF",
+    "UNDEF", "UNDEF", "UNDEF", "UNDEF", "UNDEF", "UNDEF", "UNDEF",
+    "UNDEF", "UNDEF", "UNDEF", "UNDEF", "UNDEF", "UNDEF"};
 
 } // namespace util
 } // namespace seamock