From 25ef9c1e06395262908fd3bf5031fc12111e34f3 Mon Sep 17 00:00:00 2001 From: Michael Tautschnig Date: Sun, 30 Nov 2025 20:54:23 +0000 Subject: [PATCH] Fix --cover help The "d" was taken to be a formatting character, and we ended up printing "ecision" instead of "decision." --- src/goto-instrument/cover.h | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/goto-instrument/cover.h b/src/goto-instrument/cover.h index 8cd756bc25d..548ded5eb6b 100644 --- a/src/goto-instrument/cover.h +++ b/src/goto-instrument/cover.h @@ -33,7 +33,7 @@ class symbol_tablet; " {y--cover} {uCC} \t " \ "create test-suite with coverage criterion {uCC}, where {uCC} is one of " \ "{yassertion}[{ys}], {yassume}[{ys}], {ybranch}[{yes}], " \ - "{ycondition}[{ys}], {ycover}, {decision}[{ys}], {ylocation}[{ys}], " \ + "{ycondition}[{ys}], {ycover}, {ydecision}[{ys}], {ylocation}[{ys}], " \ "or {ymcdc}\n" \ " {y--cover-failed-assertions} \t " \ "do not stop coverage checking at failed assertions (this is the default " \