Statistik
RANG
32.501
of 300.851
REPUTATION
1
ANTWORTZUSTIMMUNG
85.71%
ERHALTENE STIMMEN
1
RANG
of 21.094
REPUTATION
N/A
DURCHSCHNITTLICHE BEWERTUNG
0.00
BEITRÄGE
0 Dateien
DOWNLOADS
0
ALL TIME DOWNLOADS
0
RANG
of 171.294
BEITRÄGE
0 Probleme
0 Lösungen
PUNKTESTAND
0
ANZAHL DER ABZEICHEN
0
BEITRÄGE
0 Beiträge
BEITRÄGE
0 Öffentlich Kanäle
DURCHSCHNITTLICHE BEWERTUNG
BEITRÄGE
0 Discussions
DURCHSCHNITTLICHE ANZAHL DER LIKES
Feeds
How to wait for an available license for Polyspace Bug Finder/Code Prover Server
According to the support, there is currently no way this can be done.
29 Tage vor | 0
| akzeptiert
Frage
How to wait for an available license for Polyspace Bug Finder/Code Prover Server
There is a limited number of floating licenses available in our company and if none are left, Polyspace aborts with 22:02:18 C...
etwa ein Monat vor | 2 Antworten | 0
2
Antwortenmaci64/libMatlabEngine.dylib not found: trying to call a compiled .mexmaci64 function on macOS
I was also hit by this issue since migrating from XCode 14 to 16. The actual linker commandline for the mex file is the same inc...
etwa ein Jahr vor | 0
Frage
Using the Matlab Package Manager behind a firewall/proxy
Hi, I would like to use the mpm (https://github.com/mathworks-ref-arch/matlab-dockerfile/blob/main/MPM.md) in a corporate Intra...
etwa 3 Jahre vor | 1 Antwort | 1
1
AntwortFrage
Is it possible to create a project file specifically for Bug Finder or Code Prover?
I am creating .psprj files for Bug Finder and Code Prover (different options and checks) using a script to be opened with the Po...
mehr als 3 Jahre vor | 1 Antwort | 0
1
AntwortFrage
Execution time of polyspace-configure when using a compilation database file
I am currently in the phase of trying out Polyspace R2021b coming from R2019b. A major improvement would be to avoid the additio...
fast 4 Jahre vor | 1 Antwort | 0
1
AntwortFrage
Analyzing C source code with multiple "main" functions not named "main()"
I would like to run Polyspace Bug Finder & Code Prover on C source files implementing different Firmware variants. This means th...
fast 4 Jahre vor | 1 Antwort | 0
1
AntwortHow to fail on compilation errors when running Polyspace Bug Finder in CI?
sorry for the noise, found -stop-if-compile-error: https://de.mathworks.com/help/bugfinder/ref/stopanalysisifafiledoesnotcompile...
mehr als 4 Jahre vor | 0
| akzeptiert
Frage
How to fail on compilation errors when running Polyspace Bug Finder in CI?
We found that our CI (using the polyspace-configure and polyspace-bug-finder commands) has not detected some issues so we ran th...
mehr als 4 Jahre vor | 1 Antwort | 0
1
AntwortFrage
How to open a .psprj file directly from the command-line?
Hi, i am trying to implement a script wich performs all required steps to generate a .psprj file and finally starts the Polyspa...
mehr als 5 Jahre vor | 1 Antwort | 0
