From cb29fe79651792859f15f00422e2dfbe4c50d342 Mon Sep 17 00:00:00 2001
From: Michael Tautschnig <mt@debian.org>
Date: Sat, 3 Dec 2016 14:32:43 +0000
Subject: [PATCH] CBMC's command-line parameter changed from graphml-cex to
 graphml-witness

This was implemented in CBMC's fd6a1161a2.
---
 cbmc | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/cbmc b/cbmc
index b826985..b03e837 100755
--- a/cbmc
+++ b/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 ; \