diff --git a/src/plugins/e-acsl/tests/builtin/oracle_dev/strcat.e-acsl.err.log b/src/plugins/e-acsl/tests/builtin/oracle_dev/strcat.e-acsl.err.log
index 9e0fa5e56b2f4f4c39d44078054968dd50711b45..ba266124594f7cb22a17928de0f6f61f45e81758 100644
--- a/src/plugins/e-acsl/tests/builtin/oracle_dev/strcat.e-acsl.err.log
+++ b/src/plugins/e-acsl/tests/builtin/oracle_dev/strcat.e-acsl.err.log
@@ -1,5 +1,5 @@
 TEST 1: OK: Expected execution at tests/builtin/strcat.c:67
-TEST 2: OK: Expected execution at tests/builtin/strcat.c:68
+TEST 2: OK: Expected execution at tests/builtin/strcat.c:69
 strcat: insufficient space in destination string, available: 8 bytes, requires at least 9 bytes
 TEST 3: OK: Expected signal at tests/builtin/strcat.c:70
 strcat: destination string string unallocated
diff --git a/src/plugins/e-acsl/tests/builtin/oracle_dev/strlen.e-acsl.err.log b/src/plugins/e-acsl/tests/builtin/oracle_dev/strlen.e-acsl.err.log
index 4a74fec3e9162c9a27c2646b92417cf7c6b9b8e8..12fc549bbd1f81e6d55a9ff66150154bf9fcbc34 100644
--- a/src/plugins/e-acsl/tests/builtin/oracle_dev/strlen.e-acsl.err.log
+++ b/src/plugins/e-acsl/tests/builtin/oracle_dev/strlen.e-acsl.err.log
@@ -1,10 +1,10 @@
-TEST 1: OK: Expected execution at tests/builtin/strlen.c:20
+TEST 1: OK: Expected execution at tests/builtin/strlen.c:21
 TEST 2: OK: Expected execution at tests/builtin/strlen.c:22
 TEST 3: OK: Expected execution at tests/builtin/strlen.c:23
 TEST 4: OK: Expected execution at tests/builtin/strlen.c:24
 strlen: input string not NUL-terminated
-TEST 5: OK: Expected signal at tests/builtin/strlen.c:28
+TEST 5: OK: Expected signal at tests/builtin/strlen.c:29
 strlen: input string not NUL-terminated
-TEST 6: OK: Expected signal at tests/builtin/strlen.c:30
+TEST 6: OK: Expected signal at tests/builtin/strlen.c:31
 strlen: input string unallocated
 TEST 7: OK: Expected signal at tests/builtin/strlen.c:33
diff --git a/src/plugins/e-acsl/tests/format/oracle_dev/fprintf.e-acsl.err.log b/src/plugins/e-acsl/tests/format/oracle_dev/fprintf.e-acsl.err.log
index 0bbf23ea140d1b32644f3a7749bfb189bdf52cff..ee17e51614be3d7c41048a9df75c551798d663be 100644
--- a/src/plugins/e-acsl/tests/format/oracle_dev/fprintf.e-acsl.err.log
+++ b/src/plugins/e-acsl/tests/format/oracle_dev/fprintf.e-acsl.err.log
@@ -25,4 +25,4 @@ sprintf: output buffer is unallocated or has insufficient length to store 6 char
 TEST 16: OK: Expected signal at tests/format/fprintf.c:45
 sprintf: output buffer is unallocated or has insufficient length to store 6 characters and \0 terminator or not writeable
 TEST 17: OK: Expected signal at tests/format/fprintf.c:46
-TEST 18: OK: Expected execution at tests/format/fprintf.c:47
+TEST 18: OK: Expected execution at tests/format/fprintf.c:48