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 12:10 PM
wrote Aug 10, 2010 at 12:46 AM
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.