Frama-C API - Driver
val load_driver : unit -> LogicBuiltins.driverMemoized loading of drivers according to current WP options. Finally sets LogicBuiltins.driver and returns it.
Frama-C Frama-C Driverval load_driver : unit -> LogicBuiltins.driverMemoized loading of drivers according to current WP options. Finally sets LogicBuiltins.driver and returns it.