Feature #10924
Updated by Evgeny Novikov over 2 years ago
Sometimes users develops slightly inaccurate/invalid models. For instance, they Users often forget to add declarations for functions invoked in their models, e.g. by including appropriate headers. This can result in weird failures and trash during running Frama-C (CIL) or even later at verification. (CIL). I suggest to fail earlier since GCC is capable to report a lot of different issues in sources. implicit function declarations.