From 8cc62e274c969059497680920af227e4d1017ae3 Mon Sep 17 00:00:00 2001
From: Andre Maroneze <andre.maroneze@cea.fr>
Date: Tue, 5 Oct 2021 20:36:22 +0200
Subject: [PATCH] [tests] add targets to EXECNOW commands
---
tests/compliance/check-json.i | 8 ++++----
tests/compliance/oracle/json_check-json_1.txt | 2 ++
tests/compliance/oracle/json_check-json_2.txt | 2 ++
tests/compliance/oracle/json_check-json_3.txt | 2 ++
tests/compliance/oracle/json_check-json_4.txt | 2 ++
5 files changed, 12 insertions(+), 4 deletions(-)
create mode 100644 tests/compliance/oracle/json_check-json_1.txt
create mode 100644 tests/compliance/oracle/json_check-json_2.txt
create mode 100644 tests/compliance/oracle/json_check-json_3.txt
create mode 100644 tests/compliance/oracle/json_check-json_4.txt
diff --git a/tests/compliance/check-json.i b/tests/compliance/check-json.i
index 099e2e17565..1a3c99c12ae 100644
--- a/tests/compliance/check-json.i
+++ b/tests/compliance/check-json.i
@@ -1,7 +1,7 @@
/*run.config
NOFRAMAC:
- EXECNOW: python3 -m json.tool < share/compliance/c11_functions.json > @DEV_NULL@
- EXECNOW: python3 -m json.tool < share/compliance/glibc_functions.json > @DEV_NULL@
- EXECNOW: python3 -m json.tool < share/compliance/nonstandard_identifiers.json > @DEV_NULL@
- EXECNOW: python3 -m json.tool < share/compliance/posix_identifiers.json > @DEV_NULL@
+ EXECNOW: LOG json_@PTEST_NAME@_1.txt python3 -m json.tool < share/compliance/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/compliance/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/compliance/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/compliance/posix_identifiers.json | head -n 2 > @PTEST_RESULT@/json_@PTEST_NAME@_4.txt 2> @DEV_NULL@
*/
diff --git a/tests/compliance/oracle/json_check-json_1.txt b/tests/compliance/oracle/json_check-json_1.txt
new file mode 100644
index 00000000000..1c7fc7039ae
--- /dev/null
+++ b/tests/compliance/oracle/json_check-json_1.txt
@@ -0,0 +1,2 @@
+{
+ "description": "C11 reserved function identifiers",
diff --git a/tests/compliance/oracle/json_check-json_2.txt b/tests/compliance/oracle/json_check-json_2.txt
new file mode 100644
index 00000000000..a7490e8d444
--- /dev/null
+++ b/tests/compliance/oracle/json_check-json_2.txt
@@ -0,0 +1,2 @@
+{
+ "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
new file mode 100644
index 00000000000..0b2f8f38fd6
--- /dev/null
+++ b/tests/compliance/oracle/json_check-json_3.txt
@@ -0,0 +1,2 @@
+{
+ "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
new file mode 100644
index 00000000000..cdf3ccde431
--- /dev/null
+++ b/tests/compliance/oracle/json_check-json_4.txt
@@ -0,0 +1,2 @@
+{
+ "description": "POSIX.1-2008 reserved function identifiers (plus a few legacy POSIX identifiers)",
--
GitLab