Merge pull request #3 from tautschnig/fix-cmd

CBMC's command-line parameter changed from graphml-cex to graphml-witness

Author: kroening

cbmc

@@ -83,7 +83,7 @@ ulimit -v 15000000 ; \
 EC=42 ; \
 for c in 2 6 12 17 21 40 200 400 1025 2049 268435456 ; do \
   echo "Unwind: $c" > $LOG.latest ; \
-  ./cbmc-binary --graphml-cex $LOG.cex --unwind $c --stop-on-fail $BIT_WIDTH $PROPERTY --function $ENTRY $BM >> $LOG.latest 2>&1 ; \
+  ./cbmc-binary --graphml-witness $LOG.cex --unwind $c --stop-on-fail $BIT_WIDTH $PROPERTY --function $ENTRY $BM >> $LOG.latest 2>&1 ; \
   ec=$? ; \
   if [ $ec -eq 0 ] ; then \
     if ! tail -n 10 $LOG.latest | grep -q "^VERIFICATION SUCCESSFUL$" ; then ec=1 ; fi ; \