CodePlexProject Hosting for Open Source Software
An unexpected error has occured.
There is an unsaved comment in progress. You will lose your changes if you continue. Are you sure you want to reopen the work item?
wrote Aug 9, 2010 at 11:10 AM
wrote Aug 9, 2010 at 11:46 PM
ensures 0 _value == (old(_value) + amount _value == (old(_value) + amount
old(_value) + amount <= _value && 0 <= _value &&
(_value == old(_value) + amount || _value == 0);
Sign in to add a comment or to set email notifications
Keyboard shortcuts are available for this page.