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

# expect a coverage error
check Issue3477.idr
