diff options
| author | Bruce Yinhe <[email protected]> | 2014-10-22 16:28:01 +0200 |
|---|---|---|
| committer | Bruce Yinhe <[email protected]> | 2014-10-22 16:28:01 +0200 |
| commit | 44a61648682d08e47536cc87d3d8c023919a91f5 (patch) | |
| tree | c2b93a7435f7e7410537fd4c3c336c00c756a7e7 /lib/ssh/test/property_test/ssh_eqc_encode_decode.erl | |
| parent | 8462e28e5328efe2d8d739756d0f45af2fb1ab15 (diff) | |
| parent | df4f9a5d10f920dfa16c8f2c75bc40182296d33e (diff) | |
| download | otp-44a61648682d08e47536cc87d3d8c023919a91f5.tar.gz otp-44a61648682d08e47536cc87d3d8c023919a91f5.tar.bz2 otp-44a61648682d08e47536cc87d3d8c023919a91f5.zip | |
Merge branch 'HansN/prop_test_updates' into maint
OTP-12256
* HansN/prop_test_updates:
Optimizations
ssh_eqc_encode_decode.erl compiles
Add timeout to a property test (Thanks John & Tobias @ QuviQ)
Reduce the total testing time for the properties to 20 seconds
No side effects in function arguments
Passing global var to QuickCheck statemachine
Diffstat (limited to 'lib/ssh/test/property_test/ssh_eqc_encode_decode.erl')
| -rw-r--r-- | lib/ssh/test/property_test/ssh_eqc_encode_decode.erl | 2 |
1 files changed, 0 insertions, 2 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 34630bdc91..57ea2012c1 100644 --- a/lib/ssh/test/property_test/ssh_eqc_encode_decode.erl +++ b/lib/ssh/test/property_test/ssh_eqc_encode_decode.erl @@ -25,8 +25,6 @@ -proptest(eqc). -proptest([triq,proper]). --include_lib("ct_property_test.hrl"). - -ifndef(EQC). -ifndef(PROPER). -ifndef(TRIQ). |