From 643c6fcfc9a9928cf9984e9c1a181a791f0124a6 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?David=20B=C3=BChler?= <david.buhler@cea.fr>
Date: Tue, 19 Jul 2022 11:30:59 +0200
Subject: [PATCH] [aorai] Uses Eva public API instead of Db.Value.
---
src/plugins/aorai/aorai_eva_analysis.enabled.ml | 4 +++-
1 file changed, 3 insertions(+), 1 deletion(-)
diff --git a/src/plugins/aorai/aorai_eva_analysis.enabled.ml b/src/plugins/aorai/aorai_eva_analysis.enabled.ml
index f1ad02b3417..60dd3d6ff31 100644
--- a/src/plugins/aorai/aorai_eva_analysis.enabled.ml
+++ b/src/plugins/aorai/aorai_eva_analysis.enabled.ml
@@ -53,7 +53,9 @@ let show_non_det_state fmt state =
(* TODO: sync Data_for_aorai.get_state_var with current project*)
let vi = Data_for_aorai.get_varinfo s.Promelaast.name in
let e = Cil.evar vi in
- let cvalue = !Db.Value.eval_expr state e in
+ let cvalue =
+ Eva.Results.(in_cvalue_state state |> eval_exp e |> as_cvalue)
+ in
if Cvalue.V.contains_non_zero cvalue then
print_state s (not (Cvalue.V.contains_zero cvalue))
in
--
GitLab