You can create multiple configurations in the same project, like this:
In the Polyspace user interface, you can right-click a configuration, select Copy Configuration to and copy to the same module. Then, in the new configuration, you can change the options that are different for the software variant that you want to analyze. Alternatively, you can also right-click and select Create New Configuration to create a configuration from scratch and add options.
You can rename configurations with a right-click option to remember which configuration represents which software variant.
