Subject: Re: [boost] [review][constrained_value] Review of ConstrainedValueLibrary begins today
From: Gordon Woodhull (gordon_at_[hidden])
Date: 2008-12-07 16:42:31
> a passing test guarantees the
> invariant (but a failing test need not imply that the invariant is not
> satisfied). The test is what is implemented (just like the current
> constraint), but the invariant is only documented/guaranteed.
In this case, the invariant is what you see in the code
but it gets coarsened by the test to account for error.
Boost list run by bdawes at acm.org, gregod at cs.rpi.edu, cpdaniel at pacbell.net, john at johnmaddock.co.uk