Add missing -assert to equiv_opt calls.

tests/arith_tree/arith_tree_42.ys

@@ -8,7 +8,7 @@ endmodule
 EOT
 hierarchy -auto-top
 proc
-equiv_opt arith_tree -strategy 42
+equiv_opt -assert arith_tree -strategy 42
 design -load postopt
 select -assert-count 2 t:$fa
 select -assert-count 1 t:$add
@@ -26,7 +26,7 @@ endmodule
 EOT
 hierarchy -auto-top
 proc
-equiv_opt arith_tree -strategy fa
+equiv_opt -assert arith_tree -strategy fa
 design -load postopt
 select -assert-count 2 t:$fa
 select -assert-count 1 t:$add
@@ -44,7 +44,7 @@ endmodule
 EOT
 hierarchy -auto-top
 proc
-equiv_opt arith_tree -strategy 42
+equiv_opt -assert arith_tree -strategy 42
 design -load postopt
 select -assert-count 6 t:$fa
 select -assert-count 1 t:$add
@@ -63,7 +63,7 @@ endmodule
 EOT
 hierarchy -auto-top
 proc
-equiv_opt arith_tree -strategy 42
+equiv_opt -assert arith_tree -strategy 42
 design -load postopt
 select -assert-count 14 t:$fa
 select -assert-count 1 t:$add
@@ -80,7 +80,7 @@ endmodule
 EOT
 hierarchy -auto-top
 proc
-equiv_opt arith_tree -strategy 42
+equiv_opt -assert arith_tree -strategy 42
 design -load postopt
 select -assert-count 3 t:$fa
 select -assert-count 1 t:$add
@@ -97,7 +97,7 @@ endmodule
 EOT
 hierarchy -auto-top
 proc
-equiv_opt arith_tree -strategy 42
+equiv_opt -assert arith_tree -strategy 42
 design -load postopt
 select -assert-count 4 t:$fa
 select -assert-count 1 t:$add
@@ -114,7 +114,7 @@ endmodule
 EOT
 hierarchy -auto-top
 proc
-equiv_opt arith_tree -strategy 42
+equiv_opt -assert arith_tree -strategy 42
 design -load postopt
 select -assert-count 5 t:$fa
 select -assert-count 1 t:$add

tests/arith_tree/arith_tree_alu_macc_equiv.ys

@@ -10,7 +10,7 @@ hierarchy -auto-top
 proc
 alumacc
 opt
-equiv_opt arith_tree
+equiv_opt -assert arith_tree
 design -load postopt
 select -assert-count 1 t:$fa
 select -assert-count 1 t:$add
@@ -28,7 +28,7 @@ hierarchy -auto-top
 proc
 alumacc
 opt
-equiv_opt arith_tree
+equiv_opt -assert arith_tree
 design -load postopt
 select -assert-count 2 t:$fa
 select -assert-count 1 t:$add
@@ -46,7 +46,7 @@ hierarchy -auto-top
 proc
 alumacc
 opt
-equiv_opt arith_tree
+equiv_opt -assert arith_tree
 design -load postopt
 select -assert-count 6 t:$fa
 select -assert-count 1 t:$add
@@ -64,7 +64,7 @@ hierarchy -auto-top
 proc
 alumacc
 opt
-equiv_opt arith_tree
+equiv_opt -assert arith_tree
 design -load postopt
 select -assert-count 2 t:$fa
 select -assert-count 1 t:$add
@@ -82,7 +82,7 @@ hierarchy -auto-top
 proc
 alumacc
 opt
-equiv_opt arith_tree
+equiv_opt -assert arith_tree
 design -load postopt
 select -assert-min 1 t:$fa
 select -assert-count 1 t:$add
@@ -100,7 +100,7 @@ hierarchy -auto-top
 proc
 alumacc
 opt
-equiv_opt arith_tree
+equiv_opt -assert arith_tree
 design -load postopt
 select -assert-min 1 t:$fa
 select -assert-count 1 t:$add

tests/arith_tree/arith_tree_defaults.ys

@@ -49,7 +49,7 @@ endmodule
 EOT
 hierarchy -auto-top
 proc
-equiv_opt arith_tree
+equiv_opt -assert arith_tree
 design -load postopt
 select -assert-count 2 t:$fa
 select -assert-count 1 t:$add
