diff options
| author | Timotej Lazar <timotej.lazar@fri.uni-lj.si> | 2016-04-11 08:58:22 +0200 |
|---|---|---|
| committer | Timotej Lazar <timotej.lazar@fri.uni-lj.si> | 2016-04-11 08:58:22 +0200 |
| commit | bf87cb80bd98ac2e79b3899db8502d249b2809b4 (patch) | |
| tree | 032ffd2f0e2b812096c907e1f75f97c2f356de5e /prolog | |
| parent | e1abfb76324e515ec8810d8832a1217c21133101 (diff) | |
Prolog: add a test case for mirrorBT/2
Diffstat (limited to 'prolog')
| -rw-r--r-- | prolog/problems/trees/mirrorbt_2/common.py | 2 |
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))', |