summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorTimotej Lazar <timotej.lazar@fri.uni-lj.si>2016-04-11 08:58:22 +0200
committerTimotej Lazar <timotej.lazar@fri.uni-lj.si>2016-04-11 08:58:22 +0200
commitbf87cb80bd98ac2e79b3899db8502d249b2809b4 (patch)
tree032ffd2f0e2b812096c907e1f75f97c2f356de5e
parente1abfb76324e515ec8810d8832a1217c21133101 (diff)
Prolog: add a test case for mirrorBT/2
-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))',