This is really impressive, but still, if you're working on a piece of software where this can work, count yourself lucky. Most software I've worked on (boring line-of-business stuff) would need as many lines of code to test a behavior as to implement the behavior.

It's not very frequently that you have a behavior that's very hard to make correct, but very easy to check for correctness.