Project

General

Profile

Feature #10546

Updated by Evgeny Novikov 4 months 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.

Back