File 1411-Fix-ct_property_test-result-handling.patch of Package erlang
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