From 99035360a444863d712237a7d6a16f3ee55360f1 Mon Sep 17 00:00:00 2001 From: Gus Smith Date: Tue, 2 Dec 2025 13:08:53 -0800 Subject: [PATCH] Add -noinitstate --- tests/formal_witness_replay/stage_2_init.ys | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) 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