diff --git a/tests/formal_witness_replay/stage_2_init.ys b/tests/formal_witness_replay/stage_2_init.ys
index 7e28612b7..1d8f3c319 100644
--- a/tests/formal_witness_replay/stage_2_init.ys
+++ b/tests/formal_witness_replay/stage_2_init.ys
@@ -1,4 +1,4 @@
 read_rtlil stage_1_init.il
 prep -top dut
-sim -w -a -scope dut -r stage_1/engine_0/trace0.yw
+sim -noinitstate -w -a -scope dut -r stage_1/engine_0/trace0.yw
 write_rtlil stage_2_init.il