From 3ebf47c9eeda4b6875b46cb301c5f805fc9e437a Mon Sep 17 00:00:00 2001 From: Michael Tautschnig Date: Wed, 14 Aug 2024 16:08:44 +0200 Subject: [PATCH] Fix typo in Makefile.common comment (#211) Thanks @lrstewart for spotting this! --- .../template-for-repository/proofs/Makefile.common | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/cbmc_starter_kit/template-for-repository/proofs/Makefile.common b/src/cbmc_starter_kit/template-for-repository/proofs/Makefile.common index 0afd5df..781cd20 100644 --- a/src/cbmc_starter_kit/template-for-repository/proofs/Makefile.common +++ b/src/cbmc_starter_kit/template-for-repository/proofs/Makefile.common @@ -458,7 +458,7 @@ endif # The default unwind should only be used in DFCC mode without loop contracts. # When loop contracts are applied, we only unwind specified loops. # If any loops remain after loop contracts have been applied, CBMC might try -# to unwind the program indefinetly, because we do not pass default unwind +# to unwind the program indefinitely, because we do not pass default unwind # (i.e., --unwind 1) to CBMC when in DFCC mode. # We must not use a default unwind command in DFCC mode, because contract instrumentation # introduces loops encoding write set inclusion checks that must be dynamically unwound during