CProverResultBuilder not compatible with cbmc version > 4.3
CProverResultBuilder not compatible with cbmc version >4.3
(from redmine: issue id 1751, created on 2013-09-23, closed on 2013-10-07)
CProverResultBuilder not compatible with cbmc version >4.3
(from redmine: issue id 1751, created on 2013-09-23, closed on 2013-10-07)