Add 25.1.1 in tested OTP versions (#299)

While at it, do some minor copyright-related updates.

Author: kostis

.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

README.md

@@ -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%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

examples/labyrinth.erl

@@ -1,6 +1,6 @@
 %%% -*- coding: utf-8; erlang-indent-level: 2 -*-
 %%% -------------------------------------------------------------------
-%%% Copyright (c) 2017-2021 Andreas Löscher <[email protected]>
+%%% Copyright (c) 2017-2022 Andreas Löscher <[email protected]>
 %%%                     and Kostis Sagonas <[email protected]>
 %%%
 %%% 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 <http://www.gnu.org/licenses/>.
 
-%%% @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
 

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 <[email protected]>
+%%% Copyright (c) 2017-2022 Andreas Löscher <[email protected]>
 %%%                     and Kostis Sagonas <[email protected]>
 %%%
 %%% 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 <http://www.gnu.org/licenses/>.
 
-%%% @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