summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
-rw-r--r--prolog/problems/trees/mirrorbt_2/common.py2
1 files changed, 2 insertions, 0 deletions
diff --git a/prolog/problems/trees/mirrorbt_2/common.py b/prolog/problems/trees/mirrorbt_2/common.py
index ed9162c..7198cec 100644
--- a/prolog/problems/trees/mirrorbt_2/common.py
+++ b/prolog/problems/trees/mirrorbt_2/common.py
@@ -20,6 +20,8 @@ mirrorBT(b(L, X, R), b(NewR, X, NewL)) :-
test_cases = [
('mirrorBT(nil, X)',
[{'X': 'nil'}]),
+ ('\+ mirrorBT(42, 42)',
+ [{}]),
('mirrorBT(b(nil,q,nil), X), X == b(nil,q,nil)',
[{}]),
('mirrorBT(b(b(nil,a,nil),d,b(nil,c,nil)), X), X == b(b(nil,c,nil),d,b(nil,a,nil))',