@@ -67,7 +67,7 @@ endmodule
 EOT
 hierarchy -auto-top
 proc
-equiv_opt arith_tree
+equiv_opt -assert arith_tree
 design -load postopt
 select -assert-count 2 t:$fa
 select -assert-count 1 t:$add

tests/arith_tree/arith_tree_equiv.ys

@@ -8,7 +8,7 @@ endmodule
 EOT
 hierarchy -auto-top
 proc
-equiv_opt arith_tree
+equiv_opt -assert arith_tree
 design -load postopt
 select -assert-count 1 t:$fa
 select -assert-count 1 t:$add
@@ -24,7 +24,7 @@ endmodule
 EOT
 hierarchy -auto-top
 proc
-equiv_opt arith_tree
+equiv_opt -assert arith_tree
 design -load postopt
 select -assert-count 2 t:$fa
 select -assert-count 1 t:$add
@@ -40,7 +40,7 @@ endmodule
 EOT
 hierarchy -auto-top
 proc
-equiv_opt arith_tree
+equiv_opt -assert arith_tree
 design -load postopt
 select -assert-count 3 t:$fa
 select -assert-count 1 t:$add
@@ -56,7 +56,7 @@ endmodule
 EOT
 hierarchy -auto-top
 proc
-equiv_opt arith_tree
+equiv_opt -assert arith_tree
 design -load postopt
 select -assert-count 6 t:$fa
 select -assert-count 1 t:$add
@@ -72,7 +72,7 @@ endmodule
 EOT
 hierarchy -auto-top
 proc
-equiv_opt arith_tree
+equiv_opt -assert arith_tree
 design -load postopt
 select -assert-count 2 t:$fa
 select -assert-count 1 t:$add
@@ -90,7 +90,7 @@ endmodule
 EOT
 hierarchy -auto-top
 proc
-equiv_opt arith_tree
+equiv_opt -assert arith_tree
 design -load postopt
 select -assert-count 1 t:$fa
 select -assert-count 1 t:$add
@@ -106,7 +106,7 @@ endmodule
 EOT
 hierarchy -auto-top
 proc
-equiv_opt arith_tree
+equiv_opt -assert arith_tree
 design -load postopt
 select -assert-count 2 t:$fa
 select -assert-count 1 t:$add
@@ -122,7 +122,7 @@ endmodule
 EOT
 hierarchy -auto-top
 proc
-equiv_opt arith_tree
+equiv_opt -assert arith_tree
 design -load postopt
 select -assert-min 1 t:$fa
 select -assert-count 1 t:$add
@@ -138,7 +138,7 @@ endmodule
 EOT
 hierarchy -auto-top
 proc
-equiv_opt arith_tree
+equiv_opt -assert arith_tree
 design -load postopt
 select -assert-min 1 t:$fa
 select -assert-count 1 t:$add
@@ -154,7 +154,7 @@ endmodule
 EOT
 hierarchy -auto-top
 proc
-equiv_opt arith_tree
+equiv_opt -assert arith_tree
 design -load postopt
 select -assert-count 3 t:$fa
 select -assert-count 1 t:$add
@@ -171,7 +171,7 @@ endmodule
 EOT
 hierarchy -auto-top
 proc
-equiv_opt arith_tree
+equiv_opt -assert arith_tree
 design -load postopt
 select -assert-count 2 t:$fa
 select -assert-count 1 t:$add

tests/arith_tree/arith_tree_final_adder.ys

@@ -8,7 +8,7 @@ endmodule
 EOT
 hierarchy -auto-top
 proc
-equiv_opt arith_tree -final auto
+equiv_opt -assert arith_tree -final auto
 design -load postopt
 select -assert-count 1 t:$add
 select -assert-count 2 t:$fa
@@ -26,7 +26,7 @@ endmodule
 EOT
 hierarchy -auto-top
 proc
-equiv_opt arith_tree -final auto
+equiv_opt -assert arith_tree -final auto
 design -load postopt
 select -assert-count 1 t:$add
 select -assert-count 2 t:$fa
@@ -44,7 +44,7 @@ endmodule
 EOT
 hierarchy -auto-top
 proc
-equiv_opt arith_tree
+equiv_opt -assert arith_tree
 design -load postopt
 select -assert-count 1 t:$add
 select -assert-count 0 t:$add a:adder_arch %i
@@ -61,7 +61,7 @@ endmodule
 EOT
 hierarchy -auto-top
 proc
