Compare commits

...

1 Commits

Author SHA1 Message Date
terence tsao
b4a3a147a5 Fix ethspecify check 2025-09-10 13:22:55 -07:00
2 changed files with 4 additions and 1 deletions

View File

@@ -0,0 +1,3 @@
### Ignored
- Corrected ethspecify check search pattern for validator exit function

View File

@@ -3738,7 +3738,7 @@
- file: beacon-chain/core/validators/validator.go
search: func InitiateValidatorExit(
- file: beacon-chain/core/validators/validator.go
search: if s.Version() < version.Electra {
search: "exitInfo *ExitInfo,\n) (state.BeaconState, error) {\n\tvalidator, err := s.ValidatorAtIndex(idx)"
spec: |
<spec fn="initiate_validator_exit" fork="phase0" hash="0483a058">
def initiate_validator_exit(state: BeaconState, index: ValidatorIndex) -> None: