slang
slang copied to clipboard
Defaultless parameter test case
If the top level has a defaultless parameter, port/param names of submodules are not checked. If the parameter bar is given a default, this test passes and it correctly gives the diagnostics.