Make sure that actions that do writes are labeled correctly in predicate trees
[c11tester.git] / predicate.cc
index 2d77777..5cc0219 100644 (file)
@@ -3,6 +3,7 @@
 Predicate::Predicate(FuncInst * func_inst, bool is_entry) :
        func_inst(func_inst),
        entry_predicate(is_entry),
+       does_write(false),
        pred_expressions(16),
        children(),
        parent(NULL),
@@ -89,6 +90,10 @@ void Predicate::print_predicate()
                                break;
                }
        }
+
+       if (does_write) {
+               model_print("Does write\n");
+       }
        model_print("\"];\n");
 }