Skip to content
Snippets Groups Projects
Commit 943cda17 authored by David Bühler's avatar David Bühler
Browse files

Merge branch 'fix/test/sed-macos' into 'master'

[tests] use basic regex for filtering

See merge request frama-c/frama-c!4898
parents d8673e25 ac4d5b48
No related branches found
No related tags found
No related merge requests found
/* run.config* /* 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" 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 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
*/ */
......
0% Loading or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment