. ../../testutils.sh

check All.idr
