!7

static L<S> strings = splitAtSpace("a b ab ba aab aba bbaa abc ca bac aabb eec ec cae eeaaee ebbbee aa bbccaa aaccccc");

p {
  for (S a : strings)
    for (S b : strings) {
      int lev = leven(a, b);
      for (int max = 0; max <= lev+1; max++) {
        int i = leven_limited(a, b, max);
        if (i != max(lev, max))
          print("ERROR");
      }
    }
  print("done (" + l(strings)*l(strings) + " tests)");
}