On: Why fuzzing over formal verification?

[NovemberWhiskey]

I can easily write a specification for a function that says: given input integer n (n>2) return a vector of integer values (a, b, c) such that a^n + b^n = c^n or return an error if no such value exists. I invite you to write a concise unit test of the implementation of said function!

[AnimalMuppet → NovemberWhiskey]

  assert(vector.is_empty());

;-)