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

check Dep.idr
