[#500] Trails-tests: Add more test cases.

data61 · Aug 19, 2019 · 0c3a143 · 0c3a143
1 parent f2cbcb4
commit 0c3a143
Showing 1 changed file with 20 additions and 1 deletion.
diff --git a/projects/trails/test/Mirza/Trails/Tests/Client.hs b/projects/trails/test/Mirza/Trails/Tests/Client.hs
@@ -242,12 +242,31 @@ clientSpec = do
           --        *   :
           --         \--*---*
           -- Note: ':' Denotes matching eventId (but otherwise distinct trail entries).
-
+          let buildCommonEventIdJoinedStart = do
+                                  root       <- buildEntry
+                                  topNext    <- joinEntries (trailEntrySignature root) <$> buildSingleEntryTrail
+                                  bottomNext <- updateFirstEventId (trailEntryEventID $ head topNext) <$> (joinEntries (trailEntrySignature root) <$> buildSingleEntryTrail)
+                                  topBoth    <- addNextEntry $ topNext
+                                  bottomBoth <- addNextEntry $ bottomNext
+                                  pure $ bottomBoth <> topBoth <> [root]
+          commonEventIdJoinedStart <- buildCommonEventIdJoinedStart
+          --traceM $ prettyTrail commonEventIdJoinedStart
+          checkTrailWithContext "Common EventId Joined Start Trail" commonEventIdJoinedStart
 
           -- Trail:  /--*--\
           --        *   :   *
           --         \--*--/
           -- Note: ':' Denotes matching eventId (but otherwise distinct trail entries).
+          let buildCommonEventIdJoinedStartEnd = do
+                                  root       <- buildEntry
+                                  topNext    <- joinEntries (trailEntrySignature root) <$> buildSingleEntryTrail
+                                  bottomNext <- updateFirstEventId (trailEntryEventID $ head topNext) <$> (joinEntries (trailEntrySignature root) <$> buildSingleEntryTrail)
+                                  topEnd    <- joinEntries (trailEntrySignature $ head bottomNext) <$> (addNextEntry $ topNext)
+                                  pure $ topEnd <> bottomNext <> [root]
+          commonEventIdJoinedStartEnd <- buildCommonEventIdJoinedStartEnd
+          --traceM $ prettyTrail commonEventIdJoinedStartEnd
+          checkTrailWithContext "Common EventId Joined Start and End of Trail" commonEventIdJoinedStartEnd
+
 
 
   -- Test that invalid signature fails.