#!/bin/sh

HERE=$(dirname "$0")

if [ $# -lt 1 ]; then
  FILES="$HERE/"*.fut
else
  FILES=$*
fi

futhark-test --only-interpret --interpreter="$HERE/flattening-pipeline" $FILES
