Merge pull request #430 from thk123/feature/ignore-coverage-files

Daniel Kroening · web-flow · commit 502d7223f91a · 2017-01-16T11:19:21.000Z
Ignore any files generated by the regression script
diff --git a/.gitignore b/.gitignore
@@ -32,6 +32,9 @@ regression/cbmc/tests.log
 src/big-int/test-bigint
 src/big-int/test-bigint.exe
 
+# regression/coverage file
+/regression/coverage_**
+
 # files stored by editors
 *~
 
