Commit 95fa01f7 authored by Gilles Mouchard's avatar Gilles Mouchard
Browse files

Made optional the inclusion of system files (i.e. system headers) in the...

Made optional the inclusion of system files (i.e. system headers) in the result of Frama-C for PKM and Frama-Clang for PKM.
parent 2704e1bf
Pipeline #19978 passed with stages
in 10 minutes and 32 seconds