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