Additional Information

Replace ComputingSettings.Batch with either MergedComputingSettings.BatchBugFinder or MergedComputingSettings.BatchCodeProver. For example, for Polyspace Bug Finder options myOpts, change myOpts.ComputingSettings.Batch to myOpts.MergedComputingSettings.BatchBugFinder.

Replace ComputingSettings.AddToResultsRepository with either MergedComputingSettings.AddToResultsRepositoryBugFinder or MergedComputingSettings.AddToResultsRepositoryCodeProver. For example, for Polyspace Code Prover option myOpts, change myOpts.ComputingSettings.AddToResultsRepository to myOpts.MergedComputingSettings.AddToResultsRepositoryCodeProver.

For more information, see polyspace.Project.Configuration properties in the Polyspace Bug Finder or Polyspace Code Prover documentation.