@@ -325,7 +325,7 @@ def __init__(self, store: Store) -> None:
325
325
def init_store (self ) -> None :
326
326
self .store .clear ()
327
327
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 ))
329
329
def set (self , key : str , data : DataObject ) -> None :
330
330
note (f"(set) Setting { key !r} with { data } " )
331
331
assert not self .store .read_only
@@ -334,7 +334,7 @@ def set(self, key: str, data: DataObject) -> None:
334
334
self .model [key ] = data_buf
335
335
336
336
@precondition (lambda self : len (self .model .keys ()) > 0 )
337
- @rule (key = zarr_keys , data = st .data ())
337
+ @rule (key = zarr_keys () , data = st .data ())
338
338
def get (self , key : str , data : DataObject ) -> None :
339
339
key = data .draw (
340
340
st .sampled_from (sorted (self .model .keys ()))
@@ -344,7 +344,7 @@ def get(self, key: str, data: DataObject) -> None:
344
344
# to bytes here necessary because data_buf set to model in set()
345
345
assert self .model [key ] == store_value
346
346
347
- @rule (key = zarr_keys , data = st .data ())
347
+ @rule (key = zarr_keys () , data = st .data ())
348
348
def get_invalid_zarr_keys (self , key : str , data : DataObject ) -> None :
349
349
note ("(get_invalid)" )
350
350
assume (key not in self .model )
0 commit comments