diff options
| author | Ulf Magnusson <ulfalizer@gmail.com> | 2017-10-28 05:46:25 +0200 |
|---|---|---|
| committer | Ulf Magnusson <ulfalizer@gmail.com> | 2017-10-28 05:46:25 +0200 |
| commit | 7bbaf7e7cf131d83931bfda2d2e8e5d6ef1b235f (patch) | |
| tree | a78d6b0eb74fd10f2b5ba771529569d43ebfddee /tests/Kwtf | |
| parent | 840d65fe069297fb1d088b85e3164465ace4d467 (diff) | |
Add uncommitted test files
Diffstat (limited to 'tests/Kwtf')
| -rw-r--r-- | tests/Kwtf | 8 |
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 |