Sync satellite tests

exercises/practice/satellite/.meta/tests.toml

@@ -26,3 +26,12 @@ description = "Reject inconsistent traversals of same length"
 
 [d86a3d72-76a9-43b5-9d3a-e64cb1216035]
 description = "Reject traversals with repeated items"
+
+[af31ae02-7e5b-4452-a990-bccb3fca9148]
+description = "A degenerate binary tree"
+
+[ee54463d-a719-4aae-ade4-190d30ce7320]
+description = "Another degenerate binary tree"
+
+[87123c08-c155-4486-90a4-e2f75b0f3e8f]
+description = "Tree with many more items"

exercises/practice/satellite/SatelliteTests.fs

@@ -49,3 +49,68 @@ let ``Reject traversals with repeated items`` () =
     let expected: Result<Tree,string> = Error "traversals must contain unique items"
     treeFromTraversals ["b"; "a"; "a"] ["a"; "b"; "a"] |> should equal expected
 
+[<Fact(Skip = "Remove this Skip property to run this test")>]
+let ``A degenerate binary tree`` () =
+    let expected: Result<Tree,string> = Ok (
+        Node(
+            "a",
+            Node(
+                "b",
+                Node(
+                    "c",
+                    Node("d", Empty, Empty),
+                    Empty
+                ),
+                Empty
+            ),
+            Empty
+        )
+    )
+    treeFromTraversals ["d"; "c"; "b"; "a"] ["a"; "b"; "c"; "d"] |> should equal expected
+
+[<Fact(Skip = "Remove this Skip property to run this test")>]
+let ``Another degenerate binary tree`` () =
+    let expected: Result<Tree,string> = Ok (
+        Node(
+            "a",
+            Empty,
+            Node(
+                "b",
+                Empty,
+                Node(
+                    "c",
+                    Empty,
+                    Node("d", Empty, Empty)
+                )
+            )
+        )
+    )
+    treeFromTraversals ["a"; "b"; "c"; "d"] ["a"; "b"; "c"; "d"] |> should equal expected
+
+[<Fact(Skip = "Remove this Skip property to run this test")>]
+let ``Tree with many more items`` () =
+    let expected: Result<Tree,string> = Ok (
+        Node(
+            "a",
+            Node(
+                "b",
+                Node(
+                    "d",
+                    Node("g", Empty, Empty),
+                    Node("h", Empty, Empty)
+                ),
+                Empty
+            ),
+            Node(
+                "c",
+                Node("e", Empty, Empty),
+                Node(
+                    "f",
+                    Node("i", Empty, Empty),
+                    Empty
+                )
+            )
+        )
+    )
+    treeFromTraversals ["g"; "d"; "h"; "b"; "a"; "e"; "c"; "i"; "f"] ["a"; "b"; "d"; "g"; "h"; "c"; "e"; "f"; "i"] |> should equal expected
+