Merge branch 'feature/word_level_structures' of https://github.com/em…

…sec/hal into feature/word_level_structures
emsec · Apr 29, 2024 · 540d744 · 540d744
2 parents 8041b76 + 2420d3d
commit 540d744
Showing 1 changed file with 3 additions and 0 deletions.
diff --git a/plugins/z3_utils/src/simplification.cpp b/plugins/z3_utils/src/simplification.cpp
@@ -2328,6 +2328,9 @@ namespace hal
                 const auto [it, _] = cache.insert({e.id(), simplify_res.get()});
                 res                = it->second;
 
+                // TODO remove
+                // return OK(res);
+
                 iteration++;
                 if (iteration > max_loop_iterations)
                 {