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

check recupdate.idr
