[crystaln]

Assuming you are sarcastically dismissing typed language defenses, as if people promoting typed languages have the position that tests are not necessary.

[cia_plant]

No, I'm simply stating the fact that there are type systems capable of encoding assertions.