diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml index 7c61c48e..f242eb3b 100644 --- a/.github/workflows/ci.yml +++ b/.github/workflows/ci.yml @@ -20,6 +20,7 @@ jobs: strategy: matrix: otp: + - "25.1.1" - "25.0" - "24.3" - "24.0" @@ -43,7 +44,7 @@ jobs: examples: name: Test examples runs-on: ubuntu-latest - container: erlang:25.0 + container: erlang:25.1.1 steps: - name: Checkout code uses: actions/checkout@v2 @@ -53,7 +54,7 @@ jobs: parallel-examples: name: Test examples in parallel runs-on: ubuntu-latest - container: erlang:25.0 + container: erlang:25.1.1 steps: - name: Checkout code uses: actions/checkout@v2 @@ -63,7 +64,7 @@ jobs: coverage: name: Code coverage runs-on: ubuntu-latest - container: erlang:25.0 + container: erlang:25.1.1 steps: - name: Checkout code uses: actions/checkout@v2 diff --git a/README.md b/README.md index 982b49c7..e635ab77 100644 --- a/README.md +++ b/README.md @@ -195,7 +195,7 @@ incompatibilities between the two tools by now. [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%2025.0-blue.svg?style=flat-square +[erlang versions badge]: https://img.shields.io/badge/erlang-21.0%20to%2025.1-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 diff --git a/examples/labyrinth.erl b/examples/labyrinth.erl index 9e5fcff2..1e67418f 100644 --- a/examples/labyrinth.erl +++ b/examples/labyrinth.erl @@ -1,6 +1,6 @@ %%% -*- coding: utf-8; erlang-indent-level: 2 -*- %%% ------------------------------------------------------------------- -%%% Copyright (c) 2017-2021 Andreas Löscher +%%% Copyright (c) 2017-2022 Andreas Löscher %%% and Kostis Sagonas %%% %%% This file is part of PropEr. @@ -18,7 +18,7 @@ %%% You should have received a copy of the GNU General Public License %%% along with PropEr. If not, see . -%%% @copyright 2017-2021 Andreas Löscher and Kostis Sagonas +%%% @copyright 2017-2022 Andreas Löscher and Kostis Sagonas %%% @version {@version} %%% @author Andreas Löscher and Kostis Sagonas diff --git a/src/proper_target.erl b/src/proper_target.erl index 4b3165c0..8be99dae 100644 --- a/src/proper_target.erl +++ b/src/proper_target.erl @@ -1,7 +1,6 @@ -%%% -*- coding: utf-8 -*- -%%% -*- erlang-indent-level: 2 -*- +%%% -*- coding: utf-8; erlang-indent-level: 2 -*- %%% ------------------------------------------------------------------- -%%% Copyright (c) 2017-2021 Andreas Löscher +%%% Copyright (c) 2017-2022 Andreas Löscher %%% and Kostis Sagonas %%% %%% This file is part of PropEr. @@ -19,17 +18,17 @@ %%% You should have received a copy of the GNU General Public License %%% along with PropEr. If not, see . -%%% @copyright 2017-2021 Andreas Löscher and Kostis Sagonas +%%% @copyright 2017-2022 Andreas Löscher and Kostis Sagonas %%% @version {@version} %%% @author Andreas Löscher %%% @doc This module defines the top-level behaviour for Targeted %%% Property-Based Testing (TPBT). Using TPBT the input generation %%% is no longer random, but guided by a search strategy to increase -%%% the probability of finding failing input. For this to work the user +%%% the probability of finding failing input. For this to work, the user %%% has to specify a search strategy and also needs to extract -%%% utility-values from the system under test that the search strategy -%%% then tries to maximize. +%%% utility values from the system under test that the search strategy +%%% then tries to maximize (or minimize). %%% %%% To use TPBT the test specification macros `?FORALL_TARGETED`, `?EXISTS', %%% and `?NOT_EXISTS' are used. The typical structure for a targeted