File 2551-Clean-up-base64-property-test-suite.patch of Package erlang

Overview Repositories Revisions Requests Users Attributes Meta

File 2551-Clean-up-base64-property-test-suite.patch of Package erlang (Revision db1acd30fa2136b2cf32ed954074cb8e)

Currently displaying revision db1acd30fa2136b2cf32ed954074cb8e , Show latest

From 36bbc39f608cbdd34b958083e2d8177de2d2a948 Mon Sep 17 00:00:00 2001
From: Jan Uhlig <juhlig@hnc-agency.org>
Date: Fri, 30 Jun 2023 15:51:33 +0200
Subject: [PATCH] Clean up base64 property test suite

---
 lib/stdlib/test/property_test/base64_prop.erl | 31 +------------------
 1 file changed, 1 insertion(+), 30 deletions(-)

diff --git a/lib/stdlib/test/property_test/base64_prop.erl b/lib/stdlib/test/property_test/base64_prop.erl
index f4d7f264f1..b82a1059da 100644
--- a/lib/stdlib/test/property_test/base64_prop.erl
+++ b/lib/stdlib/test/property_test/base64_prop.erl
@@ -19,36 +19,7 @@
 %%
 -module(base64_prop).
 
--compile([export_all, nowarn_export_all]).
-
--proptest(eqc).
--proptest([triq, proper]).
-
--ifndef(EQC).
--ifndef(PROPER).
--ifndef(TRIQ).
--define(EQC, true).
--endif.
--endif.
--endif.
-
--ifdef(EQC).
--include_lib("eqc/include/eqc.hrl").
--define(MOD_eqc,eqc).
-
--else.
--ifdef(PROPER).
--include_lib("proper/include/proper.hrl").
--define(MOD_eqc,proper).
-
--else.
--ifdef(TRIQ).
--define(MOD_eqc,triq).
--include_lib("triq/include/triq.hrl").
-
--endif.
--endif.
--endif.
+-include_lib("common_test/include/ct_property_test.hrl").
 
 %%%%%%%%%%%%%%%%%%
 %%% Properties %%%
-- 
2.35.3

Places

File 2551-Clean-up-base64-property-test-suite.patch of Package erlang (Revision db1acd30fa2136b2cf32ed954074cb8e)

Places