search

hephaestus-compiler-project / hephaestus

A framework for testing compilers' type checkers
https://hephaestus-compiler-project.github.io/
GNU General Public License v3.0
49 stars 10 forks source link

Add a dataset of test cases to be used as seed programs #3

Open StefanosChaliasos opened 3 years ago

StefanosChaliasos commented 3 years ago

Find tests from the kotlin repository for old bugs. Convert them to our AST and add an option to use them as seeds instead of generating new programs.