Frama-C:
Plug-ins:
Libraries:

Frama-C API - Inline_stmt_contracts

transforms requires and ensures of statement contracts into assert. This transformation is done after cleanup

val emitter : Emitter.t