diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml index 7afc84a..52c4bce 100644 --- a/.github/workflows/ci.yml +++ b/.github/workflows/ci.yml @@ -27,6 +27,9 @@ jobs: - name: Compile run: rebar3 compile + - name: Format + run: rebar3 fmt --check + - name: Run Proper Tests run: rebar3 proper -c diff --git a/test/prop_vs_lists.erl b/test/prop_vs_lists.erl index ee7100c..07c500e 100644 --- a/test/prop_vs_lists.erl +++ b/test/prop_vs_lists.erl @@ -147,20 +147,22 @@ prop_filter() -> prop_filtermap() -> Gen = proper_types:list( - proper_types:oneof([ - proper_types:integer(), - proper_types:binary(), - proper_types:atom() - ])), + proper_types:oneof([ + proper_types:integer(), + proper_types:binary(), + proper_types:atom() + ]) + ), ?FORALL( List, Gen, begin ListIter = iterator:from_list(List), - F = fun(V) when is_integer(V) -> {true, V * 2}; - (V) when is_binary(V) -> true; - (V) when is_atom(V) -> false - end, + F = fun + (V) when is_integer(V) -> {true, V * 2}; + (V) when is_binary(V) -> true; + (V) when is_atom(V) -> false + end, ?assertEqual( lists:filtermap(F, List), iterator:to_list(iterator:filtermap(F, ListIter))