Use MergedReporting instead of
Reporting for polyspace.Options. All
sub-properties remain the same except ReportTemplate, which
can be replaced by either BugFinderReportTemplate or
CodeProverReportTemplate.
For more information, see polyspace.Project.Configuration
properties in the