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

Merge pull request #10843 from keynslug/fix/ft-prop-zerodiv 

test(ft): ensure no division by zero in coverage proptest
This commit is contained in:
Andrew Mayorov 2023-05-29 10:23:52 +03:00 committed by GitHub
parent 2b6d3bb748 98ce7e8bbd
commit daa7eebc0f
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
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) ->