From bced2517481216c08c1aa95eea97e69a266142a6 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Matt=C3=A9o=20Delabre?= <spam@delab.re>
Date: Wed, 27 Jan 2021 13:48:55 +0100
Subject: [PATCH] Fix successor test cases

---
 runall.py | 14 ++++++--------
 1 file changed, 6 insertions(+), 8 deletions(-)

diff --git a/runall.py b/runall.py
index 738ffa9..fd6c95b 100644
--- a/runall.py
+++ b/runall.py
@@ -77,7 +77,6 @@ def find_script(pairs, max_length):
 
 
 if __name__ == '__main__':
-    # Identity
     print("\nSearching for identity")
     find_script((
         ("1", "1"),
@@ -85,10 +84,9 @@ if __name__ == '__main__':
         ("1984", "1984"),
     ), max_length=3)
 
-    # Successor
-    # print("\nSearching for successor")
-    # find_script((
-    #     ("1", "2"),
-    #     ("2", "3"),
-    #     ("3", "4"),
-    # ), max_length=5)
+    print("\nSearching for successor")
+    find_script((
+        ("1", "2"),
+        ("42", "43"),
+        ("1984", "1985"),
+    ), max_length=5)