From de13faaf111c9c74d9df8da72040f98b5e51fa51 Mon Sep 17 00:00:00 2001
From: Julien Signoles <julien.signoles@cea.fr>
Date: Fri, 30 Aug 2019 19:25:49 +0200
Subject: [PATCH] [tests] rename language_constructs to constructs

---
 src/plugins/e-acsl/Makefile.in                              | 2 +-
 .../tests/{language_constructs => constructs}/false.i       | 0
 .../{language_constructs => constructs}/function_contract.i | 0
 .../tests/{language_constructs => constructs}/ghost.i       | 0
 .../tests/{language_constructs => constructs}/invariant.i   | 0
 .../{language_constructs => constructs}/labeled_stmt.i      | 0
 .../e-acsl/tests/{language_constructs => constructs}/lazy.i | 0
 .../e-acsl/tests/{language_constructs => constructs}/loop.i | 0
 .../{language_constructs => constructs}/nested_code_annot.i | 0
 .../oracle_ci/false.res.oracle                              | 0
 .../oracle_ci/function_contract.res.oracle                  | 0
 .../oracle_ci/gen_false.c                                   | 0
 .../oracle_ci/gen_function_contract.c                       | 0
 .../oracle_ci/gen_ghost.c                                   | 0
 .../oracle_ci/gen_invariant.c                               | 0
 .../oracle_ci/gen_labeled_stmt.c                            | 0
 .../oracle_ci/gen_lazy.c                                    | 0
 .../oracle_ci/gen_loop.c                                    | 0
 .../oracle_ci/gen_nested_code_annot.c                       | 0
 .../oracle_ci/gen_result.c                                  | 0
 .../oracle_ci/gen_stmt_contract.c                           | 0
 .../oracle_ci/gen_true.c                                    | 0
 .../oracle_ci/gen_typedef.c                                 | 0
 .../oracle_ci/ghost.res.oracle                              | 0
 .../oracle_ci/invariant.res.oracle                          | 0
 .../oracle_ci/labeled_stmt.res.oracle                       | 0
 .../oracle_ci/lazy.res.oracle                               | 0
 .../oracle_ci/loop.res.oracle                               | 6 +++---
 .../oracle_ci/nested_code_annot.res.oracle                  | 0
 .../oracle_ci/result.res.oracle                             | 0
 .../oracle_ci/stmt_contract.res.oracle                      | 0
 .../oracle_ci/true.res.oracle                               | 0
 .../oracle_ci/typedef.res.oracle                            | 0
 .../oracle_dev/false.res.oracle                             | 0
 .../oracle_dev/function_contract.res.oracle                 | 0
 .../oracle_dev/ghost.res.oracle                             | 0
 .../oracle_dev/invariant.res.oracle                         | 0
 .../oracle_dev/labeled_stmt.res.oracle                      | 0
 .../oracle_dev/lazy.res.oracle                              | 0
 .../oracle_dev/loop.res.oracle                              | 0
 .../oracle_dev/nested_code_annot.res.oracle                 | 0
 .../oracle_dev/result.res.oracle                            | 0
 .../oracle_dev/stmt_contract.res.oracle                     | 0
 .../oracle_dev/true.res.oracle                              | 0
 .../oracle_dev/typedef.res.oracle                           | 0
 .../tests/{language_constructs => constructs}/result.i      | 0
 .../{language_constructs => constructs}/stmt_contract.i     | 0
 .../e-acsl/tests/{language_constructs => constructs}/true.i | 0
 .../tests/{language_constructs => constructs}/typedef.i     | 0
 49 files changed, 4 insertions(+), 4 deletions(-)
 rename src/plugins/e-acsl/tests/{language_constructs => constructs}/false.i (100%)
 rename src/plugins/e-acsl/tests/{language_constructs => constructs}/function_contract.i (100%)
 rename src/plugins/e-acsl/tests/{language_constructs => constructs}/ghost.i (100%)
 rename src/plugins/e-acsl/tests/{language_constructs => constructs}/invariant.i (100%)
 rename src/plugins/e-acsl/tests/{language_constructs => constructs}/labeled_stmt.i (100%)
 rename src/plugins/e-acsl/tests/{language_constructs => constructs}/lazy.i (100%)
 rename src/plugins/e-acsl/tests/{language_constructs => constructs}/loop.i (100%)
 rename src/plugins/e-acsl/tests/{language_constructs => constructs}/nested_code_annot.i (100%)
 rename src/plugins/e-acsl/tests/{language_constructs => constructs}/oracle_ci/false.res.oracle (100%)
 rename src/plugins/e-acsl/tests/{language_constructs => constructs}/oracle_ci/function_contract.res.oracle (100%)
 rename src/plugins/e-acsl/tests/{language_constructs => constructs}/oracle_ci/gen_false.c (100%)
 rename src/plugins/e-acsl/tests/{language_constructs => constructs}/oracle_ci/gen_function_contract.c (100%)
 rename src/plugins/e-acsl/tests/{language_constructs => constructs}/oracle_ci/gen_ghost.c (100%)
 rename src/plugins/e-acsl/tests/{language_constructs => constructs}/oracle_ci/gen_invariant.c (100%)
 rename src/plugins/e-acsl/tests/{language_constructs => constructs}/oracle_ci/gen_labeled_stmt.c (100%)
 rename src/plugins/e-acsl/tests/{language_constructs => constructs}/oracle_ci/gen_lazy.c (100%)
 rename src/plugins/e-acsl/tests/{language_constructs => constructs}/oracle_ci/gen_loop.c (100%)
 rename src/plugins/e-acsl/tests/{language_constructs => constructs}/oracle_ci/gen_nested_code_annot.c (100%)
 rename src/plugins/e-acsl/tests/{language_constructs => constructs}/oracle_ci/gen_result.c (100%)
 rename src/plugins/e-acsl/tests/{language_constructs => constructs}/oracle_ci/gen_stmt_contract.c (100%)
 rename src/plugins/e-acsl/tests/{language_constructs => constructs}/oracle_ci/gen_true.c (100%)
 rename src/plugins/e-acsl/tests/{language_constructs => constructs}/oracle_ci/gen_typedef.c (100%)
 rename src/plugins/e-acsl/tests/{language_constructs => constructs}/oracle_ci/ghost.res.oracle (100%)
 rename src/plugins/e-acsl/tests/{language_constructs => constructs}/oracle_ci/invariant.res.oracle (100%)
 rename src/plugins/e-acsl/tests/{language_constructs => constructs}/oracle_ci/labeled_stmt.res.oracle (100%)
 rename src/plugins/e-acsl/tests/{language_constructs => constructs}/oracle_ci/lazy.res.oracle (100%)
 rename src/plugins/e-acsl/tests/{language_constructs => constructs}/oracle_ci/loop.res.oracle (61%)
 rename src/plugins/e-acsl/tests/{language_constructs => constructs}/oracle_ci/nested_code_annot.res.oracle (100%)
 rename src/plugins/e-acsl/tests/{language_constructs => constructs}/oracle_ci/result.res.oracle (100%)
 rename src/plugins/e-acsl/tests/{language_constructs => constructs}/oracle_ci/stmt_contract.res.oracle (100%)
 rename src/plugins/e-acsl/tests/{language_constructs => constructs}/oracle_ci/true.res.oracle (100%)
 rename src/plugins/e-acsl/tests/{language_constructs => constructs}/oracle_ci/typedef.res.oracle (100%)
 rename src/plugins/e-acsl/tests/{language_constructs => constructs}/oracle_dev/false.res.oracle (100%)
 rename src/plugins/e-acsl/tests/{language_constructs => constructs}/oracle_dev/function_contract.res.oracle (100%)
 rename src/plugins/e-acsl/tests/{language_constructs => constructs}/oracle_dev/ghost.res.oracle (100%)
 rename src/plugins/e-acsl/tests/{language_constructs => constructs}/oracle_dev/invariant.res.oracle (100%)
 rename src/plugins/e-acsl/tests/{language_constructs => constructs}/oracle_dev/labeled_stmt.res.oracle (100%)
 rename src/plugins/e-acsl/tests/{language_constructs => constructs}/oracle_dev/lazy.res.oracle (100%)
 rename src/plugins/e-acsl/tests/{language_constructs => constructs}/oracle_dev/loop.res.oracle (100%)
 rename src/plugins/e-acsl/tests/{language_constructs => constructs}/oracle_dev/nested_code_annot.res.oracle (100%)
 rename src/plugins/e-acsl/tests/{language_constructs => constructs}/oracle_dev/result.res.oracle (100%)
 rename src/plugins/e-acsl/tests/{language_constructs => constructs}/oracle_dev/stmt_contract.res.oracle (100%)
 rename src/plugins/e-acsl/tests/{language_constructs => constructs}/oracle_dev/true.res.oracle (100%)
 rename src/plugins/e-acsl/tests/{language_constructs => constructs}/oracle_dev/typedef.res.oracle (100%)
 rename src/plugins/e-acsl/tests/{language_constructs => constructs}/result.i (100%)
 rename src/plugins/e-acsl/tests/{language_constructs => constructs}/stmt_contract.i (100%)
 rename src/plugins/e-acsl/tests/{language_constructs => constructs}/true.i (100%)
 rename src/plugins/e-acsl/tests/{language_constructs => constructs}/typedef.i (100%)

