diff --git a/src/plugins/e-acsl/tests/format/oracle/gen_printf.c b/src/plugins/e-acsl/tests/format/oracle/gen_printf.c
index 6d0f66bf9b26d38f4c81f716ad0438eda4050acf..aa574ba57e75ac532cb0b6c270ae381cfc7e78bc 100644
--- a/src/plugins/e-acsl/tests/format/oracle/gen_printf.c
+++ b/src/plugins/e-acsl/tests/format/oracle/gen_printf.c
@@ -772,7 +772,7 @@ char *__gen_e_acsl_strcpy(char * restrict dest, char const * restrict src)
  */
 char *__gen_e_acsl_strchr(char const *s, int c)
 {
-  char const *__gen_e_acsl_at_3;
+  char const *__gen_e_acsl_at_4;
   char const *__gen_e_acsl_at_2;
   int __gen_e_acsl_at;
   __e_acsl_contract_t *__gen_e_acsl_contract;
@@ -781,6 +781,7 @@ char *__gen_e_acsl_strchr(char const *s, int c)
   __e_acsl_store_block((void *)(& s),(size_t)8);
   __gen_e_acsl_contract = __e_acsl_contract_init((size_t)3);
   __e_acsl_contract_set_behavior_assumes(__gen_e_acsl_contract,(size_t)2,1);
+  __gen_e_acsl_at_4 = s;
   __gen_e_acsl_at_3 = s;
   __gen_e_acsl_at_2 = s;
   __gen_e_acsl_at = c;
@@ -835,7 +836,7 @@ char *__gen_e_acsl_strchr(char const *s, int c)
         void *__gen_e_acsl_base_addr_3;
         void *__gen_e_acsl_base_addr_4;
         __gen_e_acsl_base_addr_3 = __e_acsl_base_addr((void *)__retres);
-        __gen_e_acsl_base_addr_4 = __e_acsl_base_addr((void *)__gen_e_acsl_at_3);
+        __gen_e_acsl_base_addr_4 = __e_acsl_base_addr((void *)__gen_e_acsl_at_4);
         __gen_e_acsl_or = __gen_e_acsl_base_addr_3 == __gen_e_acsl_base_addr_4;
       }
       __e_acsl_assert(__gen_e_acsl_or,1,"Postcondition","strchr",
diff --git a/src/plugins/e-acsl/tests/format/oracle/printf.res.oracle b/src/plugins/e-acsl/tests/format/oracle/printf.res.oracle
index 494c722d019b3dd212d80ffa2662693fd07d5244..032b58cd5d7cec93dbef5d3632448ff5c2f891a7 100644
--- a/src/plugins/e-acsl/tests/format/oracle/printf.res.oracle
+++ b/src/plugins/e-acsl/tests/format/oracle/printf.res.oracle
@@ -20,6 +20,43 @@
 [e-acsl] Warning: annotating undefined function `waitpid':
   the generated program may miss memory instrumentation
   if there are memory-related annotations.
+[e-acsl] FRAMAC_SHARE/libc/string.h:181: Warning: 
+  E-ACSL construct
+  `non integer variable p in quantification
+  result_first_occur:
+    ∀ char *p; \old(s) ≤ p < \result ⇒ *p ≢ (char)\old(c)'
+  is not yet supported.
+  Ignoring annotation.
+[e-acsl] FRAMAC_SHARE/libc/__fc_string_axiomatic.h:281: Warning: 
+  E-ACSL construct `logic functions or predicates performing read accesses'
+  is not yet supported.
+  Ignoring annotation.
+[e-acsl] FRAMAC_SHARE/libc/string.h:368: Warning: 
+  E-ACSL construct `logic functions or predicates performing read accesses'
+  is not yet supported.
+  Ignoring annotation.
+[e-acsl] FRAMAC_SHARE/libc/string.h:370: Warning: 
+  E-ACSL construct `logic functions or predicates performing read accesses'
+  is not yet supported.
+  Ignoring annotation.
+[e-acsl] FRAMAC_SHARE/libc/string.h:373: Warning: 
+  E-ACSL construct `logic functions or predicates performing read accesses'
+  is not yet supported.
+  Ignoring annotation.
+[e-acsl] FRAMAC_SHARE/libc/string.h:176: Warning: 
+  E-ACSL construct `user-defined logic type' is not yet supported.
+  Ignoring annotation.
+[e-acsl] FRAMAC_SHARE/libc/string.h:179: Warning: 
+  E-ACSL construct `logic functions or predicates performing read accesses'
+  is not yet supported.
+  Ignoring annotation.
+[e-acsl] FRAMAC_SHARE/libc/string.h:183: Warning: 
+  E-ACSL construct `user-defined logic type' is not yet supported.
+  Ignoring annotation.
+[e-acsl] FRAMAC_SHARE/libc/string.h:143: Warning: 
+  E-ACSL construct `logic functions or predicates performing read accesses'
+  is not yet supported.
+  Ignoring annotation.
 [e-acsl] FRAMAC_SHARE/libc/sys/wait.h:79: Warning: 
   E-ACSL construct `assigns clause in behavior' is not yet supported.
   Ignoring annotation.
@@ -30,31 +67,19 @@
   E-ACSL construct `assigns clause in behavior' is not yet supported.
   Ignoring annotation.
 [e-acsl] FRAMAC_SHARE/libc/string.h:367: Warning: 
-  E-ACSL construct `logic functions with labels' is not yet supported.
-  Ignoring annotation.
-[e-acsl] FRAMAC_SHARE/libc/string.h:368: Warning: 
-  E-ACSL construct `logic functions performing read accesses'
+  E-ACSL construct `logic functions or predicates with labels'
   is not yet supported.
   Ignoring annotation.
 [e-acsl] FRAMAC_SHARE/libc/string.h:370: Warning: 
-  E-ACSL construct `logic functions performing read accesses'
+  E-ACSL construct `logic functions or predicates performing read accesses'
   is not yet supported.
   Ignoring annotation.
 [e-acsl] FRAMAC_SHARE/libc/string.h:367: Warning: 
   E-ACSL construct `assigns clause in behavior' is not yet supported.
   Ignoring annotation.
-[e-acsl] FRAMAC_SHARE/libc/string.h:373: Warning: 
-  E-ACSL construct `logic functions performing read accesses'
-  is not yet supported.
-  Ignoring annotation.
-[e-acsl] FRAMAC_SHARE/libc/string.h:176: Warning: 
-  E-ACSL construct `user-defined logic type' is not yet supported.
-  Ignoring annotation.
-[e-acsl] FRAMAC_SHARE/libc/string.h:183: Warning: 
-  E-ACSL construct `user-defined logic type' is not yet supported.
-  Ignoring annotation.
 [e-acsl] FRAMAC_SHARE/libc/string.h:173: Warning: 
-  E-ACSL construct `logic functions with labels' is not yet supported.
+  E-ACSL construct `logic functions or predicates with labels'
+  is not yet supported.
   Ignoring annotation.
 [e-acsl] FRAMAC_SHARE/libc/string.h:173: Warning: 
   Some assumes clauses could not be translated.
@@ -62,13 +87,10 @@
 [e-acsl] FRAMAC_SHARE/libc/string.h:173: Warning: 
   E-ACSL construct `assigns clause in behavior' is not yet supported.
   Ignoring annotation.
-[e-acsl] FRAMAC_SHARE/libc/string.h:179: Warning: 
-  E-ACSL construct `logic functions performing read accesses'
+[e-acsl] FRAMAC_SHARE/libc/__fc_string_axiomatic.h:281: Warning: 
+  E-ACSL construct `logic functions or predicates with labels'
   is not yet supported.
   Ignoring annotation.
-[e-acsl] FRAMAC_SHARE/libc/string.h:180: Warning: 
-  E-ACSL construct `logic functions with labels' is not yet supported.
-  Ignoring annotation.
 [e-acsl] FRAMAC_SHARE/libc/string.h:181: Warning: 
   E-ACSL construct
   `non integer variable p in quantification
@@ -77,15 +99,12 @@
   is not yet supported.
   Ignoring annotation.
 [e-acsl] FRAMAC_SHARE/libc/string.h:141: Warning: 
-  E-ACSL construct `logic functions with labels' is not yet supported.
+  E-ACSL construct `logic functions or predicates with labels'
+  is not yet supported.
   Ignoring annotation.
 [e-acsl] FRAMAC_SHARE/libc/string.h:141: Warning: 
   E-ACSL construct `assigns clause in behavior' is not yet supported.
   Ignoring annotation.
-[e-acsl] FRAMAC_SHARE/libc/string.h:143: Warning: 
-  E-ACSL construct `logic functions performing read accesses'
-  is not yet supported.
-  Ignoring annotation.
 [e-acsl] FRAMAC_SHARE/libc/stdlib.h:470: Warning: 
   E-ACSL construct `assigns clause in behavior' is not yet supported.
   Ignoring annotation.
diff --git a/src/plugins/e-acsl/tests/format/oracle_dev/printf.e-acsl.err.log b/src/plugins/e-acsl/tests/format/oracle_dev/printf.e-acsl.err.log
index 3335b94a93bd6dc5293f59cb402f50eae25adf44..a62c7504b668087891cdc3b36b269fb345fc7306 100644
--- a/src/plugins/e-acsl/tests/format/oracle_dev/printf.e-acsl.err.log
+++ b/src/plugins/e-acsl/tests/format/oracle_dev/printf.e-acsl.err.log
@@ -1,575 +1,575 @@
-TEST 1: OK: Expected execution at tests/format/printf.c:184
-TEST 2: OK: Expected execution at tests/format/printf.c:187
+TEST 1: OK: Expected execution at tests/format/printf.c:183
+TEST 2: OK: Expected execution at tests/format/printf.c:186
 printf: directive 4 (%u) in format "%s - %s and say it %d or %u more times 
 " has no argument
-TEST 3: OK: Expected signal at tests/format/printf.c:190
-TEST 4: OK: Expected execution at tests/format/printf.c:193
+TEST 3: OK: Expected signal at tests/format/printf.c:189
+TEST 4: OK: Expected execution at tests/format/printf.c:192
 printf: invalid format string (unallocated or unterminated)
-TEST 5: OK: Expected signal at tests/format/printf.c:198
-TEST 6: OK: Expected execution at tests/format/printf.c:201
+TEST 5: OK: Expected signal at tests/format/printf.c:197
+TEST 6: OK: Expected execution at tests/format/printf.c:200
 printf: directive 4 (%4$s) in format "%4$s Say it %2$d or %1$u times 
 " has no argument
-TEST 7: OK: Expected signal at tests/format/printf.c:203
+TEST 7: OK: Expected signal at tests/format/printf.c:202
 Format error: illegal format specifier '$'
-TEST 8: OK: Expected signal at tests/format/printf.c:205
+TEST 8: OK: Expected signal at tests/format/printf.c:204
 Format error: "%s Say it %2$d or %3$u times 
 ":  numbered and non-numbered directives cannot be mixed
-TEST 9: OK: Expected signal at tests/format/printf.c:208
-TEST 10: OK: Expected execution at tests/format/printf.c:210
-TEST 11: OK: Expected execution at tests/format/printf.c:213
-TEST 12: OK: Expected execution at tests/format/printf.c:213
-TEST 13: OK: Expected execution at tests/format/printf.c:213
-TEST 14: OK: Expected execution at tests/format/printf.c:213
-TEST 15: OK: Expected execution at tests/format/printf.c:213
-TEST 16: OK: Expected execution at tests/format/printf.c:213
-TEST 17: OK: Expected execution at tests/format/printf.c:213
-TEST 18: OK: Expected execution at tests/format/printf.c:213
-TEST 19: OK: Expected execution at tests/format/printf.c:213
-TEST 20: OK: Expected execution at tests/format/printf.c:213
-TEST 21: OK: Expected execution at tests/format/printf.c:213
-TEST 22: OK: Expected execution at tests/format/printf.c:213
-TEST 23: OK: Expected execution at tests/format/printf.c:213
+TEST 9: OK: Expected signal at tests/format/printf.c:207
+TEST 10: OK: Expected execution at tests/format/printf.c:209
+TEST 11: OK: Expected execution at tests/format/printf.c:212
+TEST 12: OK: Expected execution at tests/format/printf.c:212
+TEST 13: OK: Expected execution at tests/format/printf.c:212
+TEST 14: OK: Expected execution at tests/format/printf.c:212
+TEST 15: OK: Expected execution at tests/format/printf.c:212
+TEST 16: OK: Expected execution at tests/format/printf.c:212
+TEST 17: OK: Expected execution at tests/format/printf.c:212
+TEST 18: OK: Expected execution at tests/format/printf.c:212
+TEST 19: OK: Expected execution at tests/format/printf.c:212
+TEST 20: OK: Expected execution at tests/format/printf.c:212
+TEST 21: OK: Expected execution at tests/format/printf.c:212
+TEST 22: OK: Expected execution at tests/format/printf.c:212
+TEST 23: OK: Expected execution at tests/format/printf.c:212
 FRAMAC_SHARE/e-acsl/libc_replacements/e_acsl_stdio.c:542: Format error: wrong application of precision [.] to format specifier [c]
-TEST 24: OK: Expected signal at tests/format/printf.c:213
-TEST 25: OK: Expected execution at tests/format/printf.c:213
+TEST 24: OK: Expected signal at tests/format/printf.c:212
+TEST 25: OK: Expected execution at tests/format/printf.c:212
 FRAMAC_SHARE/e-acsl/libc_replacements/e_acsl_stdio.c:542: Format error: wrong application of precision [.] to format specifier [p]
-TEST 26: OK: Expected signal at tests/format/printf.c:213
+TEST 26: OK: Expected signal at tests/format/printf.c:212
 FRAMAC_SHARE/e-acsl/libc_replacements/e_acsl_stdio.c:542: Format error: wrong application of precision [.] to format specifier [n]
-TEST 27: OK: Expected signal at tests/format/printf.c:213
+TEST 27: OK: Expected signal at tests/format/printf.c:212
 FRAMAC_SHARE/e-acsl/libc_replacements/e_acsl_stdio.c:542: Format error: wrong application of flag [#] to format specifier [d]
-TEST 28: OK: Expected signal at tests/format/printf.c:219
+TEST 28: OK: Expected signal at tests/format/printf.c:218
 FRAMAC_SHARE/e-acsl/libc_replacements/e_acsl_stdio.c:542: Format error: wrong application of flag [#] to format specifier [i]
-TEST 29: OK: Expected signal at tests/format/printf.c:219
-TEST 30: OK: Expected execution at tests/format/printf.c:219
+TEST 29: OK: Expected signal at tests/format/printf.c:218
+TEST 30: OK: Expected execution at tests/format/printf.c:218
 FRAMAC_SHARE/e-acsl/libc_replacements/e_acsl_stdio.c:542: Format error: wrong application of flag [#] to format specifier [u]
-TEST 31: OK: Expected signal at tests/format/printf.c:219
-TEST 32: OK: Expected execution at tests/format/printf.c:219
-TEST 33: OK: Expected execution at tests/format/printf.c:219
-TEST 34: OK: Expected execution at tests/format/printf.c:219
-TEST 35: OK: Expected execution at tests/format/printf.c:219
-TEST 36: OK: Expected execution at tests/format/printf.c:219
-TEST 37: OK: Expected execution at tests/format/printf.c:219
-TEST 38: OK: Expected execution at tests/format/printf.c:219
-TEST 39: OK: Expected execution at tests/format/printf.c:219
-TEST 40: OK: Expected execution at tests/format/printf.c:219
+TEST 31: OK: Expected signal at tests/format/printf.c:218
+TEST 32: OK: Expected execution at tests/format/printf.c:218
+TEST 33: OK: Expected execution at tests/format/printf.c:218
+TEST 34: OK: Expected execution at tests/format/printf.c:218
+TEST 35: OK: Expected execution at tests/format/printf.c:218
+TEST 36: OK: Expected execution at tests/format/printf.c:218
+TEST 37: OK: Expected execution at tests/format/printf.c:218
+TEST 38: OK: Expected execution at tests/format/printf.c:218
+TEST 39: OK: Expected execution at tests/format/printf.c:218
+TEST 40: OK: Expected execution at tests/format/printf.c:218
 FRAMAC_SHARE/e-acsl/libc_replacements/e_acsl_stdio.c:542: Format error: wrong application of flag [#] to format specifier [c]
-TEST 41: OK: Expected signal at tests/format/printf.c:219
+TEST 41: OK: Expected signal at tests/format/printf.c:218
 FRAMAC_SHARE/e-acsl/libc_replacements/e_acsl_stdio.c:542: Format error: wrong application of flag [#] to format specifier [s]
-TEST 42: OK: Expected signal at tests/format/printf.c:219
+TEST 42: OK: Expected signal at tests/format/printf.c:218
 FRAMAC_SHARE/e-acsl/libc_replacements/e_acsl_stdio.c:542: Format error: wrong application of flag [#] to format specifier [p]
-TEST 43: OK: Expected signal at tests/format/printf.c:219
+TEST 43: OK: Expected signal at tests/format/printf.c:218
 FRAMAC_SHARE/e-acsl/libc_replacements/e_acsl_stdio.c:542: Format error: wrong application of flag [#] to format specifier [n]
-TEST 44: OK: Expected signal at tests/format/printf.c:219
-TEST 45: OK: Expected execution at tests/format/printf.c:222
-TEST 46: OK: Expected execution at tests/format/printf.c:222
-TEST 47: OK: Expected execution at tests/format/printf.c:222
-TEST 48: OK: Expected execution at tests/format/printf.c:222
-TEST 49: OK: Expected execution at tests/format/printf.c:222
-TEST 50: OK: Expected execution at tests/format/printf.c:222
-TEST 51: OK: Expected execution at tests/format/printf.c:222
-TEST 52: OK: Expected execution at tests/format/printf.c:222
-TEST 53: OK: Expected execution at tests/format/printf.c:222
-TEST 54: OK: Expected execution at tests/format/printf.c:222
-TEST 55: OK: Expected execution at tests/format/printf.c:222
-TEST 56: OK: Expected execution at tests/format/printf.c:222
-TEST 57: OK: Expected execution at tests/format/printf.c:222
+TEST 44: OK: Expected signal at tests/format/printf.c:218
+TEST 45: OK: Expected execution at tests/format/printf.c:221
+TEST 46: OK: Expected execution at tests/format/printf.c:221
+TEST 47: OK: Expected execution at tests/format/printf.c:221
+TEST 48: OK: Expected execution at tests/format/printf.c:221
+TEST 49: OK: Expected execution at tests/format/printf.c:221
+TEST 50: OK: Expected execution at tests/format/printf.c:221
+TEST 51: OK: Expected execution at tests/format/printf.c:221
+TEST 52: OK: Expected execution at tests/format/printf.c:221
+TEST 53: OK: Expected execution at tests/format/printf.c:221
+TEST 54: OK: Expected execution at tests/format/printf.c:221
+TEST 55: OK: Expected execution at tests/format/printf.c:221
+TEST 56: OK: Expected execution at tests/format/printf.c:221
+TEST 57: OK: Expected execution at tests/format/printf.c:221
 FRAMAC_SHARE/e-acsl/libc_replacements/e_acsl_stdio.c:542: Format error: wrong application of flag [0] to format specifier [c]
-TEST 58: OK: Expected signal at tests/format/printf.c:222
+TEST 58: OK: Expected signal at tests/format/printf.c:221
 FRAMAC_SHARE/e-acsl/libc_replacements/e_acsl_stdio.c:542: Format error: wrong application of flag [0] to format specifier [s]
-TEST 59: OK: Expected signal at tests/format/printf.c:222
+TEST 59: OK: Expected signal at tests/format/printf.c:221
 FRAMAC_SHARE/e-acsl/libc_replacements/e_acsl_stdio.c:542: Format error: wrong application of flag [0] to format specifier [p]
-TEST 60: OK: Expected signal at tests/format/printf.c:222
+TEST 60: OK: Expected signal at tests/format/printf.c:221
 FRAMAC_SHARE/e-acsl/libc_replacements/e_acsl_stdio.c:542: Format error: wrong application of flag [0] to format specifier [n]
-TEST 61: OK: Expected signal at tests/format/printf.c:222
-TEST 62: OK: Expected execution at tests/format/printf.c:228
-TEST 63: OK: Expected execution at tests/format/printf.c:229
+TEST 61: OK: Expected signal at tests/format/printf.c:221
+TEST 62: OK: Expected execution at tests/format/printf.c:227
+TEST 63: OK: Expected execution at tests/format/printf.c:228
 Format error: illegal format specifier 'l'
-TEST 64: OK: Expected signal at tests/format/printf.c:230
+TEST 64: OK: Expected signal at tests/format/printf.c:229
 FRAMAC_SHARE/e-acsl/libc_replacements/e_acsl_stdio.c:542: Format error: wrong application of length modifier [hh] to format specifier [f]
-TEST 65: OK: Expected signal at tests/format/printf.c:236
+TEST 65: OK: Expected signal at tests/format/printf.c:235
 FRAMAC_SHARE/e-acsl/libc_replacements/e_acsl_stdio.c:542: Format error: wrong application of length modifier [hh] to format specifier [F]
-TEST 66: OK: Expected signal at tests/format/printf.c:236
+TEST 66: OK: Expected signal at tests/format/printf.c:235
 FRAMAC_SHARE/e-acsl/libc_replacements/e_acsl_stdio.c:542: Format error: wrong application of length modifier [hh] to format specifier [e]
-TEST 67: OK: Expected signal at tests/format/printf.c:236
+TEST 67: OK: Expected signal at tests/format/printf.c:235
 FRAMAC_SHARE/e-acsl/libc_replacements/e_acsl_stdio.c:542: Format error: wrong application of length modifier [hh] to format specifier [E]
-TEST 68: OK: Expected signal at tests/format/printf.c:236
+TEST 68: OK: Expected signal at tests/format/printf.c:235
 FRAMAC_SHARE/e-acsl/libc_replacements/e_acsl_stdio.c:542: Format error: wrong application of length modifier [hh] to format specifier [g]
-TEST 69: OK: Expected signal at tests/format/printf.c:236
+TEST 69: OK: Expected signal at tests/format/printf.c:235
 FRAMAC_SHARE/e-acsl/libc_replacements/e_acsl_stdio.c:542: Format error: wrong application of length modifier [hh] to format specifier [G]
-TEST 70: OK: Expected signal at tests/format/printf.c:236
+TEST 70: OK: Expected signal at tests/format/printf.c:235
 FRAMAC_SHARE/e-acsl/libc_replacements/e_acsl_stdio.c:542: Format error: wrong application of length modifier [hh] to format specifier [a]
-TEST 71: OK: Expected signal at tests/format/printf.c:236
+TEST 71: OK: Expected signal at tests/format/printf.c:235
 FRAMAC_SHARE/e-acsl/libc_replacements/e_acsl_stdio.c:542: Format error: wrong application of length modifier [hh] to format specifier [A]
-TEST 72: OK: Expected signal at tests/format/printf.c:236
+TEST 72: OK: Expected signal at tests/format/printf.c:235
 FRAMAC_SHARE/e-acsl/libc_replacements/e_acsl_stdio.c:542: Format error: wrong application of length modifier [hh] to format specifier [c]
-TEST 73: OK: Expected signal at tests/format/printf.c:236
+TEST 73: OK: Expected signal at tests/format/printf.c:235
 FRAMAC_SHARE/e-acsl/libc_replacements/e_acsl_stdio.c:542: Format error: wrong application of length modifier [hh] to format specifier [s]
-TEST 74: OK: Expected signal at tests/format/printf.c:236
+TEST 74: OK: Expected signal at tests/format/printf.c:235
 FRAMAC_SHARE/e-acsl/libc_replacements/e_acsl_stdio.c:542: Format error: wrong application of length modifier [hh] to format specifier [p]
-TEST 75: OK: Expected signal at tests/format/printf.c:236
-TEST 76: OK: Expected execution at tests/format/printf.c:237
-TEST 77: OK: Expected execution at tests/format/printf.c:237
-TEST 78: OK: Expected execution at tests/format/printf.c:238
-TEST 79: OK: Expected execution at tests/format/printf.c:238
-TEST 80: OK: Expected execution at tests/format/printf.c:239
-TEST 81: OK: Expected execution at tests/format/printf.c:239
-TEST 82: OK: Expected execution at tests/format/printf.c:239
+TEST 75: OK: Expected signal at tests/format/printf.c:235
+TEST 76: OK: Expected execution at tests/format/printf.c:236
+TEST 77: OK: Expected execution at tests/format/printf.c:236
+TEST 78: OK: Expected execution at tests/format/printf.c:237
+TEST 79: OK: Expected execution at tests/format/printf.c:237
+TEST 80: OK: Expected execution at tests/format/printf.c:238
+TEST 81: OK: Expected execution at tests/format/printf.c:238
+TEST 82: OK: Expected execution at tests/format/printf.c:238
 FRAMAC_SHARE/e-acsl/libc_replacements/e_acsl_stdio.c:542: Format error: wrong application of length modifier [h] to format specifier [f]
-TEST 83: OK: Expected signal at tests/format/printf.c:242
+TEST 83: OK: Expected signal at tests/format/printf.c:241
 FRAMAC_SHARE/e-acsl/libc_replacements/e_acsl_stdio.c:542: Format error: wrong application of length modifier [h] to format specifier [F]
-TEST 84: OK: Expected signal at tests/format/printf.c:242
+TEST 84: OK: Expected signal at tests/format/printf.c:241
 FRAMAC_SHARE/e-acsl/libc_replacements/e_acsl_stdio.c:542: Format error: wrong application of length modifier [h] to format specifier [e]
-TEST 85: OK: Expected signal at tests/format/printf.c:242
+TEST 85: OK: Expected signal at tests/format/printf.c:241
 FRAMAC_SHARE/e-acsl/libc_replacements/e_acsl_stdio.c:542: Format error: wrong application of length modifier [h] to format specifier [E]
-TEST 86: OK: Expected signal at tests/format/printf.c:242
+TEST 86: OK: Expected signal at tests/format/printf.c:241
 FRAMAC_SHARE/e-acsl/libc_replacements/e_acsl_stdio.c:542: Format error: wrong application of length modifier [h] to format specifier [g]
-TEST 87: OK: Expected signal at tests/format/printf.c:242
+TEST 87: OK: Expected signal at tests/format/printf.c:241
 FRAMAC_SHARE/e-acsl/libc_replacements/e_acsl_stdio.c:542: Format error: wrong application of length modifier [h] to format specifier [G]
-TEST 88: OK: Expected signal at tests/format/printf.c:242
+TEST 88: OK: Expected signal at tests/format/printf.c:241
 FRAMAC_SHARE/e-acsl/libc_replacements/e_acsl_stdio.c:542: Format error: wrong application of length modifier [h] to format specifier [a]
-TEST 89: OK: Expected signal at tests/format/printf.c:242
+TEST 89: OK: Expected signal at tests/format/printf.c:241
 FRAMAC_SHARE/e-acsl/libc_replacements/e_acsl_stdio.c:542: Format error: wrong application of length modifier [h] to format specifier [A]
-TEST 90: OK: Expected signal at tests/format/printf.c:242
+TEST 90: OK: Expected signal at tests/format/printf.c:241
 FRAMAC_SHARE/e-acsl/libc_replacements/e_acsl_stdio.c:542: Format error: wrong application of length modifier [h] to format specifier [c]
-TEST 91: OK: Expected signal at tests/format/printf.c:242
+TEST 91: OK: Expected signal at tests/format/printf.c:241
 FRAMAC_SHARE/e-acsl/libc_replacements/e_acsl_stdio.c:542: Format error: wrong application of length modifier [h] to format specifier [s]
-TEST 92: OK: Expected signal at tests/format/printf.c:242
+TEST 92: OK: Expected signal at tests/format/printf.c:241
 FRAMAC_SHARE/e-acsl/libc_replacements/e_acsl_stdio.c:542: Format error: wrong application of length modifier [h] to format specifier [p]
-TEST 93: OK: Expected signal at tests/format/printf.c:242
-TEST 94: OK: Expected execution at tests/format/printf.c:243
-TEST 95: OK: Expected execution at tests/format/printf.c:243
-TEST 96: OK: Expected execution at tests/format/printf.c:244
-TEST 97: OK: Expected execution at tests/format/printf.c:244
-TEST 98: OK: Expected execution at tests/format/printf.c:245
-TEST 99: OK: Expected execution at tests/format/printf.c:245
-TEST 100: OK: Expected execution at tests/format/printf.c:245
+TEST 93: OK: Expected signal at tests/format/printf.c:241
+TEST 94: OK: Expected execution at tests/format/printf.c:242
+TEST 95: OK: Expected execution at tests/format/printf.c:242
+TEST 96: OK: Expected execution at tests/format/printf.c:243
+TEST 97: OK: Expected execution at tests/format/printf.c:243
+TEST 98: OK: Expected execution at tests/format/printf.c:244
+TEST 99: OK: Expected execution at tests/format/printf.c:244
+TEST 100: OK: Expected execution at tests/format/printf.c:244
 FRAMAC_SHARE/e-acsl/libc_replacements/e_acsl_stdio.c:542: Format error: wrong application of length modifier [l] to format specifier [p]
-TEST 101: OK: Expected signal at tests/format/printf.c:248
-TEST 102: OK: Expected execution at tests/format/printf.c:249
-TEST 103: OK: Expected execution at tests/format/printf.c:249
-TEST 104: OK: Expected execution at tests/format/printf.c:250
-TEST 105: OK: Expected execution at tests/format/printf.c:250
-TEST 106: OK: Expected execution at tests/format/printf.c:251
-TEST 107: OK: Expected execution at tests/format/printf.c:251
-TEST 108: OK: Expected execution at tests/format/printf.c:253
-TEST 109: OK: Expected execution at tests/format/printf.c:253
-TEST 110: OK: Expected execution at tests/format/printf.c:254
-TEST 111: OK: Expected execution at tests/format/printf.c:254
-TEST 112: OK: Expected execution at tests/format/printf.c:255
-TEST 113: OK: Expected execution at tests/format/printf.c:255
-TEST 114: OK: Expected execution at tests/format/printf.c:256
-TEST 115: OK: Expected execution at tests/format/printf.c:256
-TEST 116: OK: Expected execution at tests/format/printf.c:258
-TEST 117: OK: Expected execution at tests/format/printf.c:261
-TEST 118: OK: Expected execution at tests/format/printf.c:265
-TEST 119: OK: Expected execution at tests/format/printf.c:265
-TEST 120: OK: Expected execution at tests/format/printf.c:266
-TEST 121: OK: Expected execution at tests/format/printf.c:266
-TEST 122: OK: Expected execution at tests/format/printf.c:267
-TEST 123: OK: Expected execution at tests/format/printf.c:267
-TEST 124: OK: Expected execution at tests/format/printf.c:267
+TEST 101: OK: Expected signal at tests/format/printf.c:247
+TEST 102: OK: Expected execution at tests/format/printf.c:248
+TEST 103: OK: Expected execution at tests/format/printf.c:248
+TEST 104: OK: Expected execution at tests/format/printf.c:249
+TEST 105: OK: Expected execution at tests/format/printf.c:249
+TEST 106: OK: Expected execution at tests/format/printf.c:250
+TEST 107: OK: Expected execution at tests/format/printf.c:250
+TEST 108: OK: Expected execution at tests/format/printf.c:252
+TEST 109: OK: Expected execution at tests/format/printf.c:252
+TEST 110: OK: Expected execution at tests/format/printf.c:253
+TEST 111: OK: Expected execution at tests/format/printf.c:253
+TEST 112: OK: Expected execution at tests/format/printf.c:254
+TEST 113: OK: Expected execution at tests/format/printf.c:254
+TEST 114: OK: Expected execution at tests/format/printf.c:255
+TEST 115: OK: Expected execution at tests/format/printf.c:255
+TEST 116: OK: Expected execution at tests/format/printf.c:257
+TEST 117: OK: Expected execution at tests/format/printf.c:260
+TEST 118: OK: Expected execution at tests/format/printf.c:264
+TEST 119: OK: Expected execution at tests/format/printf.c:264
+TEST 120: OK: Expected execution at tests/format/printf.c:265
+TEST 121: OK: Expected execution at tests/format/printf.c:265
+TEST 122: OK: Expected execution at tests/format/printf.c:266
+TEST 123: OK: Expected execution at tests/format/printf.c:266
+TEST 124: OK: Expected execution at tests/format/printf.c:266
 FRAMAC_SHARE/e-acsl/libc_replacements/e_acsl_stdio.c:542: Format error: wrong application of length modifier [j] to format specifier [f]
-TEST 125: OK: Expected signal at tests/format/printf.c:270
+TEST 125: OK: Expected signal at tests/format/printf.c:269
 FRAMAC_SHARE/e-acsl/libc_replacements/e_acsl_stdio.c:542: Format error: wrong application of length modifier [j] to format specifier [F]
-TEST 126: OK: Expected signal at tests/format/printf.c:270
+TEST 126: OK: Expected signal at tests/format/printf.c:269
 FRAMAC_SHARE/e-acsl/libc_replacements/e_acsl_stdio.c:542: Format error: wrong application of length modifier [j] to format specifier [e]
-TEST 127: OK: Expected signal at tests/format/printf.c:270
+TEST 127: OK: Expected signal at tests/format/printf.c:269
 FRAMAC_SHARE/e-acsl/libc_replacements/e_acsl_stdio.c:542: Format error: wrong application of length modifier [j] to format specifier [E]
-TEST 128: OK: Expected signal at tests/format/printf.c:270
+TEST 128: OK: Expected signal at tests/format/printf.c:269
 FRAMAC_SHARE/e-acsl/libc_replacements/e_acsl_stdio.c:542: Format error: wrong application of length modifier [j] to format specifier [g]
-TEST 129: OK: Expected signal at tests/format/printf.c:270
+TEST 129: OK: Expected signal at tests/format/printf.c:269
 FRAMAC_SHARE/e-acsl/libc_replacements/e_acsl_stdio.c:542: Format error: wrong application of length modifier [j] to format specifier [G]
-TEST 130: OK: Expected signal at tests/format/printf.c:270
+TEST 130: OK: Expected signal at tests/format/printf.c:269
 FRAMAC_SHARE/e-acsl/libc_replacements/e_acsl_stdio.c:542: Format error: wrong application of length modifier [j] to format specifier [a]
-TEST 131: OK: Expected signal at tests/format/printf.c:270
+TEST 131: OK: Expected signal at tests/format/printf.c:269
 FRAMAC_SHARE/e-acsl/libc_replacements/e_acsl_stdio.c:542: Format error: wrong application of length modifier [j] to format specifier [A]
-TEST 132: OK: Expected signal at tests/format/printf.c:270
+TEST 132: OK: Expected signal at tests/format/printf.c:269
 FRAMAC_SHARE/e-acsl/libc_replacements/e_acsl_stdio.c:542: Format error: wrong application of length modifier [j] to format specifier [c]
-TEST 133: OK: Expected signal at tests/format/printf.c:270
+TEST 133: OK: Expected signal at tests/format/printf.c:269
 FRAMAC_SHARE/e-acsl/libc_replacements/e_acsl_stdio.c:542: Format error: wrong application of length modifier [j] to format specifier [s]
-TEST 134: OK: Expected signal at tests/format/printf.c:270
+TEST 134: OK: Expected signal at tests/format/printf.c:269
 FRAMAC_SHARE/e-acsl/libc_replacements/e_acsl_stdio.c:542: Format error: wrong application of length modifier [j] to format specifier [p]
-TEST 135: OK: Expected signal at tests/format/printf.c:270
-TEST 136: OK: Expected execution at tests/format/printf.c:271
-TEST 137: OK: Expected execution at tests/format/printf.c:271
-TEST 138: OK: Expected execution at tests/format/printf.c:272
-TEST 139: OK: Expected execution at tests/format/printf.c:272
-TEST 140: OK: Expected execution at tests/format/printf.c:273
-TEST 141: OK: Expected execution at tests/format/printf.c:273
-TEST 142: OK: Expected execution at tests/format/printf.c:273
+TEST 135: OK: Expected signal at tests/format/printf.c:269
+TEST 136: OK: Expected execution at tests/format/printf.c:270
+TEST 137: OK: Expected execution at tests/format/printf.c:270
+TEST 138: OK: Expected execution at tests/format/printf.c:271
+TEST 139: OK: Expected execution at tests/format/printf.c:271
+TEST 140: OK: Expected execution at tests/format/printf.c:272
+TEST 141: OK: Expected execution at tests/format/printf.c:272
+TEST 142: OK: Expected execution at tests/format/printf.c:272
 FRAMAC_SHARE/e-acsl/libc_replacements/e_acsl_stdio.c:542: Format error: wrong application of length modifier [z] to format specifier [f]
-TEST 143: OK: Expected signal at tests/format/printf.c:276
+TEST 143: OK: Expected signal at tests/format/printf.c:275
 FRAMAC_SHARE/e-acsl/libc_replacements/e_acsl_stdio.c:542: Format error: wrong application of length modifier [z] to format specifier [F]
-TEST 144: OK: Expected signal at tests/format/printf.c:276
+TEST 144: OK: Expected signal at tests/format/printf.c:275
 FRAMAC_SHARE/e-acsl/libc_replacements/e_acsl_stdio.c:542: Format error: wrong application of length modifier [z] to format specifier [e]
-TEST 145: OK: Expected signal at tests/format/printf.c:276
+TEST 145: OK: Expected signal at tests/format/printf.c:275
 FRAMAC_SHARE/e-acsl/libc_replacements/e_acsl_stdio.c:542: Format error: wrong application of length modifier [z] to format specifier [E]
-TEST 146: OK: Expected signal at tests/format/printf.c:276
+TEST 146: OK: Expected signal at tests/format/printf.c:275
 FRAMAC_SHARE/e-acsl/libc_replacements/e_acsl_stdio.c:542: Format error: wrong application of length modifier [z] to format specifier [g]
-TEST 147: OK: Expected signal at tests/format/printf.c:276
+TEST 147: OK: Expected signal at tests/format/printf.c:275
 FRAMAC_SHARE/e-acsl/libc_replacements/e_acsl_stdio.c:542: Format error: wrong application of length modifier [z] to format specifier [G]
-TEST 148: OK: Expected signal at tests/format/printf.c:276
+TEST 148: OK: Expected signal at tests/format/printf.c:275
 FRAMAC_SHARE/e-acsl/libc_replacements/e_acsl_stdio.c:542: Format error: wrong application of length modifier [z] to format specifier [a]
-TEST 149: OK: Expected signal at tests/format/printf.c:276
+TEST 149: OK: Expected signal at tests/format/printf.c:275
 FRAMAC_SHARE/e-acsl/libc_replacements/e_acsl_stdio.c:542: Format error: wrong application of length modifier [z] to format specifier [A]
-TEST 150: OK: Expected signal at tests/format/printf.c:276
+TEST 150: OK: Expected signal at tests/format/printf.c:275
 FRAMAC_SHARE/e-acsl/libc_replacements/e_acsl_stdio.c:542: Format error: wrong application of length modifier [z] to format specifier [c]
-TEST 151: OK: Expected signal at tests/format/printf.c:276
+TEST 151: OK: Expected signal at tests/format/printf.c:275
 FRAMAC_SHARE/e-acsl/libc_replacements/e_acsl_stdio.c:542: Format error: wrong application of length modifier [z] to format specifier [s]
-TEST 152: OK: Expected signal at tests/format/printf.c:276
+TEST 152: OK: Expected signal at tests/format/printf.c:275
 FRAMAC_SHARE/e-acsl/libc_replacements/e_acsl_stdio.c:542: Format error: wrong application of length modifier [z] to format specifier [p]
-TEST 153: OK: Expected signal at tests/format/printf.c:276
-TEST 154: OK: Expected execution at tests/format/printf.c:281
-TEST 155: OK: Expected execution at tests/format/printf.c:281
-TEST 156: OK: Expected execution at tests/format/printf.c:285
-TEST 157: OK: Expected execution at tests/format/printf.c:285
-TEST 158: OK: Expected execution at tests/format/printf.c:286
-TEST 159: OK: Expected execution at tests/format/printf.c:286
-TEST 160: OK: Expected execution at tests/format/printf.c:286
+TEST 153: OK: Expected signal at tests/format/printf.c:275
+TEST 154: OK: Expected execution at tests/format/printf.c:280
+TEST 155: OK: Expected execution at tests/format/printf.c:280
+TEST 156: OK: Expected execution at tests/format/printf.c:284
+TEST 157: OK: Expected execution at tests/format/printf.c:284
+TEST 158: OK: Expected execution at tests/format/printf.c:285
+TEST 159: OK: Expected execution at tests/format/printf.c:285
+TEST 160: OK: Expected execution at tests/format/printf.c:285
 FRAMAC_SHARE/e-acsl/libc_replacements/e_acsl_stdio.c:542: Format error: wrong application of length modifier [t] to format specifier [f]
-TEST 161: OK: Expected signal at tests/format/printf.c:291
+TEST 161: OK: Expected signal at tests/format/printf.c:290
 FRAMAC_SHARE/e-acsl/libc_replacements/e_acsl_stdio.c:542: Format error: wrong application of length modifier [t] to format specifier [F]
-TEST 162: OK: Expected signal at tests/format/printf.c:291
+TEST 162: OK: Expected signal at tests/format/printf.c:290
 FRAMAC_SHARE/e-acsl/libc_replacements/e_acsl_stdio.c:542: Format error: wrong application of length modifier [t] to format specifier [e]
-TEST 163: OK: Expected signal at tests/format/printf.c:291
+TEST 163: OK: Expected signal at tests/format/printf.c:290
 FRAMAC_SHARE/e-acsl/libc_replacements/e_acsl_stdio.c:542: Format error: wrong application of length modifier [t] to format specifier [E]
-TEST 164: OK: Expected signal at tests/format/printf.c:291
+TEST 164: OK: Expected signal at tests/format/printf.c:290
 FRAMAC_SHARE/e-acsl/libc_replacements/e_acsl_stdio.c:542: Format error: wrong application of length modifier [t] to format specifier [g]
-TEST 165: OK: Expected signal at tests/format/printf.c:291
+TEST 165: OK: Expected signal at tests/format/printf.c:290
 FRAMAC_SHARE/e-acsl/libc_replacements/e_acsl_stdio.c:542: Format error: wrong application of length modifier [t] to format specifier [G]
-TEST 166: OK: Expected signal at tests/format/printf.c:291
+TEST 166: OK: Expected signal at tests/format/printf.c:290
 FRAMAC_SHARE/e-acsl/libc_replacements/e_acsl_stdio.c:542: Format error: wrong application of length modifier [t] to format specifier [a]
-TEST 167: OK: Expected signal at tests/format/printf.c:291
+TEST 167: OK: Expected signal at tests/format/printf.c:290
 FRAMAC_SHARE/e-acsl/libc_replacements/e_acsl_stdio.c:542: Format error: wrong application of length modifier [t] to format specifier [A]
-TEST 168: OK: Expected signal at tests/format/printf.c:291
+TEST 168: OK: Expected signal at tests/format/printf.c:290
 FRAMAC_SHARE/e-acsl/libc_replacements/e_acsl_stdio.c:542: Format error: wrong application of length modifier [t] to format specifier [c]
-TEST 169: OK: Expected signal at tests/format/printf.c:291
+TEST 169: OK: Expected signal at tests/format/printf.c:290
 FRAMAC_SHARE/e-acsl/libc_replacements/e_acsl_stdio.c:542: Format error: wrong application of length modifier [t] to format specifier [s]
-TEST 170: OK: Expected signal at tests/format/printf.c:291
+TEST 170: OK: Expected signal at tests/format/printf.c:290
 FRAMAC_SHARE/e-acsl/libc_replacements/e_acsl_stdio.c:542: Format error: wrong application of length modifier [t] to format specifier [p]
-TEST 171: OK: Expected signal at tests/format/printf.c:291
-TEST 172: OK: Expected execution at tests/format/printf.c:293
-TEST 173: OK: Expected execution at tests/format/printf.c:293
-TEST 174: OK: Expected execution at tests/format/printf.c:294
-TEST 175: OK: Expected execution at tests/format/printf.c:294
-TEST 176: OK: Expected execution at tests/format/printf.c:299
-TEST 177: OK: Expected execution at tests/format/printf.c:299
-TEST 178: OK: Expected execution at tests/format/printf.c:300
+TEST 171: OK: Expected signal at tests/format/printf.c:290
+TEST 172: OK: Expected execution at tests/format/printf.c:292
+TEST 173: OK: Expected execution at tests/format/printf.c:292
+TEST 174: OK: Expected execution at tests/format/printf.c:293
+TEST 175: OK: Expected execution at tests/format/printf.c:293
+TEST 176: OK: Expected execution at tests/format/printf.c:298
+TEST 177: OK: Expected execution at tests/format/printf.c:298
+TEST 178: OK: Expected execution at tests/format/printf.c:299
 FRAMAC_SHARE/e-acsl/libc_replacements/e_acsl_stdio.c:542: Format error: wrong application of length modifier [L] to format specifier [d]
-TEST 179: OK: Expected signal at tests/format/printf.c:303
+TEST 179: OK: Expected signal at tests/format/printf.c:302
 FRAMAC_SHARE/e-acsl/libc_replacements/e_acsl_stdio.c:542: Format error: wrong application of length modifier [L] to format specifier [i]
-TEST 180: OK: Expected signal at tests/format/printf.c:303
+TEST 180: OK: Expected signal at tests/format/printf.c:302
 FRAMAC_SHARE/e-acsl/libc_replacements/e_acsl_stdio.c:542: Format error: wrong application of length modifier [L] to format specifier [o]
-TEST 181: OK: Expected signal at tests/format/printf.c:303
+TEST 181: OK: Expected signal at tests/format/printf.c:302
 FRAMAC_SHARE/e-acsl/libc_replacements/e_acsl_stdio.c:542: Format error: wrong application of length modifier [L] to format specifier [u]
-TEST 182: OK: Expected signal at tests/format/printf.c:303
+TEST 182: OK: Expected signal at tests/format/printf.c:302
 FRAMAC_SHARE/e-acsl/libc_replacements/e_acsl_stdio.c:542: Format error: wrong application of length modifier [L] to format specifier [x]
-TEST 183: OK: Expected signal at tests/format/printf.c:303
+TEST 183: OK: Expected signal at tests/format/printf.c:302
 FRAMAC_SHARE/e-acsl/libc_replacements/e_acsl_stdio.c:542: Format error: wrong application of length modifier [L] to format specifier [c]
-TEST 184: OK: Expected signal at tests/format/printf.c:303
+TEST 184: OK: Expected signal at tests/format/printf.c:302
 FRAMAC_SHARE/e-acsl/libc_replacements/e_acsl_stdio.c:542: Format error: wrong application of length modifier [L] to format specifier [s]
-TEST 185: OK: Expected signal at tests/format/printf.c:303
+TEST 185: OK: Expected signal at tests/format/printf.c:302
 FRAMAC_SHARE/e-acsl/libc_replacements/e_acsl_stdio.c:542: Format error: wrong application of length modifier [L] to format specifier [p]
-TEST 186: OK: Expected signal at tests/format/printf.c:303
+TEST 186: OK: Expected signal at tests/format/printf.c:302
 FRAMAC_SHARE/e-acsl/libc_replacements/e_acsl_stdio.c:542: Format error: wrong application of length modifier [L] to format specifier [n]
-TEST 187: OK: Expected signal at tests/format/printf.c:303
-TEST 188: OK: Expected execution at tests/format/printf.c:304
-TEST 189: OK: Expected execution at tests/format/printf.c:304
-TEST 190: OK: Expected execution at tests/format/printf.c:305
-TEST 191: OK: Expected execution at tests/format/printf.c:305
-TEST 192: OK: Expected execution at tests/format/printf.c:306
-TEST 193: OK: Expected execution at tests/format/printf.c:306
-TEST 194: OK: Expected execution at tests/format/printf.c:307
-TEST 195: OK: Expected execution at tests/format/printf.c:307
+TEST 187: OK: Expected signal at tests/format/printf.c:302
+TEST 188: OK: Expected execution at tests/format/printf.c:303
+TEST 189: OK: Expected execution at tests/format/printf.c:303
+TEST 190: OK: Expected execution at tests/format/printf.c:304
+TEST 191: OK: Expected execution at tests/format/printf.c:304
+TEST 192: OK: Expected execution at tests/format/printf.c:305
+TEST 193: OK: Expected execution at tests/format/printf.c:305
+TEST 194: OK: Expected execution at tests/format/printf.c:306
+TEST 195: OK: Expected execution at tests/format/printf.c:306
 Format error: illegal format specifier 'C'
-TEST 196: OK: Expected signal at tests/format/printf.c:311
+TEST 196: OK: Expected signal at tests/format/printf.c:310
 Format error: illegal format specifier 'S'
-TEST 197: OK: Expected signal at tests/format/printf.c:312
+TEST 197: OK: Expected signal at tests/format/printf.c:311
 Format error: illegal format specifier 'm'
-TEST 198: OK: Expected signal at tests/format/printf.c:313
-TEST 199: OK: Expected execution at tests/format/printf.c:316
-TEST 200: OK: Expected execution at tests/format/printf.c:316
-TEST 201: OK: Expected execution at tests/format/printf.c:317
-TEST 202: OK: Expected execution at tests/format/printf.c:317
-TEST 203: OK: Expected execution at tests/format/printf.c:318
-TEST 204: OK: Expected execution at tests/format/printf.c:318
+TEST 198: OK: Expected signal at tests/format/printf.c:312
+TEST 199: OK: Expected execution at tests/format/printf.c:315
+TEST 200: OK: Expected execution at tests/format/printf.c:315
+TEST 201: OK: Expected execution at tests/format/printf.c:316
+TEST 202: OK: Expected execution at tests/format/printf.c:316
+TEST 203: OK: Expected execution at tests/format/printf.c:317
+TEST 204: OK: Expected execution at tests/format/printf.c:317
 printf: directive 1 ('%i') expects argument of type 'int' but the corresponding argument has type 'long'
-TEST 205: OK: Expected signal at tests/format/printf.c:319
+TEST 205: OK: Expected signal at tests/format/printf.c:318
 printf: directive 1 ('%d') expects argument of type 'int' but the corresponding argument has type 'long'
-TEST 206: OK: Expected signal at tests/format/printf.c:319
+TEST 206: OK: Expected signal at tests/format/printf.c:318
 printf: directive 1 ('%i') expects argument of type 'int' but the corresponding argument has type 'unsigned int'
-TEST 207: OK: Expected signal at tests/format/printf.c:320
+TEST 207: OK: Expected signal at tests/format/printf.c:319
 printf: directive 1 ('%d') expects argument of type 'int' but the corresponding argument has type 'unsigned int'
-TEST 208: OK: Expected signal at tests/format/printf.c:320
+TEST 208: OK: Expected signal at tests/format/printf.c:319
 printf: directive 1 ('%i') expects argument of type 'int' but the corresponding argument has type 'void*'
-TEST 209: OK: Expected signal at tests/format/printf.c:321
+TEST 209: OK: Expected signal at tests/format/printf.c:320
 printf: directive 1 ('%d') expects argument of type 'int' but the corresponding argument has type 'void*'
-TEST 210: OK: Expected signal at tests/format/printf.c:321
+TEST 210: OK: Expected signal at tests/format/printf.c:320
 printf: directive 1 ('%i') expects argument of type 'int' but the corresponding argument has type 'double'
-TEST 211: OK: Expected signal at tests/format/printf.c:322
+TEST 211: OK: Expected signal at tests/format/printf.c:321
 printf: directive 1 ('%d') expects argument of type 'int' but the corresponding argument has type 'double'
-TEST 212: OK: Expected signal at tests/format/printf.c:322
-TEST 213: OK: Expected execution at tests/format/printf.c:325
-TEST 214: OK: Expected execution at tests/format/printf.c:325
-TEST 215: OK: Expected execution at tests/format/printf.c:326
-TEST 216: OK: Expected execution at tests/format/printf.c:326
-TEST 217: OK: Expected execution at tests/format/printf.c:327
-TEST 218: OK: Expected execution at tests/format/printf.c:327
-TEST 219: OK: Expected execution at tests/format/printf.c:328
-TEST 220: OK: Expected execution at tests/format/printf.c:328
-TEST 221: OK: Expected execution at tests/format/printf.c:330
-TEST 222: OK: Expected execution at tests/format/printf.c:330
-TEST 223: OK: Expected execution at tests/format/printf.c:334
-TEST 224: OK: Expected execution at tests/format/printf.c:334
-TEST 225: OK: Expected execution at tests/format/printf.c:337
-TEST 226: OK: Expected execution at tests/format/printf.c:337
-TEST 227: OK: Expected execution at tests/format/printf.c:337
-TEST 228: OK: Expected execution at tests/format/printf.c:337
+TEST 212: OK: Expected signal at tests/format/printf.c:321
+TEST 213: OK: Expected execution at tests/format/printf.c:324
+TEST 214: OK: Expected execution at tests/format/printf.c:324
+TEST 215: OK: Expected execution at tests/format/printf.c:325
+TEST 216: OK: Expected execution at tests/format/printf.c:325
+TEST 217: OK: Expected execution at tests/format/printf.c:326
+TEST 218: OK: Expected execution at tests/format/printf.c:326
+TEST 219: OK: Expected execution at tests/format/printf.c:327
+TEST 220: OK: Expected execution at tests/format/printf.c:327
+TEST 221: OK: Expected execution at tests/format/printf.c:329
+TEST 222: OK: Expected execution at tests/format/printf.c:329
+TEST 223: OK: Expected execution at tests/format/printf.c:333
+TEST 224: OK: Expected execution at tests/format/printf.c:333
+TEST 225: OK: Expected execution at tests/format/printf.c:336
+TEST 226: OK: Expected execution at tests/format/printf.c:336
+TEST 227: OK: Expected execution at tests/format/printf.c:336
+TEST 228: OK: Expected execution at tests/format/printf.c:336
 printf: directive 1 ('%u') expects argument of type 'unsigned int' but the corresponding argument has type 'long'
-TEST 229: OK: Expected signal at tests/format/printf.c:338
+TEST 229: OK: Expected signal at tests/format/printf.c:337
 printf: directive 1 ('%o') expects argument of type 'unsigned int' but the corresponding argument has type 'long'
-TEST 230: OK: Expected signal at tests/format/printf.c:338
+TEST 230: OK: Expected signal at tests/format/printf.c:337
 printf: directive 1 ('%x') expects argument of type 'unsigned int' but the corresponding argument has type 'long'
-TEST 231: OK: Expected signal at tests/format/printf.c:338
+TEST 231: OK: Expected signal at tests/format/printf.c:337
 printf: directive 1 ('%X') expects argument of type 'unsigned int' but the corresponding argument has type 'long'
-TEST 232: OK: Expected signal at tests/format/printf.c:338
+TEST 232: OK: Expected signal at tests/format/printf.c:337
 printf: directive 1 ('%u') expects argument of type 'unsigned int' but the corresponding argument has type 'unsigned long'
-TEST 233: OK: Expected signal at tests/format/printf.c:339
+TEST 233: OK: Expected signal at tests/format/printf.c:338
 printf: directive 1 ('%o') expects argument of type 'unsigned int' but the corresponding argument has type 'unsigned long'
-TEST 234: OK: Expected signal at tests/format/printf.c:339
+TEST 234: OK: Expected signal at tests/format/printf.c:338
 printf: directive 1 ('%x') expects argument of type 'unsigned int' but the corresponding argument has type 'unsigned long'
-TEST 235: OK: Expected signal at tests/format/printf.c:339
+TEST 235: OK: Expected signal at tests/format/printf.c:338
 printf: directive 1 ('%X') expects argument of type 'unsigned int' but the corresponding argument has type 'unsigned long'
-TEST 236: OK: Expected signal at tests/format/printf.c:339
+TEST 236: OK: Expected signal at tests/format/printf.c:338
 printf: directive 1 ('%u') expects argument of type 'unsigned int' but the corresponding argument has type 'double'
-TEST 237: OK: Expected signal at tests/format/printf.c:340
+TEST 237: OK: Expected signal at tests/format/printf.c:339
 printf: directive 1 ('%o') expects argument of type 'unsigned int' but the corresponding argument has type 'double'
-TEST 238: OK: Expected signal at tests/format/printf.c:340
+TEST 238: OK: Expected signal at tests/format/printf.c:339
 printf: directive 1 ('%x') expects argument of type 'unsigned int' but the corresponding argument has type 'double'
-TEST 239: OK: Expected signal at tests/format/printf.c:340
+TEST 239: OK: Expected signal at tests/format/printf.c:339
 printf: directive 1 ('%X') expects argument of type 'unsigned int' but the corresponding argument has type 'double'
-TEST 240: OK: Expected signal at tests/format/printf.c:340
+TEST 240: OK: Expected signal at tests/format/printf.c:339
 printf: directive 1 ('%u') expects argument of type 'unsigned int' but the corresponding argument has type 'void*'
-TEST 241: OK: Expected signal at tests/format/printf.c:341
+TEST 241: OK: Expected signal at tests/format/printf.c:340
 printf: directive 1 ('%o') expects argument of type 'unsigned int' but the corresponding argument has type 'void*'
-TEST 242: OK: Expected signal at tests/format/printf.c:341
+TEST 242: OK: Expected signal at tests/format/printf.c:340
 printf: directive 1 ('%x') expects argument of type 'unsigned int' but the corresponding argument has type 'void*'
-TEST 243: OK: Expected signal at tests/format/printf.c:341
+TEST 243: OK: Expected signal at tests/format/printf.c:340
 printf: directive 1 ('%X') expects argument of type 'unsigned int' but the corresponding argument has type 'void*'
-TEST 244: OK: Expected signal at tests/format/printf.c:341
+TEST 244: OK: Expected signal at tests/format/printf.c:340
 printf: directive 1 ('%u') expects argument of type 'unsigned int' but the corresponding argument has type 'char*'
-TEST 245: OK: Expected signal at tests/format/printf.c:342
+TEST 245: OK: Expected signal at tests/format/printf.c:341
 printf: directive 1 ('%o') expects argument of type 'unsigned int' but the corresponding argument has type 'char*'
-TEST 246: OK: Expected signal at tests/format/printf.c:342
+TEST 246: OK: Expected signal at tests/format/printf.c:341
 printf: directive 1 ('%x') expects argument of type 'unsigned int' but the corresponding argument has type 'char*'
-TEST 247: OK: Expected signal at tests/format/printf.c:342
+TEST 247: OK: Expected signal at tests/format/printf.c:341
 printf: directive 1 ('%X') expects argument of type 'unsigned int' but the corresponding argument has type 'char*'
-TEST 248: OK: Expected signal at tests/format/printf.c:342
-TEST 249: OK: Expected execution at tests/format/printf.c:345
-TEST 250: OK: Expected execution at tests/format/printf.c:345
-TEST 251: OK: Expected execution at tests/format/printf.c:345
-TEST 252: OK: Expected execution at tests/format/printf.c:345
-TEST 253: OK: Expected execution at tests/format/printf.c:346
-TEST 254: OK: Expected execution at tests/format/printf.c:346
-TEST 255: OK: Expected execution at tests/format/printf.c:346
-TEST 256: OK: Expected execution at tests/format/printf.c:346
-TEST 257: OK: Expected execution at tests/format/printf.c:348
-TEST 258: OK: Expected execution at tests/format/printf.c:348
-TEST 259: OK: Expected execution at tests/format/printf.c:348
-TEST 260: OK: Expected execution at tests/format/printf.c:348
-TEST 261: OK: Expected execution at tests/format/printf.c:350
-TEST 262: OK: Expected execution at tests/format/printf.c:350
-TEST 263: OK: Expected execution at tests/format/printf.c:350
-TEST 264: OK: Expected execution at tests/format/printf.c:350
-TEST 265: OK: Expected execution at tests/format/printf.c:351
-TEST 266: OK: Expected execution at tests/format/printf.c:351
-TEST 267: OK: Expected execution at tests/format/printf.c:351
-TEST 268: OK: Expected execution at tests/format/printf.c:351
-TEST 269: OK: Expected execution at tests/format/printf.c:352
-TEST 270: OK: Expected execution at tests/format/printf.c:352
-TEST 271: OK: Expected execution at tests/format/printf.c:352
-TEST 272: OK: Expected execution at tests/format/printf.c:352
-TEST 273: OK: Expected execution at tests/format/printf.c:354
-TEST 274: OK: Expected execution at tests/format/printf.c:354
-TEST 275: OK: Expected execution at tests/format/printf.c:354
-TEST 276: OK: Expected execution at tests/format/printf.c:354
-TEST 277: OK: Expected execution at tests/format/printf.c:358
-TEST 278: OK: Expected execution at tests/format/printf.c:358
+TEST 248: OK: Expected signal at tests/format/printf.c:341
+TEST 249: OK: Expected execution at tests/format/printf.c:344
+TEST 250: OK: Expected execution at tests/format/printf.c:344
+TEST 251: OK: Expected execution at tests/format/printf.c:344
+TEST 252: OK: Expected execution at tests/format/printf.c:344
+TEST 253: OK: Expected execution at tests/format/printf.c:345
+TEST 254: OK: Expected execution at tests/format/printf.c:345
+TEST 255: OK: Expected execution at tests/format/printf.c:345
+TEST 256: OK: Expected execution at tests/format/printf.c:345
+TEST 257: OK: Expected execution at tests/format/printf.c:347
+TEST 258: OK: Expected execution at tests/format/printf.c:347
+TEST 259: OK: Expected execution at tests/format/printf.c:347
+TEST 260: OK: Expected execution at tests/format/printf.c:347
+TEST 261: OK: Expected execution at tests/format/printf.c:349
+TEST 262: OK: Expected execution at tests/format/printf.c:349
+TEST 263: OK: Expected execution at tests/format/printf.c:349
+TEST 264: OK: Expected execution at tests/format/printf.c:349
+TEST 265: OK: Expected execution at tests/format/printf.c:350
+TEST 266: OK: Expected execution at tests/format/printf.c:350
+TEST 267: OK: Expected execution at tests/format/printf.c:350
+TEST 268: OK: Expected execution at tests/format/printf.c:350
+TEST 269: OK: Expected execution at tests/format/printf.c:351
+TEST 270: OK: Expected execution at tests/format/printf.c:351
+TEST 271: OK: Expected execution at tests/format/printf.c:351
+TEST 272: OK: Expected execution at tests/format/printf.c:351
+TEST 273: OK: Expected execution at tests/format/printf.c:353
+TEST 274: OK: Expected execution at tests/format/printf.c:353
+TEST 275: OK: Expected execution at tests/format/printf.c:353
+TEST 276: OK: Expected execution at tests/format/printf.c:353
+TEST 277: OK: Expected execution at tests/format/printf.c:357
+TEST 278: OK: Expected execution at tests/format/printf.c:357
 printf: directive 1 ('%f') expects argument of type 'double' but the corresponding argument has type 'long double'
-TEST 279: OK: Expected signal at tests/format/printf.c:359
+TEST 279: OK: Expected signal at tests/format/printf.c:358
 printf: directive 1 ('%F') expects argument of type 'double' but the corresponding argument has type 'long double'
-TEST 280: OK: Expected signal at tests/format/printf.c:359
+TEST 280: OK: Expected signal at tests/format/printf.c:358
 printf: directive 1 ('%f') expects argument of type 'double' but the corresponding argument has type 'int'
-TEST 281: OK: Expected signal at tests/format/printf.c:360
+TEST 281: OK: Expected signal at tests/format/printf.c:359
 printf: directive 1 ('%F') expects argument of type 'double' but the corresponding argument has type 'int'
-TEST 282: OK: Expected signal at tests/format/printf.c:360
+TEST 282: OK: Expected signal at tests/format/printf.c:359
 printf: directive 1 ('%f') expects argument of type 'double' but the corresponding argument has type 'unsigned long'
-TEST 283: OK: Expected signal at tests/format/printf.c:361
+TEST 283: OK: Expected signal at tests/format/printf.c:360
 printf: directive 1 ('%F') expects argument of type 'double' but the corresponding argument has type 'unsigned long'
-TEST 284: OK: Expected signal at tests/format/printf.c:361
-TEST 285: OK: Expected execution at tests/format/printf.c:362
-TEST 286: OK: Expected execution at tests/format/printf.c:362
+TEST 284: OK: Expected signal at tests/format/printf.c:360
+TEST 285: OK: Expected execution at tests/format/printf.c:361
+TEST 286: OK: Expected execution at tests/format/printf.c:361
 printf: directive 1 ('%a') expects argument of type 'double' but the corresponding argument has type 'long double'
-TEST 287: OK: Expected signal at tests/format/printf.c:363
+TEST 287: OK: Expected signal at tests/format/printf.c:362
 printf: directive 1 ('%A') expects argument of type 'double' but the corresponding argument has type 'long double'
-TEST 288: OK: Expected signal at tests/format/printf.c:363
+TEST 288: OK: Expected signal at tests/format/printf.c:362
 printf: directive 1 ('%a') expects argument of type 'double' but the corresponding argument has type 'int'
-TEST 289: OK: Expected signal at tests/format/printf.c:364
+TEST 289: OK: Expected signal at tests/format/printf.c:363
 printf: directive 1 ('%A') expects argument of type 'double' but the corresponding argument has type 'int'
-TEST 290: OK: Expected signal at tests/format/printf.c:364
+TEST 290: OK: Expected signal at tests/format/printf.c:363
 printf: directive 1 ('%a') expects argument of type 'double' but the corresponding argument has type 'unsigned long'
-TEST 291: OK: Expected signal at tests/format/printf.c:365
+TEST 291: OK: Expected signal at tests/format/printf.c:364
 printf: directive 1 ('%A') expects argument of type 'double' but the corresponding argument has type 'unsigned long'
-TEST 292: OK: Expected signal at tests/format/printf.c:365
-TEST 293: OK: Expected execution at tests/format/printf.c:366
-TEST 294: OK: Expected execution at tests/format/printf.c:366
+TEST 292: OK: Expected signal at tests/format/printf.c:364
+TEST 293: OK: Expected execution at tests/format/printf.c:365
+TEST 294: OK: Expected execution at tests/format/printf.c:365
 printf: directive 1 ('%e') expects argument of type 'double' but the corresponding argument has type 'long double'
-TEST 295: OK: Expected signal at tests/format/printf.c:367
+TEST 295: OK: Expected signal at tests/format/printf.c:366
 printf: directive 1 ('%E') expects argument of type 'double' but the corresponding argument has type 'long double'
-TEST 296: OK: Expected signal at tests/format/printf.c:367
+TEST 296: OK: Expected signal at tests/format/printf.c:366
 printf: directive 1 ('%e') expects argument of type 'double' but the corresponding argument has type 'int'
-TEST 297: OK: Expected signal at tests/format/printf.c:368
+TEST 297: OK: Expected signal at tests/format/printf.c:367
 printf: directive 1 ('%E') expects argument of type 'double' but the corresponding argument has type 'int'
-TEST 298: OK: Expected signal at tests/format/printf.c:368
+TEST 298: OK: Expected signal at tests/format/printf.c:367
 printf: directive 1 ('%e') expects argument of type 'double' but the corresponding argument has type 'unsigned long'
-TEST 299: OK: Expected signal at tests/format/printf.c:369
+TEST 299: OK: Expected signal at tests/format/printf.c:368
 printf: directive 1 ('%E') expects argument of type 'double' but the corresponding argument has type 'unsigned long'
-TEST 300: OK: Expected signal at tests/format/printf.c:369
-TEST 301: OK: Expected execution at tests/format/printf.c:370
-TEST 302: OK: Expected execution at tests/format/printf.c:370
+TEST 300: OK: Expected signal at tests/format/printf.c:368
+TEST 301: OK: Expected execution at tests/format/printf.c:369
+TEST 302: OK: Expected execution at tests/format/printf.c:369
 printf: directive 1 ('%g') expects argument of type 'double' but the corresponding argument has type 'long double'
-TEST 303: OK: Expected signal at tests/format/printf.c:371
+TEST 303: OK: Expected signal at tests/format/printf.c:370
 printf: directive 1 ('%G') expects argument of type 'double' but the corresponding argument has type 'long double'
-TEST 304: OK: Expected signal at tests/format/printf.c:371
+TEST 304: OK: Expected signal at tests/format/printf.c:370
 printf: directive 1 ('%g') expects argument of type 'double' but the corresponding argument has type 'int'
-TEST 305: OK: Expected signal at tests/format/printf.c:372
+TEST 305: OK: Expected signal at tests/format/printf.c:371
 printf: directive 1 ('%G') expects argument of type 'double' but the corresponding argument has type 'int'
-TEST 306: OK: Expected signal at tests/format/printf.c:372
+TEST 306: OK: Expected signal at tests/format/printf.c:371
 printf: directive 1 ('%g') expects argument of type 'double' but the corresponding argument has type 'unsigned long'
-TEST 307: OK: Expected signal at tests/format/printf.c:373
+TEST 307: OK: Expected signal at tests/format/printf.c:372
 printf: directive 1 ('%G') expects argument of type 'double' but the corresponding argument has type 'unsigned long'
-TEST 308: OK: Expected signal at tests/format/printf.c:373
+TEST 308: OK: Expected signal at tests/format/printf.c:372
 printf: directive 1 ('%Lf') expects argument of type 'long double' but the corresponding argument has type 'double'
-TEST 309: OK: Expected signal at tests/format/printf.c:376
+TEST 309: OK: Expected signal at tests/format/printf.c:375
 printf: directive 1 ('%LF') expects argument of type 'long double' but the corresponding argument has type 'double'
-TEST 310: OK: Expected signal at tests/format/printf.c:376
-TEST 311: OK: Expected execution at tests/format/printf.c:377
-TEST 312: OK: Expected execution at tests/format/printf.c:377
+TEST 310: OK: Expected signal at tests/format/printf.c:375
+TEST 311: OK: Expected execution at tests/format/printf.c:376
+TEST 312: OK: Expected execution at tests/format/printf.c:376
 printf: directive 1 ('%Lf') expects argument of type 'long double' but the corresponding argument has type 'int'
-TEST 313: OK: Expected signal at tests/format/printf.c:378
+TEST 313: OK: Expected signal at tests/format/printf.c:377
 printf: directive 1 ('%LF') expects argument of type 'long double' but the corresponding argument has type 'int'
-TEST 314: OK: Expected signal at tests/format/printf.c:378
+TEST 314: OK: Expected signal at tests/format/printf.c:377
 printf: directive 1 ('%Lf') expects argument of type 'long double' but the corresponding argument has type 'unsigned long'
-TEST 315: OK: Expected signal at tests/format/printf.c:379
+TEST 315: OK: Expected signal at tests/format/printf.c:378
 printf: directive 1 ('%LF') expects argument of type 'long double' but the corresponding argument has type 'unsigned long'
-TEST 316: OK: Expected signal at tests/format/printf.c:379
+TEST 316: OK: Expected signal at tests/format/printf.c:378
 printf: directive 1 ('%La') expects argument of type 'long double' but the corresponding argument has type 'double'
-TEST 317: OK: Expected signal at tests/format/printf.c:380
+TEST 317: OK: Expected signal at tests/format/printf.c:379
 printf: directive 1 ('%LA') expects argument of type 'long double' but the corresponding argument has type 'double'
-TEST 318: OK: Expected signal at tests/format/printf.c:380
-TEST 319: OK: Expected execution at tests/format/printf.c:381
-TEST 320: OK: Expected execution at tests/format/printf.c:381
+TEST 318: OK: Expected signal at tests/format/printf.c:379
+TEST 319: OK: Expected execution at tests/format/printf.c:380
+TEST 320: OK: Expected execution at tests/format/printf.c:380
 printf: directive 1 ('%La') expects argument of type 'long double' but the corresponding argument has type 'int'
-TEST 321: OK: Expected signal at tests/format/printf.c:382
+TEST 321: OK: Expected signal at tests/format/printf.c:381
 printf: directive 1 ('%LA') expects argument of type 'long double' but the corresponding argument has type 'int'
-TEST 322: OK: Expected signal at tests/format/printf.c:382
+TEST 322: OK: Expected signal at tests/format/printf.c:381
 printf: directive 1 ('%La') expects argument of type 'long double' but the corresponding argument has type 'unsigned long'
-TEST 323: OK: Expected signal at tests/format/printf.c:383
+TEST 323: OK: Expected signal at tests/format/printf.c:382
 printf: directive 1 ('%LA') expects argument of type 'long double' but the corresponding argument has type 'unsigned long'
-TEST 324: OK: Expected signal at tests/format/printf.c:383
+TEST 324: OK: Expected signal at tests/format/printf.c:382
 printf: directive 1 ('%Le') expects argument of type 'long double' but the corresponding argument has type 'double'
-TEST 325: OK: Expected signal at tests/format/printf.c:384
+TEST 325: OK: Expected signal at tests/format/printf.c:383
 printf: directive 1 ('%LE') expects argument of type 'long double' but the corresponding argument has type 'double'
-TEST 326: OK: Expected signal at tests/format/printf.c:384
-TEST 327: OK: Expected execution at tests/format/printf.c:385
-TEST 328: OK: Expected execution at tests/format/printf.c:385
+TEST 326: OK: Expected signal at tests/format/printf.c:383
+TEST 327: OK: Expected execution at tests/format/printf.c:384
+TEST 328: OK: Expected execution at tests/format/printf.c:384
 printf: directive 1 ('%Le') expects argument of type 'long double' but the corresponding argument has type 'int'
-TEST 329: OK: Expected signal at tests/format/printf.c:386
+TEST 329: OK: Expected signal at tests/format/printf.c:385
 printf: directive 1 ('%LE') expects argument of type 'long double' but the corresponding argument has type 'int'
-TEST 330: OK: Expected signal at tests/format/printf.c:386
+TEST 330: OK: Expected signal at tests/format/printf.c:385
 printf: directive 1 ('%Le') expects argument of type 'long double' but the corresponding argument has type 'unsigned long'
-TEST 331: OK: Expected signal at tests/format/printf.c:387
+TEST 331: OK: Expected signal at tests/format/printf.c:386
 printf: directive 1 ('%LE') expects argument of type 'long double' but the corresponding argument has type 'unsigned long'
-TEST 332: OK: Expected signal at tests/format/printf.c:387
+TEST 332: OK: Expected signal at tests/format/printf.c:386
 printf: directive 1 ('%Lg') expects argument of type 'long double' but the corresponding argument has type 'double'
-TEST 333: OK: Expected signal at tests/format/printf.c:388
+TEST 333: OK: Expected signal at tests/format/printf.c:387
 printf: directive 1 ('%LG') expects argument of type 'long double' but the corresponding argument has type 'double'
-TEST 334: OK: Expected signal at tests/format/printf.c:388
-TEST 335: OK: Expected execution at tests/format/printf.c:389
-TEST 336: OK: Expected execution at tests/format/printf.c:389
+TEST 334: OK: Expected signal at tests/format/printf.c:387
+TEST 335: OK: Expected execution at tests/format/printf.c:388
+TEST 336: OK: Expected execution at tests/format/printf.c:388
 printf: directive 1 ('%Lg') expects argument of type 'long double' but the corresponding argument has type 'int'
-TEST 337: OK: Expected signal at tests/format/printf.c:390
+TEST 337: OK: Expected signal at tests/format/printf.c:389
 printf: directive 1 ('%LG') expects argument of type 'long double' but the corresponding argument has type 'int'
-TEST 338: OK: Expected signal at tests/format/printf.c:390
+TEST 338: OK: Expected signal at tests/format/printf.c:389
 printf: directive 1 ('%Lg') expects argument of type 'long double' but the corresponding argument has type 'unsigned long'
-TEST 339: OK: Expected signal at tests/format/printf.c:391
+TEST 339: OK: Expected signal at tests/format/printf.c:390
 printf: directive 1 ('%LG') expects argument of type 'long double' but the corresponding argument has type 'unsigned long'
-TEST 340: OK: Expected signal at tests/format/printf.c:391
-TEST 341: OK: Expected execution at tests/format/printf.c:394
-TEST 342: OK: Expected execution at tests/format/printf.c:395
-TEST 343: OK: Expected execution at tests/format/printf.c:396
+TEST 340: OK: Expected signal at tests/format/printf.c:390
+TEST 341: OK: Expected execution at tests/format/printf.c:393
+TEST 342: OK: Expected execution at tests/format/printf.c:394
+TEST 343: OK: Expected execution at tests/format/printf.c:395
 printf: directive 1 ('%c') expects argument of type 'int' but the corresponding argument has type 'unsigned int'
-TEST 344: OK: Expected signal at tests/format/printf.c:397
+TEST 344: OK: Expected signal at tests/format/printf.c:396
 printf: directive 1 ('%c') expects argument of type 'int' but the corresponding argument has type 'long'
-TEST 345: OK: Expected signal at tests/format/printf.c:398
+TEST 345: OK: Expected signal at tests/format/printf.c:397
 printf: directive 1 ('%c') expects argument of type 'int' but the corresponding argument has type 'double'
-TEST 346: OK: Expected signal at tests/format/printf.c:399
+TEST 346: OK: Expected signal at tests/format/printf.c:398
 printf: directive 1 ('%c') expects argument of type 'int' but the corresponding argument has type 'char*'
-TEST 347: OK: Expected signal at tests/format/printf.c:400
-TEST 348: OK: Expected execution at tests/format/printf.c:403
+TEST 347: OK: Expected signal at tests/format/printf.c:399
+TEST 348: OK: Expected execution at tests/format/printf.c:402
 printf: directive 1 ('%lc') expects argument of type 'unsigned int' but the corresponding argument has type 'long'
-TEST 349: OK: Expected signal at tests/format/printf.c:404
-TEST 350: OK: Expected execution at tests/format/printf.c:411
-TEST 351: OK: Expected execution at tests/format/printf.c:412
+TEST 349: OK: Expected signal at tests/format/printf.c:403
+TEST 350: OK: Expected execution at tests/format/printf.c:410
+TEST 351: OK: Expected execution at tests/format/printf.c:411
 printf: directive 1 ('%s') expects argument of type 'char*' but the corresponding argument has type 'int'
-TEST 352: OK: Expected signal at tests/format/printf.c:413
+TEST 352: OK: Expected signal at tests/format/printf.c:412
 printf: directive 1 ('%s') expects argument of type 'char*' but the corresponding argument has type 'void*'
-TEST 353: OK: Expected signal at tests/format/printf.c:414
+TEST 353: OK: Expected signal at tests/format/printf.c:413
 printf: attempt to access unallocated memory via directive 1 ('%s')
-TEST 354: OK: Expected signal at tests/format/printf.c:419
+TEST 354: OK: Expected signal at tests/format/printf.c:418
 printf: attempt to access unallocated memory via directive 1 ('%s')
-TEST 355: OK: Expected signal at tests/format/printf.c:420
-TEST 356: OK: Expected execution at tests/format/printf.c:423
+TEST 355: OK: Expected signal at tests/format/printf.c:419
+TEST 356: OK: Expected execution at tests/format/printf.c:422
 printf: unterminated string in directive 1 ('%s')
-TEST 357: OK: Expected signal at tests/format/printf.c:425
-TEST 358: OK: Expected execution at tests/format/printf.c:428
-TEST 359: OK: Expected execution at tests/format/printf.c:429
-TEST 360: OK: Expected execution at tests/format/printf.c:430
-TEST 361: OK: Expected execution at tests/format/printf.c:431
+TEST 357: OK: Expected signal at tests/format/printf.c:424
+TEST 358: OK: Expected execution at tests/format/printf.c:427
+TEST 359: OK: Expected execution at tests/format/printf.c:428
+TEST 360: OK: Expected execution at tests/format/printf.c:429
+TEST 361: OK: Expected execution at tests/format/printf.c:430
 printf: attempt to access partially unallocated memory via directive 1 ('%.5s')
-TEST 362: OK: Expected signal at tests/format/printf.c:432
-TEST 363: OK: Expected execution at tests/format/printf.c:457
+TEST 362: OK: Expected signal at tests/format/printf.c:431
+TEST 363: OK: Expected execution at tests/format/printf.c:456
 printf: directive 1 ('%p') expects argument of type 'void*' but the corresponding argument has type 'char*'
-TEST 364: OK: Expected signal at tests/format/printf.c:458
+TEST 364: OK: Expected signal at tests/format/printf.c:457
 printf: argument 1 of directive %p not allocated
-TEST 365: OK: Expected signal at tests/format/printf.c:459
-TEST 366: OK: Expected execution at tests/format/printf.c:462
+TEST 365: OK: Expected signal at tests/format/printf.c:458
+TEST 366: OK: Expected execution at tests/format/printf.c:461
 printf: directive 1 ('%n') expects argument of type 'int*' but the corresponding argument has type 'unsigned int*'
-TEST 367: OK: Expected signal at tests/format/printf.c:463
+TEST 367: OK: Expected signal at tests/format/printf.c:462
 printf: directive 1 ('%n') expects argument of type 'int*' but the corresponding argument has type 'void*'
-TEST 368: OK: Expected signal at tests/format/printf.c:464
+TEST 368: OK: Expected signal at tests/format/printf.c:463
 printf: argument 0 of directive %n not allocated or writeable
-TEST 369: OK: Expected signal at tests/format/printf.c:465
+TEST 369: OK: Expected signal at tests/format/printf.c:464
 FRAMAC_SHARE/e-acsl/libc_replacements/e_acsl_stdio.c:542: Format error: wrong application of flag ['] to format specifier [n]
-TEST 370: OK: Expected signal at tests/format/printf.c:468
+TEST 370: OK: Expected signal at tests/format/printf.c:467
 FRAMAC_SHARE/e-acsl/libc_replacements/e_acsl_stdio.c:542: Format error: wrong application of flag [0] to format specifier [n]
-TEST 371: OK: Expected signal at tests/format/printf.c:469
+TEST 371: OK: Expected signal at tests/format/printf.c:468
 FRAMAC_SHARE/e-acsl/libc_replacements/e_acsl_stdio.c:542: Format error: wrong application of flag [#] to format specifier [n]
-TEST 372: OK: Expected signal at tests/format/printf.c:470
+TEST 372: OK: Expected signal at tests/format/printf.c:469
 Format error: one of more flags with [n] specifier
-TEST 373: OK: Expected signal at tests/format/printf.c:471
+TEST 373: OK: Expected signal at tests/format/printf.c:470
 Format error: one of more flags with [n] specifier
-TEST 374: OK: Expected signal at tests/format/printf.c:472
+TEST 374: OK: Expected signal at tests/format/printf.c:471
 Format error: one of more flags with [n] specifier
-TEST 375: OK: Expected signal at tests/format/printf.c:473
+TEST 375: OK: Expected signal at tests/format/printf.c:472
 FRAMAC_SHARE/e-acsl/libc_replacements/e_acsl_stdio.c:542: Format error: wrong application of precision [.] to format specifier [n]
-TEST 376: OK: Expected signal at tests/format/printf.c:474
+TEST 376: OK: Expected signal at tests/format/printf.c:473
 FRAMAC_SHARE/e-acsl/libc_replacements/e_acsl_stdio.c:542: Format error: wrong application of precision [.] to format specifier [n]
-TEST 377: OK: Expected signal at tests/format/printf.c:475
+TEST 377: OK: Expected signal at tests/format/printf.c:474
 FRAMAC_SHARE/e-acsl/libc_replacements/e_acsl_stdio.c:542: Format error: wrong application of precision [.] to format specifier [n]
-TEST 378: OK: Expected signal at tests/format/printf.c:476
+TEST 378: OK: Expected signal at tests/format/printf.c:475
 Format error: field width used with [n] specifier
-TEST 379: OK: Expected signal at tests/format/printf.c:477
+TEST 379: OK: Expected signal at tests/format/printf.c:476
 Format error: in directive '%d - %'% - %u times 
 '.the complete conversion specification for '%' is '%%'
-TEST 380: OK: Expected signal at tests/format/printf.c:480
+TEST 380: OK: Expected signal at tests/format/printf.c:479
diff --git a/src/plugins/e-acsl/tests/format/printf.c b/src/plugins/e-acsl/tests/format/printf.c
index c769a8be1b19d78d26ec47eae83b82a536477f5f..2dd37da128665e536cc796a7c31e68d81a269d7a 100644
--- a/src/plugins/e-acsl/tests/format/printf.c
+++ b/src/plugins/e-acsl/tests/format/printf.c
@@ -1,6 +1,5 @@
 /* run.config
    COMMENT: Check detection of format-string vulnerabilities via printf
-   DONTRUN:
    STDOPT: +"-eva-precision=1"
 */
 /* run.config_dev