Merge pull request #254 from chrisr-diffblue/cbmc-bump

chrisr-diffblue · web-flow · commit 86b985b844ff · 2019-06-13T15:53:42.000+01:00
Bump CBMC submodule
diff --git a/lib/cbmc b/lib/cbmc
@@ -1 +1 @@
-Subproject commit 58f628c7cb900b4c56380174d3d0197891d64045
+Subproject commit 9701c54dd71d862a9c30a2721e1f2ad7f335d79b
