mirror of
https://github.com/status-im/nimbus-eth2.git
synced 2025-02-08 20:54:33 +00:00
better logging on invalid database (#3097)
* remove redundant test report
This commit is contained in:
Jacek Sieka
GitHub
parent
f3881cbf73
commit
222674b203
@ -1,284 +0,0 @@
|
|||||||
FixtureSSZGeneric-mainnet
|
|
||||||
===
|
|
||||||
## Attestation pool processing [Preset: mainnet]
|
|
||||||
```diff
|
|
||||||
+ Attestations may arrive in any order [Preset: mainnet] OK
|
|
||||||
+ Attestations may overlap, bigger first [Preset: mainnet] OK
|
|
||||||
+ Attestations may overlap, smaller first [Preset: mainnet] OK
|
|
||||||
+ Attestations should be combined [Preset: mainnet] OK
|
|
||||||
+ Can add and retrieve simple attestations [Preset: mainnet] OK
|
|
||||||
+ Everyone voting for something different [Preset: mainnet] OK
|
|
||||||
+ Fork choice returns block with attestation OK
|
|
||||||
+ Fork choice returns latest block with no attestations OK
|
|
||||||
+ Trying to add a block twice tags the second as an error OK
|
|
||||||
+ Trying to add a duplicate block from an old pruned epoch is tagged as an error OK
|
|
||||||
+ Working with aggregates [Preset: mainnet] OK
|
|
||||||
```
|
|
||||||
OK: 11/11 Fail: 0/11 Skip: 0/11
|
|
||||||
## Beacon chain DB [Preset: mainnet]
|
|
||||||
```diff
|
|
||||||
+ empty database [Preset: mainnet] OK
|
|
||||||
+ find ancestors [Preset: mainnet] OK
|
|
||||||
+ sanity check Altair and cross-fork getState rollback [Preset: mainnet] OK
|
|
||||||
+ sanity check Altair blocks [Preset: mainnet] OK
|
|
||||||
+ sanity check Altair states [Preset: mainnet] OK
|
|
||||||
+ sanity check Altair states, reusing buffers [Preset: mainnet] OK
|
|
||||||
+ sanity check Merge and cross-fork getState rollback [Preset: mainnet] OK
|
|
||||||
+ sanity check Merge blocks [Preset: mainnet] OK
|
|
||||||
+ sanity check Merge states [Preset: mainnet] OK
|
|
||||||
+ sanity check Merge states, reusing buffers [Preset: mainnet] OK
|
|
||||||
+ sanity check genesis roundtrip [Preset: mainnet] OK
|
|
||||||
+ sanity check phase 0 blocks [Preset: mainnet] OK
|
|
||||||
+ sanity check phase 0 getState rollback [Preset: mainnet] OK
|
|
||||||
+ sanity check phase 0 states [Preset: mainnet] OK
|
|
||||||
+ sanity check phase 0 states, reusing buffers [Preset: mainnet] OK
|
|
||||||
+ sanity check state diff roundtrip [Preset: mainnet] OK
|
|
||||||
```
|
|
||||||
OK: 16/16 Fail: 0/16 Skip: 0/16
|
|
||||||
## Beacon state [Preset: mainnet]
|
|
||||||
```diff
|
|
||||||
+ Smoke test initialize_beacon_state_from_eth1 [Preset: mainnet] OK
|
|
||||||
```
|
|
||||||
OK: 1/1 Fail: 0/1 Skip: 0/1
|
|
||||||
## Block pool processing [Preset: mainnet]
|
|
||||||
```diff
|
|
||||||
+ Adding the same block twice returns a Duplicate error [Preset: mainnet] OK
|
|
||||||
+ Reverse order block add & get [Preset: mainnet] OK
|
|
||||||
+ Simple block add&get [Preset: mainnet] OK
|
|
||||||
+ getRef returns nil for missing blocks OK
|
|
||||||
+ loading tail block works [Preset: mainnet] OK
|
|
||||||
+ updateHead updates head and headState [Preset: mainnet] OK
|
|
||||||
+ updateStateData sanity [Preset: mainnet] OK
|
|
||||||
```
|
|
||||||
OK: 7/7 Fail: 0/7 Skip: 0/7
|
|
||||||
## BlockRef and helpers [Preset: mainnet]
|
|
||||||
```diff
|
|
||||||
+ epochAncestor sanity [Preset: mainnet] OK
|
|
||||||
+ get_ancestor sanity [Preset: mainnet] OK
|
|
||||||
+ isAncestorOf sanity [Preset: mainnet] OK
|
|
||||||
```
|
|
||||||
OK: 3/3 Fail: 0/3 Skip: 0/3
|
|
||||||
## BlockSlot and helpers [Preset: mainnet]
|
|
||||||
```diff
|
|
||||||
+ atSlot sanity [Preset: mainnet] OK
|
|
||||||
+ parent sanity [Preset: mainnet] OK
|
|
||||||
```
|
|
||||||
OK: 2/2 Fail: 0/2 Skip: 0/2
|
|
||||||
## Diverging hardforks
|
|
||||||
```diff
|
|
||||||
+ Non-tail block in common OK
|
|
||||||
+ Tail block only in common OK
|
|
||||||
```
|
|
||||||
OK: 2/2 Fail: 0/2 Skip: 0/2
|
|
||||||
## Eth1 monitor
|
|
||||||
```diff
|
|
||||||
+ Rewrite HTTPS Infura URLs OK
|
|
||||||
```
|
|
||||||
OK: 1/1 Fail: 0/1 Skip: 0/1
|
|
||||||
## Eth2 specific discovery tests
|
|
||||||
```diff
|
|
||||||
+ Invalid attnets field OK
|
|
||||||
+ Subnet query OK
|
|
||||||
+ Subnet query after ENR update OK
|
|
||||||
```
|
|
||||||
OK: 3/3 Fail: 0/3 Skip: 0/3
|
|
||||||
## Ethereum Foundation - SSZ generic types
|
|
||||||
```diff
|
|
||||||
Testing basic_vector inputs - invalid Skip
|
|
||||||
+ Testing basic_vector inputs - valid OK
|
|
||||||
+ Testing bitlist inputs - invalid OK
|
|
||||||
+ Testing bitlist inputs - valid OK
|
|
||||||
Testing bitvector inputs - invalid Skip
|
|
||||||
+ Testing bitvector inputs - valid OK
|
|
||||||
+ Testing boolean inputs - invalid OK
|
|
||||||
+ Testing boolean inputs - valid OK
|
|
||||||
+ Testing containers inputs - invalid - skipping BitsStruct OK
|
|
||||||
+ Testing containers inputs - valid - skipping BitsStruct OK
|
|
||||||
+ Testing uints inputs - invalid OK
|
|
||||||
+ Testing uints inputs - valid OK
|
|
||||||
```
|
|
||||||
OK: 10/12 Fail: 0/12 Skip: 2/12
|
|
||||||
## Exit pool testing suite
|
|
||||||
```diff
|
|
||||||
+ addExitMessage/getAttesterSlashingMessage OK
|
|
||||||
+ addExitMessage/getProposerSlashingMessage OK
|
|
||||||
+ addExitMessage/getVoluntaryExitMessage OK
|
|
||||||
```
|
|
||||||
OK: 3/3 Fail: 0/3 Skip: 0/3
|
|
||||||
## Fork Choice + Finality [Preset: mainnet]
|
|
||||||
```diff
|
|
||||||
+ fork_choice - testing finality #01 OK
|
|
||||||
+ fork_choice - testing finality #02 OK
|
|
||||||
+ fork_choice - testing no votes OK
|
|
||||||
+ fork_choice - testing with votes OK
|
|
||||||
```
|
|
||||||
OK: 4/4 Fail: 0/4 Skip: 0/4
|
|
||||||
## Fork id compatibility test
|
|
||||||
```diff
|
|
||||||
+ Digest check OK
|
|
||||||
+ Fork check OK
|
|
||||||
+ Next fork epoch check OK
|
|
||||||
```
|
|
||||||
OK: 3/3 Fail: 0/3 Skip: 0/3
|
|
||||||
## Forked SSZ readers
|
|
||||||
```diff
|
|
||||||
+ load altair block OK
|
|
||||||
+ load altair state OK
|
|
||||||
+ load merge block OK
|
|
||||||
+ load merge state OK
|
|
||||||
+ load phase0 block OK
|
|
||||||
+ load phase0 state OK
|
|
||||||
+ should raise on unknown data OK
|
|
||||||
```
|
|
||||||
OK: 7/7 Fail: 0/7 Skip: 0/7
|
|
||||||
## Gossip validation [Preset: mainnet]
|
|
||||||
```diff
|
|
||||||
+ Any committee index is valid OK
|
|
||||||
+ Validation sanity OK
|
|
||||||
```
|
|
||||||
OK: 2/2 Fail: 0/2 Skip: 0/2
|
|
||||||
## Gossip validation - Extra
|
|
||||||
```diff
|
|
||||||
+ validateSyncCommitteeMessage OK
|
|
||||||
```
|
|
||||||
OK: 1/1 Fail: 0/1 Skip: 0/1
|
|
||||||
## Honest validator
|
|
||||||
```diff
|
|
||||||
+ General pubsub topics OK
|
|
||||||
+ Mainnet attestation topics OK
|
|
||||||
+ is_aggregator OK
|
|
||||||
```
|
|
||||||
OK: 3/3 Fail: 0/3 Skip: 0/3
|
|
||||||
## Interop
|
|
||||||
```diff
|
|
||||||
+ Interop genesis OK
|
|
||||||
+ Interop signatures OK
|
|
||||||
+ Mocked start private key OK
|
|
||||||
```
|
|
||||||
OK: 3/3 Fail: 0/3 Skip: 0/3
|
|
||||||
## KeyStorage testing suite
|
|
||||||
```diff
|
|
||||||
+ Pbkdf2 errors OK
|
|
||||||
+ [PBKDF2] Keystore decryption OK
|
|
||||||
+ [PBKDF2] Keystore encryption OK
|
|
||||||
+ [PBKDF2] Network Keystore decryption OK
|
|
||||||
+ [PBKDF2] Network Keystore encryption OK
|
|
||||||
+ [SCRYPT] Keystore decryption OK
|
|
||||||
+ [SCRYPT] Keystore encryption OK
|
|
||||||
+ [SCRYPT] Network Keystore decryption OK
|
|
||||||
+ [SCRYPT] Network Keystore encryption OK
|
|
||||||
```
|
|
||||||
OK: 9/9 Fail: 0/9 Skip: 0/9
|
|
||||||
## Message signatures
|
|
||||||
```diff
|
|
||||||
+ Aggregate and proof signatures OK
|
|
||||||
+ Attestation signatures OK
|
|
||||||
+ Deposit signatures OK
|
|
||||||
+ Slot signatures OK
|
|
||||||
+ Sync committee message signatures OK
|
|
||||||
+ Sync committee selection proof signatures OK
|
|
||||||
+ Sync committee signed contribution and proof signatures OK
|
|
||||||
+ Voluntary exit signatures OK
|
|
||||||
```
|
|
||||||
OK: 8/8 Fail: 0/8 Skip: 0/8
|
|
||||||
## Old database versions [Preset: mainnet]
|
|
||||||
```diff
|
|
||||||
+ pre-1.1.0 OK
|
|
||||||
```
|
|
||||||
OK: 1/1 Fail: 0/1 Skip: 0/1
|
|
||||||
## PeerPool testing suite
|
|
||||||
```diff
|
|
||||||
+ Access peers by key test OK
|
|
||||||
+ Acquire from empty pool OK
|
|
||||||
+ Acquire/Sorting and consistency test OK
|
|
||||||
+ Delete peer on release text OK
|
|
||||||
+ Iterators test OK
|
|
||||||
+ Peer lifetime test OK
|
|
||||||
+ Safe/Clear test OK
|
|
||||||
+ Score check test OK
|
|
||||||
+ Space tests OK
|
|
||||||
+ addPeer() test OK
|
|
||||||
+ addPeerNoWait() test OK
|
|
||||||
+ deletePeer() test OK
|
|
||||||
```
|
|
||||||
OK: 12/12 Fail: 0/12 Skip: 0/12
|
|
||||||
## Spec datatypes
|
|
||||||
```diff
|
|
||||||
+ Graffiti bytes OK
|
|
||||||
```
|
|
||||||
OK: 1/1 Fail: 0/1 Skip: 0/1
|
|
||||||
## Spec helpers
|
|
||||||
```diff
|
|
||||||
+ build_proof - BeaconState OK
|
|
||||||
+ get_branch_indices OK
|
|
||||||
+ get_helper_indices OK
|
|
||||||
+ get_path_indices OK
|
|
||||||
+ integer_squareroot OK
|
|
||||||
+ verify_merkle_multiproof OK
|
|
||||||
```
|
|
||||||
OK: 6/6 Fail: 0/6 Skip: 0/6
|
|
||||||
## Specific field types
|
|
||||||
```diff
|
|
||||||
+ root update OK
|
|
||||||
+ roundtrip OK
|
|
||||||
```
|
|
||||||
OK: 2/2 Fail: 0/2 Skip: 0/2
|
|
||||||
## Sync committee pool
|
|
||||||
```diff
|
|
||||||
+ Aggregating votes OK
|
|
||||||
+ An empty pool is safe to prune OK
|
|
||||||
+ An empty pool is safe to prune 2 OK
|
|
||||||
+ An empty pool is safe to use OK
|
|
||||||
```
|
|
||||||
OK: 4/4 Fail: 0/4 Skip: 0/4
|
|
||||||
## SyncManager test suite
|
|
||||||
```diff
|
|
||||||
+ [SyncQueue] Async pending and resetWait() test OK
|
|
||||||
+ [SyncQueue] Async unordered push start from zero OK
|
|
||||||
+ [SyncQueue] Async unordered push with not full start from non-zero OK
|
|
||||||
+ [SyncQueue] Full and incomplete success/fail start from non-zero OK
|
|
||||||
+ [SyncQueue] Full and incomplete success/fail start from zero OK
|
|
||||||
+ [SyncQueue] One smart and one stupid + debt split + empty OK
|
|
||||||
+ [SyncQueue] Smart and stupid success/fail OK
|
|
||||||
+ [SyncQueue] Start and finish slots equal OK
|
|
||||||
+ [SyncQueue] Two full requests success/fail OK
|
|
||||||
+ [SyncQueue] checkResponse() test OK
|
|
||||||
+ [SyncQueue] contains() test OK
|
|
||||||
+ [SyncQueue] getLastNonEmptySlot() test OK
|
|
||||||
+ [SyncQueue] getRewindPoint() test OK
|
|
||||||
+ [SyncQueue] hasEndGap() test OK
|
|
||||||
```
|
|
||||||
OK: 14/14 Fail: 0/14 Skip: 0/14
|
|
||||||
## Zero signature sanity checks
|
|
||||||
```diff
|
|
||||||
+ SSZ serialization roundtrip of SignedBeaconBlockHeader OK
|
|
||||||
+ Zero signatures cannot be loaded into a BLS signature object OK
|
|
||||||
+ default initialization of signatures OK
|
|
||||||
```
|
|
||||||
OK: 3/3 Fail: 0/3 Skip: 0/3
|
|
||||||
## chain DAG finalization tests [Preset: mainnet]
|
|
||||||
```diff
|
|
||||||
+ init with gaps [Preset: mainnet] OK
|
|
||||||
+ orphaned epoch block [Preset: mainnet] OK
|
|
||||||
+ prune heads on finalization [Preset: mainnet] OK
|
|
||||||
```
|
|
||||||
OK: 3/3 Fail: 0/3 Skip: 0/3
|
|
||||||
## eth2.0-deposits-cli compatibility
|
|
||||||
```diff
|
|
||||||
+ restoring mnemonic with password OK
|
|
||||||
+ restoring mnemonic without password OK
|
|
||||||
```
|
|
||||||
OK: 2/2 Fail: 0/2 Skip: 0/2
|
|
||||||
## state diff tests [Preset: mainnet]
|
|
||||||
```diff
|
|
||||||
+ random slot differences [Preset: mainnet] OK
|
|
||||||
```
|
|
||||||
OK: 1/1 Fail: 0/1 Skip: 0/1
|
|
||||||
## subnet tracker
|
|
||||||
```diff
|
|
||||||
+ should register stability subnets on attester duties OK
|
|
||||||
```
|
|
||||||
OK: 1/1 Fail: 0/1 Skip: 0/1
|
|
||||||
|
|
||||||
---TOTAL---
|
|
||||||
OK: 149/151 Fail: 0/151 Skip: 2/151
|
|
||||||
@ -438,8 +438,12 @@ proc init*(T: type ChainDAGRef, cfg: RuntimeConfig, db: BeaconChainDB,
|
|||||||
blocks.incl(KeyedBlockRef.init(curRef))
|
blocks.incl(KeyedBlockRef.init(curRef))
|
||||||
trace "Populating block dag", key = curRef.root, val = curRef
|
trace "Populating block dag", key = curRef.root, val = curRef
|
||||||
|
|
||||||
doAssert curRef == tailRef,
|
if curRef != tailRef:
|
||||||
"head block does not lead to tail, database corrupt?"
|
fatal "Head block does not lead to tail - database corrupt?",
|
||||||
|
genesisRef, tailRef, headRef, curRef, tailRoot, headRoot,
|
||||||
|
blocks = blocks.len()
|
||||||
|
|
||||||
|
quit 1
|
||||||
else:
|
else:
|
||||||
headRef = tailRef
|
headRef = tailRef
|
||||||
|
|
||||||
@ -459,27 +463,35 @@ proc init*(T: type ChainDAGRef, cfg: RuntimeConfig, db: BeaconChainDB,
|
|||||||
cur = cur.parentOrSlot()
|
cur = cur.parentOrSlot()
|
||||||
|
|
||||||
if tmpState.blck == nil:
|
if tmpState.blck == nil:
|
||||||
warn "No state found in head history, database corrupt?"
|
warn "No state found in head history, database corrupt?",
|
||||||
|
genesisRef, tailRef, headRef, tailRoot, headRoot,
|
||||||
|
blocks = blocks.len()
|
||||||
# TODO Potentially we could recover from here instead of crashing - what
|
# TODO Potentially we could recover from here instead of crashing - what
|
||||||
# would be a good recovery model?
|
# would be a good recovery model?
|
||||||
raiseAssert "No state found in head history, database corrupt?"
|
quit 1
|
||||||
|
|
||||||
case tmpState.data.kind
|
case tmpState.data.kind
|
||||||
of BeaconStateFork.Phase0:
|
of BeaconStateFork.Phase0:
|
||||||
if tmpState.data.phase0Data.data.fork != genesisFork(cfg):
|
if tmpState.data.phase0Data.data.fork != genesisFork(cfg):
|
||||||
error "State from database does not match network, check --network parameter",
|
error "State from database does not match network, check --network parameter",
|
||||||
|
genesisRef, tailRef, headRef, tailRoot, headRoot,
|
||||||
|
blocks = blocks.len(),
|
||||||
stateFork = tmpState.data.phase0Data.data.fork,
|
stateFork = tmpState.data.phase0Data.data.fork,
|
||||||
configFork = genesisFork(cfg)
|
configFork = genesisFork(cfg)
|
||||||
quit 1
|
quit 1
|
||||||
of BeaconStateFork.Altair:
|
of BeaconStateFork.Altair:
|
||||||
if tmpState.data.altairData.data.fork != altairFork(cfg):
|
if tmpState.data.altairData.data.fork != altairFork(cfg):
|
||||||
error "State from database does not match network, check --network parameter",
|
error "State from database does not match network, check --network parameter",
|
||||||
|
genesisRef, tailRef, headRef, tailRoot, headRoot,
|
||||||
|
blocks = blocks.len(),
|
||||||
stateFork = tmpState.data.altairData.data.fork,
|
stateFork = tmpState.data.altairData.data.fork,
|
||||||
configFork = altairFork(cfg)
|
configFork = altairFork(cfg)
|
||||||
quit 1
|
quit 1
|
||||||
of BeaconStateFork.Merge:
|
of BeaconStateFork.Merge:
|
||||||
if tmpState.data.mergeData.data.fork != mergeFork(cfg):
|
if tmpState.data.mergeData.data.fork != mergeFork(cfg):
|
||||||
error "State from database does not match network, check --network parameter",
|
error "State from database does not match network, check --network parameter",
|
||||||
|
genesisRef, tailRef, headRef, tailRoot, headRoot,
|
||||||
|
blocks = blocks.len(),
|
||||||
stateFork = tmpState.data.mergeData.data.fork,
|
stateFork = tmpState.data.mergeData.data.fork,
|
||||||
configFork = mergeFork(cfg)
|
configFork = mergeFork(cfg)
|
||||||
quit 1
|
quit 1
|
||||||
|
|||||||
@ -278,5 +278,3 @@ suite "Ethereum Foundation - SSZ generic types":
|
|||||||
checkpoint getStackTrace(getCurrentException())
|
checkpoint getStackTrace(getCurrentException())
|
||||||
checkpoint getCurrentExceptionMsg()
|
checkpoint getCurrentExceptionMsg()
|
||||||
check false
|
check false
|
||||||
|
|
||||||
summarizeLongTests("FixtureSSZGeneric")
|
|
||||||
|
|||||||
Loading…
x
Reference in New Issue
Block a user