Fix invariants (#186)

Co-authored-by: zenground0 <[email protected]>
filecoin-project · Apr 21, 2023 · 1e6cf0d · 1e6cf0d
1 parent 39a3d9b
commit 1e6cf0d
Show file tree

Hide file tree

Showing 3 changed files with 6 additions and 6 deletions.
diff --git a/builtin/v10/miner/invariants.go b/builtin/v10/miner/invariants.go
@@ -69,7 +69,7 @@ func CheckStateInvariants(st *State, store adt.Store, balance abi.TokenAmount) (
 
 	minerSummary.Deals = map[abi.DealID]DealSummary{}
 	var allSectors map[abi.SectorNumber]*SectorOnChainInfo
-	sectorsWithDeals := make(map[abi.SectorNumber]bool)
+	minerSummary.SectorsWithDeals = make(map[abi.SectorNumber]bool)
 	if sectorsArr, err := adt.AsArray(store, st.Sectors, SectorsAmtBitwidth); err != nil {
 		acc.Addf("error loading sectors")
 	} else {
@@ -101,7 +101,7 @@ func CheckStateInvariants(st *State, store adt.Store, balance abi.TokenAmount) (
 			}
 
 			if len(sector.DealIDs) > 0 {
-				sectorsWithDeals[abi.SectorNumber(sno)] = true
+				minerSummary.SectorsWithDeals[abi.SectorNumber(sno)] = true
 			}
 
 			return nil

diff --git a/builtin/v11/miner/invariants.go b/builtin/v11/miner/invariants.go
@@ -69,7 +69,7 @@ func CheckStateInvariants(st *State, store adt.Store, balance abi.TokenAmount) (
 
 	minerSummary.Deals = map[abi.DealID]DealSummary{}
 	var allSectors map[abi.SectorNumber]*SectorOnChainInfo
-	sectorsWithDeals := make(map[abi.SectorNumber]bool)
+	minerSummary.SectorsWithDeals = make(map[abi.SectorNumber]bool)
 	if sectorsArr, err := adt.AsArray(store, st.Sectors, SectorsAmtBitwidth); err != nil {
 		acc.Addf("error loading sectors")
 	} else {
@@ -101,7 +101,7 @@ func CheckStateInvariants(st *State, store adt.Store, balance abi.TokenAmount) (
 			}
 
 			if len(sector.DealIDs) > 0 {
-				sectorsWithDeals[abi.SectorNumber(sno)] = true
+				minerSummary.SectorsWithDeals[abi.SectorNumber(sno)] = true
 			}
 
 			return nil

diff --git a/builtin/v9/miner/invariants.go b/builtin/v9/miner/invariants.go
@@ -69,7 +69,7 @@ func CheckStateInvariants(st *State, store adt.Store, balance abi.TokenAmount) (
 
 	minerSummary.Deals = map[abi.DealID]DealSummary{}
 	var allSectors map[abi.SectorNumber]*SectorOnChainInfo
-	sectorsWithDeals := make(map[abi.SectorNumber]bool)
+	minerSummary.SectorsWithDeals = make(map[abi.SectorNumber]bool)
 	if sectorsArr, err := adt.AsArray(store, st.Sectors, SectorsAmtBitwidth); err != nil {
 		acc.Addf("error loading sectors")
 	} else {
@@ -101,7 +101,7 @@ func CheckStateInvariants(st *State, store adt.Store, balance abi.TokenAmount) (
 			}
 
 			if len(sector.DealIDs) > 0 {
-				sectorsWithDeals[abi.SectorNumber(sno)] = true
+				minerSummary.SectorsWithDeals[abi.SectorNumber(sno)] = true
 			}
 
 			return nil