Commits on Nov 4, 2023

1. 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.

   

   jkhsjdhjs committed Nov 4, 2023
   Configuration menu

   • View commit details
   • Copy full SHA for 7a2e341
   • Browse repository at this point

   Copy the full SHA

   7a2e341 View commit details

   Browse the repository at this point in the history