Module Frama_c_kernel.Inline_stmt_contracts

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

val emitter : Emitter.t