lama_byterun/byterun/regression_check.sh

#!/usr/bin/env bash

xmake build
cp "build/linux/x86_64/release/byterun" byterun.exe

# dune build > /dev/null

prefix="../regression/"
suffix=".lama"

compiler=../_build/default/src/Driver.exe

echo "Used compiler path:"
echo $compiler

for test in ../regression/*.lama; do 
  echo $test
  $compiler -b  $test > /dev/null
  test_path="${test%.*}"
  test_file="${test_path##*/}"
  echo $test_path: $test_file
  # cat $test_path.input | ./byterun.exe -p $test_file.bc > test.bc.code
  # cat $test_path.input | ./byterun.exe -p $test_file.bc
  # cat $test_path.input | ./byterun.exe -vi $test_file.bc
  cat $test_path.input | ./byterun.exe -vi $test_file.bc > test.log
  sed '1d;s/^..//' $test_path.t > test_orig.log
  diff test.log test_orig.log

  rm $test_file.bc
  rm test.log test_orig.log
  echo "done"
done

rm *.o