Feature #10692
Updated by Evgeny Novikov about 3 years ago
Frama-C 20.0 exists for a long period of time, but we are still using Frama-C 18.0. Perhaps the update will not change anything for us, but we need to evaluate it. Moreover, it will be easier for developers since they will not need to backport fixes and changes to 18.0.
In addition to this update, it has sense to start using new option "-more-files" recently supported by Mikhail. That option allows to enumerate input source files within a file and to pass this file to _toplevel.opt_ as it was with old CIL.