From a2e511ca7f7eb362aa790fd2cfebc1648e76fd8c Mon Sep 17 00:00:00 2001
From: Peter Schrammel <peter.schrammel@ktvam.at>
Date: Sun, 4 Dec 2016 16:34:13 +0000
Subject: [PATCH] Moved eval of last line of log file into cbmc.inc

This is only needed for CBMC to store the final exit code in EC.
---
 cbmc.inc         | 1 +
 tool-wrapper.inc | 1 -
 2 files changed, 1 insertion(+), 1 deletion(-)

diff --git a/cbmc.inc b/cbmc.inc
index 6cd8d35..3fdb101 100644
--- a/cbmc.inc
+++ b/cbmc.inc
@@ -31,4 +31,5 @@ esac ; \
 \
 done \
 '
+  eval `tail -n 1 $LOG.ok`
 }
diff --git a/tool-wrapper.inc b/tool-wrapper.inc
index d186aac..9083239 100755
--- a/tool-wrapper.inc
+++ b/tool-wrapper.inc
@@ -119,7 +119,6 @@ if [ ! -s $LOG.ok ] ; then
   exit 1
 fi
 
-eval `tail -n 1 $LOG.ok`
 cat $LOG.ok
 case $EC in
   0) if [[ "$WITNESS_FILE" != "" ]]; then process_graphml $EC > $WITNESS_FILE; \