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.