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