Commit 05fabbd03eae7b84ebbce7abbdc55c1d67ceacf9
2017-08-11T19:51:06
[unsafe-to-break] Towards verifying unsafe-to-break in --verify We break and shape fragments and reconstruct shape result from them. Remains to compare to original buffer. Going to add some buffer comparison API and use here, instead of open-coding.