diff --git a/tests/parser/options.sby b/tests/parser/options.sby
index 666953d..bf6a553 100644
--- a/tests/parser/options.sby
+++ b/tests/parser/options.sby
@@ -2,3 +2,7 @@
 mode bmc
 depth 1
 expect error
+stages foo,bar,nya
+
+[engines]
+smtbmc