Add EB links to EBGenerated event

Author: nfrisby

leios-trace-hs/src/LeiosEvents.hs

@@ -119,6 +119,7 @@ data Event where
     , pipeline :: !PipelineNo
     , bytes :: !Word64
     , input_blocks :: ![BlockRef]
+    , endorser_blocks :: ![BlockRef]
     } ->
     Event
   RBGenerated ::

leios-trace-verifier/hs-src/test/Spec/Transition.hs

@@ -214,6 +214,7 @@ transition GenerateEB =
     pipeline <- uses stageLength $ (slot `div`) . fromIntegral
     bytes <- lift arbitrary
     input_blocks <- lift . sublistOf =<< uses ibs (fmap BlockRef . S.toList)
+    endorser_blocks <- lift . sublistOf =<< uses ebs (fmap BlockRef . S.toList)
     pure [EBGenerated{..}]
 transition ReceiveEB =
   do

simulation/src/LeiosProtocol/Short/Sim.hs

@@ -355,6 +355,7 @@ sharedEvent leios nodeNames e = case e of
         Shared.EBGenerated
           { bytes = fromIntegral (messageSizeBytes eb)
           , input_blocks = map (Shared.BlockRef . T.pack . mkStringId) eb.inputBlocks
+          , endorser_blocks = map (Shared.BlockRef . T.pack . mkStringId) eb.endorseBlocksEarlierPipeline
           , pipeline = coerce $ endorseBlockPipeline leios eb
           , ..
           }