https://blogs.gentoo.org/ago/2020/07/04/gentoo-tinderbox/ Issue: dev-lang/dafny-4.9.0 fails tests. Discovered on: amd64 (internal ref: ci) Info about the issue: https://wiki.gentoo.org/wiki/Project:Tinderbox/Common_Issues_Helper#CF0015
Created attachment 907714 [details] build.log build log and emerge --info
Error(s) that match a know pattern: FAIL: Dafny :: comp/compile1quiet/CompileRunQuietly.dfy (123 of 1401) FAIL: Dafny :: comp/compile1verbose/CompileAndThenRun.dfy (124 of 1401) FAIL: Dafny :: comp/compile3/JustRun.dfy (125 of 1401) FAIL: Dafny :: unicodecharsFalse/comp/CompileWithArguments.dfy (1371 of 1401) ******************** TEST 'Dafny :: comp/compile1quiet/CompileRunQuietly.dfy' FAILED ******************** ******************** TEST 'Dafny :: comp/compile1verbose/CompileAndThenRun.dfy' FAILED ******************** ******************** TEST 'Dafny :: comp/compile3/JustRun.dfy' FAILED ******************** ******************** TEST 'Dafny :: unicodecharsFalse/comp/CompileWithArguments.dfy' FAILED ******************** # error: command failed with exit status: 1
Looks like GCC 14 warning produce new output and result in unexpected diff.
The bug has been closed via the following commit(s): https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=99cfed0d805396e4f21c658db1484e91f2771498 commit 99cfed0d805396e4f21c658db1484e91f2771498 Author: Maciej Barć <xgqt@gentoo.org> AuthorDate: 2024-11-04 00:08:54 +0000 Commit: Maciej Barć <xgqt@gentoo.org> CommitDate: 2024-11-04 00:19:32 +0000 dev-lang/dafny: remove tests failing with GCC 14 Closes: https://bugs.gentoo.org/942775 Signed-off-by: Maciej Barć <xgqt@gentoo.org> dev-lang/dafny/dafny-4.9.0.ebuild | 4 ++++ 1 file changed, 4 insertions(+)
