Topi-ab

cover fails in output port

7

**Description** The same cover between signal and port behave differently. Test file with out port "a" and signal "b". Both have identical cover. Using image: hdlc/formal:all SBY 13:37:55 [test_cover] summary:...

**Describe the bug** Lines https://github.com/actions/runner/blob/ca2b1bc6d5eb87339966571a8ad453adcdca4cf2/src/Misc/layoutbin/installdependencies.sh#L69-L72 do not print out the actual error. The "$?" variable gets cleared with if -command. FIX: Store the error code to a temporary variable before...

PSL: support stable

6

**Description** Bug in GHDL 6.0.0, which wasn't there on 4.x **Expected behaviour** Not crashing **How to reproduce?** ```vhd :file: ghdl_bug_2025_03_05.vhdl library ieee; use ieee.std_logic_1164.all; entity ghdl_bug_2025_03_05 is port( clk_in: in...