From 0cf5e79587a37fdfbf834495befba62271ba4882 Mon Sep 17 00:00:00 2001 From: Andre Maroneze <andre.oliveiramaroneze@cea.fr> Date: Fri, 31 Mar 2017 20:35:33 +0200 Subject: [PATCH] synchronize with frama-c/frama-c!1243 --- src/plugins/e-acsl/tests/no-main/oracle/empty.res.oracle | 1 - src/plugins/e-acsl/tests/reject/oracle/quantif.res.oracle | 1 - src/plugins/e-acsl/tests/runtime/oracle/local_init.res.oracle | 1 - 3 files changed, 3 deletions(-) diff --git a/src/plugins/e-acsl/tests/no-main/oracle/empty.res.oracle b/src/plugins/e-acsl/tests/no-main/oracle/empty.res.oracle index cd9f0ca805f..8520f4f961c 100644 --- a/src/plugins/e-acsl/tests/no-main/oracle/empty.res.oracle +++ b/src/plugins/e-acsl/tests/no-main/oracle/empty.res.oracle @@ -1,4 +1,3 @@ -[kernel] Parsing FRAMAC_SHARE/libc/__fc_builtin_for_normalization.i (no preprocessing) [kernel] Parsing FRAMAC_SHARE/e-acsl/e_acsl.h (with preprocessing) [kernel] Parsing FRAMAC_SHARE/e-acsl/e_acsl_gmp.h (with preprocessing) [kernel] Parsing FRAMAC_SHARE/e-acsl/e_acsl_mmodel_api.h (with preprocessing) diff --git a/src/plugins/e-acsl/tests/reject/oracle/quantif.res.oracle b/src/plugins/e-acsl/tests/reject/oracle/quantif.res.oracle index 69cefb3a98d..d747c581142 100644 --- a/src/plugins/e-acsl/tests/reject/oracle/quantif.res.oracle +++ b/src/plugins/e-acsl/tests/reject/oracle/quantif.res.oracle @@ -1,4 +1,3 @@ -[kernel] Parsing FRAMAC_SHARE/libc/__fc_builtin_for_normalization.i (no preprocessing) [kernel] Parsing FRAMAC_SHARE/e-acsl/e_acsl.h (with preprocessing) [kernel] Parsing FRAMAC_SHARE/e-acsl/e_acsl_gmp.h (with preprocessing) [kernel] Parsing FRAMAC_SHARE/e-acsl/e_acsl_mmodel_api.h (with preprocessing) diff --git a/src/plugins/e-acsl/tests/runtime/oracle/local_init.res.oracle b/src/plugins/e-acsl/tests/runtime/oracle/local_init.res.oracle index 88cee4a0c74..e8a542b2eb7 100644 --- a/src/plugins/e-acsl/tests/runtime/oracle/local_init.res.oracle +++ b/src/plugins/e-acsl/tests/runtime/oracle/local_init.res.oracle @@ -1,4 +1,3 @@ -[kernel] Parsing FRAMAC_SHARE/libc/__fc_builtin_for_normalization.i (no preprocessing) [kernel] Parsing FRAMAC_SHARE/e-acsl/e_acsl.h (with preprocessing) [kernel] Parsing FRAMAC_SHARE/e-acsl/e_acsl_gmp.h (with preprocessing) [kernel] Parsing FRAMAC_SHARE/e-acsl/e_acsl_mmodel_api.h (with preprocessing) -- GitLab