Frama-C API - make
method get_field : 'a. 'a field -> 'a
method set_field : 'a. 'a field -> 'a -> unit
method params : parameter list
Shall return Applicable
or Not_configured
if the tactic might apply to the selection. Hints can be provided here, if appropriate.
The continuation f
returned with Applicable f
shall generates sub-goals wrt to the given selection and current field values.