. ../../testutils.sh

check fixity.idr
