Skip to content
Snippets Groups Projects
Commit 8cc62e27 authored by Andre Maroneze's avatar Andre Maroneze
Browse files

[tests] add targets to EXECNOW commands

parent a45d65fb
No related branches found
No related tags found
No related merge requests found
/*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@
*/
{
"description": "C11 reserved function identifiers",
{
"description": "Function and macro identifiers defined in the GNU C Library",
{
"description": "Non-ISO C, Non-POSIX identifiers known to the Frama-C standard library",
{
"description": "POSIX.1-2008 reserved function identifiers (plus a few legacy POSIX identifiers)",
0% Loading or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment