From 8521b24fa3f8bc2c903c9b82350c61828bf67520 Mon Sep 17 00:00:00 2001 From: Brian Norris Date: Thu, 20 Sep 2012 10:45:39 -0700 Subject: [PATCH] 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. --- model.cc | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) 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 -- 2.34.1