[ test ] Add bigger tests for sorted trees

buzden · Sep 7, 2024 · 7e14159 · 7e14159
1 parent 1be90b4
commit 7e14159
Show file tree

Hide file tree

Showing 16 changed files with 544 additions and 0 deletions.
diff --git a/examples/sorted-tree-indexed/tests/gens/sorted-big/Main.idr b/examples/sorted-tree-indexed/tests/gens/sorted-big/Main.idr
@@ -0,0 +1,20 @@
+import Data.SortedBinTree.Gen
+import Data.Fuel
+import Data.List
+import Data.List.Lazy
+import Data.Primitives.Interpolation
+
+import System.Random.Pure.StdGen
+
+%default total
+
+main : IO ()
+main = do
+  let vals = unGenTryN 10 someStdGen $ genSortedBinTree1 $ limit 5
+  Lazy.for_ vals $ \(mi ** ma ** tree) => do
+    putStrLn "--------------"
+    let list = toList tree
+    putStrLn "min: \{mi}, max: \{ma}, length: \{length list}"
+    putStrLn "tree:\n\{tree}"
+    putStrLn "as list: \{show list}"
+    putStrLn "sorted: \{show $ sorted list}"
diff --git a/examples/sorted-tree-indexed/tests/gens/sorted-big/expected b/examples/sorted-tree-indexed/tests/gens/sorted-big/expected
@@ -0,0 +1,196 @@
+--------------
+min: 0, max: 9, length: 5
+tree:
+.
+|
+|- 0
+|
+|- .
+   |
+   |- .
+   |  |
+   |  |- .
+   |  |  |
+   |  |  |- 1
+   |  |  |
+   |  |  |- 2
+   |  |
+   |  |- 3
+   |
+   |- 9
+as list: [0, 1, 2, 3, 9]
+sorted: True
+--------------
+min: 3, max: 7, length: 3
+tree:
+.
+|
+|- .
+|  |
+|  |- 3
+|  |
+|  |- 4
+|
+|- 7
+as list: [3, 4, 7]
+sorted: True
+--------------
+min: 0, max: 6, length: 4
+tree:
+.
+|
+|- .
+|  |
+|  |- .
+|  |  |
+|  |  |- 0
+|  |  |
+|  |  |- 1
+|  |
+|  |- 2
+|
+|- 6
+as list: [0, 1, 2, 6]
+sorted: True
+--------------
+min: 3, max: 6, length: 3
+tree:
+.
+|
+|- .
+|  |
+|  |- 3
+|  |
+|  |- 4
+|
+|- 6
+as list: [3, 4, 6]
+sorted: True
+--------------
+min: 0, max: 7, length: 5
+tree:
+.
+|
+|- .
+|  |
+|  |- 0
+|  |
+|  |- 1
+|
+|- .
+   |
+   |- .
+   |  |
+   |  |- 3
+   |  |
+   |  |- 4
+   |
+   |- 7
+as list: [0, 1, 3, 4, 7]
+sorted: True
+--------------
+min: 0, max: 9, length: 6
+tree:
+.
+|
+|- .
+|  |
+|  |- .
+|  |  |
+|  |  |- 0
+|  |  |
+|  |  |- 1
+|  |
+|  |- .
+|     |
+|     |- .
+|     |  |
+|     |  |- 2
+|     |  |
+|     |  |- 3
+|     |
+|     |- 4
+|
+|- 9
+as list: [0, 1, 2, 3, 4, 9]
+sorted: True
+--------------
+min: 0, max: 6, length: 4
+tree:
+.
+|
+|- .
+|  |
+|  |- 0
+|  |
+|  |- 1
+|
+|- .
+   |
+   |- 2
+   |
+   |- 6
+as list: [0, 1, 2, 6]
+sorted: True
+--------------
+min: 0, max: 9, length: 5
+tree:
+.
+|
+|- .
+|  |
+|  |- .
+|  |  |
+|  |  |- .
+|  |  |  |
+|  |  |  |- 0
+|  |  |  |
+|  |  |  |- 1
+|  |  |
+|  |  |- 2
+|  |
+|  |- 4
+|
+|- 9
+as list: [0, 1, 2, 4, 9]
+sorted: True
+--------------
+min: 0, max: 7, length: 4
+tree:
+.
+|
+|- .
+|  |
+|  |- .
+|  |  |
+|  |  |- 0
+|  |  |
+|  |  |- 1
+|  |
+|  |- 4
+|
+|- 7
+as list: [0, 1, 4, 7]
+sorted: True
+--------------
+min: 0, max: 9, length: 5
+tree:
+.
+|
+|- .
+|  |
+|  |- .
+|  |  |
+|  |  |- .
+|  |  |  |
+|  |  |  |- 0
+|  |  |  |
+|  |  |  |- 1
+|  |  |
+|  |  |- 2
+|  |
+|  |- 4
+|
+|- 9
+as list: [0, 1, 2, 4, 9]
+sorted: True
diff --git a/...sorted-tree-indexed/tests/gens/sorted/run → ...ed-tree-indexed/tests/gens/sorted-big/run b/...sorted-tree-indexed/tests/gens/sorted/run → ...ed-tree-indexed/tests/gens/sorted-big/run
diff --git a/...-tree-indexed/tests/gens/sorted/test.ipkg → ...e-indexed/tests/gens/sorted-big/test.ipkg b/...-tree-indexed/tests/gens/sorted/test.ipkg → ...e-indexed/tests/gens/sorted-big/test.ipkg
diff --git a/...d-tree-indexed/tests/gens/sorted/Main.idr → ...-indexed/tests/gens/sorted-small/Main.idr b/...d-tree-indexed/tests/gens/sorted/Main.idr → ...-indexed/tests/gens/sorted-small/Main.idr
diff --git a/...d-tree-indexed/tests/gens/sorted/expected → ...-indexed/tests/gens/sorted-small/expected b/...d-tree-indexed/tests/gens/sorted/expected → ...-indexed/tests/gens/sorted-small/expected
diff --git a/...s/sorted-tree-naive/tests/gens/sorted/run → ...-tree-indexed/tests/gens/sorted-small/run b/...s/sorted-tree-naive/tests/gens/sorted/run → ...-tree-indexed/tests/gens/sorted-small/run
diff --git a/examples/sorted-tree-indexed/tests/gens/sorted-small/test.ipkg b/examples/sorted-tree-indexed/tests/gens/sorted-small/test.ipkg
@@ -0,0 +1,6 @@
+package a-test
+
+depends = sorted-tree-indexed
+
+executable = a-test
+main = Main
diff --git a/examples/sorted-tree-naive/tests/gens/sorted-big/Main.idr b/examples/sorted-tree-naive/tests/gens/sorted-big/Main.idr
@@ -0,0 +1,20 @@
+import Data.SortedBinTree.Gen
+import Data.Fuel
+import Data.List
+import Data.List.Lazy
+import Data.Primitives.Interpolation
+
+import System.Random.Pure.StdGen
+
+%default total
+
+main : IO ()
+main = do
+  let vals = unGenTryN 10 someStdGen $ genSortedBinTree $ limit 7
+  Lazy.for_ vals $ \tree => do
+    putStrLn "--------------"
+    let list = toList tree
+    putStrLn "length: \{length list}"
+    putStrLn "tree:\n\{tree}"
+    putStrLn "as list: \{show list}"
+    putStrLn "sorted: \{show $ sorted list}"