diff --git a/tests/misc/oracle/my_visitor.1.res.oracle b/tests/misc/oracle/my_visitor.1.res.oracle
index cb5171adca05ef60341ce5813896eed563af564e..d7de4e33c03d33fa164d9ed0f242f9ad5ded2499 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 b4a4e9e9636b1ef49df2c0fd7a6aaf94a196a565..54742d6322b5c706a0bf20f509252bf510f016ba 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 7452402948f0fad8d57c67cc0b5465f130d5c22a..eeed93b93d1467d26a2d89b1bca0736fb1c0c510 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.