Frama-C API - Make
Parameters
module Engine : Engine_SubsetSignature
type state = Engine.Dom.tval compute : save_results:bool -> Callstack.t -> state -> (Partition.key * state) list * Eval.cacheable
Frama-C Frama-C Makemodule Engine : Engine_Subsettype state = Engine.Dom.tval compute : save_results:bool -> Callstack.t -> state -> (Partition.key * state) list * Eval.cacheable