From f64a5a225eb63b24bcfc18fdb126f21da4b3b632 Mon Sep 17 00:00:00 2001
From: Valentin Perrelle <valentin.perrelle@cea.fr>
Date: Thu, 17 Jan 2019 18:10:50 +0100
Subject: [PATCH] [analysis-scripts] improve the ability to benchmark eva runs
---
share/analysis-scripts/frama-c.mk | 3 ++-
1 file changed, 2 insertions(+), 1 deletion(-)
diff --git a/share/analysis-scripts/frama-c.mk b/share/analysis-scripts/frama-c.mk
index cd3ae313ebb..cc61d6a3fcd 100644
--- a/share/analysis-scripts/frama-c.mk
+++ b/share/analysis-scripts/frama-c.mk
@@ -205,7 +205,8 @@ SHELL := /bin/bash
printf 'timestamp=%q\n' "$(HR_TIMESTAMP)";
printf 'warnings=%s\n' "`cat $@/warnings.log | grep ':\[\(eva\|kernel\|from\)\]' | wc -l`";
printf 'alarms=%s\n' "`expr $$(cat $@/alarms.csv | wc -l) - 1`";
- printf 'cmd_args=%q\n' "$(subst ",\",$(wordlist 2,999,$(EVA)))"
+ printf 'cmd_args=%q\n' "$(subst ",\",$(wordlist 2,999,$(EVA)))";
+ printf 'benchmark_tag=%s' "$(BENCHMARK)"
} >> $@/stats.txt
if [ ! -z $${FLAMEGRAPH+x} ]; then
NOGUI=1 $(FRAMAC_SCRIPT) flamegraph $@/flamegraph.txt $@/
--
GitLab