Statistics
RANK
135,079
of 300,364
REPUTATION
0
CONTRIBUTIONS
2 Questions
1 Answer
ANSWER ACCEPTANCE
0.0%
VOTES RECEIVED
0
RANK
of 20,934
REPUTATION
N/A
AVERAGE RATING
0.00
CONTRIBUTIONS
0 Files
DOWNLOADS
0
ALL TIME DOWNLOADS
0
RANK
of 168,407
CONTRIBUTIONS
0 Problems
0 Solutions
SCORE
0
NUMBER OF BADGES
0
CONTRIBUTIONS
0 Posts
CONTRIBUTIONS
0 Public Channels
AVERAGE RATING
CONTRIBUTIONS
0 Highlights
AVERAGE NO. OF LIKES
Feeds
Running polyspace-bugfinder on manually created .opt file(s)
I could have looked at the manual also, it turns out -lang has a C-CPP possibility
6 years ago | 0
Question
Running polyspace-bugfinder on manually created .opt file(s)
Hello I create polyspace-configure results file one-by-one, for each source file, since I know what the parameters are. Then ...
6 years ago | 1 answer | 0
1
answerQuestion
I am trying to run polyspace-configure giving the cl command line as argument, however it is very slow, is this expected ?
Example generated opt file #-------------------------- # Polyspace options file generated by polyspace-configure # Build co...
6 years ago | 0 answers | 0
