. ../../testutils.sh

run --cg chez ReadDir.idr
run --cg node ReadDir.idr
