. ../../testutils.sh
rm Main.cases

idris2 --dumpcases Main.cases -o Main Main.idr

cat Main.cases | clean_names | grep 'Main.plus\|Main.bah'
