From 51b946ec1ec3f6463484cde9eb27986fb2bc566d Mon Sep 17 00:00:00 2001
From: Julien Signoles <julien.signoles@cea.fr>
Date: Tue, 8 Mar 2022 10:17:56 +0100
Subject: [PATCH] [e-acsl:tests] remove the FILTER macro

---
 src/plugins/e-acsl/tests/test_config.in | 5 -----
 1 file changed, 5 deletions(-)

diff --git a/src/plugins/e-acsl/tests/test_config.in b/src/plugins/e-acsl/tests/test_config.in
index 9ea7fff16b9..32bdb4f86a1 100644
--- a/src/plugins/e-acsl/tests/test_config.in
+++ b/src/plugins/e-acsl/tests/test_config.in
@@ -12,11 +12,6 @@ PLUGIN: E_ACSL eva,scope,variadic rtegen
 LIBS: @PTEST_SUITE_DIR@/../E_ACSL_test
 LOG: gen_@PTEST_NAME@.c
 
-COMMENT: This regex works around the tendency of Frama-C to transform
-COMMENT: absolute path into relative ones whenever the file is not too far
-COMMENT: away from cwd.
-FILTER:@SEDCMD@ -e "s|[a-zA-Z/\\]\+frama_c_project_e-acsl_[a-z0-9]*|PROJECT_FILE|" -e "s|$FRAMAC_SHARE|FRAMAC_SHARE|g" -e "s|../../share|FRAMAC_SHARE|g" -e "s|@PTEST_SHARE_DIR@/e-acsl|FRAMAC_SHARE/e-acsl|g" -e "s|share/e-acsl|FRAMAC_SHARE/e-acsl|g"
-
 COMMENT: The dependency to the plugin share directory has not to be explicited
 DEPS:
 
-- 
GitLab