From cb692771bdbfb60d854be19c2d763cdc66514162 Mon Sep 17 00:00:00 2001
From: Allan Blanchard <allan.blanchard@cea.fr>
Date: Mon, 1 Jul 2024 10:42:21 +0200
Subject: [PATCH] [tests] Updated oracles (config option) - Now plug-ins do not
 have automatically a Config module, corresponding states do not exist anymore

---
 tests/misc/oracle/my_visitor.1.res.oracle   | 4 ++--
 tests/misc/oracle/orphan_emitter.res.oracle | 2 +-
 tests/saveload/oracle/basic.4.res.oracle    | 2 +-
 3 files changed, 4 insertions(+), 4 deletions(-)

diff --git a/tests/misc/oracle/my_visitor.1.res.oracle b/tests/misc/oracle/my_visitor.1.res.oracle
index cb5171adca0..d7de4e33c03 100644
--- a/tests/misc/oracle/my_visitor.1.res.oracle
+++ b/tests/misc/oracle/my_visitor.1.res.oracle
@@ -1,9 +1,9 @@
 [kernel] Warning: emitter emitter1: correctness parameter -s does not exist anymore. Ignored.
 [kernel] Warning: emitter emitter2: correctness parameter -s2 does not exist anymore. Ignored.
-[kernel] Warning: 15 states in saved file ignored. They are invalid in this Frama-C configuration.
+[kernel] Warning: 13 states in saved file ignored. They are invalid in this Frama-C configuration.
 [kernel] Warning: emitter emitter1: correctness parameter -s does not exist anymore. Ignored.
 [kernel] Warning: emitter emitter2: correctness parameter -s2 does not exist anymore. Ignored.
-[kernel] Warning: 15 states in saved file ignored. They are invalid in this Frama-C configuration.
+[kernel] Warning: 13 states in saved file ignored. They are invalid in this Frama-C configuration.
 /* Generated by Frama-C */
 int f(void)
 {
diff --git a/tests/misc/oracle/orphan_emitter.res.oracle b/tests/misc/oracle/orphan_emitter.res.oracle
index b4a4e9e9636..54742d6322b 100644
--- a/tests/misc/oracle/orphan_emitter.res.oracle
+++ b/tests/misc/oracle/orphan_emitter.res.oracle
@@ -1,2 +1,2 @@
 [kernel] Warning: emitter emitter1: correctness parameter -orphan does not exist anymore. Ignored.
-[kernel] Warning: 11 states in saved file ignored. They are invalid in this Frama-C configuration.
+[kernel] Warning: 9 states in saved file ignored. They are invalid in this Frama-C configuration.
diff --git a/tests/saveload/oracle/basic.4.res.oracle b/tests/saveload/oracle/basic.4.res.oracle
index 7452402948f..eeed93b93d1 100644
--- a/tests/saveload/oracle/basic.4.res.oracle
+++ b/tests/saveload/oracle/basic.4.res.oracle
@@ -1 +1 @@
-[kernel] Warning: 11 states in saved file ignored. They are invalid in this Frama-C configuration.
+[kernel] Warning: 9 states in saved file ignored. They are invalid in this Frama-C configuration.
-- 
GitLab