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

check case.idr
