From 90ca5329fcfe1fa992a98b91f05dd2116abe2616 Mon Sep 17 00:00:00 2001
From: Andre Maroneze <andre.maroneze@cea.fr>
Date: Wed, 23 Feb 2022 13:55:46 +0100
Subject: [PATCH] [compliance] remove opening brace from test oracles
---
tests/compliance/check-json.i | 12 ++++++------
tests/compliance/oracle/json_check-json_1.txt | 1 -
tests/compliance/oracle/json_check-json_2.txt | 1 -
tests/compliance/oracle/json_check-json_3.txt | 1 -
tests/compliance/oracle/json_check-json_4.txt | 1 -
tests/compliance/oracle/json_check-json_5.txt | 1 -
tests/compliance/oracle/json_check-json_6.txt | 1 -
7 files changed, 6 insertions(+), 12 deletions(-)
diff --git a/tests/compliance/check-json.i b/tests/compliance/check-json.i
index e539fed3e61..cce5ee0c72f 100644
--- a/tests/compliance/check-json.i
+++ b/tests/compliance/check-json.i
@@ -1,11 +1,11 @@
/*run.config
MACRO: SHARE @FRAMAC_SHARE@/compliance
NOFRAMAC:
- EXECNOW: LOG json_@PTEST_NAME@_1.txt python3 -m json.tool < @SHARE@/c11_functions.json | head -n 2 > @PTEST_RESULT@/json_@PTEST_NAME@_1.txt 2> @DEV_NULL@
- EXECNOW: LOG json_@PTEST_NAME@_2.txt python3 -m json.tool < @SHARE@/glibc_functions.json | head -n 2 > @PTEST_RESULT@/json_@PTEST_NAME@_2.txt 2> @DEV_NULL@
- EXECNOW: LOG json_@PTEST_NAME@_3.txt python3 -m json.tool < @SHARE@/nonstandard_identifiers.json | head -n 2 > @PTEST_RESULT@/json_@PTEST_NAME@_3.txt 2> @DEV_NULL@
- EXECNOW: LOG json_@PTEST_NAME@_4.txt python3 -m json.tool < @SHARE@/posix_identifiers.json | head -n 2 > @PTEST_RESULT@/json_@PTEST_NAME@_4.txt 2> @DEV_NULL@
- EXECNOW: LOG json_@PTEST_NAME@_5.txt python3 -m json.tool < @SHARE@/compiler_builtins.json | head -n 2 > @PTEST_RESULT@/json_@PTEST_NAME@_5.txt 2> @DEV_NULL@
- EXECNOW: LOG json_@PTEST_NAME@_6.txt python3 -m json.tool < @SHARE@/gcc_builtins.json | head -n 2 > @PTEST_RESULT@/json_@PTEST_NAME@_6.txt 2> @DEV_NULL@
+ EXECNOW: LOG json_@PTEST_NAME@_1.txt python3 -m json.tool < @SHARE@/c11_functions.json | head -n 2 | tail -n 1 > @PTEST_RESULT@/json_@PTEST_NAME@_1.txt 2> @DEV_NULL@
+ EXECNOW: LOG json_@PTEST_NAME@_2.txt python3 -m json.tool < @SHARE@/glibc_functions.json | head -n 2 | tail -n 1 > @PTEST_RESULT@/json_@PTEST_NAME@_2.txt 2> @DEV_NULL@
+ EXECNOW: LOG json_@PTEST_NAME@_3.txt python3 -m json.tool < @SHARE@/nonstandard_identifiers.json | head -n 2 | tail -n 1 > @PTEST_RESULT@/json_@PTEST_NAME@_3.txt 2> @DEV_NULL@
+ EXECNOW: LOG json_@PTEST_NAME@_4.txt python3 -m json.tool < @SHARE@/posix_identifiers.json | head -n 2 | tail -n 1 > @PTEST_RESULT@/json_@PTEST_NAME@_4.txt 2> @DEV_NULL@
+ EXECNOW: LOG json_@PTEST_NAME@_5.txt python3 -m json.tool < @SHARE@/compiler_builtins.json | head -n 2 | tail -n 1 > @PTEST_RESULT@/json_@PTEST_NAME@_5.txt 2> @DEV_NULL@
+ EXECNOW: LOG json_@PTEST_NAME@_6.txt python3 -m json.tool < @SHARE@/gcc_builtins.json | head -n 2 | tail -n 1 > @PTEST_RESULT@/json_@PTEST_NAME@_6.txt 2> @DEV_NULL@
EXECNOW: LOG json_@PTEST_NAME@_7.txt python3 @PTEST_DIR@/sanity-checks.py @SHARE@ > @PTEST_RESULT@/json_@PTEST_NAME@_7.txt 2> @DEV_NULL@
*/
diff --git a/tests/compliance/oracle/json_check-json_1.txt b/tests/compliance/oracle/json_check-json_1.txt
index 1b5870264ab..53e785991f5 100644
--- a/tests/compliance/oracle/json_check-json_1.txt
+++ b/tests/compliance/oracle/json_check-json_1.txt
@@ -1,2 +1 @@
-{
"description": "C11 reserved function and macro identifiers",
diff --git a/tests/compliance/oracle/json_check-json_2.txt b/tests/compliance/oracle/json_check-json_2.txt
index a7490e8d444..24ce34e1195 100644
--- a/tests/compliance/oracle/json_check-json_2.txt
+++ b/tests/compliance/oracle/json_check-json_2.txt
@@ -1,2 +1 @@
-{
"description": "Function and macro identifiers defined in the GNU C Library",
diff --git a/tests/compliance/oracle/json_check-json_3.txt b/tests/compliance/oracle/json_check-json_3.txt
index 0b2f8f38fd6..567fa7bd16e 100644
--- a/tests/compliance/oracle/json_check-json_3.txt
+++ b/tests/compliance/oracle/json_check-json_3.txt
@@ -1,2 +1 @@
-{
"description": "Non-ISO C, Non-POSIX identifiers known to the Frama-C standard library",
diff --git a/tests/compliance/oracle/json_check-json_4.txt b/tests/compliance/oracle/json_check-json_4.txt
index cdf3ccde431..ba1f81a5fad 100644
--- a/tests/compliance/oracle/json_check-json_4.txt
+++ b/tests/compliance/oracle/json_check-json_4.txt
@@ -1,2 +1 @@
-{
"description": "POSIX.1-2008 reserved function identifiers (plus a few legacy POSIX identifiers)",
diff --git a/tests/compliance/oracle/json_check-json_5.txt b/tests/compliance/oracle/json_check-json_5.txt
index 8dc6444a05e..41629175862 100644
--- a/tests/compliance/oracle/json_check-json_5.txt
+++ b/tests/compliance/oracle/json_check-json_5.txt
@@ -1,2 +1 @@
-{
"description": "Compiler builtins supported by Frama-C (for GCC builtins, see gcc_builtins.json)",
diff --git a/tests/compliance/oracle/json_check-json_6.txt b/tests/compliance/oracle/json_check-json_6.txt
index ece8bd177c4..69846532172 100644
--- a/tests/compliance/oracle/json_check-json_6.txt
+++ b/tests/compliance/oracle/json_check-json_6.txt
@@ -1,2 +1 @@
-{
"description": "GCC builtins supported by Frama-C",
--
GitLab