[eru]

Well, we let humans write both business logic code and tests often enough, too.

Btw, you can get a lot further in your tests, if you move away from examples, and towards properties.

[jaynetics]

Can you give an example (pun not intended) of testing with properties?

[eru]

https://fsharpforfunandprofit.com/series/property-based-test... is an entertaining intro.

https://hypothesis.readthedocs.io/en/latest/ are the docs for one of the best property based testing libraries available in any language.