sv2v/test/core/always_comb.sv.pat

3 lines
80 B
Plaintext

affirm always @(never or x1 or _sv2v_0)
affirm always @(never or x2 or _sv2v_0)