tests/run.sh
#!/bin/bash source ../util.sh BENCHMARKS=$(find "$FUZION_HOME"/tests/ -name '*.fz') for benchmark in $BENCHMARKS; do BASENAME=$(echo "$benchmark" | sed -r "s|$FUZION_HOME/tests/||g" | sed -r 's|/|:|g') (record_benchmark "$benchmark" "$BASENAME.log.txt" "" || true) done