diff options
-rw-r--r-- | .gitignore | 7 |
1 files changed, 7 insertions, 0 deletions
@@ -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 |