gnosis/lighthouse
1
0
Fork 0
mirror of https://github.com/sigp/lighthouse.git synced 2026-05-08 01:05:47 +00:00
Code Issues Packages Projects Releases Wiki Activity

get latest ef tests passing

Browse Source
This commit is contained in:
realbigsean
2024-01-19 11:36:12 -05:00
parent 47b28c4935
commit c84536a8eb
4 changed files with 8 additions and 13 deletions
Download Patch File Download Diff File Expand all files Collapse all files

13
consensus/proto_array/src/proto_array.rs
View File

@@ -961,16 +961,9 @@ impl ProtoArray {
node_justified_checkpoint node_justified_checkpoint
}; };
let mut correct_justified = self.justified_checkpoint.epoch == genesis_epoch let correct_justified = self.justified_checkpoint.epoch == genesis_epoch
|| voting_source.epoch == self.justified_checkpoint.epoch; || voting_source.epoch == self.justified_checkpoint.epoch
|| voting_source.epoch + 2 >= current_epoch;
if let Some(node_unrealized_justified_checkpoint) = node.unrealized_justified_checkpoint {
if !correct_justified && self.justified_checkpoint.epoch + 1 == current_epoch {
correct_justified = node_unrealized_justified_checkpoint.epoch
>= self.justified_checkpoint.epoch
&& voting_source.epoch + 2 >= current_epoch;
}
}
let correct_finalized = self.finalized_checkpoint.epoch == genesis_epoch let correct_finalized = self.finalized_checkpoint.epoch == genesis_epoch
|| self.is_finalized_checkpoint_or_descendant::<E>(node.root); || self.is_finalized_checkpoint_or_descendant::<E>(node.root);

2
testing/ef_tests/Makefile
View File

@@ -1,4 +1,4 @@
TESTS_TAG := v1.4.0-beta.4 TESTS_TAG := v1.4.0-beta.6
TESTS = general minimal mainnet TESTS = general minimal mainnet
TARBALLS = $(patsubst %,%-$(TESTS_TAG).tar.gz,$(TESTS)) TARBALLS = $(patsubst %,%-$(TESTS_TAG).tar.gz,$(TESTS))

3
testing/ef_tests/check_all_files_accessed.py
View File

@@ -51,7 +51,8 @@ excluded_paths = [
"bls12-381-tests/deserialization_G1", "bls12-381-tests/deserialization_G1",
"bls12-381-tests/deserialization_G2", "bls12-381-tests/deserialization_G2",
"bls12-381-tests/hash_to_G2", "bls12-381-tests/hash_to_G2",
"tests/.*/eip6110" "tests/.*/eip6110",
"tests/.*/whisk"
] ]

3
testing/ef_tests/tests/tests.rs
View File

@@ -1,6 +1,6 @@
#![cfg(feature = "ef_tests")] #![cfg(feature = "ef_tests")]
use ef_tests::{KzgInclusionMerkleProofValidityHandler, *}; use ef_tests::*;
use types::{MainnetEthSpec, MinimalEthSpec, *}; use types::{MainnetEthSpec, MinimalEthSpec, *};
// Check that the hand-computed multiplications on EthSpec are correctly computed. // Check that the hand-computed multiplications on EthSpec are correctly computed.
@@ -605,6 +605,7 @@ fn merkle_proof_validity() {
} }
#[test] #[test]
#[cfg(feature = "fake_crypto")]
fn kzg_inclusion_merkle_proof_validity() { fn kzg_inclusion_merkle_proof_validity() {
KzgInclusionMerkleProofValidityHandler::<MainnetEthSpec>::default().run(); KzgInclusionMerkleProofValidityHandler::<MainnetEthSpec>::default().run();
KzgInclusionMerkleProofValidityHandler::<MinimalEthSpec>::default().run(); KzgInclusionMerkleProofValidityHandler::<MinimalEthSpec>::default().run();