cyclegraph: add full promise resolution, node merging

[c11tester.git] / model.cc

diff --git a/model.cc b/model.cc
index 1ecc48e395ffbe0a13b00b5dbeba02985de33ec2..e39266d41218feecb14d4fde94701c22cd2040d3 100644 (file)
--- a/model.cc
+++ b/model.cc
@@ -2339,7 +2339,7 @@ bool ModelChecker::resolve_promises(ModelAction *write)
                        post_r_modification_order(read, write);
                        //Make sure the promise's value matches the write's value
                        ASSERT(promise->get_value() == write->get_value());
-                       delete(promise);
+                       delete promise;
 
                        promises->erase(promises->begin() + promise_index);
                        actions_to_check.push_back(read);
@@ -2647,7 +2647,6 @@ void ModelChecker::dumpGraph(char *filename) const
 void ModelChecker::print_summary() const
 {
 #if SUPPORT_MOD_ORDER_DUMP
-       scheduler->print();
        char buffername[100];
        sprintf(buffername, "exec%04u", stats.num_total);
        mo_graph->dumpGraphToFile(buffername);