From 987e439967d5894bf7525e6a44db1b6f1d585c7d Mon Sep 17 00:00:00 2001
From: Aki Van Ness <aki@yosyshq.com>
Date: Fri, 29 Jul 2022 10:51:25 -0400
Subject: [PATCH] tests: parser: added the stages option to the options test
 file

---
 tests/parser/options.sby | 4 ++++
 1 file changed, 4 insertions(+)

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