[e-acsl:tests] update oracles for config 'dev'

src/plugins/e-acsl/tests/builtin/oracle_dev/strcat.e-acsl.err.log

 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

src/plugins/e-acsl/tests/builtin/oracle_dev/strlen.e-acsl.err.log

-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

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