fix verification error

viperproject · Jul 9, 2024 · a61cd9c · a61cd9c
1 parent a2c867b
commit a61cd9c
Showing 1 changed file with 2 additions and 3 deletions.
diff --git a/pkg/slayers/path/scion/raw_spec.gobra b/pkg/slayers/path/scion/raw_spec.gobra
@@ -437,9 +437,8 @@ pure func validPktMetaHdr(raw []byte) bool {
 		let seg3 := int(metaHdr.SegLen[2])    in
 		let segs := io.CombineSegLens(seg1, seg2, seg3) in
 		let base := RawBytesToBase(raw)       in
-		0 < metaHdr.SegLen[0]           &&
-		base.StronglyValid()            &&
-		base.CurrInfMatchesCurrHFSpec() &&
+		0 < metaHdr.SegLen[0] &&
+		base.FullyValid()     &&
 		PktLen(segs, MetaLen) <= len(raw)
 }