rstar — n-dimensional R*-tree spatial index. ETNA workload mining bug-fix commits in georust/rstar.
Per-property results
| Property | passed | failed | other | verdict |
|---|---|---|---|---|
BulkLoadSizeCorrect | 20 | 0 | 20 | — |
EmptyTreeQueryNoPanic | 0 | 40 | 0 | bug found |
MinSizeOneNoPanic | 0 | 40 | 0 | bug found |