File tree Expand file tree Collapse file tree
Expand file tree Collapse file tree Original file line number Diff line number Diff line change @@ -38,3 +38,7 @@ filesystem-predict-tests:
3838.PHONY : dump-metadata-tests
3939dump-metadata-tests :
4040 python3 -m unittest ${UNITTEST_OPTS} tests.udev.test_dump
41+
42+ .PHONY : model-tests
43+ model-tests :
44+ python3 -m unittest ${UNITTEST_OPTS} tests.model.test_hypothesis_stateful
Original file line number Diff line number Diff line change 1+ # Copyright 2024 Red Hat, Inc.
2+ #
3+ # Licensed under the Apache License, Version 2.0 (the "License");
4+ # you may not use this file except in compliance with the License.
5+ # You may obtain a copy of the License at
6+ #
7+ # http://www.apache.org/licenses/LICENSE-2.0
8+ #
9+ # Unless required by applicable law or agreed to in writing, software
10+ # distributed under the License is distributed on an "AS IS" BASIS,
11+ # WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
12+ # See the License for the specific language governing permissions and
13+ # limitations under the License.
14+ """
15+ Use hypothesis stateful testing to test stratisd.
16+ """
17+
18+ # isort: STDLIB
19+
20+ # isort: THIRDPARTY
21+ from hypothesis .stateful import RuleBasedStateMachine , precondition , rule
22+
23+
24+ class StratisOrders (RuleBasedStateMachine ):
25+ """
26+ Rule based machine for doing testing.
27+ """
28+
29+ @precondition (lambda self : True )
30+ @rule ()
31+ def create_pool (self ):
32+ """
33+ Create a pool.
34+ """
35+
36+ @precondition (lambda self : True )
37+ @rule ()
38+ def destroy_pool (self ):
39+ """
40+ Destroy a pool.
41+ """
42+
43+
44+ TestStratis = StratisOrders .TestCase
You can’t perform that action at this time.
0 commit comments