#!/usr/bin/env bash
# WEIGHT=3
# CHECK: Inbound SyncInfoPacket handler reaches EngineV2.SyncInfoHandler (W-3)
set -e
handler="$PATIENT/eth/handler_eth.go"
[[ -f "$handler" ]] || exit 1
awk '/case \*?eth\.SyncInfoPacket/,/case |^[[:space:]]*default:|^}/' "$handler" | \
  grep -qE '(SyncInfoHandler|bft.*SyncInfo|SyncInfo\(.*\))'