Feature #10546
Updated by Evgeny Novikov over 3 years ago
After #10080 Weaver does not do any preprocessing as it relies upon CIF outputs preprocessed code. But resulting files have ".c" extension that forces Frama-C (CIL) to invoke preprocessor on them. Moreover, it seems that models are not passed through CIF or at least Frama-C (CIL) processes original models rather than already processed ones.