package frama-c

  1. Overview
  2. Docs

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