Skip to content
Snippets Groups Projects
Commit 310e1b05 authored by Valentin Perrelle's avatar Valentin Perrelle Committed by David Bühler
Browse files

[Eva] do not export Eva_annotations.get_* functions

parent af67d277
No related branches found
No related tags found
No related merge requests found
Hide whitespace changes
Inline Side-by-side
src/plugins/value/Eva.mli
+ 0
− 8
View file @ 310e1b05
...@@ -83,14 +83,6 @@ module Eva_annotations: sig ...@@ -83,14 +83,6 @@ module Eva_annotations: sig
| FlowSplit of Cil_types.term | FlowSplit of Cil_types.term
| FlowMerge of Cil_types.term | FlowMerge of Cil_types.term
type allocation_kind = By_stack | Fresh | Fresh_weak | Imprecise
val get_slevel_annot : Cil_types.stmt -> slevel_annotation option
val get_unroll_annot : Cil_types.stmt -> unroll_annotation list
val get_flow_annot : Cil_types.stmt -> flow_annotation list
val get_subdivision_annot : Cil_types.stmt -> int list
val get_allocation: Cil_types.stmt -> allocation_kind
val add_slevel_annot : emitter:Emitter.t -> loc:Cil_types.location -> val add_slevel_annot : emitter:Emitter.t -> loc:Cil_types.location ->
Cil_types.stmt -> slevel_annotation -> unit Cil_types.stmt -> slevel_annotation -> unit
val add_unroll_annot : emitter:Emitter.t -> loc:Cil_types.location -> val add_unroll_annot : emitter:Emitter.t -> loc:Cil_types.location ->
......
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment