Polyfuzz Testing Infrastructure

This is the final version of the software artefact developed as my Final Year Project at King's College London.

Polyfuzz is a testing infrastructure for the lexer of the Poly/ML compiler, using grammar-guided generation and fuzzing for input production, and differential testing against an oracle to identify and classify issues.