diff options
author | Nick Vatamaniuc <vatamane@apache.org> | 2019-02-14 12:09:33 -0500 |
---|---|---|
committer | Nick Vatamaniuc <vatamane@apache.org> | 2019-02-15 16:42:43 -0500 |
commit | 710c29fde3a886a05a426329f4950b1c6c72dadc (patch) | |
tree | 69fac15cd1b011df03e3919ea4b52e9f2d5c92c5 | |
parent | f3a98a134433a17f014ef8110282b537d0ac96f5 (diff) | |
download | couchdb-710c29fde3a886a05a426329f4950b1c6c72dadc.tar.gz |
Property tests for mem3_util:get_ring() function
-rw-r--r-- | src/mem3/test/mem3_ring_prop_tests.erl | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/mem3/test/mem3_ring_prop_tests.erl b/src/mem3/test/mem3_ring_prop_tests.erl index 0fe6efb1f..2eb78c32f 100644 --- a/src/mem3/test/mem3_ring_prop_tests.erl +++ b/src/mem3/test/mem3_ring_prop_tests.erl @@ -24,7 +24,7 @@ prop_get_ring_with_connected_intervals() -> ?FORALL({Start, End}, oneof(ranges()), ?FORALL(Intervals, g_connected_intervals(Start, End), - mem3_util:get_ring(Intervals, Start, End) =/= [] + mem3_util:get_ring(Intervals, Start, End) =:= Intervals ) ). |