Return back program fragment sizes
Before Klever 2.0 VOG provided sizes of generated verification objects. PFG that replaces it provides information on C source files constituting program fragments but no sizes as I see. I suggest to add sizes at all levels, i.e. sizes for C source files, for program components if so and for program fragments after all.
Updated by Ilja Zakharov 5 months ago
Just to keep in mind, that this requires refactoring of the Clade source graph collecting extension, that is why the feature was finally removed from Klever 2.0 before the release intentionally. With the current Clade implementation this feature would require an enormous amount of memory for Linux.