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

check test.idr
