add support for dumping cyclegraphs as dot files... also eliminate redundant edges...

[model-checker.git] / model.cc

diff --git a/model.cc b/model.cc
index 031f6a935ec5701bdf72fdf2bdfe321e70712a28..1712a60a9dd3990efeef26f257467f5bff7d6bb0 100644 (file)
--- a/model.cc
+++ b/model.cc
@@ -1184,7 +1184,12 @@ void ModelChecker::print_summary()
        printf("Number of executions: %d\n", num_executions);
        printf("Total nodes created: %d\n", node_stack->get_total_nodes());
 
        printf("Number of executions: %d\n", num_executions);
        printf("Total nodes created: %d\n", node_stack->get_total_nodes());
 

+#if SUPPORT_MOD_ORDER_DUMP

        scheduler->print();
        scheduler->print();

+       char buffername[100];
+       sprintf(buffername, "exec%u",num_executions);
+       mo_graph->dumpGraphToFile(buffername);
+#endif

 
        if (!isfinalfeasible())
                printf("INFEASIBLE EXECUTION!\n");
 
        if (!isfinalfeasible())
                printf("INFEASIBLE EXECUTION!\n");