An LRU cache implementation — ETNA workload.
Per-property results
| Property | passed | failed | other | verdict |
|---|---|---|---|---|
ClearResizeDropsAll | 0 | 40 | 0 | bug found |
CloneUnboundedNoPanic | 0 | 40 | 0 | bug found |
DropImplDropsAll | 0 | 40 | 0 | bug found |
PopDropsKey | 0 | 40 | 0 | bug found |
PopIterConsistent | 0 | 40 | 0 | bug found |