. ../../testutils.sh

cd "folder with spaces" || exit

run Main.idr
