Module Db.Toplevel

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).

  • since Beryllium-20090901