model: pad the digits in exec#.dot filenames

[model-checker.git] / .gitignore

# generic types
*.o
.*.swp
*.swo
*.so
*~
*.dot

# files in this directory
/tags
/docs
/make.deps