From 7f04cc67554e573f6a8bc25651732f85cfe5957c Mon Sep 17 00:00:00 2001
From: William Zhu <williamzhu@Williams-MacBook-Pro.local>
Date: Thu, 27 Mar 2025 15:14:28 -0700
Subject: [PATCH] removed dump verilog

---
 tests/silimate/mux_andnot.ys | 1 -
 1 file changed, 1 deletion(-)

diff --git a/tests/silimate/mux_andnot.ys b/tests/silimate/mux_andnot.ys
index e0616a087..a0d67ba49 100644
--- a/tests/silimate/mux_andnot.ys
+++ b/tests/silimate/mux_andnot.ys
@@ -215,7 +215,6 @@ equiv_opt -assert opt_expr -mux_bool
 
 # Check final design has correct number of gates
 design -load postopt
-write_verilog dump.v
 select -assert-count 1 t:$and
 select -assert-count 1 t:$not