Known WP limitations on statement contract
Since Frama-C 23.0, statement contract are not supported anymore. Related issues are closed (as duplicates) and listed here.
Since Frama-C 23.0, statement contract are not supported anymore. Related issues are closed (as duplicates) and listed here.