diff --git a/analysis/generate_paper.sh b/analysis/generate_paper.sh index dcfb5c8..737bc79 100755 --- a/analysis/generate_paper.sh +++ b/analysis/generate_paper.sh @@ -48,6 +48,7 @@ main() { # Untangling performance # python src/python/main/analysis/print_performance.py --d4j "$D4J_SCORE_FILE" --lltc4j "$LLTC4J_SCORE_FILE" --aggregator 'mean' > "${PAPER_REPOSITORY}/tables/tool-performance.tex" 2> "${PAPER_REPOSITORY}/lib/tool-performance.tex" + python src/python/main/analysis/print_performance.py --d4j "$D4J_SCORE_FILE" --lltc4j "$LLTC4J_SCORE_FILE" --aggregator 'median' > /dev/null 2>> "${PAPER_REPOSITORY}/lib/tool-performance.tex" # # Untangling statistics