From a2ca21f300c0603c574d0c70f7e713aa144db04d Mon Sep 17 00:00:00 2001
From: Andre Maroneze <andre.oliveiramaroneze@cea.fr>
Date: Wed, 3 Apr 2019 20:03:12 +0200
Subject: [PATCH] [tests] fix test extension
---
tests/syntax/{libc_defs.h => libc_defs.c} | 0
tests/syntax/oracle/libc_defs.res.oracle | 2 +-
2 files changed, 1 insertion(+), 1 deletion(-)
rename tests/syntax/{libc_defs.h => libc_defs.c} (100%)
diff --git a/tests/syntax/libc_defs.h b/tests/syntax/libc_defs.c
similarity index 100%
rename from tests/syntax/libc_defs.h
rename to tests/syntax/libc_defs.c
diff --git a/tests/syntax/oracle/libc_defs.res.oracle b/tests/syntax/oracle/libc_defs.res.oracle
index 0705f794ef5..22f21e2fa93 100644
--- a/tests/syntax/oracle/libc_defs.res.oracle
+++ b/tests/syntax/oracle/libc_defs.res.oracle
@@ -1,4 +1,4 @@
-[kernel] Parsing tests/syntax/libc_defs.h (with preprocessing)
+[kernel] Parsing tests/syntax/libc_defs.c (with preprocessing)
/* Generated by Frama-C */
#include "errno.c"
#include "errno.h"
--
GitLab