diff options
author | Ondrej Zajicek <santiago@crfreenet.org> | 2023-04-21 19:29:17 +0200 |
---|---|---|
committer | Ondrej Zajicek <santiago@crfreenet.org> | 2023-04-21 19:31:16 +0200 |
commit | 1a1e13cc2fc2df82e2319b7beeb18bb8eb92fbd2 (patch) | |
tree | 1287e9bb9a6b3383e3863afdc2af4cdaab1d9bcd /doc | |
parent | 52450bc96dcedbc30cbb2e282c6706ad9e5e5774 (diff) |
Filter: Disable some trie formatting tests
Trie formatting works slightly different with 4-way tries than with
16-way ones, so these tests generated false error. Block them for now.
Diffstat (limited to 'doc')
0 files changed, 0 insertions, 0 deletions