Cause Weaver to output preprocessed source files and models
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.
- Status changed from New to Resolved
- Description updated (diff)
I implemented this feature in branch cif-cpp-ext. Small tests passed and demonstrated slight performance improvement. Let's wait for CI.
- Related to Feature #10080: Do not preprocess source code outputted by CIF added
- Status changed from Resolved to Closed
CI tests passed demonstrating ~10% improvement in working time of FVTP. So, I merged the branch to master in 576035b2e.
Also available in: Atom