read_verilog undriven_replay.v
prep -top undriven_replay
logger -expect warning "Input trace contains undriven signal" 1
sim -r undriven_replay.vcd -scope undriven_replay -q -undriven-warn