new-lock-table maxlocks=10000
----

new-txn txn=txn1 ts=10 epoch=0
----

new-txn txn=txn2 ts=10 epoch=0
----

new-request r=req1 txn=txn1 ts=10 spans=intent@a+none@b+intent@c
----

clear disable
----
num=0

enable lease-seq=5
----

scan r=req1
----
start-waiting: false

add-discovered r=req1 k=a txn=txn2 lease-seq=4
----
num=0

add-discovered r=req1 k=b txn=txn2 lease-seq=5
----
num=1
 lock: "b"
  holder: txn: 00000000-0000-0000-0000-000000000002 epoch: 0, iso: Serializable, ts: 10.000000000,0, info: repl [Intent]

add-discovered r=req1 k=c txn=txn2 lease-seq=6
----
unexpected lease sequence: 6 > 5

print
----
num=1
 lock: "b"
  holder: txn: 00000000-0000-0000-0000-000000000002 epoch: 0, iso: Serializable, ts: 10.000000000,0, info: repl [Intent]
