From 819c25ce9389b2186bb06eb8db2f055b43912302 Mon Sep 17 00:00:00 2001 From: Patrick Baudin <patrick.baudin@cea.fr> Date: Thu, 1 Oct 2020 10:34:26 +0200 Subject: [PATCH] tests about parsing file obtained from -ocode --- tests/spec/oracle/clash_double_file_bts1598.res.oracle | 2 +- tests/spec/oracle/rm_qualifiers.res.oracle | 2 +- 2 files changed, 2 insertions(+), 2 deletions(-) diff --git a/tests/spec/oracle/clash_double_file_bts1598.res.oracle b/tests/spec/oracle/clash_double_file_bts1598.res.oracle index 19ba21bf7c8..504a964c9d2 100644 --- a/tests/spec/oracle/clash_double_file_bts1598.res.oracle +++ b/tests/spec/oracle/clash_double_file_bts1598.res.oracle @@ -19,7 +19,7 @@ #include "wchar.h" [kernel] Parsing clash_double_file_bts1598.c (with preprocessing) -[kernel] Parsing foo.c (with preprocessing) +[kernel] Parsing ocode_0_clash_double_file_bts1598.c (with preprocessing) /* Generated by Frama-C */ #include "__fc_builtin.h" #include "assert.h" diff --git a/tests/spec/oracle/rm_qualifiers.res.oracle b/tests/spec/oracle/rm_qualifiers.res.oracle index 04e77de3d9d..6a9d16b3771 100644 --- a/tests/spec/oracle/rm_qualifiers.res.oracle +++ b/tests/spec/oracle/rm_qualifiers.res.oracle @@ -1,5 +1,5 @@ [kernel] Parsing rm_qualifiers.i (no preprocessing) -[kernel] Parsing rm_qualifiers_res.i (no preprocessing) +[kernel] Parsing ocode_0_rm_qualifiers.i (no preprocessing) /* Generated by Frama-C */ extern void G(void const *p); -- GitLab