Skip to content
Success

Changes

Summary

  1. Made heap pass the invariant check. We should be able to enable invariants on the standard library. Also added the reproductions for new trac trickets. (details)
Commit df2e00f233571fd339c5f2bb9025973837d85481 by ajbeach
Made heap pass the invariant check. We should be able to enable invariants on the standard library. Also added the reproductions for new trac trickets.
The file was modifiedlibcfa/src/heap.cfa
The file was addedtests/bugs/290.cfa
The file was addedtests/bugs/289.cfa