That's certainly one thing that tests should do. But there are many more also (e.g. do you get appropriate error reporting when pre-condition is not met on a function, does the application as a whole exhibit appropriate behaviour, etc.)

You might also want to look at Design By Contract as an alternative way of using pre-conditions, post-conditions and invariants in software development.