diff options
| author | Gunnar Morling <gunnar.morling@googlemail.com> | 2024-02-01 10:45:19 +0100 |
|---|---|---|
| committer | Gunnar Morling <gunnar.morling@googlemail.com> | 2024-02-01 10:45:37 +0100 |
| commit | 4debc7c5dd1b00f0dbc1822425cda727b250cad8 (patch) | |
| tree | 5d9c1954c57c635d9ec2e9eee93ba62f0dce6237 | |
| parent | 7dcf7071ee435bcf5b9321ff7fdaa4f92f0ff681 (diff) | |
10 runs for evaluating top entries
| -rwxr-xr-x | evaluate.sh | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/evaluate.sh b/evaluate.sh index c0be8b5..5f89b6c 100755 --- a/evaluate.sh +++ b/evaluate.sh @@ -34,7 +34,7 @@ BOLD_YELLOW='\033[1;33m' RESET='\033[0m' # No Color MEASUREMENTS_FILE="measurements_1B.txt" -RUNS=5 +RUNS=10 DEFAULT_JAVA_VERSION="21.0.1-open" : "${BUILD_JAVA_VERSION:=21.0.1-open}" RUN_TIME_LIMIT=300 # seconds |