projects / model-checker.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 2f6c80b) | patch
model: pad the digits in exec#.dot filenames
authorBrian Norris <banorris@uci.edu>
Thu, 20 Sep 2012 17:45:39 +0000 (10:45 -0700)
committerBrian Norris <banorris@uci.edu>
Thu, 20 Sep 2012 21:09:58 +0000 (14:09 -0700)
commit8521b24fa3f8bc2c903c9b82350c61828bf67520
tree0b1c0ad03e8425e3f3b5ea6badcbfcf36f8a01adtree | snapshot
parent2f6c80b075c5da5c6d412955fe8e322d479955ddcommit | diff
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 diff | blob | history
C++11 memory model checker