Add analysis for the acked version.

cmeiklejohn · cmeiklejohn · commit 2b5c7d4ef40b · 2019-05-27T19:17:32.000-07:00
diff --git a/analysis/partisan-causality-alsberg_day_acked b/analysis/partisan-causality-alsberg_day_acked
@@ -0,0 +1,5 @@
+[{{receive_message,retry_collaborate_ack},[{forward_message,ok}]},
+ {{receive_message,collaborate_ack},[{forward_message,ok}]},
+ {{receive_message,retry_collaborate},
+  [{forward_message,retry_collaborate_ack}]},
+ {{receive_message,collaborate},[{forward_message,collaborate_ack}]}].
diff --git a/annotations/partisan-annotations-alsberg_day_acked b/annotations/partisan-annotations-alsberg_day_acked
@@ -0,0 +1,9 @@
+[
+    {causality, [
+        {{forward_message, collaborate_ack}, [{{receive_message, collaborate}, 1}]},
+        {{forward_message, ok}, [{{receive_message, collaborate_ack}, 2}]},
+        {{forward_message, retry_collaborate_ack}, [{{receive_message, retry_collaborate}, 1}]},
+        {{forward_message, ok}, [{{receive_message, retry_collaborate_ack}, 2}]}
+    ]},
+    {background, [retry_collaborate, retry_collaborate_ack]}
+].
