diff options
author | Hans Nilsson <hans@erlang.org> | 2014-09-05 15:42:55 +0200 |
---|---|---|
committer | Hans Nilsson <hans@erlang.org> | 2014-09-09 10:26:21 +0200 |
commit | 32573a29bae633f9af09d7958d49f1d06daebd18 (patch) | |
tree | 039d778a3017f65a491054a2de4193900f0c580f /lib/ssh/test/property_test/ssh_eqc_encode_decode.erl | |
parent | fc2e55e44a0d5a684c2bf10cbfbd0dd0d0c03261 (diff) | |
download | erlang-32573a29bae633f9af09d7958d49f1d06daebd18.tar.gz |
ssh: update for triq tests
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 | 16 |
1 files changed, 16 insertions, 0 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 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. |