Statistics
4 Questions
0 Answers
RANK
179 828
of 300 744
REPUTATION
0
CONTRIBUTIONS
4 Questions
0 Answers
ANSWER ACCEPTANCE
100.0%
VOTES RECEIVED
0
RANK
of 21 054
REPUTATION
N/A
AVERAGE RATING
0.00
CONTRIBUTIONS
0 Files
DOWNLOADS
0
ALL TIME DOWNLOADS
0
RANK
of 170 597
CONTRIBUTIONS
0 Problems
0 Solutions
SCORE
0
NUMBER OF BADGES
0
CONTRIBUTIONS
0 Posts
CONTRIBUTIONS
0 Public Channels
AVERAGE RATING
CONTRIBUTIONS
0 Discussions
AVERAGE NO. OF LIKES
Feeds
Question
Import comments written in Polyspace Access
Hello, I´m starting to use Polyspace Access in a continuous integration workflow and want to know when and how comments which h...
mer än 5 år ago | 1 answer | 0
1
answerQuestion
Ist it possible to switch to other findings in Source Code panel of Polyspace Access?
Hello, I was wondering if it is not possible in Polyspace Code Prover Access R2020a to switch between findings in the "Source C...
mer än 5 år ago | 1 answer | 0
1
answerQuestion
Is it possible to set integer enumeration as an option in Polyspace configuration?
Hello, the tasking compiler allows the option "integer enumeration" where the compiler always treats enum-types as int as defin...
mer än 5 år ago | 2 answers | 0
2
answersQuestion
Why are the metrics in the reports not given per file but only the project min and max values?
Hello, we´re using Polyspace R2015b CodeProver and generating reports to automaticalle read out the most important information ...
mer än 7 år ago | 1 answer | 0
