From 06463e22722cca3eacf30d2786a807a517fc3dd0 Mon Sep 17 00:00:00 2001
From: Virgile Prevosto <virgile.prevosto@m4x.org>
Date: Fri, 5 Jul 2024 19:02:23 +0200
Subject: [PATCH] [tests] more coherent filenames
---
tests/syntax/{ko_global.c => ko_globals.c} | 0
tests/syntax/oracle/ko_global.res.oracle | 14 --------------
tests/syntax/oracle/ko_globals.res.oracle | 14 ++++++++++++++
3 files changed, 14 insertions(+), 14 deletions(-)
rename tests/syntax/{ko_global.c => ko_globals.c} (100%)
delete mode 100644 tests/syntax/oracle/ko_global.res.oracle
create mode 100644 tests/syntax/oracle/ko_globals.res.oracle
diff --git a/tests/syntax/ko_global.c b/tests/syntax/ko_globals.c
similarity index 100%
rename from tests/syntax/ko_global.c
rename to tests/syntax/ko_globals.c
diff --git a/tests/syntax/oracle/ko_global.res.oracle b/tests/syntax/oracle/ko_global.res.oracle
deleted file mode 100644
index c402c3de32d..00000000000
--- a/tests/syntax/oracle/ko_global.res.oracle
+++ /dev/null
@@ -1,14 +0,0 @@
-[kernel] Parsing ko_global.c (with preprocessing)
-[kernel] ko_global.c:9: User Error: a is not a compile-time constant
-[kernel] ko_global.c:11: User Error: a is not a compile-time constant
-[kernel] ko_global.c:21: User Error: f is not a compile-time constant
-[kernel] ko_global.c:23: User Error: g is not a compile-time constant
-[kernel] ko_global.c:25: User Error:
- Initializer element is not a compile-time constant
-[kernel] ko_global.c:28: User Error: i is not a compile-time constant
-[kernel] ko_global.c:31: User Error: k is not a compile-time constant
-[kernel] ko_global.c:38: User Error: n is not a compile-time constant
-[kernel] ko_global.c:45: User Error: q is not a compile-time constant
-[kernel] User Error: stopping on file "ko_global.c" that has errors. Add '-kernel-msg-key pp'
- for preprocessing command.
-[kernel] Frama-C aborted: invalid user input.
diff --git a/tests/syntax/oracle/ko_globals.res.oracle b/tests/syntax/oracle/ko_globals.res.oracle
new file mode 100644
index 00000000000..43121f12923
--- /dev/null
+++ b/tests/syntax/oracle/ko_globals.res.oracle
@@ -0,0 +1,14 @@
+[kernel] Parsing ko_globals.c (with preprocessing)
+[kernel] ko_globals.c:9: User Error: a is not a compile-time constant
+[kernel] ko_globals.c:11: User Error: a is not a compile-time constant
+[kernel] ko_globals.c:21: User Error: f is not a compile-time constant
+[kernel] ko_globals.c:23: User Error: g is not a compile-time constant
+[kernel] ko_globals.c:25: User Error:
+ Initializer element is not a compile-time constant
+[kernel] ko_globals.c:28: User Error: i is not a compile-time constant
+[kernel] ko_globals.c:31: User Error: k is not a compile-time constant
+[kernel] ko_globals.c:38: User Error: n is not a compile-time constant
+[kernel] ko_globals.c:45: User Error: q is not a compile-time constant
+[kernel] User Error: stopping on file "ko_globals.c" that has errors. Add '-kernel-msg-key pp'
+ for preprocessing command.
+[kernel] Frama-C aborted: invalid user input.
--
GitLab