From 7bbaf7e7cf131d83931bfda2d2e8e5d6ef1b235f Mon Sep 17 00:00:00 2001 From: Ulf Magnusson Date: Sat, 28 Oct 2017 05:46:25 +0200 Subject: Add uncommitted test files --- tests/Kwtf | 8 ++++++++ 1 file changed, 8 insertions(+) create mode 100644 tests/Kwtf (limited to 'tests/Kwtf') 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 -- cgit v1.2.3