search

goblint / cil

C Intermediate Language
https://goblint.github.io/cil/
Other
40 stars 16 forks source link

Fix FrontC and Cabs2cil partial application #116

Closed sim642 closed 1 year ago

sim642 commented 1 year ago

Documentation promises partial application just does FrontC and returned closure does Cabs2cil: https://github.com/goblint/cil/blob/729a1ff3f300330043af118141229079e0fad499/src/frontc/frontc.mli#L48-L52

However, this was implemented incorrectly: parse_helper wasn't partially applied immediately, but only when fully applied and then did both together.

This will allow Goblint to have an improved Stats module while still measuring the two phases separately.