Thanks a lot for testing and fixing this as discussed offline. Can you please split the assignment via the form: “key->ipKey.nwDst = ipHdr->daddr = ipAttr->ipv4_dst”
It confuses the SDV tool from msft for some reason: https://docs.microsoft.com/en-us/windows-hardware/drivers/develop/static-driver-verifier-known-issues Thanks, Alin. _______________________________________________ dev mailing list [email protected] https://mail.openvswitch.org/mailman/listinfo/ovs-dev
