Module TransitionInvariant.InvariantParser

Parameters

module Base : module type of WitnessUtil.InvariantParser

Signature

val anyprev_regexp : Str.regexp
val anyprev_vname : string -> string
module StringSet : sig ... end
val parse_cabs : string -> (GoblintCil.Cabs.expression * StringSet.t, string) Stdlib.result
val extvar_fix_visitor : GoblintCil.nopCilVisitor
val parse_cil : Base.t -> ?check:bool -> fundec:GoblintCil.fundec -> loc:GoblintCil.Cil.location -> (GoblintCil.Cabs.expression * StringSet.t) -> (GoblintCil.exp, string) Stdlib.result