From 98ce7e8bbdf54a797032e6da197e42b5f669146e Mon Sep 17 00:00:00 2001 From: Andrew Mayorov Date: Fri, 26 May 2023 21:53:01 +0300 Subject: [PATCH] test(ft): ensure no division by zero in coverage proptest --- apps/emqx_ft/test/props/prop_emqx_ft_assembly.erl | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/apps/emqx_ft/test/props/prop_emqx_ft_assembly.erl b/apps/emqx_ft/test/props/prop_emqx_ft_assembly.erl index 9a2b7df0b..db2f0c0b2 100644 --- a/apps/emqx_ft/test/props/prop_emqx_ft_assembly.erl +++ b/apps/emqx_ft/test/props/prop_emqx_ft_assembly.erl @@ -58,7 +58,7 @@ prop_coverage_likely_incomplete() -> {filesize_t(), segsizes_t(), filesize_t()}, ?FORALL( Fragments, - noshrink(segments_t(Filesize, Segsizes, Hole)), + noshrink(segments_t(Filesize, Segsizes, (Hole rem max(Filesize, 1)))), ?TIMEOUT( ?COVERAGE_TIMEOUT, begin @@ -174,7 +174,7 @@ segment_t(Filesize, Segsizes, Hole) -> ?SUCHTHATMAYBE( {Offset, Size}, segment_t(Filesize, Segsizes), - (Hole rem Filesize) =< Offset orelse (Hole rem Filesize) > (Offset + Size) + Hole =< Offset orelse Hole > (Offset + Size) ). segment_t(Filesize, Segsizes) ->