Using this to figure out what I’m doing for the leaves in 202005141716 Main note for protobuf hypothesis since there’s no well defined way to do that

String distance

• Levenshtein distance
• Hamming distance

How to generate random word

• If there’s some edge case, like a string of a float instead of a string of an int, try to make sure somehow that that gets included in the hypothesis test
• Pull from characters and their vicinity

For floats and ints

• Find the max and min value, figure out if strings are floats or ints, and just generate sample values based on that
• If strings are actually ints, do a specific check for that
  • Can use is numeric
• Make sure that it puts in NaNs in there every once in a while, formatted as “NaN” (can use hypothesis.strategies.one_of to make sure NaNs are getting produced)

---

tags: #theorem

---

---

---