diff --git a/sbysrc/sby_core.py b/sbysrc/sby_core.py
index 7ea25fc..a1e42a2 100644
--- a/sbysrc/sby_core.py
+++ b/sbysrc/sby_core.py
@@ -291,7 +291,6 @@ class SbyConfig:
                         self.error(f"sby file syntax error: '[options]' section does not accept any arguments. got {args}")
                     continue
 
-                # [engines (MODE)]
                 if section == "engines":
                     mode = "engines"
 
@@ -311,8 +310,9 @@ class SbyConfig:
                             engine_mode = section_args[0]
                     continue
 
-                # [setup]
                 if section == "setup":
+                    self.error(f"sby file syntax error: the '[setup]' section is not yet supported")
+
                     mode = "setup"
                     if len(self.setup) != 0:
                         self.error(f"sby file syntax error: '[setup]' section already defined")
@@ -324,6 +324,8 @@ class SbyConfig:
 
                 # [stage <NAME> (PARENTS,...)]
                 if section == "stage":
+                    self.error(f"sby file syntax error: the '[stage]' section is not yet supported")
+
                     mode = "stage"
 
                     if args is None:
diff --git a/tests/parser/engines.sby b/tests/parser/engines.sby
deleted file mode 100644
index 2277151..0000000
--- a/tests/parser/engines.sby
+++ /dev/null
@@ -1,13 +0,0 @@
-[options]
-mode bmc
-depth 1
-expect error
-
-[engines]
-smtbmc
-
-[engines bmc]
-smtbmc
-
-[engines cover]
-smtbmc
diff --git a/tests/parser/setup.sby b/tests/parser/setup.sby
deleted file mode 100644
index 9b7e468..0000000
--- a/tests/parser/setup.sby
+++ /dev/null
@@ -1,10 +0,0 @@
-[options]
-mode bmc
-depth 1
-expect error
-
-[engines]
-smtbmc
-
-[setup]
-enable *
diff --git a/tests/parser/stage.sby b/tests/parser/stage.sby
deleted file mode 100644
index 7048b60..0000000
--- a/tests/parser/stage.sby
+++ /dev/null
@@ -1,14 +0,0 @@
-[options]
-mode bmc
-depth 1
-expect error
-
-[engines]
-smtbmc
-
-[stage stage_1]
-mode prove
-depth 20
-timeout 60
-expect error
-enable *