There are no reviews yet. Be the first to send feedback to the community and the maintainers!
Repository Details
This project is a part of our Master Studies' course of Software Verification. The main idea is to explore, experiment and try to develop a methodology of discovering and removing redundant test examples in big open source project such as llc tool for LLVM. This project is done in collaboration with Mirko Brkusanin and Milos Samardzija who also attend the course during summer semester of 2018th.
