Frama-C API - Info
Additional information required by State_builder.Register
.
val dependencies : State.t list
Dependencies of this internal state.
Info
Additional information required by State_builder.Register
.
val dependencies : State.t list
Dependencies of this internal state.