diff options
| author |  Evan Brown <ezb@google.com> | 2023-04-12 09:57:09 -0700 |
|---|---|---|
| committer |  Copybara-Service <copybara-worker@google.com> | 2023-04-12 09:57:55 -0700 |
| commit | 2126f023986070c518d676a6a116124fc0c5ba00 (patch) | |
| tree | e873ed0190e19a5ba07146c13b399faf5ad006de /ci | |
| parent | cb204d6d9c3f2066580e606bcbe54e3383791d5f (diff) | |
In debug mode, detect cases of btree comparators that violate transitivity, i.e. comp(A,B) && comp(B,C) -> comp(A,C).
When inserting a new element, we verify that the key is ordered correctly with respect to all the other values on the node, which can be done in constant time.
PiperOrigin-RevId: 523729309
Change-Id: Idb5a5912a9aa5411d086cb9fa76791523046778a
Diffstat (limited to 'ci')
0 files changed, 0 insertions, 0 deletions