Frama looks like C-only, no C++. But gcc does both.#1729

mre merged 1 commit intoanalysis-tools-dev:masteranalysis-tools-dev/static-analysis:masterfrom

jtv:frama-is-c-onlyjtv/static-analysis-fork:frama-is-c-onlyCopy head branch name to clipboard