PR #76 introduces specification for the file slayers/layertypes.go to allow progress in verification of package slayers. We should switch verify the file once the rest of slayers has been verified.
This may require some fixes in Gobra to allow assigning a closure instance to an interface
Related tasks:
PR #76 introduces specification for the file
slayers/layertypes.goto allow progress in verification of packageslayers. We should switch verify the file once the rest ofslayershas been verified.This may require some fixes in Gobra to allow assigning a closure instance to an interface
Related tasks:
decodeSCIONin slayers/scion.go #148decodeEndToEndExtnanddecodeHopByHopExtnin extn.go