Adjust proof tooling to support CBMC v6 #113
+213
−185
Draft
Loading