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

check param.idr
check parambad.idr
