From 164c758fa9d2201d7f23823fccdbdc17fe0bd32e Mon Sep 17 00:00:00 2001 From: Virgile Prevosto <virgile.prevosto@m4x.org> Date: Mon, 28 Oct 2019 11:51:39 +0100 Subject: [PATCH] [tests] update oracles --- tests/syntax/oracle/arg_type.res.oracle | 2 +- tests/syntax/oracle/cert_msc_38.0.res.oracle | 3 ++- tests/syntax/oracle/cert_msc_38.3.res.oracle | 2 +- tests/syntax/oracle/cert_msc_38.4.res.oracle | 3 ++- tests/syntax/oracle/cert_msc_38.5.res.oracle | 3 ++- tests/syntax/oracle/cert_msc_38.6.res.oracle | 3 ++- 6 files changed, 10 insertions(+), 6 deletions(-) diff --git a/tests/syntax/oracle/arg_type.res.oracle b/tests/syntax/oracle/arg_type.res.oracle index 8fe99704ddd..6115193a5c1 100644 --- a/tests/syntax/oracle/arg_type.res.oracle +++ b/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. diff --git a/tests/syntax/oracle/cert_msc_38.0.res.oracle b/tests/syntax/oracle/cert_msc_38.0.res.oracle index 9824fc415ba..f6f03be6c14 100644 --- a/tests/syntax/oracle/cert_msc_38.0.res.oracle +++ b/tests/syntax/oracle/cert_msc_38.0.res.oracle @@ -1,7 +1,8 @@ [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. diff --git a/tests/syntax/oracle/cert_msc_38.3.res.oracle b/tests/syntax/oracle/cert_msc_38.3.res.oracle index e7e3e470dbc..f85b07111ff 100644 --- a/tests/syntax/oracle/cert_msc_38.3.res.oracle +++ b/tests/syntax/oracle/cert_msc_38.3.res.oracle @@ -1,7 +1,7 @@ [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. diff --git a/tests/syntax/oracle/cert_msc_38.4.res.oracle b/tests/syntax/oracle/cert_msc_38.4.res.oracle index 47e5a66d0b3..e8c0de5ba19 100644 --- a/tests/syntax/oracle/cert_msc_38.4.res.oracle +++ b/tests/syntax/oracle/cert_msc_38.4.res.oracle @@ -1,7 +1,8 @@ [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. diff --git a/tests/syntax/oracle/cert_msc_38.5.res.oracle b/tests/syntax/oracle/cert_msc_38.5.res.oracle index 84140cf482f..7d12efef567 100644 --- a/tests/syntax/oracle/cert_msc_38.5.res.oracle +++ b/tests/syntax/oracle/cert_msc_38.5.res.oracle @@ -1,7 +1,8 @@ [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. diff --git a/tests/syntax/oracle/cert_msc_38.6.res.oracle b/tests/syntax/oracle/cert_msc_38.6.res.oracle index c90f405e1df..cbd86b6a84b 100644 --- a/tests/syntax/oracle/cert_msc_38.6.res.oracle +++ b/tests/syntax/oracle/cert_msc_38.6.res.oracle @@ -1,7 +1,8 @@ [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. -- GitLab