Fix s2n_shutdown + failed recv bug · aws/s2n-tls@ea9b764

Triggered via pull request January 18, 2024 22:38

lrstewart

synchronize #4350

lrstewart:blinding_c

Status Success

Total duration 10m 24s

Artifacts 1

proof_ci.yaml

on: pull_request

Produced during runtime

Name	Size
cbmc_proof_results_s2n-tls_2024_01_18_22_46_49 Expired	325 MB