search

intel / rohd

The Rapid Open Hardware Development (ROHD) framework is a framework for describing and verifying hardware in the Dart programming language.
https://intel.github.io/rohd-website
BSD 3-Clause "New" or "Revised" License
374 stars 67 forks source link

Buggy Assertion that tends to check for submodule contained in a module #488

Open sshankar4 opened 4 months ago

sshankar4 commented 4 months ago

Describe the bug

The assertion is: if (receiver.parentModule != module && !module.subModules.contains(receiver.parentModule)) { // This should never happen! assert(false, 'Receiver is not in this module or a submodule.'); continue; } This fails for modules that are optimized out and receiver that is also optimized out.

image

To Reproduce

Use a bunch of subset connections in the hierarchy

Expected behavior

No response

Actual behavior

No response

Additional: Dart SDK info

Dart SDK version: 3.3.3 (stable) (None) on "linux_x64"

Additional: pubspec.yaml

No response

Additional: Context

No response