![]() |
|
|
|
|
Issue Type:
|
![Bug]() Bug
|
|
Affects Versions:
|
current |
|
Assignee:
|
Unassigned |
|
Components:
|
coverity |
|
Created:
|
20/Nov/13 1:47 PM
|
|
Description:
|
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.
|
|
Environment:
|
CentOS 5.4, Coverity 6.0.1 (Internal version numbers: 1.5222:3042, 20120412041511UTC, p-berkeley-push-11376.367), Jenkins 1.539
|
|
Project:
|
Jenkins
|
|
Priority:
|
![Critical]() Critical
|
|
Reporter:
|
André Schramm
|
|
|
|
This message is automatically generated by JIRA.
If you think it was sent incorrectly, please contact your JIRA administrators.
For more information on JIRA, see: http://www.atlassian.com/software/jira
|
--
You received this message because you are subscribed to the Google Groups "Jenkins Issues" group.
To unsubscribe from this group and stop receiving emails from it, send an email to
[email protected].
For more options, visit
https://groups.google.com/groups/opt_out.
