Frama-C API - Make
Parameters
module Abstract : Engine_abstractions_sig.SSignature
val compute : max_unroll:int -> Abstract.Dom.t -> Eva_automata.loop -> int option
Frama-C Frama-C Makemodule Abstract : Engine_abstractions_sig.Sval compute : max_unroll:int -> Abstract.Dom.t -> Eva_automata.loop -> int option