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.

Author: peterschrammel

cbmc.inc

@@ -31,4 +31,5 @@ esac ; \
 \
 done \
 '
+  eval `tail -n 1 $LOG.ok`
 }

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; \