Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
model.base: fix
ConstrainedList.clear()
atomicity
The default inherited `clear()` implementation repeatedly deletes the last item of the list until the list is empty. If the last item can be deleted successfully, but an item in front of it that will be deleted later cannot, this makes `clear()` non-atomic. Thus, the `clear()` method is now overriden in an atomic way. Furthermore, the ConstrainedList atomicity test is fixed to correctly test for this as well.
- Loading branch information