@@ -325,7 +325,7 @@ def __init__(self, store: Store) -> None:
325325 def init_store (self ) -> None :
326326 self .store .clear ()
327327
328- @rule (key = zarr_keys , data = st .binary (min_size = 0 , max_size = MAX_BINARY_SIZE ))
328+ @rule (key = zarr_keys () , data = st .binary (min_size = 0 , max_size = MAX_BINARY_SIZE ))
329329 def set (self , key : str , data : DataObject ) -> None :
330330 note (f"(set) Setting { key !r} with { data } " )
331331 assert not self .store .read_only
@@ -334,7 +334,7 @@ def set(self, key: str, data: DataObject) -> None:
334334 self .model [key ] = data_buf
335335
336336 @precondition (lambda self : len (self .model .keys ()) > 0 )
337- @rule (key = zarr_keys , data = st .data ())
337+ @rule (key = zarr_keys () , data = st .data ())
338338 def get (self , key : str , data : DataObject ) -> None :
339339 key = data .draw (
340340 st .sampled_from (sorted (self .model .keys ()))
@@ -344,7 +344,7 @@ def get(self, key: str, data: DataObject) -> None:
344344 # to bytes here necessary because data_buf set to model in set()
345345 assert self .model [key ] == store_value
346346
347- @rule (key = zarr_keys , data = st .data ())
347+ @rule (key = zarr_keys () , data = st .data ())
348348 def get_invalid_zarr_keys (self , key : str , data : DataObject ) -> None :
349349 note ("(get_invalid)" )
350350 assume (key not in self .model )
@@ -408,7 +408,7 @@ def is_empty(self) -> None:
408408 # make sure they either both are or both aren't empty (same state)
409409 assert self .store .is_empty ("" ) == (not self .model )
410410
411- @rule (key = zarr_keys )
411+ @rule (key = zarr_keys () )
412412 def exists (self , key : str ) -> None :
413413 note ("(exists)" )
414414
0 commit comments