-
Gilles Mouchard authored
Rewritten Frama-C integration to prepare use of flags coming compile commands support. Fixed error handling.
9b03ba3d
Rewritten Frama-C integration to prepare use of flags coming compile commands support. Fixed error handling.