From f21f79c32d3a9a84c979fa2b012ddb62ba8f3cca Mon Sep 17 00:00:00 2001 From: William Yang Date: Wed, 11 Dec 2024 18:41:45 +0100 Subject: [PATCH] test(proper): further limit testing range --- test/prop_quic_types.hrl | 2 +- test/quicer_prop_gen.erl | 4 ++-- 2 files changed, 3 insertions(+), 3 deletions(-) diff --git a/test/prop_quic_types.hrl b/test/prop_quic_types.hrl index 5284494e..e7306f25 100644 --- a/test/prop_quic_types.hrl +++ b/test/prop_quic_types.hrl @@ -118,7 +118,7 @@ | {peer_unidi_stream_count, uint16()} | {retry_memory_limit, uint16()} | {load_balancing_mode, 0..2} - | {max_operations_per_drain, uint8()} + | {max_operations_per_drain, 1..(1 bsl 8 - 1)} | {send_buffering_enabled, 0 | 1} | {pacing_enabled, 0 | 1} | {migration_enabled, 0 | 1} diff --git a/test/quicer_prop_gen.erl b/test/quicer_prop_gen.erl index a1750d7e..dd0c3d24 100644 --- a/test/quicer_prop_gen.erl +++ b/test/quicer_prop_gen.erl @@ -301,8 +301,8 @@ valid_quicer_settings() -> quicer_setting_val_is_power_2(stream_recv_window_bidi_local_default, Opts) andalso quicer_setting_val_is_power_2(stream_recv_window_bidi_remote_default, Opts) andalso quicer_setting_val_is_power_2(stream_recv_window_unidi_default, Opts) andalso - (proplists:get_value(maximum_mtu, Opts, 1500) > - proplists:get_value(minimum_mtu, Opts, 1248)) + (proplists:get_value(maximum_mtu, lists:reverse(Opts), 1500) > + proplists:get_value(minimum_mtu, lists:reverse(Opts), 1248)) ). -spec ensure_dummy_listener(non_neg_integer()) -> _.