Azzera filtri
Azzera filtri

How can I start Polyspace in a second instance?

9 visualizzazioni (ultimi 30 giorni)
Christoph
Christoph il 22 Mar 2023
Risposto: Anirban il 24 Mar 2023
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

Risposte (3)

Jack
Jack il 22 Mar 2023
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.

Christoph
Christoph il 22 Mar 2023
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.
  1 Commento
Jack
Jack il 22 Mar 2023
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.

Accedi per commentare.


Anirban
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.

Community Treasure Hunt

Find the treasures in MATLAB Central and discover how the community can help you!

Start Hunting!

Translated by