summaryrefslogtreecommitdiff
path: root/lib/common_test
diff options
context:
space:
mode:
authorHans Nilsson <hans@erlang.org>2019-12-16 14:55:24 +0100
committerHans Nilsson <hans@erlang.org>2020-01-07 13:03:56 +0100
commitfe7c44eb8a92bb30ba7ca5b1e23bfaaf4acff221 (patch)
tree9339c0c8ac47512268702be497163e450a67b383 /lib/common_test
parent855912f5056fc2963e6921bd5360481901c2f551 (diff)
downloaderlang-fe7c44eb8a92bb30ba7ca5b1e23bfaaf4acff221.tar.gz
common_test: Add .hrl for support macros and -include of proptest tool
Diffstat (limited to 'lib/common_test')
-rw-r--r--lib/common_test/include/ct_property_test.hrl40
-rw-r--r--lib/common_test/src/Makefile3
2 files changed, 42 insertions, 1 deletions
diff --git a/lib/common_test/include/ct_property_test.hrl b/lib/common_test/include/ct_property_test.hrl
new file mode 100644
index 0000000000..9d5933fde3
--- /dev/null
+++ b/lib/common_test/include/ct_property_test.hrl
@@ -0,0 +1,40 @@
+%%
+%% %CopyrightBegin%
+%%
+%% Copyright Ericsson AB 2004-2019. All Rights Reserved.
+%%
+%% Licensed under the Apache License, Version 2.0 (the "License");
+%% you may not use this file except in compliance with the License.
+%% You may obtain a copy of the License at
+%%
+%% http://www.apache.org/licenses/LICENSE-2.0
+%%
+%% Unless required by applicable law or agreed to in writing, software
+%% distributed under the License is distributed on an "AS IS" BASIS,
+%% WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
+%% See the License for the specific language governing permissions and
+%% limitations under the License.
+%%
+%% %CopyrightEnd%
+%%
+%%
+
+-ifndef(CT_PROPERTY_TEST_HRL).
+ -define(CT_PROPERTY_TEST_HRL, true).
+
+ -ifdef(EQC).
+ -define(MOD_eqc, eqc).
+ -include_lib("eqc/include/eqc.hrl").
+ -else.
+ -ifdef(PROPER).
+ -define(MOD_eqc, proper).
+ -include_lib("proper/include/proper.hrl").
+ -else.
+ -ifdef(TRIQ).
+ -define(MOD_eqc, triq).
+ -include_lib("triq/include/triq.hrl").
+ -endif.
+ -endif.
+ -endif.
+
+-endif.
diff --git a/lib/common_test/src/Makefile b/lib/common_test/src/Makefile
index 76689dab8c..ffdef8ec39 100644
--- a/lib/common_test/src/Makefile
+++ b/lib/common_test/src/Makefile
@@ -96,7 +96,8 @@ HRL_FILES = \
ct_netconfc.hrl
EXTERNAL_HRL_FILES = \
../include/ct.hrl \
- ../include/ct_event.hrl
+ ../include/ct_event.hrl \
+ ../include/ct_property_test.hrl
EXTERNAL_INC_PATH = ../include