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

check Issue1828.idr
check Issue1828.idr --total --log totality.requirement:20

check Issue1828.idr
check Issue1828.idr --log totality.requirement:20

check TotallyTotal.idr
check TotallyTotal.idr --log totality.requirement:20
check TotallyTotal.idr --total --log totality.requirement:20
