Skip to content
Snippets Groups Projects
user avatar
Vladislav Shpilevoy authored
vy_mem_iterator_restore() is incorrect when the following
two conditions are both met:

a) Some key was prepared, but hasn't been committed yet
b) vy_mem_iterator is started and hasn't finished yet

Try to fix it by adding a new condition to mem_restore invariant.

See #2423
6008f777
History
Name Last commit Last update