Testing Rewriting Rules using @Rewrite
Thesis project done at the laboratory LAMP (EPFL). This project is a framework to generate randomised test for optimising code substitution written for Dotty.Linker.
This framework use scala.meta and ScalaCheck.