summaryrefslogtreecommitdiff
path: root/tests/Kref
diff options
context:
space:
mode:
Diffstat (limited to 'tests/Kref')
-rw-r--r--tests/Kref2
1 files changed, 2 insertions, 0 deletions
diff --git a/tests/Kref b/tests/Kref
index a398c1a..a60561e 100644
--- a/tests/Kref
+++ b/tests/Kref
@@ -18,6 +18,8 @@ config MANY_REF
depends on H
select I if J = K || L != M
select N if (A || !(B && (C = O)))
+ imply P if Q = R || S != T
+ imply U if (A || !(B && (C = V)))
endif