diff --git a/src/plugins/e-acsl/Makefile.in b/src/plugins/e-acsl/Makefile.in
index 587c8d50c53..42fed87564b 100644
--- a/src/plugins/e-acsl/Makefile.in
+++ b/src/plugins/e-acsl/Makefile.in
@@ -173,7 +173,7 @@ ifeq (@MAY_RUN_TESTS@,yes)
 PLUGIN_TESTS_DIRS := \
 	examples \
 	bts \
-	language_constructs \
+	constructs \
 	arith \
 	memory \
 	gmp-only \
diff --git a/src/plugins/e-acsl/tests/language_constructs/false.i b/src/plugins/e-acsl/tests/constructs/false.i
similarity index 100%
rename from src/plugins/e-acsl/tests/language_constructs/false.i
rename to src/plugins/e-acsl/tests/constructs/false.i
diff --git a/src/plugins/e-acsl/tests/language_constructs/function_contract.i b/src/plugins/e-acsl/tests/constructs/function_contract.i
similarity index 100%
rename from src/plugins/e-acsl/tests/language_constructs/function_contract.i
rename to src/plugins/e-acsl/tests/constructs/function_contract.i
diff --git a/src/plugins/e-acsl/tests/language_constructs/ghost.i b/src/plugins/e-acsl/tests/constructs/ghost.i
similarity index 100%
rename from src/plugins/e-acsl/tests/language_constructs/ghost.i
rename to src/plugins/e-acsl/tests/constructs/ghost.i
diff --git a/src/plugins/e-acsl/tests/language_constructs/invariant.i b/src/plugins/e-acsl/tests/constructs/invariant.i
similarity index 100%
rename from src/plugins/e-acsl/tests/language_constructs/invariant.i
rename to src/plugins/e-acsl/tests/constructs/invariant.i
diff --git a/src/plugins/e-acsl/tests/language_constructs/labeled_stmt.i b/src/plugins/e-acsl/tests/constructs/labeled_stmt.i
similarity index 100%
rename from src/plugins/e-acsl/tests/language_constructs/labeled_stmt.i
rename to src/plugins/e-acsl/tests/constructs/labeled_stmt.i
diff --git a/src/plugins/e-acsl/tests/language_constructs/lazy.i b/src/plugins/e-acsl/tests/constructs/lazy.i
similarity index 100%
rename from src/plugins/e-acsl/tests/language_constructs/lazy.i
rename to src/plugins/e-acsl/tests/constructs/lazy.i
diff --git a/src/plugins/e-acsl/tests/language_constructs/loop.i b/src/plugins/e-acsl/tests/constructs/loop.i
similarity index 100%
rename from src/plugins/e-acsl/tests/language_constructs/loop.i
rename to src/plugins/e-acsl/tests/constructs/loop.i
diff --git a/src/plugins/e-acsl/tests/language_constructs/nested_code_annot.i b/src/plugins/e-acsl/tests/constructs/nested_code_annot.i
similarity index 100%
rename from src/plugins/e-acsl/tests/language_constructs/nested_code_annot.i
rename to src/plugins/e-acsl/tests/constructs/nested_code_annot.i
diff --git a/src/plugins/e-acsl/tests/language_constructs/oracle_ci/false.res.oracle b/src/plugins/e-acsl/tests/constructs/oracle_ci/false.res.oracle
similarity index 100%
rename from src/plugins/e-acsl/tests/language_constructs/oracle_ci/false.res.oracle
rename to src/plugins/e-acsl/tests/constructs/oracle_ci/false.res.oracle
diff --git a/src/plugins/e-acsl/tests/language_constructs/oracle_ci/function_contract.res.oracle b/src/plugins/e-acsl/tests/constructs/oracle_ci/function_contract.res.oracle
similarity index 100%
rename from src/plugins/e-acsl/tests/language_constructs/oracle_ci/function_contract.res.oracle
rename to src/plugins/e-acsl/tests/constructs/oracle_ci/function_contract.res.oracle
diff --git a/src/plugins/e-acsl/tests/language_constructs/oracle_ci/gen_false.c b/src/plugins/e-acsl/tests/constructs/oracle_ci/gen_false.c
similarity index 100%
rename from src/plugins/e-acsl/tests/language_constructs/oracle_ci/gen_false.c
rename to src/plugins/e-acsl/tests/constructs/oracle_ci/gen_false.c
diff --git a/src/plugins/e-acsl/tests/language_constructs/oracle_ci/gen_function_contract.c b/src/plugins/e-acsl/tests/constructs/oracle_ci/gen_function_contract.c
similarity index 100%
rename from src/plugins/e-acsl/tests/language_constructs/oracle_ci/gen_function_contract.c
rename to src/plugins/e-acsl/tests/constructs/oracle_ci/gen_function_contract.c
diff --git a/src/plugins/e-acsl/tests/language_constructs/oracle_ci/gen_ghost.c b/src/plugins/e-acsl/tests/constructs/oracle_ci/gen_ghost.c
similarity index 100%
rename from src/plugins/e-acsl/tests/language_constructs/oracle_ci/gen_ghost.c
rename to src/plugins/e-acsl/tests/constructs/oracle_ci/gen_ghost.c
diff --git a/src/plugins/e-acsl/tests/language_constructs/oracle_ci/gen_invariant.c b/src/plugins/e-acsl/tests/constructs/oracle_ci/gen_invariant.c
similarity index 100%
rename from src/plugins/e-acsl/tests/language_constructs/oracle_ci/gen_invariant.c
rename to src/plugins/e-acsl/tests/constructs/oracle_ci/gen_invariant.c
diff --git a/src/plugins/e-acsl/tests/language_constructs/oracle_ci/gen_labeled_stmt.c b/src/plugins/e-acsl/tests/constructs/oracle_ci/gen_labeled_stmt.c
similarity index 100%
rename from src/plugins/e-acsl/tests/language_constructs/oracle_ci/gen_labeled_stmt.c
rename to src/plugins/e-acsl/tests/constructs/oracle_ci/gen_labeled_stmt.c
diff --git a/src/plugins/e-acsl/tests/language_constructs/oracle_ci/gen_lazy.c b/src/plugins/e-acsl/tests/constructs/oracle_ci/gen_lazy.c
similarity index 100%
rename from src/plugins/e-acsl/tests/language_constructs/oracle_ci/gen_lazy.c
rename to src/plugins/e-acsl/tests/constructs/oracle_ci/gen_lazy.c
diff --git a/src/plugins/e-acsl/tests/language_constructs/oracle_ci/gen_loop.c b/src/plugins/e-acsl/tests/constructs/oracle_ci/gen_loop.c
similarity index 100%
rename from src/plugins/e-acsl/tests/language_constructs/oracle_ci/gen_loop.c
rename to src/plugins/e-acsl/tests/constructs/oracle_ci/gen_loop.c
diff --git a/src/plugins/e-acsl/tests/language_constructs/oracle_ci/gen_nested_code_annot.c b/src/plugins/e-acsl/tests/constructs/oracle_ci/gen_nested_code_annot.c
similarity index 100%
rename from src/plugins/e-acsl/tests/language_constructs/oracle_ci/gen_nested_code_annot.c
rename to src/plugins/e-acsl/tests/constructs/oracle_ci/gen_nested_code_annot.c
diff --git a/src/plugins/e-acsl/tests/language_constructs/oracle_ci/gen_result.c b/src/plugins/e-acsl/tests/constructs/oracle_ci/gen_result.c
similarity index 100%
rename from src/plugins/e-acsl/tests/language_constructs/oracle_ci/gen_result.c
rename to src/plugins/e-acsl/tests/constructs/oracle_ci/gen_result.c
diff --git a/src/plugins/e-acsl/tests/language_constructs/oracle_ci/gen_stmt_contract.c b/src/plugins/e-acsl/tests/constructs/oracle_ci/gen_stmt_contract.c
similarity index 100%
rename from src/plugins/e-acsl/tests/language_constructs/oracle_ci/gen_stmt_contract.c
rename to src/plugins/e-acsl/tests/constructs/oracle_ci/gen_stmt_contract.c
diff --git a/src/plugins/e-acsl/tests/language_constructs/oracle_ci/gen_true.c b/src/plugins/e-acsl/tests/constructs/oracle_ci/gen_true.c
similarity index 100%
rename from src/plugins/e-acsl/tests/language_constructs/oracle_ci/gen_true.c
rename to src/plugins/e-acsl/tests/constructs/oracle_ci/gen_true.c
diff --git a/src/plugins/e-acsl/tests/language_constructs/oracle_ci/gen_typedef.c b/src/plugins/e-acsl/tests/constructs/oracle_ci/gen_typedef.c
similarity index 100%
rename from src/plugins/e-acsl/tests/language_constructs/oracle_ci/gen_typedef.c
rename to src/plugins/e-acsl/tests/constructs/oracle_ci/gen_typedef.c
diff --git a/src/plugins/e-acsl/tests/language_constructs/oracle_ci/ghost.res.oracle b/src/plugins/e-acsl/tests/constructs/oracle_ci/ghost.res.oracle
similarity index 100%
rename from src/plugins/e-acsl/tests/language_constructs/oracle_ci/ghost.res.oracle
rename to src/plugins/e-acsl/tests/constructs/oracle_ci/ghost.res.oracle
diff --git a/src/plugins/e-acsl/tests/language_constructs/oracle_ci/invariant.res.oracle b/src/plugins/e-acsl/tests/constructs/oracle_ci/invariant.res.oracle
similarity index 100%
rename from src/plugins/e-acsl/tests/language_constructs/oracle_ci/invariant.res.oracle
rename to src/plugins/e-acsl/tests/constructs/oracle_ci/invariant.res.oracle
diff --git a/src/plugins/e-acsl/tests/language_constructs/oracle_ci/labeled_stmt.res.oracle b/src/plugins/e-acsl/tests/constructs/oracle_ci/labeled_stmt.res.oracle
similarity index 100%
rename from src/plugins/e-acsl/tests/language_constructs/oracle_ci/labeled_stmt.res.oracle
rename to src/plugins/e-acsl/tests/constructs/oracle_ci/labeled_stmt.res.oracle
diff --git a/src/plugins/e-acsl/tests/language_constructs/oracle_ci/lazy.res.oracle b/src/plugins/e-acsl/tests/constructs/oracle_ci/lazy.res.oracle
similarity index 100%
rename from src/plugins/e-acsl/tests/language_constructs/oracle_ci/lazy.res.oracle
rename to src/plugins/e-acsl/tests/constructs/oracle_ci/lazy.res.oracle
diff --git a/src/plugins/e-acsl/tests/language_constructs/oracle_ci/loop.res.oracle b/src/plugins/e-acsl/tests/constructs/oracle_ci/loop.res.oracle
similarity index 61%
rename from src/plugins/e-acsl/tests/language_constructs/oracle_ci/loop.res.oracle
rename to src/plugins/e-acsl/tests/constructs/oracle_ci/loop.res.oracle
index db7f9a77ff5..3ddc088c016 100644
--- a/src/plugins/e-acsl/tests/language_constructs/oracle_ci/loop.res.oracle
+++ b/src/plugins/e-acsl/tests/constructs/oracle_ci/loop.res.oracle
@@ -1,9 +1,9 @@
 [e-acsl] beginning translation.
 [e-acsl] translation done in project "e-acsl".
