1 files changed, 8 insertions, 0 deletions
diff --git a/tests/Kwtf b/tests/Kwtf
new file mode 100644
index 0000000..c71e328
--- /dev/null
+++ b/tests/Kwtf
@@ -0,0 +1,8 @@
+config A
+    bool
+    select n
+    select m
+    select y
+    imply n
+    imply m
+    imply y