yuanbiao
/
emqx
1
0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

test(ft): ensure no division by zero in coverage proptest

This commit is contained in:
Andrew Mayorov 2023-05-26 21:53:01 +03:00
parent fe81e9521a
commit 98ce7e8bbd
No known key found for this signature in database
GPG Key ID: 2837C62ACFBFED5D
1 changed files with 2 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

4
apps/emqx_ft/test/props/prop_emqx_ft_assembly.erl
View File

@ -58,7 +58,7 @@ prop_coverage_likely_incomplete() ->
{filesize_t(), segsizes_t(), filesize_t()}, {filesize_t(), segsizes_t(), filesize_t()},
?FORALL( ?FORALL(
Fragments, Fragments,
noshrink(segments_t(Filesize, Segsizes, Hole)), noshrink(segments_t(Filesize, Segsizes, (Hole rem max(Filesize, 1)))),
?TIMEOUT( ?TIMEOUT(
?COVERAGE_TIMEOUT, ?COVERAGE_TIMEOUT,
begin begin
@ -174,7 +174,7 @@ segment_t(Filesize, Segsizes, Hole) ->
?SUCHTHATMAYBE( ?SUCHTHATMAYBE(
{Offset, Size}, {Offset, Size},
segment_t(Filesize, Segsizes), segment_t(Filesize, Segsizes),
(Hole rem Filesize) =< Offset orelse (Hole rem Filesize) > (Offset + Size) Hole =< Offset orelse Hole > (Offset + Size)
). ).
segment_t(Filesize, Segsizes) -> segment_t(Filesize, Segsizes) ->