Peter Bauer
Followers: 0 Following: 0
Statistiche
RANK
32.012
of 290.040
REPUTAZIONE
1
CONTRIBUTI
6 Domande
1 Risposta
ACCETTAZIONE DELLE RISPOSTE
83.33%
VOTI RICEVUTI
1
RANK
of 144.433
CONTRIBUTI
0 Problemi
0 Soluzioni
PUNTEGGIO
0
NUMERO DI BADGE
0
CONTRIBUTI
0 Post
CONTRIBUTI
0 Pubblico Canali
VALUTAZIONE MEDIA
CONTRIBUTI
0 Punti principali
NUMERO MEDIO DI LIKE
Feeds
Domanda
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...
oltre un anno fa | 1 risposta | 1
1
rispostaDomanda
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...
quasi 2 anni fa | 1 risposta | 0
1
rispostaDomanda
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...
circa 2 anni fa | 1 risposta | 0
1
rispostaDomanda
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...
oltre 2 anni fa | 1 risposta | 0
1
rispostaHow 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...
quasi 3 anni fa | 0
| accettato
Domanda
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...
quasi 3 anni fa | 1 risposta | 0
1
rispostaDomanda
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...
quasi 4 anni fa | 1 risposta | 0