diff options
| author | Hans Nilsson <[email protected]> | 2014-09-05 15:42:55 +0200 |
|---|---|---|
| committer | Hans Nilsson <[email protected]> | 2014-09-09 10:26:21 +0200 |
| commit | 32573a29bae633f9af09d7958d49f1d06daebd18 (patch) | |
| tree | 039d778a3017f65a491054a2de4193900f0c580f /lib/ssh/test/property_test | |
| parent | fc2e55e44a0d5a684c2bf10cbfbd0dd0d0c03261 (diff) | |
| download | otp-32573a29bae633f9af09d7958d49f1d06daebd18.tar.gz otp-32573a29bae633f9af09d7958d49f1d06daebd18.tar.bz2 otp-32573a29bae633f9af09d7958d49f1d06daebd18.zip | |
ssh: update for triq tests
Diffstat (limited to 'lib/ssh/test/property_test')
| -rw-r--r-- | lib/ssh/test/property_test/ssh_eqc_client_server.erl | 5 | ||||
| -rw-r--r-- | lib/ssh/test/property_test/ssh_eqc_encode_decode.erl | 16 |
2 files changed, 21 insertions, 0 deletions
diff --git a/lib/ssh/test/property_test/ssh_eqc_client_server.erl b/lib/ssh/test/property_test/ssh_eqc_client_server.erl index 3a84acebb3..cf895ae85e 100644 --- a/lib/ssh/test/property_test/ssh_eqc_client_server.erl +++ b/lib/ssh/test/property_test/ssh_eqc_client_server.erl @@ -27,6 +27,10 @@ -ifdef(PROPER). %% Proper is not supported. -else. +-ifdef(TRIQ). +%% Proper is not supported. +-else. + -include_lib("eqc/include/eqc.hrl"). -include_lib("eqc/include/eqc_statem.hrl"). @@ -600,3 +604,4 @@ erase_dir(Dir) -> file:del_dir(Dir). -endif. +-endif. 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 6ddf2c9972..34630bdc91 100644 --- a/lib/ssh/test/property_test/ssh_eqc_encode_decode.erl +++ b/lib/ssh/test/property_test/ssh_eqc_encode_decode.erl @@ -22,20 +22,36 @@ -compile(export_all). +-proptest(eqc). +-proptest([triq,proper]). + +-include_lib("ct_property_test.hrl"). + -ifndef(EQC). -ifndef(PROPER). +-ifndef(TRIQ). -define(EQC,true). %%-define(PROPER,true). +%%-define(TRIQ,true). +-endif. -endif. -endif. -ifdef(EQC). -include_lib("eqc/include/eqc.hrl"). -define(MOD_eqc,eqc). + -else. -ifdef(PROPER). -include_lib("proper/include/proper.hrl"). -define(MOD_eqc,proper). + +-else. +-ifdef(TRIQ). +-define(MOD_eqc,triq). +-include_lib("triq/include/triq.hrl"). + +-endif. -endif. -endif. |