Merge pull request #605 from input-output-hk/javierdiaz/trace-verifier-starting-slot

Improve the trace verifier to start from an arbitrary slot

Author: javierdiaz72

leios-trace-verifier/hs-src/app/linear/Main.hs

@@ -25,7 +25,7 @@ main =
   do
     Command{..} <- execParser commandParser
 
-    -- Prameters from topology
+    -- Parameters from topology
     (top :: Topology COORD2D) <- decodeFileThrow topologyFile
     let nrNodes = toInteger $ Prelude.length (elems $ nodes top)
     let nodeNames = Prelude.map unNodeName (keys $ nodes top)
@@ -39,9 +39,10 @@ main =
     let ldiff = toInteger (linearDiffuseStageLengthSlots config)
     let validityCheckTime = 3 -- TODO: read from config
     result <-
-      verifyTrace nrNodes idSut stakeDistribution lhdr lvote ldiff validityCheckTime
-        . decodeJSONL
-        <$> BSL.readFile logFile
+      pure ($ startingSlot)
+        <*> verifyTraceFromSlot nrNodes idSut stakeDistribution lhdr lvote ldiff validityCheckTime
+            . decodeJSONL
+            <$> BSL.readFile logFile
     hPutStrLn stderr $ "Applying " <> show (fst result) <> " actions"
     unless (fst (snd result) == "ok") $
       do
@@ -54,6 +55,7 @@ data Command = Command
   { logFile :: FilePath
   , configFile :: FilePath
   , topologyFile :: FilePath
+  , startingSlot :: Integer
   , idSut :: Integer
   }
   deriving (Eq, Ord, Read, Show)
@@ -71,4 +73,5 @@ commandParser =
       <$> strOption (long "trace-file" <> help "Leios simulation trace log file")
       <*> strOption (long "config-file" <> help "Leios configuration file")
       <*> strOption (long "topology-file" <> help "Leios topology file")
+      <*> option auto (long "starting-slot" <> value 0 <> help "Starting slot of trace-file")
       <*> option auto (long "idSut" <> help "Id of system under test (SUT)")