Add missing assertion

VeriFIT · Apr 15, 2024 · 7f08f73 · 7f08f73
1 parent 56a36b5
commit 7f08f73
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/src/nft/nft.cc b/src/nft/nft.cc
@@ -340,6 +340,7 @@ State Nft::insert_word_by_parts(const State source, const std::vector<Word> &wor
     assert(source < num_of_states());
     assert(target < num_of_states());
     assert(source < levels.size());
+    assert(target < levels.size());
     assert(levels[source] == levels[target]);
     const Level from_to_level{ levels[source] };