File tree Expand file tree Collapse file tree 1 file changed +8
-8
lines changed Expand file tree Collapse file tree 1 file changed +8
-8
lines changed Original file line number Diff line number Diff line change @@ -224,18 +224,18 @@ def check_num_keys_equal(self) -> None:
224224
225225 @invariant ()
226226 def check_keys (self ) -> None :
227- # For local store, this can be empty if there are no files,
228- # but there are subfolders that weren't cleared.
229227 keys = list (self .store .list ())
230228
231- # if len(keys) == 0:
232- # assert self.store.empty() is True
229+ # NOTE: A local store can be non-empty if there are no files,
230+ # but there are subfolders that weren't cleared.
231+ if len (keys ) == 0 :
232+ assert self .store .empty () is True
233233
234- # elif len(keys) != 0:
235- # assert self.store.empty() is False
234+ elif len (keys ) != 0 :
235+ assert self .store .empty () is False
236236
237- for key in keys :
238- assert self .store .exists (key ) is True
237+ for key in keys :
238+ assert self .store .exists (key ) is True
239239 note ("checking keys / exists / empty" )
240240
241241
You can’t perform that action at this time.
0 commit comments