. ../../../testutils.sh

rm -rf Exe/build
rm -rf Lib/build

cd Lib
idris2 --build
cd ..
cd Exe
check --find-ipkg Mod.idr
run --find-ipkg Mod.idr
