From 81697652a28e898183b310b6b2a4408a2f625cd6 Mon Sep 17 00:00:00 2001 From: tkuehn <thomas.kuehn3@tu-dresden.de> Date: Fri, 19 Jul 2019 15:44:01 +0200 Subject: [PATCH] added missing heading in result output GenAnaTime --- benchmark/benchmark.sh | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/benchmark/benchmark.sh b/benchmark/benchmark.sh index 36331f3..2c5e257 100755 --- a/benchmark/benchmark.sh +++ b/benchmark/benchmark.sh @@ -5,7 +5,7 @@ JAVA="java -Xmx32g" TEST_DIR=../testprograms/qualitas/ if [ ! -f "results.csv" ] ; then - echo "Domain,Analysis,Internal,JavaFiles,Nodes,SCCs,FullTime,ParseTime,GenerationTime,AnalysisTime,Run,Scenario,TimeTime,Exit" > "results.csv" + echo "Domain,Analysis,Internal,JavaFiles,Nodes,SCCs,FullTime,ParseTime,GenerationTime,AnalysisTime,GenAnaTime,Run,Scenario,TimeTime,Exit" > "results.csv" fi for i in {0..10} ; do -- GitLab