How can I start Polyspace in a second instance?
7 次查看(过去 30 天)
显示 更早的评论
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
0 个评论
回答(3 个)
Jack
2023-3-22
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.
0 个评论
Christoph
2023-3-22
1 个评论
Jack
2023-3-22
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:
- Open MATLAB and navigate to the folder containing the code you want to analyze.
- In the MATLAB Command Window, type polyspace-bug-finder to launch the Polyspace command-line interface.
- Type the command polyspace-bug-finder -help to see a list of available command-line options and parameters.
- 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.
Anirban
2023-3-24
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.
0 个评论
另请参阅
类别
在 Help Center 和 File Exchange 中查找有关 Set Up Code Prover Analysis on Servers During Continuous Integration 的更多信息
Community Treasure Hunt
Find the treasures in MATLAB Central and discover how the community can help you!
Start Hunting!