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

check Tricho.idr
