From a4c4297e8bfbd5b7e557611b14515cc962e02d22 Mon Sep 17 00:00:00 2001 From: Roderick Chapman Date: Fri, 18 Oct 2024 21:11:01 +0100 Subject: [PATCH] Update cbmc/proofs/README.md Co-authored-by: Hanno Becker Signed-off-by: Roderick Chapman --- cbmc/proofs/README.md | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/cbmc/proofs/README.md b/cbmc/proofs/README.md index 69edae607..3c8e401da 100644 --- a/cbmc/proofs/README.md +++ b/cbmc/proofs/README.md @@ -27,7 +27,7 @@ If `GITHUB_STEP_SUMMARY` is set, the proof summary will be appended to it. # Covered functions -Each proved function has a eponymous sub-directory of its own. The shell command +Each proved function has an eponymous sub-directory of its own. The shell command ``` find . -name cbmc-proof.txt