summaryrefslogtreecommitdiff
path: root/.gitignore
diff options
context:
space:
mode:
Diffstat (limited to '.gitignore')
-rw-r--r--.gitignore7
1 files changed, 7 insertions, 0 deletions
diff --git a/.gitignore b/.gitignore
index baa755f..5f35818 100644
--- a/.gitignore
+++ b/.gitignore
@@ -67,3 +67,10 @@ Makefile.in
/tests/test_atomic_include.h
/tests/test*.log
/tests/test*.trs
+
+# Code analysis tools:
+/.sv*-dir/
+/cov-int/
+/pvs-project.log
+/pvs-project.tasks
+/strace_out