CProver Analysis: Add "Absence Globally"
Add the pattern absence globally to the cprover analyses.
(from redmine: issue id 1771, created on 2013-10-07, closed on 2013-10-07)
Add the pattern absence globally to the cprover analyses.
(from redmine: issue id 1771, created on 2013-10-07, closed on 2013-10-07)