summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
-rw-r--r--.gitignore7
1 files changed, 7 insertions, 0 deletions
diff --git a/.gitignore b/.gitignore
index 1b57c8b1..d2f648b0 100644
--- a/.gitignore
+++ b/.gitignore
@@ -130,3 +130,10 @@ stamp-h1
# Stuff from VS build system and IDE
*.vcproj.*.user
+
+# Code analysis tools:
+/.sv*-dir/
+/cov-int/
+/pvs-project.log
+/pvs-project.tasks
+/strace_out