Skip to content

Commit

Permalink
Test also with Erlang/OTP 26.2 (#316)
Browse files Browse the repository at this point in the history
While at it, fix a 26.2 warning and a typo in proper_erlang_abstract_code.erl
  • Loading branch information
kostis authored Nov 15, 2024
1 parent a5ae566 commit 5f73183
Show file tree
Hide file tree
Showing 5 changed files with 15 additions and 16 deletions.
17 changes: 8 additions & 9 deletions .github/workflows/ci.yml
Original file line number Diff line number Diff line change
Expand Up @@ -20,6 +20,7 @@ jobs:
strategy:
matrix:
otp:
- "26.2"
- "26.0"
- "25.3"
- "25.0"
Expand All @@ -28,12 +29,10 @@ jobs:
- "23.2"
- "23.0"
- "22.3"
- "22.1" # 22.0 seg faults
- "21.3"
- "21.0"
steps:
- name: Checkout code
uses: actions/checkout@v3
uses: actions/checkout@v4
- name: Cache .plt directory
uses: actions/cache@v3
with:
Expand All @@ -45,30 +44,30 @@ jobs:
examples:
name: Test examples
runs-on: ubuntu-latest
container: erlang:26.0
container: erlang:26.2
steps:
- name: Checkout code
uses: actions/checkout@v3
uses: actions/checkout@v4
- name: Test examples
run: make test-examples

parallel-examples:
name: Test examples in parallel
runs-on: ubuntu-latest
container: erlang:26.0
container: erlang:26.2
steps:
- name: Checkout code
uses: actions/checkout@v3
uses: actions/checkout@v4
- name: Test examples in parallel
run: make test-parallel

coverage:
name: Code coverage
runs-on: ubuntu-latest
container: erlang:26.0
container: erlang:26.2
steps:
- name: Checkout code
uses: actions/checkout@v3
uses: actions/checkout@v4
with:
fetch-depth: 0
- name: Measure coverage
Expand Down
2 changes: 1 addition & 1 deletion README.md
Original file line number Diff line number Diff line change
Expand Up @@ -195,7 +195,7 @@ incompatibilities between the two tools by now.
<!-- Badges (alphabetically) -->
[codecov badge]: https://codecov.io/gh/proper-testing/proper/branch/master/graph/badge.svg
[commit badge]: https://img.shields.io/github/last-commit/proper-testing/proper.svg?style=flat-square
[erlang versions badge]: https://img.shields.io/badge/erlang-21.0%20to%2026.0-blue.svg?style=flat-square
[erlang versions badge]: https://img.shields.io/badge/erlang-21.3%20to%2026.2-blue.svg?style=flat-square
[hex pm badge]: https://img.shields.io/hexpm/v/proper.svg?style=flat
[license badge]: https://img.shields.io/github/license/proper-testing/proper.svg?style=flat-square
[release badge]: https://img.shields.io/github/release/proper-testing/proper.svg?style=flat-square
Expand Down
4 changes: 2 additions & 2 deletions rebar.config
Original file line number Diff line number Diff line change
@@ -1,6 +1,6 @@
%%% -*- coding: utf-8; erlang-indent-level: 2 -*-
%%% -------------------------------------------------------------------
%%% Copyright 2010-2023 Manolis Papadakis <[email protected]>,
%%% Copyright 2010-2024 Manolis Papadakis <[email protected]>,
%%% Eirini Arvaniti <[email protected]>,
%%% and Kostis Sagonas <[email protected]>
%%%
Expand All @@ -22,7 +22,7 @@
%%% Author(s): Manolis Papadakis and Kostis Sagonas
%%% Description: Options for rebar/rebar3

{minimum_otp_vsn, "21.0"}.
{minimum_otp_vsn, "21.3"}.

{erl_first_files, ["src/vararg.erl"]}.

Expand Down
2 changes: 1 addition & 1 deletion src/proper_erlang_abstract_code.erl
Original file line number Diff line number Diff line change
Expand Up @@ -364,7 +364,7 @@ module() ->
%%% <li>Catch clause exception types (<code>'catch'</code>):
%%% <code>no_eclass, any_eclass, lit_eclass, var_eclass,
%%% bad_eclass</code></li>
%%% <li>Receive timouts (<code>'receive'</code>): <code>
%%% <li>Receive timeouts (<code>'receive'</code>): <code>
%%% lit_timeout, inf_timeout, var_timeout</code></li>
%%% <li>Function expressions (<code>'fun'</code>): <code>
%%% lambda, rec_lambda, local_mfa, ext_mfa, any_mfa</code></li>
Expand Down
6 changes: 3 additions & 3 deletions test/proper_tests.erl
Original file line number Diff line number Diff line change
@@ -1,6 +1,6 @@
%%% -*- coding: utf-8; erlang-indent-level: 2 -*-
%%% -------------------------------------------------------------------
%%% Copyright 2010-2023 Manolis Papadakis <[email protected]>,
%%% Copyright 2010-2024 Manolis Papadakis <[email protected]>,
%%% Eirini Arvaniti <[email protected]>,
%%% and Kostis Sagonas <[email protected]>
%%%
Expand All @@ -19,7 +19,7 @@
%%% You should have received a copy of the GNU General Public License
%%% along with PropEr. If not, see <http://www.gnu.org/licenses/>.

%%% @copyright 2010-2023 Manolis Papadakis, Eirini Arvaniti, and Kostis Sagonas
%%% @copyright 2010-2024 Manolis Papadakis, Eirini Arvaniti, and Kostis Sagonas
%%% @version {@version}
%%% @author Manolis Papadakis
%%% @doc This module contains PropEr's Unit tests. You need the EUnit
Expand Down Expand Up @@ -1054,7 +1054,7 @@ false_props_test_() ->
?_fails(?FORALL(_, float(0.0,0.0), false)),
?_fails(fails(?FORALL(_, integer(), false))),
?_failsWith([16], ?FORALL(X, ?LET(Y,integer(),Y*Y), X < 15)),
?_failsWith([0.0],
?_failsWith([+0.0],
?FORALL(_, ?LETSHRINK([A,B], [float(),atom()], {A,B}), false)),
?_failsWith([], conjunction([{some,true},{thing,false}])),
?_failsWith([{2,1},[{group,[[{sub_group,[1]}]]},{stupid,[1]}]],
Expand Down

0 comments on commit 5f73183

Please sign in to comment.