File 0914-Fix-ct_property_test-result-handling.patch of Package erlang

Overview Repositories Revisions Requests Users Attributes Meta

File 0914-Fix-ct_property_test-result-handling.patch of Package erlang (Revision 0868d43d022f587da2a93aa1f187f979)

Currently displaying revision 0868d43d022f587da2a93aa1f187f979 , Show latest

From f36f653c337a8d66b1d2633d6c301a707e94a140 Mon Sep 17 00:00:00 2001
From: Maria Scott <maria-12648430@hnc-agency.org>
Date: Fri, 3 Nov 2023 14:56:17 +0100
Subject: [PATCH 1/2] Fix ct_property_test result handling

Co-authored-by: Jan Uhlig <juhlig@hnc-agency.org>
---
 lib/common_test/src/ct_property_test.erl | 15 +++++++++------
 1 file changed, 9 insertions(+), 6 deletions(-)

diff --git a/lib/common_test/src/ct_property_test.erl b/lib/common_test/src/ct_property_test.erl
index 4d9c2a0dba..8271e9d6d0 100644
--- a/lib/common_test/src/ct_property_test.erl
+++ b/lib/common_test/src/ct_property_test.erl
@@ -165,12 +165,15 @@ print_frequency_ranges(Options0) ->
 mk_ct_return(true, _Tool) ->
     true;
 mk_ct_return(Other, Tool) ->
-    try lists:last(hd(Tool:counterexample()))
-    of
-	{set,{var,_},{call,M,F,Args}} ->
-	    {fail, io_lib:format("~p:~tp/~p returned bad result",[M,F,length(Args)])}
-    catch
-	_:_ ->
+    case Tool:counterexample() of
+	[[_|_]=CE|_] ->
+	    case lists:last(CE) of
+		{set, {var, _}, {call, M, F, Args}} ->
+		    {fail, io_lib:format("~p:~tp/~p returned bad result", [M, F, length(Args)])};
+		_ ->
+		    {fail, Other}
+	    end;
+	_ ->
 	    {fail, Other}
     end.
 
-- 
2.35.3

Places

File 0914-Fix-ct_property_test-result-handling.patch of Package erlang (Revision 0868d43d022f587da2a93aa1f187f979)

Places