From 7d171de02bf1ef7d0b436dd1a84a5b1ddb077eca Mon Sep 17 00:00:00 2001 From: Andrew Mayorov Date: Tue, 27 Jun 2023 17:17:56 +0200 Subject: [PATCH] test(ft): make proptests even less aggressive --- 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 dd640c513..9fa3d2279 100644 --- a/apps/emqx_ft/test/props/prop_emqx_ft_assembly.erl +++ b/apps/emqx_ft/test/props/prop_emqx_ft_assembly.erl @@ -20,7 +20,7 @@ -import(emqx_proper_types, [scaled/2, fixedmap/1, typegen/0, generate/2]). --define(COVERAGE_TIMEOUT, 5000). +-define(COVERAGE_TIMEOUT, 10000). prop_coverage() -> ?FORALL( @@ -201,7 +201,7 @@ segment_t(Filesize, Segsizes) -> ). filesize_t() -> - scaled(2500, non_neg_integer()). + scaled(2000, non_neg_integer()). segsizes_t() -> ?LET(