Repository navigation

test(db-ivm): pin what min and max promise after a delete - #2093

Merged

KyleAMathews merged 7 commits into

mainfrom

test-db-ivm-minmax-multiplicity

Oct 12, 2026

Merged

test(db-ivm): pin what min and max promise after a delete#2093
KyleAMathews merged 7 commits into
mainfrom
test-db-ivm-minmax-multiplicity

Commits on Oct 9, 2026
- test(db-ivm): pin what min and max promise after a delete
  
  Isaac
  and
  Isaac
  committed
  0279f5a
- test(db-ivm): check the delete's output and record the min/max contract
  
  Isaac
  and
  Isaac
  committed
  4894372
Commits on Oct 10, 2026
- test(db-ivm): pin min/max identity after a delete in both directions
  
  Isaac
  and
  Isaac
  committed
  3e9d435
- test(db-ivm): check min and max after a delete in both insertion orders
  
  Isaac
  and
  Isaac
  committed
  9fd81b1
Commits on Oct 11, 2026
- test(db-ivm): pin the deleted min/max instance in both insertion orders
  
  Isaac
  and
  Isaac
  committed
  d86af31
- test(db-ivm): check min/max after deleting the maximum and both zero directions
  
  Isaac
  and
  Isaac
  committed
  770f94f
Commits on Oct 12, 2026
- test(db-ivm): pin max as well as min for the deleted zero instance
  
  Isaac
  and
  Isaac
  committed
  a8108d5