aboutsummaryrefslogtreecommitdiffstats
path: root/tests/various/peepopt.ys
diff options
context:
space:
mode:
Diffstat (limited to 'tests/various/peepopt.ys')
-rw-r--r--tests/various/peepopt.ys6
1 files changed, 3 insertions, 3 deletions
diff --git a/tests/various/peepopt.ys b/tests/various/peepopt.ys
index 91db22423..a476133a2 100644
--- a/tests/various/peepopt.ys
+++ b/tests/various/peepopt.ys
@@ -5,7 +5,7 @@ endmodule
EOT
prep -nokeepdc
-equiv_opt peepopt
+equiv_opt -assert peepopt
design -load postopt
clean
select -assert-count 1 t:$shiftx
@@ -21,7 +21,7 @@ endmodule
EOT
prep -nokeepdc
-equiv_opt peepopt
+equiv_opt -assert peepopt
design -load postopt
clean
select -assert-count 1 t:$shr
@@ -40,7 +40,7 @@ endmodule
EOT
prep -nokeepdc
-equiv_opt peepopt
+equiv_opt -assert peepopt
design -load postopt
clean
select -assert-count 0 t:*