Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Failed assertion when creating an incorrect table #1175

Open
luizademelo opened this issue Oct 1, 2024 · 0 comments
Open

Failed assertion when creating an incorrect table #1175

luizademelo opened this issue Oct 1, 2024 · 0 comments
Labels
Enhancement fuzzing Automatic tool generated code that is not expected to always be valid

Comments

@luizademelo
Copy link

When running iverilog on the following program:

primitive id_0(output id_2, input id_1);
  table
    ? 1 ? 0 0 0 : 0;
  endtable
endprimitive 

Icarus Verilog outputs the following message:

ivl: pform.cc:1822: void process_udp_table(PUdp*, std::__cxx11::list<std::__cxx11::basic_string<char> >*, const vlltype&): Assertion `tmp.find(':') == (udp->ports.size() - 1)' failed.
Aborted

I'm using this Icarus Verilog version:
Icarus Verilog version 13.0 (devel) (s20221226-526-g5cbdff202)

@caryr caryr added the fuzzing Automatic tool generated code that is not expected to always be valid label Nov 10, 2024
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
Enhancement fuzzing Automatic tool generated code that is not expected to always be valid
Projects
None yet
Development

No branches or pull requests

2 participants