aboutsummaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
authorHans Nilsson <[email protected]>2017-01-20 14:59:16 +0100
committerHans Nilsson <[email protected]>2017-01-20 14:59:16 +0100
commit956e78421627ac7348786f8233457cd9d2cae7fb (patch)
tree119902a70bd7e20df58e079391c18403e6c4ae9d
parentb25f0618a1b03c9d5c3eb199593a0eccb8fc367f (diff)
parentd4f04425dbf98ee6ef97b4cbfaea0d62bd2fd28d (diff)
downloadotp-956e78421627ac7348786f8233457cd9d2cae7fb.tar.gz
otp-956e78421627ac7348786f8233457cd9d2cae7fb.tar.bz2
otp-956e78421627ac7348786f8233457cd9d2cae7fb.zip
Merge branch 'hans/ssh/cuddle_tests' into maint
-rw-r--r--lib/ssh/test/property_test/ssh_eqc_encode_decode.erl5
1 files changed, 1 insertions, 4 deletions
diff --git a/lib/ssh/test/property_test/ssh_eqc_encode_decode.erl b/lib/ssh/test/property_test/ssh_eqc_encode_decode.erl
index 0f8a838f97..8ca29b9399 100644
--- a/lib/ssh/test/property_test/ssh_eqc_encode_decode.erl
+++ b/lib/ssh/test/property_test/ssh_eqc_encode_decode.erl
@@ -184,10 +184,7 @@ gen_byte(N) when N>0 -> [gen_byte() || _ <- lists:seq(1,N)].
gen_char() -> choose($a,$z).
-gen_mpint() -> ?LET(Size, choose(1,20),
- ?LET(Str, vector(Size, gen_byte()),
- gen_string( strip_0s(Str) )
- )).
+gen_mpint() -> ?LET(I, largeint(), ssh_bits:mpint(I)).
strip_0s([0|T]) -> strip_0s(T);
strip_0s(X) -> X.