Hacker Newsnew | past | comments | ask | show | jobs | submitlogin

"Here's a small (auto-)reduced testcase for this specific issue"

Do you happen to know how that is done? How is a test case "auto"-reduced? I've never done that before.



For example http://embed.cs.utah.edu/creduce/ ; the slides from a presentation in 2012 are interesting: http://embed.cs.utah.edu/creduce/pldi12_talk.pdf


This is awesome, thanks mate!


If you find this topic interesting, look up everything written by http://blog.regehr.org/


Thank you!


https://gcc.gnu.org/wiki/A_guide_to_testcase_reduction


For D we use DustMite (disclaimer: I'm the author). It also works to some extent with C/C++ (thanks to the languages' syntax being similar enough).

https://github.com/CyberShadow/DustMite/wiki


The LLVM project recommends delta:

http://delta.tigris.org/




Guidelines | FAQ | Lists | API | Security | Legal | Apply to YC | Contact

Search: