pcond
inherit Wp__.Pcond.seqengine
method visible : Wp__.Conditions.step -> bool
method set_target : part -> unit
Frama-C