Do not run InitializeRequestHeaders and ParserOnBodyCallback

This commit stops two proofs from running in CI.
FreeRTOS · Mar 9, 2023 · 3bfd359 · 3bfd359
1 parent b65a1d7
commit 3bfd359
Show file tree

Hide file tree

Showing 2 changed files with 0 additions and 2 deletions.
diff --git a/test/cbmc/proofs/HTTPClient_InitializeRequestHeaders/cbmc-proof.txt b/test/cbmc/proofs/HTTPClient_InitializeRequestHeaders/cbmc-proof.txt
diff --git a/test/cbmc/proofs/httpParserOnBodyCallback/cbmc-proof.txt b/test/cbmc/proofs/httpParserOnBodyCallback/cbmc-proof.txt