-
Bug
-
Resolution: Fixed
-
Critical
-
None
-
CentOS 5.4, Coverity 6.0.1 (Internal version numbers: 1.5222:3042, 20120412041511UTC, p-berkeley-push-11376.367), Jenkins 1.539
Coverity is run via script, the plugin only fetches the defects afterwards.
Console output:
[Coverity] Found snapshot IDs [1234]
[Coverity] Fetching defects for stream Foo
[Coverity] Found 100 defects
[Coverity] Found 58 defects matching all filters: [ ... ]
Under "defect filters" everything is set including all 95 checkers, so all 100 defects should match IMHO.