File tree Expand file tree Collapse file tree 1 file changed +15
-0
lines changed Expand file tree Collapse file tree 1 file changed +15
-0
lines changed Original file line number Diff line number Diff line change 44import pytest
55
66obstore = pytest .importorskip ("obstore" )
7+ import pytest
8+ from hypothesis .stateful import (
9+ run_state_machine_as_test ,
10+ )
711from obstore .store import LocalStore , MemoryStore
812
913from zarr .core .buffer import Buffer , cpu
1014from zarr .storage import ObjectStore
15+ from zarr .testing .stateful import ZarrHierarchyStateMachine
1116from zarr .testing .store import StoreTests
1217
1318
@@ -69,3 +74,13 @@ def test_store_init_raises(self) -> None:
6974 """Test __init__ raises appropriate error for improper store type"""
7075 with pytest .raises (TypeError ):
7176 ObjectStore ("path/to/store" )
77+
78+
79+ @pytest .mark .slow_hypothesis
80+ def test_zarr_hierarchy ():
81+ sync_store = ObjectStore (MemoryStore ())
82+
83+ def mk_test_instance_sync () -> ZarrHierarchyStateMachine :
84+ return ZarrHierarchyStateMachine (sync_store )
85+
86+ run_state_machine_as_test (mk_test_instance_sync )
You can’t perform that action at this time.
0 commit comments