From b8a999c60ff9784041bce05c719fa4d31b522dc0 Mon Sep 17 00:00:00 2001
From: Virgile Prevosto <virgile.prevosto@m4x.org>
Date: Thu, 4 Nov 2021 12:27:02 +0100
Subject: [PATCH] [doc] updates log for evaman
---
doc/value/examples/parametrizing/context-width.log | 2 +-
doc/value/examples/parametrizing/loop-unroll-insuf.log | 2 +-
doc/value/examples/parametrizing/simple-main.log | 2 +-
3 files changed, 3 insertions(+), 3 deletions(-)
diff --git a/doc/value/examples/parametrizing/context-width.log b/doc/value/examples/parametrizing/context-width.log
index c586ab0c3b5..2c2a17ed50e 100644
--- a/doc/value/examples/parametrizing/context-width.log
+++ b/doc/value/examples/parametrizing/context-width.log
@@ -6,7 +6,7 @@
[eva] context-width.c:3:
Frama_C_dump_each:
- # Cvalue domain:
+ # cvalue:
t ∈ {{ NULL ; &S_t[0] }}
S_t[0] ∈ {{ NULL ; &S_0_S_t[0] }}
[1] ∈ {{ NULL ; &S_1_S_t[0] }}
diff --git a/doc/value/examples/parametrizing/loop-unroll-insuf.log b/doc/value/examples/parametrizing/loop-unroll-insuf.log
index 6478cadfa12..307575ced9d 100644
--- a/doc/value/examples/parametrizing/loop-unroll-insuf.log
+++ b/doc/value/examples/parametrizing/loop-unroll-insuf.log
@@ -4,7 +4,7 @@
[eva] Initial state computed
[eva:initial-state] Values of globals at initialization
-[eva:loop-unroll] loop-unroll-insuf.c:4: loop not completely unrolled
+[eva:loop-unroll:partial] loop-unroll-insuf.c:4: loop not completely unrolled
[eva] loop-unroll-insuf.c:4: starting to merge loop iterations
[eva] done for function main
[eva] ====== VALUES COMPUTED ======
diff --git a/doc/value/examples/parametrizing/simple-main.log b/doc/value/examples/parametrizing/simple-main.log
index 63b112ec393..71c155f9e5f 100644
--- a/doc/value/examples/parametrizing/simple-main.log
+++ b/doc/value/examples/parametrizing/simple-main.log
@@ -6,7 +6,7 @@
[eva] simple-main.c:3:
Frama_C_dump_each:
- # Cvalue domain:
+ # cvalue:
argc ∈ [--..--]
argv ∈ {{ NULL ; &S_argv[0] }}
__retres ∈ UNINITIALIZED
--
GitLab