Update docs/cvl/foundry-integration.md

Co-authored-by: urikirsh <[email protected]>
Certora · Nov 20, 2024 · 4710cba · 4710cba
1 parent 7635339
commit 4710cba
Showing 1 changed file with 0 additions and 1 deletion.
diff --git a/docs/cvl/foundry-integration.md b/docs/cvl/foundry-integration.md
@@ -8,7 +8,6 @@ The Prover will yield higher guarantees of correctness than Foundry as all input
 While fuzzing is not as complete as formal verification (a fuzzer might “miss” some inputs that would expose a bug), 
 writing fuzz tests via Foundry is often easier since it uses Solidity.
 
-This part of the documentation explains how to utilize the Certora Prover to formally verify tests that are written as Foundry fuzz tests.
 
 
 ```{caution}