In sat: 'x' in init attr should not override constant

[yosys.git] / tests / sat / initval.ys

read_verilog -sv initval.v
proc;

sat -seq 10 -prove-asserts