Sign Up
Log In
Log In
or
Sign Up
Places
All Projects
Status Monitor
Collapse sidebar
home:Ledest:erlang:26
erlang
0273-Fix-ct_property_test-result-handling.patch
Overview
Repositories
Revisions
Requests
Users
Attributes
Meta
File 0273-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
Locations
Projects
Search
Status Monitor
Help
OpenBuildService.org
Documentation
API Documentation
Code of Conduct
Contact
Support
@OBShq
Terms
openSUSE Build Service is sponsored by
The Open Build Service is an
openSUSE project
.
Sign Up
Log In
Places
Places
All Projects
Status Monitor