X-Git-Url: http://demsky.eecs.uci.edu/git/?a=blobdiff_plain;f=model.cc;h=1712a60a9dd3990efeef26f257467f5bff7d6bb0;hb=e309adaee27786a638bcd44303ecb88351074257;hp=031f6a935ec5701bdf72fdf2bdfe321e70712a28;hpb=04f478b27a93b7838f58a8480b9e3e22d41688f8;p=model-checker.git

diff --git a/model.cc b/model.cc
index 031f6a9..1712a60 100644
--- 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());
 
+#if SUPPORT_MOD_ORDER_DUMP
 	scheduler->print();
+	char buffername[100];
+	sprintf(buffername, "exec%u",num_executions);
+	mo_graph->dumpGraphToFile(buffername);
+#endif
 
 	if (!isfinalfeasible())
 		printf("INFEASIBLE EXECUTION!\n");