Feature #10546
closed
Cause Weaver to output preprocessed source files and models
Added by Evgeny Novikov about 4 years ago.
Updated about 4 years ago.
Category:
Tasks generation
Description
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.
- Description updated (diff)
- Status changed from New to Resolved
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
PDF