From ac4d5b48ee4b77bedd1d50eb56a990c1e7c0bbd7 Mon Sep 17 00:00:00 2001
From: Virgile Prevosto <virgile.prevosto@cea.fr>
Date: Fri, 24 Jan 2025 08:38:28 +0100
Subject: [PATCH] [tests] use basic regex for filtering
---
tests/value/show_perf.i | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/tests/value/show_perf.i b/tests/value/show_perf.i
index f37e9d7b80..d2fd0f059e 100644
--- a/tests/value/show_perf.i
+++ b/tests/value/show_perf.i
@@ -1,5 +1,5 @@
/* run.config*
- FILTER: sed -e 's/\([0-9.]\+\(%\|s\)\)/?\2/g'
+ FILTER: sed -e 's/[0-9.]\{1,\}\([%s]\)/?\1/g'
STDOPT: +"-eva-show-perf"
EXECNOW: BIN flamegraph.txt BIN flamegraph.err { PTESTS_TESTING=1 %{bin:frama-c} @PTEST_FILE@ -eva -eva-flamegraph flamegraph.txt && NOGUI=1 %{bin:frama-c-script} flamegraph flamegraph.txt; } 1> /dev/null 2> flamegraph.err
*/
--
GitLab