Frama-C API - seqengine
method set_sequence : Wp__.Conditions.sequence -> unit
Initialize state with this sequence
method set_goal : Wp__.Lang.F.pred -> unit
Adds goal to state domain
method set_sequent : Wp__.Conditions.sequent -> unit
If true
, states are rendered when printing sequences.
method set_state : bool -> unit
If set to false
, states rendering is deactivated.