gfuzzer is a fully automated test generation, execution, and evaluation tool developed for compiler testing of reasoning engines. GGF : Generator-Grammar-File. RGF : Recognizer-Grammar-File. RUT : ...