-equiv_opt arith_tree -final prefix
+equiv_opt -assert arith_tree -final prefix
 design -load postopt
 select -assert-none t:$add
 select -assert-min 1 t:$_AND_

tests/arith_tree/arith_tree_fma.ys

@@ -10,7 +10,7 @@ hierarchy -auto-top
 proc
 alumacc
 opt
-equiv_opt arith_tree
+equiv_opt -assert arith_tree
 design -load postopt
 select -assert-count 1 t:$macc t:$macc_v2 %u
 select -assert-count 0 t:$mul
@@ -31,7 +31,7 @@ hierarchy -auto-top
 proc
 alumacc
 opt
-equiv_opt arith_tree
+equiv_opt -assert arith_tree
 design -load postopt
 select -assert-count 0 t:$macc t:$macc_v2 %u
 select -assert-count 0 t:$mul
@@ -51,7 +51,7 @@ hierarchy -auto-top
 proc
 alumacc
 opt
-equiv_opt arith_tree
+equiv_opt -assert arith_tree
 design -load postopt
 select -assert-count 0 t:$macc t:$macc_v2 %u
 select -assert-count 0 t:$mul
@@ -72,7 +72,7 @@ hierarchy -auto-top
 proc
 alumacc
 opt
-equiv_opt arith_tree
+equiv_opt -assert arith_tree
 design -load postopt
 select -assert-count 0 t:$macc t:$macc_v2 %u
 select -assert-count 0 t:$mul
@@ -93,7 +93,7 @@ hierarchy -auto-top
 proc
 alumacc
 opt
-equiv_opt arith_tree -no-fma
+equiv_opt -assert arith_tree -no-fma
 design -load postopt
 select -assert-count 0 t:$fa
 select -assert-min 1 t:$macc t:$macc_v2 %u
@@ -112,7 +112,7 @@ hierarchy -auto-top
 proc
 alumacc
 opt
-equiv_opt arith_tree
+equiv_opt -assert arith_tree
 design -load postopt
 select -assert-count 0 t:$macc t:$macc_v2 %u
 select -assert-count 0 t:$mul

tests/arith_tree/arith_tree_signed_fma.ys

@@ -11,7 +11,7 @@ hierarchy -auto-top
 proc
 alumacc
 opt
-equiv_opt arith_tree
+equiv_opt -assert arith_tree
 design -load postopt
 select -assert-count 0 t:$macc t:$macc_v2 %u
 select -assert-count 0 t:$mul
@@ -30,7 +30,7 @@ hierarchy -auto-top
 proc
 alumacc
 opt
-equiv_opt arith_tree
+equiv_opt -assert arith_tree
 design -load postopt
 select -assert-count 1 t:$macc t:$macc_v2 %u
 select -assert-count 0 t:$mul
@@ -49,7 +49,7 @@ hierarchy -auto-top
 proc
 alumacc
 opt
-equiv_opt arith_tree
+equiv_opt -assert arith_tree
 design -load postopt
 select -assert-count 0 t:$macc t:$macc_v2 %u
 select -assert-count 0 t:$mul
@@ -69,7 +69,7 @@ hierarchy -auto-top
 proc
 alumacc
 opt
-equiv_opt arith_tree
+equiv_opt -assert arith_tree
 design -load postopt
 select -assert-count 0 t:$macc t:$macc_v2 %u
 select -assert-count 0 t:$mul
@@ -89,7 +89,7 @@ hierarchy -auto-top
 proc
 alumacc
 opt
-equiv_opt arith_tree
+equiv_opt -assert arith_tree
 design -load postopt
 select -assert-count 0 t:$macc t:$macc_v2 %u
 select -assert-min 1 t:$fa
@@ -108,7 +108,7 @@ hierarchy -auto-top
 proc
 alumacc
 opt
-equiv_opt arith_tree
+equiv_opt -assert arith_tree
 design -load postopt
 select -assert-count 0 t:$macc t:$macc_v2 %u
 select -assert-count 0 t:$mul
@@ -128,7 +128,7 @@ hierarchy -auto-top
 proc
 alumacc
 opt
-equiv_opt arith_tree -no-fma
+equiv_opt -assert arith_tree -no-fma
 design -load postopt
 select -assert-count 0 t:$fa
 select -assert-min 1 t:$macc t:$macc_v2 %u