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 I concatenate all files and give the resulting .opt file to polyspace-bugfinder.

This sort of works, except that it doesn't distinguish between C and C++ code.

Possibly because of the -lang=C option, there would be one for each file and I can't just give all

the files to polyspace-bugfinder since the command line would be too long.

I have tried to use two .opt files, one for C and one for CPP and to give both on the command line to

polyspace bugfinder, but I still get this error:

Warning: option -lang was given several times with different values (cpp, c)

| Taking the last value (c)

So,the question is: can polyspace-bugfinder run on a project that has both C and CPP source files ?

Regards,

Even

Answer 1

[Even Oscar Andersen]

I could have looked at the manual also, it turns out -lang has a C-CPP possibility