diff --git a/tests/staged_sim_and_verif/skip_staged_flow.sby b/tests/staged_sim_and_verif/skip_staged_flow.sby
index 026fc22..a16bfe1 100644
--- a/tests/staged_sim_and_verif/skip_staged_flow.sby
+++ b/tests/staged_sim_and_verif/skip_staged_flow.sby
@@ -1,20 +1,16 @@
 [tasks]
 prep
-stage_1
-stage_2
+stage_1 cover
+stage_2 cover
 stage_3_init
-stage_3a_cover
+stage_3a_cover cover
 stage_3b_assert
 
 [options]
 prep:
 mode prep
 
-stage_1:
-mode cover
-skip_prep on
-
-stage_2:
+cover:
 mode cover
 skip_prep on
 
@@ -22,10 +18,6 @@ stage_3_init:
 mode prep
 skip_prep on
 
-stage_3a_cover:
-mode cover
-skip_prep on
-
 stage_3b_assert:
 mode prove
 skip_prep on
@@ -33,14 +25,19 @@ skip_prep on
 --
 
 [engines]
-smtbmc
 
 prep:
 none
 
+cover:
+smtbmc
+
 stage_3_init:
 none
 
+stage_3b_assert:
+smtbmc
+
 --
 
 [script]