cbmc.txt
property.xml
coverage.xml
*.goto
**/html/*