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

check QuoteSearch.idr
