s2n-quic icon indicating copy to clipboard operation
s2n-quic copied to clipboard

Published 20 hours ago • verified publisher icon aws

test(s2n-quic-core) Kani proofs for VarInt + Random

Open franklee26 opened this issue 2 years ago • 0 comments

Resolved issues:

N/A

Description of changes:

  • Added Kani hook for a random test harness
  • Added Kani test harness for VarInt

Call-outs:

Testing:

Kani proof passes.

By submitting this pull request, I confirm that my contribution is made under the terms of the Apache 2.0 license.

franklee26 avatar Sep 23 '22 05:09 franklee26