33 tests proved the tool was correct. None asked whether it runs.

· Dev.to