search

davidlattimore / wild

Apache License 2.0
624 stars 15 forks source link

Non-issue: Debug fuel is an ingenious technique #171

Closed daniel-levin closed 1 month ago

daniel-levin commented 1 month ago

Hi there! I just wanted to say how much I appreciate the cleverness and simplicity of the debug fuel technique. Turning a program into a parametric family of programs and then using binary search to find the first one of interest is is ingenious.

davidlattimore commented 1 month ago

It is great isn't it. I can't claim any credit for it though. Rustc has optimization fuel. Not sure if they were inspired in turn by something else.