diff --git a/tests/regression/aiger_options.sby b/tests/regression/aiger_options.sby
index 4bb659e..4514f60 100644
--- a/tests/regression/aiger_options.sby
+++ b/tests/regression/aiger_options.sby
@@ -17,7 +17,7 @@ mode_bmc: mode bmc
 mode_prove: mode prove
 mode_live: mode live
 
-depth 4
+mode_bmc: depth 4
 mode_live: expect fail
 
 [engines]