Fuzzer: Hang on inifinite define expansion #1574
Closed
Labels
Comments
Original Redmine Comment Good & relevant one. It's basically this
There's already two checks for recursive substitution, but these miss this because it's creating (infinite) output.
|
Original Redmine Comment I'm glad this one was useful. I don't have a great procedure for figuring out what a minimal testcase looks like for hangs - hence this example being a little longer than what I normally aim for. |
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
Author Name: Eric Rippey
Original Redmine Issue: 1574 from https://www.veripool.org
Original Assignee: Wilson Snyder (@wsnyder)
Running the attached testcase with:
verilator_bin --lint-only 2.sv
On version:
Verilator 4.020 devel rev v4.020-40-gbaa6a2c
Produces no output, nor does it terminate in a reasonable amount of time.
The text was updated successfully, but these errors were encountered: