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

check Y.idr
