From: Brian Norris <banorris@uci.edu>
Date: Thu, 20 Sep 2012 17:45:39 +0000 (-0700)
Subject: model: pad the digits in exec#.dot filenames
X-Git-Tag: pldi2013~167^2~2
X-Git-Url: http://demsky.eecs.uci.edu/git/?a=commitdiff_plain;h=8521b24fa3f8bc2c903c9b82350c61828bf67520;p=model-checker.git

model: pad the digits in exec#.dot filenames

The generated .dot files can't be sorted alphabetically once we have double
digit executions. Make the filename use a 4-digit number, padded with zeros.
---

diff --git a/model.cc b/model.cc
index 8aaa3b5..a7c99af 100644
--- a/model.cc
+++ b/model.cc
@@ -1509,7 +1509,7 @@ void ModelChecker::print_summary()
 #if SUPPORT_MOD_ORDER_DUMP
 	scheduler->print();
 	char buffername[100];
-	sprintf(buffername, "exec%u",num_executions);
+	sprintf(buffername, "exec%04u", num_executions);
 	mo_graph->dumpGraphToFile(buffername);
 #endif