Nothing is written now, I guess the panic exits before the write-to-disk code is reach

Sure, assigning <a class="user-mention notranslate" data-hovercard-type="user" data-ho

Feature Request: Write solution to disk if `--panic-on-bug` is enabled about ityfuzz HOT 4 OPEN

fuzzland commented on June 30, 2024

Feature Request: Write solution to disk if `--panic-on-bug` is enabled

from ityfuzz.

shouc commented on June 30, 2024

You can remove this flag. The testcase will then be written, unless the rest of execution reverts.

from ityfuzz.

rappie commented on June 30, 2024

I'd like ityfuzz to stop when a bug is found so I can take a look. But I'd also like a log of the solutions.

Currently I copy/paste the solution output to a file for later reference but it would be nice if this happens automatically.

from ityfuzz.

shouc commented on June 30, 2024

Sure, assigning @stanfordreject

from ityfuzz.

rappie commented on June 30, 2024

I might have had wrong assumtions about how the system works. I tried removing --panic-on-bug and it still stops when an oracle finds something.

My expectation was that it would keep looking and write all solutions to disk.

Also, even if an oracle finds something with --panic-on-bug removed there is still nothing written to the solutions dir.

from ityfuzz.