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

[Eva] api: add header to results.ml

parent 12c3a8bb
No related branches found
No related tags found
No related merge requests found
Hide whitespace changes
Inline Side-by-side
headers/header_spec.txt
+ 2
− 0
View file @ e517c164
......@@ -1450,6 +1450,8 @@ src/plugins/value/legacy/function_args.ml: CEA_LGPL_OR_PROPRIETARY
src/plugins/value/legacy/function_args.mli: CEA_LGPL_OR_PROPRIETARY
src/plugins/value/register.ml: CEA_LGPL_OR_PROPRIETARY
src/plugins/value/register.mli: CEA_LGPL_OR_PROPRIETARY
src/plugins/value/utils/results.ml: CEA_LGPL_OR_PROPRIETARY
src/plugins/value/utils/results.mli: CEA_LGPL_OR_PROPRIETARY
src/plugins/value/partitioning/auto_loop_unroll.ml: CEA_LGPL_OR_PROPRIETARY
src/plugins/value/partitioning/auto_loop_unroll.mli: CEA_LGPL_OR_PROPRIETARY
src/plugins/value/partitioning/partition.ml: CEA_LGPL_OR_PROPRIETARY
......
src/plugins/value/utils/results.mli
+ 1
− 2
View file @ e517c164
(**************************************************************************)
(* *)
(* This fil2e is part of Frama-C. *)
(* This file is part of Frama-C. *)
(* *)
(* Copyright (C) 2007-2021 *)
(* CEA (Commissariat à l'énergie atomique et aux énergies *)
......@@ -20,7 +20,6 @@
(* *)
(**************************************************************************)
(* Usage sketch :
Eva.Results.(before stmt |> in_callstack cs |> eval_var vi |> as_int)
......
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