Community Profile

photo

Even Oscar Andersen


Active since 2019

Statistics

Content Feed

View by

Answered
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

2 years ago | 0

Question


Running polyspace-bugfinder on manually created .opt file(s)
你好我创建fi polyspace-configure结果le one-by-one, for each source file, since I know what the parameters are. Then ...

2 years ago | 1 answer | 0

1

answer

Question


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

3 years ago | 0 answers | 0

0

answers