From a609aa835e543e53647d55e1992f8c7654f68a30 Mon Sep 17 00:00:00 2001
From: Timotej Lazar <timotej.lazar@fri.uni-lj.si>
Date: Tue, 9 Aug 2016 14:46:51 +0200
Subject: Prolog: add a couple of test cases for rev/2

---
 prolog/problems/lists_advanced/rev_2/common.py | 4 ++++
 1 file changed, 4 insertions(+)

(limited to 'prolog/problems/lists_advanced')

diff --git a/prolog/problems/lists_advanced/rev_2/common.py b/prolog/problems/lists_advanced/rev_2/common.py
index b673660..f79ddca 100644
--- a/prolog/problems/lists_advanced/rev_2/common.py
+++ b/prolog/problems/lists_advanced/rev_2/common.py
@@ -39,6 +39,10 @@ hint_type = {
 test_cases = [
     ('rev([], X)',
         [{'X': '[]'}]),
+    ('rev(X, [])',
+        [{'X': '[]'}]),
+    ('rev([42], X)',
+        [{'X': '[42]'}]),
     ('rev([s, k, c, d, d], X)',
         [{'X': '[d, d, c, k, s]'}]),
     ('rev(X, [s, k, c, d, d])',
-- 
cgit v1.2.1