From: Brian Norris <banorris@uci.edu>
Date: Wed, 6 Feb 2013 03:31:57 +0000 (-0800)
Subject: model: don't print scheduler randomly
X-Git-Url: http://plrg.eecs.uci.edu/git/?p=c11tester.git;a=commitdiff_plain;h=5af7bf9e51795daa1b4dede1e27e4862170535f4

model: don't print scheduler randomly
---

diff --git a/model.cc b/model.cc
index c9b8460c..e39266d4 100644
--- a/model.cc
+++ b/model.cc
@@ -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);