. ../../testutils.sh

check DLFail.idr
check All.idr
