advance cbmc develop

Daniel Kroening · Daniel Kroening · commit 65361df27189 · 2017-09-16T16:54:50.000+01:00
diff --git a/lib/cbmc b/lib/cbmc
@@ -1 +1 @@
-Subproject commit e54c0e9dcba0e0cd3e16172f566ee36cdc328d09
+Subproject commit 2b050a063ee60ee88b45409d533b409cf1efc26a
