제출됨

Post Preprocessing Templates
post preprocessing scripts

대략 8년 전 | 다운로드 수: 1 |

답변 있음
FLE file does not exist
Hi! In order to have higher precision results, please contact Technical Support with the complete results folder: they may prov...

9년 초과 전 | 0

답변 있음
Polyspace Metrics Server - Usage of Justifications
Dear Matthias, Justification of the last run are considered

거의 10년 전 | 0

답변 있음
Polyspace: Defines-Handling not correct?
Dear Thomas, with current version of Polyspace Code Prover (for instance R2014b) and default options, it works as expected.

거의 10년 전 | 0

| 수락됨

답변 있음
in polyspace why pointers assignation fails
With the following code, and with default options, Polyspace Code Prover (release R2013b) "got" it: typedef unsigned char u...

거의 11년 전 | 0

답변 있음
Custom Rules Check - Struct
Would you please try with a regexp like the following: .*STRUCT.*

거의 11년 전 | 0

| 수락됨

답변 있음
Polyspace for C error messages: invalid storage class for a parameter/a declaration here must declare a parameter
I recommend you to contact Technical Support with complete log file. A plus would also to provide a small sample that reproduces...

거의 11년 전 | 0

답변 있음
How do I get Polyspace Code Prover to recognize the printf function?
For this question, there are many answers like for instance relaunching with -D __polyspace_no_printf. It depends mainly of the...

거의 11년 전 | 0

답변 있음
Polyspace error during Normalization of xiosbase include file
Another way to workaround the limitation consists in relaunching with option *–functions-to-stub std::ios_base::clear*. It will ...

대략 12년 전 | 0

답변 있음
Polyspace error during Normalization of xiosbase include file
The way to workaround this issue is to follow these steps: * copy xiosbase near configuration file and rename it as ps_xiosba...

12년 초과 전 | 0