[tests] rename language_constructs to constructs

de13faaf · Julien Signoles · cfe6a1e8 · de13faaf · de13faaf · de13faaf
Commit de13faaf authored 5 years ago by Julien Signoles
--- 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 \

--- a/src/plugins/e-acsl/tests/language_constructs/false.i
+++ b/src/plugins/e-acsl/tests/language_constructs/false.i
--- a/src/plugins/e-acsl/tests/language_constructs/function_contract.i
+++ b/src/plugins/e-acsl/tests/language_constructs/function_contract.i
--- a/src/plugins/e-acsl/tests/language_constructs/ghost.i
+++ b/src/plugins/e-acsl/tests/language_constructs/ghost.i
--- a/src/plugins/e-acsl/tests/language_constructs/invariant.i
+++ b/src/plugins/e-acsl/tests/language_constructs/invariant.i
--- a/src/plugins/e-acsl/tests/language_constructs/labeled_stmt.i
+++ b/src/plugins/e-acsl/tests/language_constructs/labeled_stmt.i
--- a/src/plugins/e-acsl/tests/language_constructs/lazy.i
+++ b/src/plugins/e-acsl/tests/language_constructs/lazy.i
--- a/src/plugins/e-acsl/tests/language_constructs/loop.i
+++ b/src/plugins/e-acsl/tests/language_constructs/loop.i
--- a/src/plugins/e-acsl/tests/language_constructs/nested_code_annot.i
+++ b/src/plugins/e-acsl/tests/language_constructs/nested_code_annot.i
--- a/src/plugins/e-acsl/tests/language_constructs/oracle_ci/false.res.oracle
+++ b/src/plugins/e-acsl/tests/language_constructs/oracle_ci/false.res.oracle
--- a/src/plugins/e-acsl/tests/language_constructs/oracle_ci/function_contract.res.oracle
+++ b/src/plugins/e-acsl/tests/language_constructs/oracle_ci/function_contract.res.oracle
--- a/src/plugins/e-acsl/tests/language_constructs/oracle_ci/gen_false.c
+++ b/src/plugins/e-acsl/tests/language_constructs/oracle_ci/gen_false.c
--- a/src/plugins/e-acsl/tests/language_constructs/oracle_ci/gen_function_contract.c
+++ b/src/plugins/e-acsl/tests/language_constructs/oracle_ci/gen_function_contract.c
--- a/src/plugins/e-acsl/tests/language_constructs/oracle_ci/gen_ghost.c
+++ b/src/plugins/e-acsl/tests/language_constructs/oracle_ci/gen_ghost.c
--- a/src/plugins/e-acsl/tests/language_constructs/oracle_ci/gen_invariant.c
+++ b/src/plugins/e-acsl/tests/language_constructs/oracle_ci/gen_invariant.c
--- a/src/plugins/e-acsl/tests/language_constructs/oracle_ci/gen_labeled_stmt.c
+++ b/src/plugins/e-acsl/tests/language_constructs/oracle_ci/gen_labeled_stmt.c
--- a/src/plugins/e-acsl/tests/language_constructs/oracle_ci/gen_lazy.c
+++ b/src/plugins/e-acsl/tests/language_constructs/oracle_ci/gen_lazy.c
--- a/src/plugins/e-acsl/tests/language_constructs/oracle_ci/gen_loop.c
+++ b/src/plugins/e-acsl/tests/language_constructs/oracle_ci/gen_loop.c
--- a/src/plugins/e-acsl/tests/language_constructs/oracle_ci/gen_nested_code_annot.c
+++ b/src/plugins/e-acsl/tests/language_constructs/oracle_ci/gen_nested_code_annot.c
--- a/src/plugins/e-acsl/tests/language_constructs/oracle_ci/gen_result.c
+++ b/src/plugins/e-acsl/tests/language_constructs/oracle_ci/gen_result.c