Do not run InitializeRequestHeaders and ParserOnBodyCallback

This commit stops two proofs from running in CI.
FreeRTOS · Mar 10, 2023 · e72c60e · e72c60e
1 parent b65a1d7
commit e72c60e
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