. ../../testutils.sh

idris2 --cg refc -o testGC TestGarbageCollect.idr > /dev/null

./build/exec/testGC
