__split_multi_inmem_final, 1560: upd != NULL && upd != supd->onpage_upd && supd->onpage_upd != NULL

#2  0x000000000049b1c1 in __wt_abort (session=0x1fa9058) at ../src/os_common/os_abort.c:30

#3  0x000000000057bec7 in __split_multi_inmem_final (session=0x1fa9058, orig=0x7f78fc2a4e10, multi=0x7f79200985f0)

    at ../src/btree/bt_split.c:1560

#4  0x000000000057ddde in __wt_split_rewrite (session=0x1fa9058, ref=0x4066be0, multi=0x7f79200985f0) at ../src/btree/bt_split.c:2242

#5  0x0000000000471d13 in __evict_page_dirty_update (session=0x1fa9058, ref=0x4066be0, evict_flags=0) at ../src/evict/evict_page.c:394

#6  0x0000000000470fe9 in __wt_evict (session=0x1fa9058, ref=0x4066be0, previous_state=3 '\003', flags=0)

    at ../src/evict/evict_page.c:219

#7  0x000000000046d930 in __evict_page (session=0x1fa9058, is_server=false) at ../src/evict/evict_lru.c:2246

#8  0x000000000046df05 in __wt_cache_eviction_worker (session=0x1fa9058, busy=false, readonly=false, pct_full=100.61581693923145)

    at ../src/evict/evict_lru.c:2336

#9  0x00000000004f7ecb in __wt_cache_eviction_check (session=0x1fa9058, busy=false, readonly=false, didworkp=0x0)

    at ../src/include/cache.i:427

#10 0x00000000004fb98a in __wt_txn_commit (session=0x1fa9058, cfg=0x7f790affcd90) at ../src/txn/txn.c:1126

#11 0x00000000004d9448 in __session_commit_transaction (wt_session=0x1fa9058, config=0x0) at ../src/session/session_api.c:1677

#12 0x0000000000409600 in commit_transaction (tinfo=0x586ff00, prepared=false) at ../../../test/format/ops.c:440

#13 0x000000000040ab73 in ops (arg=0x586ff00) at ../../../test/format/ops.c:960

(gdb) frame 3

#3  0x000000000057bec7 in __split_multi_inmem_final (session=0x1fa9058, orig=0x7f78fc2a4e10, multi=0x7f79200985f0)

    at ../src/btree/bt_split.c:1560

1560	            WT_ASSERT(session, upd != NULL && upd != supd->onpage_upd && supd->onpage_upd != NULL);

(gdb) p upd

$1 = (WT_UPDATE *) 0x7f78d8085480

(gdb) p supd

$2 = (WT_SAVE_UPD *) 0x7f7920053300

(gdb) p *supd

$3 = {ins = 0x0, ripcip = 0x7f78fc2a5c58, onpage_upd = 0x7f78d8085480, restore = true}