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

check SearchZero.idr
