[tests] update oracles

tests/syntax/oracle/arg_type.res.oracle

@@ -2,6 +2,6 @@
 [kernel] tests/syntax/arg_type.i:15: User Error: 
   Declaration of g does not match previous declaration from tests/syntax/arg_type.i:13 (different integer types:
   'int' and 'short').
-[kernel] tests/syntax/arg_type.i:15: Failure: Cannot resolve variable x
+[kernel] tests/syntax/arg_type.i:15: User Error: Cannot resolve variable x
 [kernel] User Error: stopping on file "tests/syntax/arg_type.i" that has errors.
 [kernel] Frama-C aborted: invalid user input.

tests/syntax/oracle/cert_msc_38.0.res.oracle

 [kernel] Parsing tests/syntax/cert_msc_38.c (with preprocessing)
 [kernel:CERT:MSC:38] Warning: 
   assert is a standard macro. Its definition cannot be suppressed, see CERT C coding rules MSC38-C
-[kernel] tests/syntax/cert_msc_38.c:25: Failure: Cannot resolve variable assert
+[kernel] tests/syntax/cert_msc_38.c:25: User Error: 
+  Cannot resolve variable assert
 [kernel] User Error: stopping on file "tests/syntax/cert_msc_38.c" that has errors. Add
   '-kernel-msg-key pp' for preprocessing command.
 [kernel] Frama-C aborted: invalid user input.

tests/syntax/oracle/cert_msc_38.3.res.oracle

 [kernel] Parsing tests/syntax/cert_msc_38.c (with preprocessing)
 [kernel:CERT:MSC:38] Warning: 
   va_start is a standard macro. Its definition cannot be suppressed, see CERT C coding rules MSC38-C
-[kernel] tests/syntax/cert_msc_38.c:42: Failure: 
+[kernel] tests/syntax/cert_msc_38.c:42: User Error: 
   Cannot resolve variable va_start
 [kernel] User Error: stopping on file "tests/syntax/cert_msc_38.c" that has errors. Add
   '-kernel-msg-key pp' for preprocessing command.

tests/syntax/oracle/cert_msc_38.4.res.oracle

 [kernel] Parsing tests/syntax/cert_msc_38.c (with preprocessing)
 [kernel:CERT:MSC:38] Warning: 
   va_copy is a standard macro. Its definition cannot be suppressed, see CERT C coding rules MSC38-C
-[kernel] tests/syntax/cert_msc_38.c:46: Failure: Cannot resolve variable va_copy
+[kernel] tests/syntax/cert_msc_38.c:46: User Error: 
+  Cannot resolve variable va_copy
 [kernel] User Error: stopping on file "tests/syntax/cert_msc_38.c" that has errors. Add
   '-kernel-msg-key pp' for preprocessing command.
 [kernel] Frama-C aborted: invalid user input.

tests/syntax/oracle/cert_msc_38.5.res.oracle

 [kernel] Parsing tests/syntax/cert_msc_38.c (with preprocessing)
 [kernel:CERT:MSC:38] Warning: 
   va_arg is a standard macro. Its definition cannot be suppressed, see CERT C coding rules MSC38-C
-[kernel] tests/syntax/cert_msc_38.c:50: Failure: Cannot resolve variable va_arg
+[kernel] tests/syntax/cert_msc_38.c:50: User Error: 
+  Cannot resolve variable va_arg
 [kernel] User Error: stopping on file "tests/syntax/cert_msc_38.c" that has errors. Add
   '-kernel-msg-key pp' for preprocessing command.
 [kernel] Frama-C aborted: invalid user input.

tests/syntax/oracle/cert_msc_38.6.res.oracle

 [kernel] Parsing tests/syntax/cert_msc_38.c (with preprocessing)
 [kernel:CERT:MSC:38] Warning: 
   va_end is a standard macro. Its definition cannot be suppressed, see CERT C coding rules MSC38-C
-[kernel] tests/syntax/cert_msc_38.c:54: Failure: Cannot resolve variable va_end
+[kernel] tests/syntax/cert_msc_38.c:54: User Error: 
+  Cannot resolve variable va_end
 [kernel] User Error: stopping on file "tests/syntax/cert_msc_38.c" that has errors. Add
   '-kernel-msg-key pp' for preprocessing command.
 [kernel] Frama-C aborted: invalid user input.