From f03623db88f82e94de1e2469e536240840842195 Mon Sep 17 00:00:00 2001 From: Julien Signoles <julien.signoles@cea.fr> Date: Thu, 7 Oct 2021 18:53:15 +0200 Subject: [PATCH] [e-acsl:tests] update oracles for config 'dev' --- .../e-acsl/tests/builtin/oracle_dev/strcat.e-acsl.err.log | 2 +- .../e-acsl/tests/builtin/oracle_dev/strlen.e-acsl.err.log | 6 +++--- .../e-acsl/tests/format/oracle_dev/fprintf.e-acsl.err.log | 2 +- 3 files changed, 5 insertions(+), 5 deletions(-) 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 9e0fa5e56b2..ba266124594 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 4a74fec3e91..12fc549bbd1 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 0bbf23ea140..ee17e51614b 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 -- GitLab