How can I start Polyspace in a second instance?

Hello,

I use Polyspace. I need to compare results for my work. Everytime I start the ps_results.psbf

it is opend up in the same window. Is there a way to start a second polyspace window?

Maybe using the commandline?

Thanks

Answer 1

[Jack]

Hi,

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:

polyspace-gui.exe -new

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.

Thanks.

Answer 2

[Christoph]

Thanks for the responce.

I am using R2022a

there is no polyspace-gui.exe.

In the folder: "c:\Program Files\Polyspace\R2022a\polyspace\bin"

I only have this files:

polyspace-access.exe

polyspace-autosar.exe

polyspace-bug-finder-nodesktop.exe

polyspace-bug-finder.exe

polyspace-checkers-selection.exe

polyspace-code-prover-nodesktop.exe

polyspace-code-prover.exe

polyspace-comments-import.exe

polyspace-configure.exe

polyspace-connector.exe

polyspace-job-monitor.exe

polyspace-jobs-manager.exe

polyspace-modularize.exe

polyspace-pack.exe

polyspace-report-generator.exe

polyspace-results-export.exe

polyspace-unpack.exe

polyspace-verifier.exe

polyspace.exe

polyspace1.exe

web-browser-wrapper.exe

I tried what you have suggested, but with no luck. Its not working.

[Jack]

I apologize for the confusion. It seems that the Polyspace installation for R2022a does not include the polyspace-gui.exe executable.

In that case, you can try the following steps to launch Polyspace Bug Finder without using the GUI:

1. Open MATLAB and navigate to the folder containing the code you want to analyze.
2. In the MATLAB Command Window, type polyspace-bug-finder to launch the Polyspace command-line interface.
3. Type the command polyspace-bug-finder -help to see a list of available command-line options and parameters.
4. Type the command polyspace-bug-finder <options> <file(s)> to start the analysis on the specified file(s). You can specify multiple files or use wildcards to analyze all files in a directory.

For example, to analyze a file called mycode.c in the current directory with default settings, you would type:

Copy code

polyspace-bug-finder mycode.c 

You can then monitor the progress of the analysis in the MATLAB Command Window, and view the results in the Polyspace Report Generator.

Again, I apologize for the confusion, and I hope this helps.

Answer 3

[Anirban]

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.