11.3.2021, 9:00 - 11:00: Due to updates GitLab may be unavailable for some minutes between 09:00 and 11:00.

Commit dcd33cf2 authored by Philipp Meyer's avatar Philipp Meyer

Removed timing log from run-benchmarks

parent 741b9328
......@@ -9,7 +9,6 @@ for benchmark in ${benchmarks[@]}; do
>$benchmark_dir/dontknow-slapnet.list
>$benchmark_dir/timeout-slapnet.list
>$benchmark_dir/error-slapnet.list
>$benchmark_dir/timing-slapnet.log
for pnet_file in `find $benchmark_dir -name "*.pnet"`; do
T="$(date +%s%N)"
(
......
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment