File 1894-Extend-binary-part-2-3-tests-to-also-cover... of Package erlang

Overview Repositories Revisions Requests Users Attributes Meta

File 1894-Extend-binary-part-2-3-tests-to-also-cover-erlang-bi.patch of Package erlang (Revision 2f15b05a39d64e5cba90e927e8665465)

Currently displaying revision 2f15b05a39d64e5cba90e927e8665465 , Show latest

From 83251ee93124d88dfe591cf6c1a0c7137bfdcc14 Mon Sep 17 00:00:00 2001
From: Jan Uhlig <juhlig@hnc-agency.org>
Date: Tue, 5 Sep 2023 13:59:51 +0200
Subject: [PATCH 4/4] Extend binary:part/2,3 tests to also cover
 erlang:binary_part/2,3

---
 lib/stdlib/test/property_test/binary_prop.erl | 8 ++++++--
 1 file changed, 6 insertions(+), 2 deletions(-)

diff --git a/lib/stdlib/test/property_test/binary_prop.erl b/lib/stdlib/test/property_test/binary_prop.erl
index 4cb1feab89..d969cd02a9 100644
--- a/lib/stdlib/test/property_test/binary_prop.erl
+++ b/lib/stdlib/test/property_test/binary_prop.erl
@@ -508,7 +508,9 @@ prop_part_invalid_range() ->
             {B, gen_part_invalid(B)}
         ),
         expect_error(fun binary:part/2, [Bin, PosLen]) andalso
-        expect_error(fun binary:part/3, [Bin, Pos, Len])
+        expect_error(fun binary:part/3, [Bin, Pos, Len]) andalso
+	expect_error(fun erlang:binary_part/2, [Bin, PosLen]) andalso
+	expect_error(fun erlang:binary_part/3, [Bin, Pos, Len])
     ).
 
 prop_part_invalid_subject() ->
@@ -516,7 +518,9 @@ prop_part_invalid_subject() ->
         {Bin, {Pos, Len}=PosLen},
         {gen_subject_invalid(), gen_part(<<>>)},
         expect_error(fun binary:part/2, [Bin, PosLen]) andalso
-        expect_error(fun binary:part/3, [Bin, Pos, Len])
+        expect_error(fun binary:part/3, [Bin, Pos, Len]) andalso
+	expect_error(fun erlang:binary_part/2, [Bin, PosLen]) andalso
+	expect_error(fun erlang:binary_part/3, [Bin, Pos, Len])
     ).
 
 %% --- replace/3,4 ------------------------------------------------------
-- 
2.35.3

Places

File 1894-Extend-binary-part-2-3-tests-to-also-cover-erlang-bi.patch of Package erlang (Revision 2f15b05a39d64e5cba90e927e8665465)

Places