diff options
| author | Hans Nilsson <[email protected]> | 2017-01-20 14:59:58 +0100 |
|---|---|---|
| committer | Hans Nilsson <[email protected]> | 2017-01-20 14:59:58 +0100 |
| commit | 6ee20cdb6a2ca2f2a4d6f3d418a0991f7a5863be (patch) | |
| tree | 0fb5eb954dea3918f2d68f21b65fe262a7f47e24 | |
| parent | 5ea3cb7c15b2534c8fe442f09c8ab8a71aed1108 (diff) | |
| parent | 956e78421627ac7348786f8233457cd9d2cae7fb (diff) | |
| download | otp-6ee20cdb6a2ca2f2a4d6f3d418a0991f7a5863be.tar.gz otp-6ee20cdb6a2ca2f2a4d6f3d418a0991f7a5863be.tar.bz2 otp-6ee20cdb6a2ca2f2a4d6f3d418a0991f7a5863be.zip | |
Merge branch 'maint'
| -rw-r--r-- | lib/ssh/test/property_test/ssh_eqc_encode_decode.erl | 5 |
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. |