Merge pull request #350 from martin-cs/update/cbmc-submodule-may-2020

martin-cs · web-flow · commit 65dfae37e21b · 2020-06-04T10:36:54.000+01:00
Update/cbmc submodule may 2020
diff --git a/lib/cbmc b/lib/cbmc
@@ -1 +1 @@
-Subproject commit 4682d07e9145c981208e8bbae01c5637a1667cd2
+Subproject commit 5568f64826e7e8c0820fd6c9d11ed893b4a28ddc
