File 7316-emulator-Fix-Quickcheck-compatibility.patch of Package erlang

From 8bb1b4fa9c170b592cce9c7d5d66a7df1528041e Mon Sep 17 00:00:00 2001
From: Dan Gudmundsson <dgud@erlang.org>
Date: Tue, 3 Mar 2026 10:13:52 +0100
Subject: [PATCH 6/6] emulator: Fix Quickcheck compatibility

---
 erts/emulator/test/hash_property_test_SUITE.erl    |  9 ++++-----
 .../test/property_test/phash2_properties.erl       | 14 +++++---------
 2 files changed, 9 insertions(+), 14 deletions(-)

diff --git a/erts/emulator/test/hash_property_test_SUITE.erl b/erts/emulator/test/hash_property_test_SUITE.erl
index 679d1fc6dd..36b6be98d4 100644
--- a/erts/emulator/test/hash_property_test_SUITE.erl
+++ b/erts/emulator/test/hash_property_test_SUITE.erl
@@ -46,10 +46,10 @@
 suite() ->
     [{ct_hooks,[ts_install_cth]}].
 
-all() -> [{group, proper}].
+all() -> [{group, property}].
 
 groups() ->
-    [{proper, [], [test_phash2_no_diff,
+    [{property, [], [test_phash2_no_diff,
                    test_phash2_no_diff_long,
                    test_phash2_no_diff_between_versions]}].
 
@@ -61,10 +61,9 @@ init_per_suite(Config) ->
 end_per_suite(Config) ->
     Config.
 
-%%% Only proper is supported
-init_per_group(proper, Config) ->
+init_per_group(property, Config) ->
     case proplists:get_value(property_test_tool,Config) of
-	proper -> Config;
+	Tool when Tool =:= proper; Tool =:= eqc -> Config;
 	X -> {skip, lists:concat([X," is not supported"])}
     end;
 init_per_group(_, Config) ->
diff --git a/erts/emulator/test/property_test/phash2_properties.erl b/erts/emulator/test/property_test/phash2_properties.erl
index ab560a5166..6f0e937d2c 100644
--- a/erts/emulator/test/property_test/phash2_properties.erl
+++ b/erts/emulator/test/property_test/phash2_properties.erl
@@ -23,35 +23,32 @@
 
 -module(phash2_properties).
 
--ifdef(PROPER).
-
--include_lib("proper/include/proper.hrl").
+-include_lib("common_test/include/ct_property_test.hrl").
 -export([prop_phash2_same_with_same_input/0,
          prop_phash2_same_with_same_long_input/0,
          prop_phash2_same_in_different_versions/1,
          prop_phash2_same_in_different_versions_with_long_input/1]).
--proptest([proper]).
 
 %%--------------------------------------------------------------------
 %% Properties --------------------------------------------------------
 %%--------------------------------------------------------------------
 
 prop_phash2_same_with_same_input() ->
-    ?FORALL(T, any(), erlang:phash2(T) =:= erlang:phash2(T)).
+    ?FORALL(T, ?CT_SAFE_ANY(), erlang:phash2(T) =:= erlang:phash2(T)).
 
 prop_phash2_same_with_same_long_input() ->
-    ?FORALL(T, any(),
+    ?FORALL(T, ?CT_SAFE_ANY(),
             begin
                 BigTerm = lists:duplicate(10000, T),
                 erlang:phash2(BigTerm) =:= erlang:phash2(BigTerm)
             end).
 
 prop_phash2_same_in_different_versions(DifferntVersionNode) ->
-    ?FORALL(T, any(),
+    ?FORALL(T, ?CT_SAFE_ANY(),
             erlang:phash2(T) =:= rpc:call(DifferntVersionNode,erlang,phash2,[T])).
 
 prop_phash2_same_in_different_versions_with_long_input(DifferntVersionNode) ->
-    ?FORALL(T, any(),
+    ?FORALL(T, ?CT_SAFE_ANY(),
             begin
                 BigTerm = lists:duplicate(10000, T),
                 RpcRes = rpc:call(DifferntVersionNode,erlang,phash2,[BigTerm]),
@@ -63,4 +60,3 @@ prop_phash2_same_in_different_versions_with_long_input(DifferntVersionNode) ->
 %% Generators  -------------------------------------------------------
 %%--------------------------------------------------------------------
 
--endif.
-- 
2.51.0