On 01/04/2012 11:31 PM, Timon Gehr wrote:
Code for which no tests exist is neither correct nor incorrect. Assertions are a neat way to detect parts of the application whose implementation is incomplete.
Another major use of them is the checked documentation of assumptions, mainly in method preconditions.
