Avoid exit(1) without log data for CBMC and JBMC

tautschnig · tautschnig · commit 7e973148a902 · 2018-04-25T11:11:22.000+01:00
Instead provide the fragment of the log produced up until the timeout happened.
diff --git a/cbmc.inc b/cbmc.inc
@@ -38,5 +38,8 @@ esac ; \
 \
 done \
 '
+  if [ ! -s $LOG.ok ] ; then
+    mv $LOG.latest $LOG.ok ; echo "EC=42" >> $LOG.ok
+  fi
   eval `tail -n 1 $LOG.ok`
 }
diff --git a/jbmc.inc b/jbmc.inc
@@ -38,5 +38,8 @@ esac ; \
 \
 done \
 '
+  if [ ! -s $LOG.ok ] ; then
+    mv $LOG.latest $LOG.ok ; echo "EC=42" >> $LOG.ok
+  fi
   eval `tail -n 1 $LOG.ok`
 }

Original file line number	Diff line number	Diff line change
`@@ -38,5 +38,8 @@ esac ; \`
`38`	`38`	`\`
`39`	`39`	`done \`
`40`	`40`	`'`
	`41`	`+ if [ ! -s $LOG.ok ] ; then`
	`42`	`+ mv $LOG.latest $LOG.ok ; echo "EC=42" >> $LOG.ok`
	`43`	`+ fi`
`41`	`44`	eval `tail -n 1 $LOG.ok`
`42`	`45`	`}`