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

check Test.idr
check Test1.idr
check Test2.idr
check Test3.idr
check Test4.idr
