Tweaked SlotsPerEpoch

IntersectMBO · Dec 5, 2024 · d66e10d · d66e10d
1 parent f6632a8
commit d66e10d
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/src/Ledger/Conway/Foreign/HSLedger/Core.agda b/src/Ledger/Conway/Foreign/HSLedger/Core.agda
@@ -62,7 +62,7 @@ unquoteDecl Show-HSVKey = derive-Show
 
 module Implementation where
   Network          = ℕ
-  SlotsPerEpochᶜ   = 100
+  SlotsPerEpochᶜ   = 4320 -- TODO pass this externally instead of hardcoding
   StabilityWindowᶜ = 10
   Quorum           = 1
   NetworkId        = 0 -- Testnet