From 3b8330c44ff2812decad7979702083958b2407e2 Mon Sep 17 00:00:00 2001
From: William Zhu <williamzhu@Williams-MacBook-Pro.local>
Date: Thu, 27 Mar 2025 12:40:21 -0700
Subject: [PATCH] reverted some extra unneccessary checks

---
 tests/silimate/opt_expand.ys | 73 ------------------------------------
 1 file changed, 73 deletions(-)

diff --git a/tests/silimate/opt_expand.ys b/tests/silimate/opt_expand.ys
index e935d83aa..d56078f1e 100644
--- a/tests/silimate/opt_expand.ys
+++ b/tests/silimate/opt_expand.ys
@@ -15,19 +15,10 @@ module top (
 endmodule
 EOF
 check -assert
-
-# Ensure original design only has correct number of gates
-select -assert-count 1 t:$and
-select -assert-count 1 t:$or
-
-# Check equivalence after opt_expand
 equiv_opt -assert opt_expand
-
-# Check final design has correct number of gates
 design -load postopt
 select -assert-count 2 t:$and
 select -assert-count 1 t:$or
-
 design -reset
 log -pop
 
@@ -47,15 +38,7 @@ module top (
 endmodule
 EOF
 check -assert
-
-# Ensure original design only has correct number of gates
-select -assert-count 1 t:$and
-select -assert-count 1 t:$or
-
-# Check equivalence after opt_expand
 equiv_opt -assert opt_expand
-
-# Check final design has correct number of gates
 design -load postopt
 select -assert-count 2 t:$and
 select -assert-count 1 t:$or
@@ -79,15 +62,7 @@ module top (
 endmodule
 EOF
 check -assert
-
-# Ensure original design only has correct number of gates
-select -assert-count 1 t:$and
-select -assert-count 1 t:$or
-
-# Check equivalence after opt_expand
 equiv_opt -assert opt_expand
-
-# Check final design has correct number of gates
 design -load postopt
 select -assert-count 2 t:$and
 select -assert-count 1 t:$or
@@ -114,15 +89,7 @@ module top (
 endmodule
 EOF
 check -assert
-
-# Ensure original design only has correct number of gates
-select -assert-count 1 t:$and
-select -assert-count 1 t:$or
-
-# Check equivalence after opt_expand
 equiv_opt -assert opt_expand
-
-# Check final design has correct number of gates
 design -load postopt
 select -assert-count 1 t:$and
 select -assert-count 1 t:$or
@@ -147,15 +114,7 @@ module top (
 endmodule
 EOF
 check -assert
-
-# Ensure original design only has correct number of gates
-select -assert-count 2 t:$and
-select -assert-count 1 t:$or
-
-# Check equivalence after opt_expand
 equiv_opt -assert opt_expand
-
-# Check final design has correct number of gates
 design -load postopt
 select -assert-count 3 t:$and
 select -assert-count 1 t:$or
@@ -180,15 +139,7 @@ module top (
 endmodule
 EOF
 check -assert
-
-# Ensure original design only has correct number of gates
-select -assert-count 1 t:$and
-select -assert-count 2 t:$or
-
-# Check equivalence after opt_expand
 equiv_opt -assert opt_expand
-
-# Check final design has correct number of gates
 design -load postopt
 select -assert-count 3 t:$and
 select -assert-count 2 t:$or
@@ -212,15 +163,7 @@ module top (
 endmodule
 EOF
 check -assert
-
-# Ensure original design only has correct number of gates
-select -assert-count 1 t:$and
-select -assert-count 1 t:$or
-
-# Check equivalence after opt_expand
 equiv_opt -assert opt_expand
-
-# Check final design has correct number of gates
 design -load postopt
 select -assert-count 2 t:$and
 select -assert-count 1 t:$or
@@ -246,15 +189,7 @@ module top (
 endmodule
 EOF
 check -assert
-
-# Ensure original design only has correct number of gates
-select -assert-count 2 t:$and
-select -assert-count 2 t:$or
-
-# Check equivalence after opt_expand
 equiv_opt -assert opt_expand
-
-# Check final design has correct number of gates
 design -load postopt
 select -assert-count 4 t:$and
 select -assert-count 2 t:$or
@@ -281,15 +216,7 @@ module top (
 endmodule
 EOF
 check -assert
-
-# Ensure original design only has correct number of gates
-select -assert-count 2 t:$and
-select -assert-count 3 t:$or
-
-# Check equivalence after opt_expand
 equiv_opt -assert opt_expand
-
-# Check final design has correct number of gates
 design -load postopt
 select -assert-count 4 t:$and
 select -assert-count 3 t:$or