add support for dumping cyclegraphs as dot files... also eliminate redundant edges...
[model-checker.git] / model.cc
index 031f6a9..1712a60 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");