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

idris2 2>&1 Cycle1.idr
idris2 2>&1 Loop.idr