-[eva:alarm] tests/language_constructs/loop.i:19: Warning: 
+[eva:alarm] tests/constructs/loop.i:19: Warning: 
   loop invariant got status unknown.
-[eva:alarm] tests/language_constructs/loop.i:19: Warning: 
+[eva:alarm] tests/constructs/loop.i:19: Warning: 
   function __e_acsl_assert: precondition got status invalid.
-[eva:alarm] tests/language_constructs/loop.i:19: Warning: 
+[eva:alarm] tests/constructs/loop.i:19: Warning: 
   accessing uninitialized left-value.
   assert \initialized(&t[__gen_e_acsl_k_2][__gen_e_acsl_l_2]);
diff --git a/src/plugins/e-acsl/tests/language_constructs/oracle_ci/nested_code_annot.res.oracle b/src/plugins/e-acsl/tests/constructs/oracle_ci/nested_code_annot.res.oracle
similarity index 100%
rename from src/plugins/e-acsl/tests/language_constructs/oracle_ci/nested_code_annot.res.oracle
rename to src/plugins/e-acsl/tests/constructs/oracle_ci/nested_code_annot.res.oracle
diff --git a/src/plugins/e-acsl/tests/language_constructs/oracle_ci/result.res.oracle b/src/plugins/e-acsl/tests/constructs/oracle_ci/result.res.oracle
similarity index 100%
rename from src/plugins/e-acsl/tests/language_constructs/oracle_ci/result.res.oracle
rename to src/plugins/e-acsl/tests/constructs/oracle_ci/result.res.oracle
diff --git a/src/plugins/e-acsl/tests/language_constructs/oracle_ci/stmt_contract.res.oracle b/src/plugins/e-acsl/tests/constructs/oracle_ci/stmt_contract.res.oracle
similarity index 100%
rename from src/plugins/e-acsl/tests/language_constructs/oracle_ci/stmt_contract.res.oracle
rename to src/plugins/e-acsl/tests/constructs/oracle_ci/stmt_contract.res.oracle
diff --git a/src/plugins/e-acsl/tests/language_constructs/oracle_ci/true.res.oracle b/src/plugins/e-acsl/tests/constructs/oracle_ci/true.res.oracle
similarity index 100%
rename from src/plugins/e-acsl/tests/language_constructs/oracle_ci/true.res.oracle
rename to src/plugins/e-acsl/tests/constructs/oracle_ci/true.res.oracle
diff --git a/src/plugins/e-acsl/tests/language_constructs/oracle_ci/typedef.res.oracle b/src/plugins/e-acsl/tests/constructs/oracle_ci/typedef.res.oracle
similarity index 100%
rename from src/plugins/e-acsl/tests/language_constructs/oracle_ci/typedef.res.oracle
rename to src/plugins/e-acsl/tests/constructs/oracle_ci/typedef.res.oracle
diff --git a/src/plugins/e-acsl/tests/language_constructs/oracle_dev/false.res.oracle b/src/plugins/e-acsl/tests/constructs/oracle_dev/false.res.oracle
similarity index 100%
rename from src/plugins/e-acsl/tests/language_constructs/oracle_dev/false.res.oracle
rename to src/plugins/e-acsl/tests/constructs/oracle_dev/false.res.oracle
diff --git a/src/plugins/e-acsl/tests/language_constructs/oracle_dev/function_contract.res.oracle b/src/plugins/e-acsl/tests/constructs/oracle_dev/function_contract.res.oracle
similarity index 100%
rename from src/plugins/e-acsl/tests/language_constructs/oracle_dev/function_contract.res.oracle
rename to src/plugins/e-acsl/tests/constructs/oracle_dev/function_contract.res.oracle
diff --git a/src/plugins/e-acsl/tests/language_constructs/oracle_dev/ghost.res.oracle b/src/plugins/e-acsl/tests/constructs/oracle_dev/ghost.res.oracle
similarity index 100%
rename from src/plugins/e-acsl/tests/language_constructs/oracle_dev/ghost.res.oracle
rename to src/plugins/e-acsl/tests/constructs/oracle_dev/ghost.res.oracle
diff --git a/src/plugins/e-acsl/tests/language_constructs/oracle_dev/invariant.res.oracle b/src/plugins/e-acsl/tests/constructs/oracle_dev/invariant.res.oracle
similarity index 100%
rename from src/plugins/e-acsl/tests/language_constructs/oracle_dev/invariant.res.oracle
rename to src/plugins/e-acsl/tests/constructs/oracle_dev/invariant.res.oracle
diff --git a/src/plugins/e-acsl/tests/language_constructs/oracle_dev/labeled_stmt.res.oracle b/src/plugins/e-acsl/tests/constructs/oracle_dev/labeled_stmt.res.oracle
similarity index 100%
rename from src/plugins/e-acsl/tests/language_constructs/oracle_dev/labeled_stmt.res.oracle
rename to src/plugins/e-acsl/tests/constructs/oracle_dev/labeled_stmt.res.oracle
diff --git a/src/plugins/e-acsl/tests/language_constructs/oracle_dev/lazy.res.oracle b/src/plugins/e-acsl/tests/constructs/oracle_dev/lazy.res.oracle
similarity index 100%
rename from src/plugins/e-acsl/tests/language_constructs/oracle_dev/lazy.res.oracle
rename to src/plugins/e-acsl/tests/constructs/oracle_dev/lazy.res.oracle
diff --git a/src/plugins/e-acsl/tests/language_constructs/oracle_dev/loop.res.oracle b/src/plugins/e-acsl/tests/constructs/oracle_dev/loop.res.oracle
similarity index 100%
rename from src/plugins/e-acsl/tests/language_constructs/oracle_dev/loop.res.oracle
rename to src/plugins/e-acsl/tests/constructs/oracle_dev/loop.res.oracle
diff --git a/src/plugins/e-acsl/tests/language_constructs/oracle_dev/nested_code_annot.res.oracle b/src/plugins/e-acsl/tests/constructs/oracle_dev/nested_code_annot.res.oracle
similarity index 100%
rename from src/plugins/e-acsl/tests/language_constructs/oracle_dev/nested_code_annot.res.oracle
rename to src/plugins/e-acsl/tests/constructs/oracle_dev/nested_code_annot.res.oracle
diff --git a/src/plugins/e-acsl/tests/language_constructs/oracle_dev/result.res.oracle b/src/plugins/e-acsl/tests/constructs/oracle_dev/result.res.oracle
similarity index 100%
rename from src/plugins/e-acsl/tests/language_constructs/oracle_dev/result.res.oracle
rename to src/plugins/e-acsl/tests/constructs/oracle_dev/result.res.oracle
diff --git a/src/plugins/e-acsl/tests/language_constructs/oracle_dev/stmt_contract.res.oracle b/src/plugins/e-acsl/tests/constructs/oracle_dev/stmt_contract.res.oracle
similarity index 100%
rename from src/plugins/e-acsl/tests/language_constructs/oracle_dev/stmt_contract.res.oracle
rename to src/plugins/e-acsl/tests/constructs/oracle_dev/stmt_contract.res.oracle
diff --git a/src/plugins/e-acsl/tests/language_constructs/oracle_dev/true.res.oracle b/src/plugins/e-acsl/tests/constructs/oracle_dev/true.res.oracle
similarity index 100%
rename from src/plugins/e-acsl/tests/language_constructs/oracle_dev/true.res.oracle
rename to src/plugins/e-acsl/tests/constructs/oracle_dev/true.res.oracle
diff --git a/src/plugins/e-acsl/tests/language_constructs/oracle_dev/typedef.res.oracle b/src/plugins/e-acsl/tests/constructs/oracle_dev/typedef.res.oracle
similarity index 100%
rename from src/plugins/e-acsl/tests/language_constructs/oracle_dev/typedef.res.oracle
rename to src/plugins/e-acsl/tests/constructs/oracle_dev/typedef.res.oracle
diff --git a/src/plugins/e-acsl/tests/language_constructs/result.i b/src/plugins/e-acsl/tests/constructs/result.i
similarity index 100%
rename from src/plugins/e-acsl/tests/language_constructs/result.i
rename to src/plugins/e-acsl/tests/constructs/result.i
diff --git a/src/plugins/e-acsl/tests/language_constructs/stmt_contract.i b/src/plugins/e-acsl/tests/constructs/stmt_contract.i
similarity index 100%
rename from src/plugins/e-acsl/tests/language_constructs/stmt_contract.i
rename to src/plugins/e-acsl/tests/constructs/stmt_contract.i
diff --git a/src/plugins/e-acsl/tests/language_constructs/true.i b/src/plugins/e-acsl/tests/constructs/true.i
similarity index 100%
rename from src/plugins/e-acsl/tests/language_constructs/true.i
rename to src/plugins/e-acsl/tests/constructs/true.i
diff --git a/src/plugins/e-acsl/tests/language_constructs/typedef.i b/src/plugins/e-acsl/tests/constructs/typedef.i
similarity index 100%
rename from src/plugins/e-acsl/tests/language_constructs/typedef.i
rename to src/plugins/e-acsl/tests/constructs/typedef.i
-- 
GitLab