nodestack: push 'create_cv' functionality responsibility back to ModelChecker
[c11tester.git] / .gitignore
1 # generic types
2 *.o
3 .*.swp
4 *.so
5 *~
6
7 # files in this directory
8 /model
9 /tags