From 4eb9358714cc5553c886021931752ec2b95055f4 Mon Sep 17 00:00:00 2001
From: Daniel Friesel <dfriesel@uos.de>
Date: Fri, 20 May 2022 10:13:50 +0000
Subject: Add a test benchmark for explore-kconfig

---
 examples/kconfig-static/Kconfig | 22 ++++++++++++++++++++++
 1 file changed, 22 insertions(+)
 create mode 100644 examples/kconfig-static/Kconfig

(limited to 'examples/kconfig-static/Kconfig')

diff --git a/examples/kconfig-static/Kconfig b/examples/kconfig-static/Kconfig
new file mode 100644
index 0000000..1b02bac
--- /dev/null
+++ b/examples/kconfig-static/Kconfig
@@ -0,0 +1,22 @@
+choice
+prompt "pi or tau?"
+
+config X5
+bool "X = 5"
+
+config X6
+bool "X = 6"
+depends on !Y0
+
+endchoice
+
+choice
+prompt "apples or oranges?"
+
+config Y4
+bool "Y = 4"
+
+config Y0
+bool "Y = 0"
+
+endchoice
-- 
cgit v1.2.3