Merge pull request #7 from peterschrammel/remove-strange-eval

Move eval of last line of log file to cbmc.inc

Author: tautschnig

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