Improve performance of editdist3() by keeping the costs in sorted order.

Also add a new regression test to editdist3(). FossilOrigin-Name: dc734c5b61464dfd6bfa7963f2ecce32e405a0c2ba1ef6f453ec9389da080256
2018-02-15 03:56:33 +00:00
parent 46e835a2c4
commit f4bc6c43d7
4 changed files with 108 additions and 21 deletions
@@ -1 +1 @@
-afd6fbc01052ccfc9bd29fb8f934b291b8f56af44fcae870da7e1355fe95c29a
+dc734c5b61464dfd6bfa7963f2ecce32e405a0c2ba1ef6f453ec9389da080256