Skip to content

Commit

Permalink
Remove coverity
Browse files Browse the repository at this point in the history
  • Loading branch information
Mariatta committed Sep 24, 2024
1 parent 8bf6312 commit 8c37c7b
Show file tree
Hide file tree
Showing 4 changed files with 1 addition and 144 deletions.
1 change: 0 additions & 1 deletion core-developers/experts.rst
Original file line number Diff line number Diff line change
Expand Up @@ -319,7 +319,6 @@ buildbots zware, pablogsal
bytecode benjaminp, 1st1, markshannon, brandtbucher, carljm, iritkatriel
context managers ncoghlan
core workflow Mariatta, ezio-melotti, hugovk, AA-Turner
coverity scan tiran, Yhg1s
cryptography gpshead, dstufft
data formats
database malemburg
Expand Down
2 changes: 1 addition & 1 deletion development-tools/clang.rst
Original file line number Diff line number Diff line change
Expand Up @@ -54,7 +54,7 @@ A complete list of sanitizers can be found at `Controlling Code Generation

Clang and its sanitizers have strengths (and weaknesses). Its just one tool in
the war chest to uncovering bugs and improving code quality. Clang should be
used to complement other methods, including Code Reviews, Valgrind, Coverity,
used to complement other methods, including Code Reviews, Valgrind,
etc.

Clang/LLVM setup
Expand Down
141 changes: 0 additions & 141 deletions development-tools/coverity.rst

This file was deleted.

1 change: 0 additions & 1 deletion development-tools/index.rst
Original file line number Diff line number Diff line change
Expand Up @@ -8,5 +8,4 @@ Development tools
clinic
gdb
clang
coverity
warnings

0 comments on commit 8c37c7b

Please sign in to comment.