Increase the timeout value of a test (for running on GitHub actions)

Author: kostis

rebar.config

@@ -1,9 +1,7 @@
-%%% -*- Erlang -*-
-%%% -*- coding: utf-8 -*-
-%%% -*- erlang-indent-level: 2 -*-
+%%% -*- coding: utf-8; erlang-indent-level: 2 -*-
 %%% -------------------------------------------------------------------
-%%% Copyright 2010-2020 Manolis Papadakis <[email protected]>,
-%%%                     Eirini Arvaniti <[email protected]>
+%%% Copyright 2010-2022 Manolis Papadakis <[email protected]>,
+%%%                     Eirini Arvaniti <[email protected]>,
 %%%                 and Kostis Sagonas <[email protected]>
 %%%
 %%% This file is part of PropEr.
@@ -21,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/>.
 
-%%% Author(s):   Manolis Papadakis, Kostis Sagonas
+%%% Author(s):   Manolis Papadakis and Kostis Sagonas
 %%% Description: Options for rebar/rebar3
 
 {minimum_otp_vsn, "20.0"}.

test/proper_tests.erl

@@ -1,7 +1,7 @@
 %%% -*- coding: utf-8; erlang-indent-level: 2 -*-
 %%% -------------------------------------------------------------------
-%%% Copyright 2010-2021 Manolis Papadakis <[email protected]>,
-%%%                     Eirini Arvaniti <[email protected]>
+%%% Copyright 2010-2022 Manolis Papadakis <[email protected]>,
+%%%                     Eirini Arvaniti <[email protected]>,
 %%%                 and Kostis Sagonas <[email protected]>
 %%%
 %%% This file is part of PropEr.
@@ -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-2021 Manolis Papadakis, Eirini Arvaniti and Kostis Sagonas
+%%% @copyright 2010-2022 Manolis Papadakis, Eirini Arvaniti and Kostis Sagonas
 %%% @version {@version}
 %%% @author Manolis Papadakis
 %%% @doc This module contains PropEr's Unit tests. You need the EUnit
@@ -1426,7 +1426,7 @@ erlang_abstract_code_test_() ->
     M = erlang_abstract_code_test,
     Props = [bits, expr, guard, term, module],
     Opts = [{numtests, 200}, noshrink],
-    {timeout, 42,
+    {timeout, 100,
      [?_assertEqual(true, proper:quickcheck(M:Prop(), Opts)) || Prop <- Props]}.
 
 %%------------------------------------------------------------------------------