Design a method to select predicate branches based on exploration counts

[c11tester.git] / history.cc

diff --git a/history.cc b/history.cc
index 4fde914419161b3697561d5f71936065c40017f8..34ec08011bfa3d60008c158e95a6f69158d3cedc 100644 (file)
--- a/history.cc
+++ b/history.cc
@@ -341,7 +341,7 @@ void ModelHistory::check_waiting_write(ModelAction * write_act)
                /* Check if the written value satisfies every predicate expression */
                for (uint i = 0; i < concrete_exprs->size(); i++) {
                        struct concrete_pred_expr concrete = (*concrete_exprs)[i];
-                       bool equality;
+                       bool equality = false;
                        switch (concrete.token) {
                                case EQUALITY:
                                        equality = (value == concrete.value);