The negation operation on an empty string results in an exception. about yosys HOT 6 CLOSED

Out of curiosity, are you running a fuzzer on Yosys?

from yosys.

This is almost certainly #4395 again. Please stop making new issues for the same problem.

from yosys.

Out of curiosity, are you running a fuzzer on Yosys?

You're right, I've indeed been doing some fuzzing work recently.

from yosys.

This is almost certainly #4395 again. Please stop making new issues for the same problem.

I apologize for wasting your time. I initially thought these were two different questions. Once again, I'm sorry about that.

from yosys.

@WeneneW Are you writing a paper?

from yosys.

@WeneneW Are you writing a paper?

We are working on a fuzz testing tool to enhance the stability of comprehensive tool. During its operation, the fuzz testing tool will identify potential defects, helping to improve the overall quality of the comprehensive tool.

from yosys.