photo

Fredrik Ellis


Active since 2016

Followers: 0   Following: 0

Statistics

Feeds

View by

Question


How to include another source file to Polyspace Code Prover analysis WITHOUT verifying this extra file?
How does the analysis in "Polyspace Code Prover" perform its analysis of a source file, regarding to its defined includes? I...

8 years ago | 1 answer | 0

1

answer