Non-empty variants of containers types (mstksg/nonempty-containers). Bug fixes mined from upstream history; modern HEAD is the base, each patch reverse-applies a fix to install the original bug.
Per-property results
| Property | passed | failed | other | verdict |
|---|---|---|---|---|
DeleteMaxNeIntMapKeysShrink | 0 | 40 | 0 | bug found |
DeleteMaxNeIntSetShrink | 0 | 40 | 0 | bug found |
DeleteMaxNeMapKeysShrink | 0 | 40 | 0 | bug found |
DeleteMaxNeSetShrink | 0 | 40 | 0 | bug found |
IntersperseLengthInvariant | 0 | 40 | 0 | bug found |
IsSubmapOfReflexiveAndKeyExists | 0 | 40 | 0 | bug found |
SplitLeftPartitionAtUpperBound | 0 | 40 | 0 | bug found |
UpdateLookupReturnsOriginal | 40 | 0 | 0 | — |