3 ms·

"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 tha

"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.

kzrdude 12y ago
For example http://embed.cs.utah.edu/creduce/ http://embed.cs.utah.edu/creduce/ ; the slides from a presentation in 2012 are interesting: http://embed.cs.utah.edu/creduce/pldi12_talk.pdf http://embed.cs.utah.edu/creduce/pldi12_talk.pdf
- wfunction 12y ago
  Thank you!
- jpgvm 12y ago
  This is awesome, thanks mate!
  - gwern 12y ago
    If you find this topic interesting, look up everything written by http://blog.regehr.org/ http://blog.regehr.org/
a3_nm 12y ago
https://gcc.gnu.org/wiki/A_guide_to_testcase_reduction https://gcc.gnu.org/wiki/A_guide_to_testcase_reduction
- wfunction 12y ago
  Thank you!
dochtman 12y ago
The LLVM project recommends delta: http://delta.tigris.org/ http://delta.tigris.org/
CyberShadow 12y ago
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 https://github.com/CyberShadow/DustMite/wiki