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

check EH.idr -p contrib
