Feature #9381
closedReturn back program fragment sizes
0%
Description
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 about 6 years 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.
Updated by Evgeny Novikov over 5 years ago
- Subject changed from Return back program fragment sized to Return back program fragment sizes
Updated by Ilja Zakharov almost 5 years ago
- Status changed from New to Resolved
Fixed in klever-3.0.
Updated by Evgeny Novikov almost 5 years ago
- Status changed from Resolved to Open
I dislike that there is strange attribute with name "Size", say, for unsafes. Please, either specify a good name or move the attribute to the right place, e.g. to description of program fragment. I prefer the latter.
Updated by Evgeny Novikov almost 5 years ago
In other places, say, for VTGW attribute "Size" does not look nice as well.
Updated by Evgeny Novikov almost 5 years ago
At last I fixed representation of data reports from PFG, so that program fragments and their sizes are shown directly at the PFG page. But now PFG provides not only program fragment sizes but their source files as well as sizes of the latter. After all the representation is not great and you need to fix it.
Updated by Ilja Zakharov almost 5 years ago
- Status changed from Open to Resolved
- Simplified data attached to the PFG component report, removed information about composite fragments, their sizes and removed sizes of separate files. This was done to simplify drawing table in the PFG page.
- Fixed the table at PFG page and added program fragments sizes and file lists per program fragment.
- Removed Size attribute and added total program fragment size to the data value of Program fragment attribute.
Implemented in branch 9381-fragments-size.