CCBench Tiger tests This was produced using CCBench using the command: JAVA_OPTS="-Xms512M -Xmx8G -Xss16M" ccbench.tiger build Tiger -p project/ -o cases/ Due to Spoofax limitations, this needs a big stack.