From 525c405a4a63f16bb56ddb1d87ae898b59af3316 Mon Sep 17 00:00:00 2001 From: Fotis Koutoulakis Date: Tue, 5 Feb 2019 14:56:02 +0000 Subject: [PATCH] Move forgotten line that documents cbmc version --- src/goto-programs/README.md | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/src/goto-programs/README.md b/src/goto-programs/README.md index 60f2b806861..4daf367eb5e 100644 --- a/src/goto-programs/README.md +++ b/src/goto-programs/README.md @@ -342,6 +342,8 @@ mult /* mult */ END_FUNCTION ``` +(The above result was produced using `cbmc version 5.11`) + \section section-goto-transforms Subsequent Transformation It is normal for a program that calls `goto_convert` to immediately pass the @@ -568,8 +570,6 @@ then it performs 'linking' of the temporary into a passed destination Details about linking of `::goto_modelt` instances can be found [here](\ref section-linking-goto-models). -(The above result was produced using `cbmc version 5.11`) - \section section-linking-goto-models Linking Goto Models C++ modules: