add the proximity criterion

This commit is contained in:
tamo
2021-04-07 11:04:53 +02:00
committed by Tamo
parent 49e4cc3daf
commit aee49bb3cd
2 changed files with 37 additions and 0 deletions

View File

@ -67,3 +67,7 @@ harness = false
[[bench]]
name = "words"
harness = false
[[bench]]
name = "proximity"
harness = false