diff --git a/benchmark/benchmark.sh b/benchmark/benchmark.sh index 36331f3bda3ccf85664588385afaabbf39b652a2..2c5e257aee087d66679f98bb4915411ac0487dd4 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