Frama-C API - state
inherit Wp__.Plang.engine
inherit Wp__.Pcfg.engine
method updates : Wp__.Pcfg.label Wp__.Sigs.sequence -> Wp__.Sigs.update Frama_c_kernel.Bag.t
state
inherit Wp__.Plang.engine
inherit Wp__.Pcfg.engine
method updates : Wp__.Pcfg.label Wp__.Sigs.sequence -> Wp__.Sigs.update Frama_c_kernel.Bag.t