Principled Testing
jafioti opened this issue · comments
Currently tests are hand written and have bad coverage. We want to generate tests that can cover the entire codebase with many permutations. Should probably be done in a macro?
This has been started with initial macros in luminal_metal/tests/mod.rs
I am not sure if this will help, but usually Symbolic execution is used to generate these inputs that drive the application/program towards coverage of all execution paths, maybe worth looking at Kani. (I am interested in this one too, I will look at it when I have time and definitely post back here when I find something useful).