Module Db.Toplevel

module Toplevel: sig .. end

val run : ((unit -> unit) -> unit) Stdlib.ref

Run a Frama-C toplevel playing the game given in argument (in particular, applying the argument runs the analyses).