diff --git a/.travis.yml b/.travis.yml index 098a607..3e566a5 100644 --- a/.travis.yml +++ b/.travis.yml @@ -2,3 +2,10 @@ language: erlang otp_release: - 17.1 - 17.0 + - R16B03-1 + - R16B03 + - R16B02 + - R16B01 + - R15B01 + - R15B + - R14B04 diff --git a/rebar.config b/rebar.config index 4864be7..0740581 100644 --- a/rebar.config +++ b/rebar.config @@ -1,5 +1,9 @@ %% -*- erlang -*- -{erl_opts,[debug_info, warnings_as_errors]}. + +%% Erlang releases after 17 don't put R in front of their name +{erl_opts, [{platform_define, "^[0-9]+", namespaced_arrays}, + debug_info, + warnings_as_errors]}. {deps_dir, ["deps"]}. {deps, [{edown, ".*", diff --git a/test/ecirca_props.erl b/test/ecirca_props.erl index ac5e2f1..cd024fc 100644 --- a/test/ecirca_props.erl +++ b/test/ecirca_props.erl @@ -18,12 +18,18 @@ -export([initial_state/0, initial_state/4, command/1, precondition/2, postcondition/3, next_state/3]). +-ifdef(namespaced_arrays). +-type ecirca_array() :: array:array(). +-else. +-type ecirca_array() :: array(). +-endif. + -define(SERVER, ecirca). -define(TYPES, [last, max, min, avg, sum]). -define(VALUE_SIZES, [small, medium, large]). -record(state, {ecirca = undefined :: ecirca:ecirca() | undefined, - elements = array:new() :: array:array(), + elements = array:new() :: ecirca_array(), size = 0 :: pos_integer(), value_size = medium :: ecirca:ecirca_value_size(), type = last :: ecirca:ecirca_type(),