Peter Bauer

Last seen: 대략 1개월 전 | 2020년부터 활동

Followers: 0 Following: 0

순위
32,119
of 297,672

평판
1

답변 채택
83.33%

획득한 표
1

답변 있음
maci64/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...

4개월 전 | 0

질문

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

2년 초과 전 | 답변 수: 1 | 1

답변

질문

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

거의 3년 전 | 답변 수: 1 | 0

답변

질문

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

거의 3년 전 | 답변 수: 1 | 0

답변

질문

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

대략 3년 전 | 답변 수: 1 | 0

답변

답변 있음
How 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...

거의 4년 전 | 0

| 수락됨

질문

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

거의 4년 전 | 답변 수: 1 | 0

답변

질문

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

거의 5년 전 | 답변 수: 1 | 0

답변