diff --git a/tests/parser/setup.sby b/tests/parser/setup.sby
index 6ca49e3..9b7e468 100644
--- a/tests/parser/setup.sby
+++ b/tests/parser/setup.sby
@@ -3,6 +3,8 @@ mode bmc
 depth 1
 expect error
 
+[engines]
+smtbmc
 
 [setup]
 enable *
diff --git a/tests/parser/stage.sby b/tests/parser/stage.sby
index b69a186..7048b60 100644
--- a/tests/parser/stage.sby
+++ b/tests/parser/stage.sby
@@ -3,6 +3,8 @@ mode bmc
 depth 1
 expect error
 
+[engines]
+smtbmc
 
 [stage stage_1]
 mode prove