67 lines
2.6 KiB
Nim
67 lines
2.6 KiB
Nim
# beacon_chain
|
|
# Copyright (c) 2018-Present Status Research & Development GmbH
|
|
# Licensed and distributed under either of
|
|
# * MIT license (license terms in the root directory or at https://opensource.org/licenses/MIT).
|
|
# * Apache v2 license (license terms in the root directory or at https://www.apache.org/licenses/LICENSE-2.0).
|
|
# at your option. This file may not be copied, modified, or distributed except according to those terms.
|
|
|
|
{.used.}
|
|
|
|
import
|
|
# Standard library
|
|
os, sequtils, unittest,
|
|
# Beacon chain internals
|
|
../../beacon_chain/spec/[crypto, datatypes],
|
|
../../beacon_chain/[ssz, state_transition, extras],
|
|
# Test utilities
|
|
../testutil,
|
|
./fixtures_utils
|
|
|
|
const SanityBlocksDir = SszTestsDir/const_preset/"phase0"/"sanity"/"blocks"/"pyspec_tests"
|
|
|
|
proc runTest(identifier: string) =
|
|
# We wrap the tests in a proc to avoid running out of globals
|
|
# in the future: Nim supports up to 3500 globals
|
|
# but unittest with the macro/templates put everything as globals
|
|
# https://github.com/nim-lang/Nim/issues/12084#issue-486866402
|
|
|
|
let testDir = SanityBlocksDir / identifier
|
|
|
|
proc `testImpl _ blck _ identifier`() =
|
|
let prefix = if existsFile(testDir/"post.ssz"):
|
|
"[Valid] "
|
|
else:
|
|
"[Invalid] "
|
|
|
|
timedTest prefix & identifier:
|
|
var preState = parseTest(testDir/"pre.ssz", SSZ, BeaconStateRef)
|
|
var hasPostState = existsFile(testDir/"post.ssz")
|
|
|
|
# In test cases with more than 10 blocks the first 10 aren't 0-prefixed,
|
|
# so purely lexicographic sorting wouldn't sort properly.
|
|
for i in 0 ..< toSeq(walkPattern(testDir/"blocks_*.ssz")).len:
|
|
let blck = parseTest(testDir/"blocks_" & $i & ".ssz", SSZ, SignedBeaconBlock)
|
|
|
|
if hasPostState:
|
|
# TODO: The EF is using invalid BLS keys so we can't verify them
|
|
let success = state_transition(
|
|
preState[], blck, flags = {skipBlsValidation}, noRollback)
|
|
doAssert success, "Failure when applying block " & $i
|
|
else:
|
|
let success = state_transition(
|
|
preState[], blck, flags = {}, noRollback)
|
|
doAssert not success, "We didn't expect this invalid block to be processed"
|
|
|
|
# check: preState.hash_tree_root() == postState.hash_tree_root()
|
|
if hasPostState:
|
|
let postState = parseTest(testDir/"post.ssz", SSZ, BeaconStateRef)
|
|
when false:
|
|
reportDiff(preState, postState)
|
|
doAssert preState.hash_tree_root() == postState.hash_tree_root()
|
|
|
|
`testImpl _ blck _ identifier`()
|
|
|
|
suiteReport "Official - Sanity - Blocks " & preset():
|
|
for kind, path in walkDir(SanityBlocksDir, true):
|
|
runTest(path)
|