Principled Testing
jafioti opened this issue · 2 comments
jafioti commented
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?
jafioti commented
This has been started with initial macros in luminal_metal/tests/mod.rs
mohdsm81 commented
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).