. ../../testutils.sh

check TestException.idr
