From 595da0343d71da00647afd6bba2ffedd2934e240 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Matthias=20G=C3=BCdemann?= Date: Thu, 21 Sep 2023 10:12:43 +0200 Subject: [PATCH] Fix format of unwind-max option in help output. This formats the `unwind-max` option analogously to the other options. --- src/goto-checker/bmc_util.h | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/goto-checker/bmc_util.h b/src/goto-checker/bmc_util.h index 108d60c4b7b..92e0e3a82de 100644 --- a/src/goto-checker/bmc_util.h +++ b/src/goto-checker/bmc_util.h @@ -218,7 +218,7 @@ void run_property_decider( "iteration. If for example it is 1, then the loop will be unwound once, " \ "and immediately checked. Note: this means for {y--unwind-min} 1 or 0 all " \ "properties are checked.\n" \ - " {--unwind-max} {unr} \t stop incremental-loop after {unr} unwindings\n" \ + " {y--unwind-max} {unr} \t stop incremental-loop after {unr} unwindings\n" \ " {y--ignore-properties-before-unwind-min} \t " \ "do not check properties before unwind-min when using " \ "{y--incremental-loop}\n" \