kani icon indicating copy to clipboard operation
kani copied to clipboard
verified publisher icon model-checking

Investigate blockers in s2n-quic Bolero harnesses

Open zhassan-aws opened this issue 3 years ago • 0 comments

Find out Bolero harnesses that cannot be run with Kani, and why they can't be run.

zhassan-aws avatar Jul 12 '22 18:07 zhassan-aws