Merge pull request #187 from VeriFIT/wrong_preprocess_stat

Fix preprocessing stat for length decision procedure
VeriFIT · Oct 3, 2024 · 820029f · 820029f
2 parents 4318f62 + e6e31c5
commit 820029f
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/src/smt/theory_str_noodler/theory_str_noodler_final_check.cpp b/src/smt/theory_str_noodler/theory_str_noodler_final_check.cpp
@@ -802,7 +802,7 @@ namespace smt::noodler {
         dec_proc = len_dec_proc;
         expr_ref block_len(m.mk_false(), m);
         if (dec_proc->preprocess() == l_false) {
-            this->statistics.at("underapprox").num_solved_preprocess++;
+            this->statistics.at("length").num_solved_preprocess++;
             STRACE("str", tout << "len: unsat from preprocessing\n");
             block_curr_len(block_len);
             return l_false;