chiark / gitweb /
documentation: trie pretty printing didn't handle the 11bit special case.
authorVladimír Vondruš <mosra@centrum.cz>
Sat, 8 Jan 2022 18:20:29 +0000 (19:20 +0100)
committerVladimír Vondruš <mosra@centrum.cz>
Sat, 8 Jan 2022 22:17:00 +0000 (23:17 +0100)
commitbe19fd5398bdde5c5c8ddfdca0a2a23a5569c9f4
tree054ed2d3ee04ac5cb6ab29a8a00b5c08b0293b70
parentf1207cec97c78765ac6ff034b55464695f3f6f56
documentation: trie pretty printing didn't handle the 11bit special case.

Better to have it tested directly, and not only through the JS
decoder part.
documentation/_search.py
documentation/test/populate-js-test-data.py
documentation/test/test_search.py