From d883c69dab59e2a8a3c6790990f9ae211952f166 Mon Sep 17 00:00:00 2001
From: Allan Blanchard <allan.blanchard@cea.fr>
Date: Tue, 25 Feb 2020 10:04:25 +0100
Subject: [PATCH] [ghost] Renames some files
---
tests/syntax/{ghost-else.i => ghost_else.i} | 0
tests/syntax/{ghost-else-bad.c => ghost_else_bad.c} | 0
.../{ghost-else-bad-oneline.i => ghost_else_bad_oneline.i} | 0
tests/syntax/oracle/ghost-else-bad.0.res.oracle | 5 -----
tests/syntax/oracle/ghost-else-bad.1.err.oracle | 1 -
.../oracle/{ghost-else.res.oracle => ghost_else.res.oracle} | 2 +-
tests/syntax/oracle/ghost_else_bad.0.res.oracle | 5 +++++
tests/syntax/oracle/ghost_else_bad.1.err.oracle | 1 +
...ost-else-bad.1.res.oracle => ghost_else_bad.1.res.oracle} | 2 +-
...ost-else-bad.2.res.oracle => ghost_else_bad.2.res.oracle} | 4 ++--
...-oneline.res.oracle => ghost_else_bad_oneline.res.oracle} | 4 ++--
11 files changed, 12 insertions(+), 12 deletions(-)
rename tests/syntax/{ghost-else.i => ghost_else.i} (100%)
rename tests/syntax/{ghost-else-bad.c => ghost_else_bad.c} (100%)
rename tests/syntax/{ghost-else-bad-oneline.i => ghost_else_bad_oneline.i} (100%)
delete mode 100644 tests/syntax/oracle/ghost-else-bad.0.res.oracle
delete mode 100644 tests/syntax/oracle/ghost-else-bad.1.err.oracle
rename tests/syntax/oracle/{ghost-else.res.oracle => ghost_else.res.oracle} (96%)
create mode 100644 tests/syntax/oracle/ghost_else_bad.0.res.oracle
create mode 100644 tests/syntax/oracle/ghost_else_bad.1.err.oracle
rename tests/syntax/oracle/{ghost-else-bad.1.res.oracle => ghost_else_bad.1.res.oracle} (64%)
rename tests/syntax/oracle/{ghost-else-bad.2.res.oracle => ghost_else_bad.2.res.oracle} (71%)
rename tests/syntax/oracle/{ghost-else-bad-oneline.res.oracle => ghost_else_bad_oneline.res.oracle} (71%)
diff --git a/tests/syntax/ghost-else.i b/tests/syntax/ghost_else.i
similarity index 100%
rename from tests/syntax/ghost-else.i
rename to tests/syntax/ghost_else.i
diff --git a/tests/syntax/ghost-else-bad.c b/tests/syntax/ghost_else_bad.c
similarity index 100%
rename from tests/syntax/ghost-else-bad.c
rename to tests/syntax/ghost_else_bad.c
diff --git a/tests/syntax/ghost-else-bad-oneline.i b/tests/syntax/ghost_else_bad_oneline.i
similarity index 100%
rename from tests/syntax/ghost-else-bad-oneline.i
rename to tests/syntax/ghost_else_bad_oneline.i
diff --git a/tests/syntax/oracle/ghost-else-bad.0.res.oracle b/tests/syntax/oracle/ghost-else-bad.0.res.oracle
deleted file mode 100644
index 1023844ff30..00000000000
--- a/tests/syntax/oracle/ghost-else-bad.0.res.oracle
+++ /dev/null
@@ -1,5 +0,0 @@
-[kernel] Parsing tests/syntax/ghost-else-bad.c (with preprocessing)
-[kernel] tests/syntax/ghost-else-bad.c:20: User Error: Cannot resolve variable z
-[kernel] User Error: stopping on file "tests/syntax/ghost-else-bad.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/ghost-else-bad.1.err.oracle b/tests/syntax/oracle/ghost-else-bad.1.err.oracle
deleted file mode 100644
index a462608f4fb..00000000000
--- a/tests/syntax/oracle/ghost-else-bad.1.err.oracle
+++ /dev/null
@@ -1 +0,0 @@
-Warning: tests/syntax/ghost-else-bad.c:32: Invalid ghost else ignored
diff --git a/tests/syntax/oracle/ghost-else.res.oracle b/tests/syntax/oracle/ghost_else.res.oracle
similarity index 96%
rename from tests/syntax/oracle/ghost-else.res.oracle
rename to tests/syntax/oracle/ghost_else.res.oracle
index 870a783d7d4..8714af3e322 100644
--- a/tests/syntax/oracle/ghost-else.res.oracle
+++ b/tests/syntax/oracle/ghost_else.res.oracle
@@ -1,4 +1,4 @@
-[kernel] Parsing tests/syntax/ghost-else.i (no preprocessing)
+[kernel] Parsing tests/syntax/ghost_else.i (no preprocessing)
/* Generated by Frama-C */
/* run.config
OPT: -no-autoload-plugins -keep-comments -print
diff --git a/tests/syntax/oracle/ghost_else_bad.0.res.oracle b/tests/syntax/oracle/ghost_else_bad.0.res.oracle
new file mode 100644
index 00000000000..b1fe57ef8b5
--- /dev/null
+++ b/tests/syntax/oracle/ghost_else_bad.0.res.oracle
@@ -0,0 +1,5 @@
+[kernel] Parsing tests/syntax/ghost_else_bad.c (with preprocessing)
+[kernel] tests/syntax/ghost_else_bad.c:20: User Error: Cannot resolve variable z
+[kernel] User Error: stopping on file "tests/syntax/ghost_else_bad.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/ghost_else_bad.1.err.oracle b/tests/syntax/oracle/ghost_else_bad.1.err.oracle
new file mode 100644
index 00000000000..b7f5dc572a0
--- /dev/null
+++ b/tests/syntax/oracle/ghost_else_bad.1.err.oracle
@@ -0,0 +1 @@
+Warning: tests/syntax/ghost_else_bad.c:32: Invalid ghost else ignored
diff --git a/tests/syntax/oracle/ghost-else-bad.1.res.oracle b/tests/syntax/oracle/ghost_else_bad.1.res.oracle
similarity index 64%
rename from tests/syntax/oracle/ghost-else-bad.1.res.oracle
rename to tests/syntax/oracle/ghost_else_bad.1.res.oracle
index 3a7ccc5655e..fae04332c74 100644
--- a/tests/syntax/oracle/ghost-else-bad.1.res.oracle
+++ b/tests/syntax/oracle/ghost_else_bad.1.res.oracle
@@ -1,4 +1,4 @@
-[kernel] Parsing tests/syntax/ghost-else-bad.c (with preprocessing)
+[kernel] Parsing tests/syntax/ghost_else_bad.c (with preprocessing)
/* Generated by Frama-C */
void if_ghost_else_block_bad(int x, int y)
{
diff --git a/tests/syntax/oracle/ghost-else-bad.2.res.oracle b/tests/syntax/oracle/ghost_else_bad.2.res.oracle
similarity index 71%
rename from tests/syntax/oracle/ghost-else-bad.2.res.oracle
rename to tests/syntax/oracle/ghost_else_bad.2.res.oracle
index 0fb6dc879ca..4187bc4f121 100644
--- a/tests/syntax/oracle/ghost-else-bad.2.res.oracle
+++ b/tests/syntax/oracle/ghost_else_bad.2.res.oracle
@@ -1,5 +1,5 @@
-[kernel] Parsing tests/syntax/ghost-else-bad.c (with preprocessing)
-[kernel] tests/syntax/ghost-else-bad.c:47:
+[kernel] Parsing tests/syntax/ghost_else_bad.c (with preprocessing)
+[kernel] tests/syntax/ghost_else_bad.c:47:
syntax error:
Location: between lines 47 and 49, before or at token: else
45 if(x){
diff --git a/tests/syntax/oracle/ghost-else-bad-oneline.res.oracle b/tests/syntax/oracle/ghost_else_bad_oneline.res.oracle
similarity index 71%
rename from tests/syntax/oracle/ghost-else-bad-oneline.res.oracle
rename to tests/syntax/oracle/ghost_else_bad_oneline.res.oracle
index df16567ef5d..ded857214d7 100644
--- a/tests/syntax/oracle/ghost-else-bad-oneline.res.oracle
+++ b/tests/syntax/oracle/ghost_else_bad_oneline.res.oracle
@@ -1,5 +1,5 @@
-[kernel] Parsing tests/syntax/ghost-else-bad-oneline.i (no preprocessing)
-[kernel] tests/syntax/ghost-else-bad-oneline.i:6:
+[kernel] Parsing tests/syntax/ghost_else_bad_oneline.i (no preprocessing)
+[kernel] tests/syntax/ghost_else_bad_oneline.i:6:
syntax error:
Location: between lines 6 and 8, before or at token:
--
GitLab