Frama-C:
Plug-ins:
Libraries:

Frama-C API - Generator

WP Proof Obligation Generator

val user_setup : unit -> Factory.setup

Compute model setup from command line options.

val create : ?dump:bool -> ?setup:Factory.setup -> ?driver:Factory.driver -> unit -> Wpo.generator