How can I start Polyspace in a second instance?
8 visualizzazioni (ultimi 30 giorni)
Jack il 22 Mar 2023
Yes, you can open multiple instances of Polyspace by launching it from the command line with different arguments.
To do this, you can open a command prompt or terminal window and navigate to the directory where Polyspace is installed. Then, enter the following command to launch a new instance of Polyspace:
This will start a new instance of Polyspace in a separate window. You can repeat this command to open as many instances of Polyspace as you need.
You can also pass additional arguments to Polyspace on the command line to customize its behavior. For example, you can specify the location of the project to open:
polyspace-gui.exe -new "C:\path\to\my\project.polyspace"
This will open a new instance of Polyspace and load the specified project.
Anirban il 24 Mar 2023
You can double-click the polyspace.exe executable twice to open two instances, and then open your .psbf file from whichever instance you want.
If you want to compare two places in the same result, there is a way to duplicate the source code window. See Navigate Two Results in Same File in Separate Windows.
Code Verification Polyspace Bug Finder Configure and Run Analysis Complete List of Polyspace Bug Finder Analysis Engine Options Bug Finder Analysis