PASS: Dafny :: autoRevealDependencies/func-depth-fail.dfy (43 of 1278) PASS: Dafny :: autoRevealDependencies/func-depth-succ.dfy (44 of 1278) PASS: Dafny :: autoRevealDependencies/subset-types.dfy (45 of 1278) PASS: Dafny :: autoRevealDependencies/power.dfy (46 of 1278) PASS: Dafny :: autoRevealDependencies/typecasting.dfy (47 of 1278) PASS: Dafny :: autoRevealDependencies/tree-map-simple.dfy (48 of 1278) FAIL: Dafny :: c++/extern.dfy (49 of 1278) ******************** TEST 'Dafny :: c++/extern.dfy' FAILED ******************** Exit Code: 1 ------------------------------------------------------------------- This is an unstable amd64 chroot image at a tinderbox (==build bot) name: 23.0_desktop_plasma_test-20240419-193003 ------------------------------------------------------------------- gcc-config -l: [1] x86_64-pc-linux-gnu-14 * clang/llvm (if any): clang version 18.1.4 Target: x86_64-pc-linux-gnu Thread model: posix InstalledDir: /usr/lib/llvm/18/bin Configuration file: /etc/clang/x86_64-pc-linux-gnu-clang.cfg /usr/lib/llvm/18 18.1.4 Python 3.11.9 Available Rust versions: [1] rust-bin-1.77.1 * GENTOO_VM=openjdk-bin-21 CLASSPATH="" JAVA_HOME="/opt/openjdk-bin-21.0.2_p13" JAVACFLAGS="-source 1.8 -target 1.8" COMPILER="" The following VMs are available for generation-2: *) Eclipse Temurin JDK 21.0.2_p13 [openjdk-bin-21] Available Java Virtual Machines: [1] openjdk-bin-21 system-vm The Glorious Glasgow Haskell Compilation System, version 9.2.8 php cli (if any): go version go1.22.2 linux/amd64 HEAD of ::gentoo commit 61bb83f113bbafd679234808af88580d607211c2 Author: Repository mirror & CI <repomirrorci@gentoo.org> Date: Tue Apr 23 07:19:26 2024 +0000 2024-04-23 07:19:25 UTC emerge -qpvO dev-lang/dafny [ebuild N ] dev-lang/dafny-4.6.0 USE="test -debug"
Created attachment 891498 [details] emerge-info.txt
Created attachment 891499 [details] dev-lang:dafny-4.6.0:20240423-075815.log
Created attachment 891500 [details] emerge-history.txt
Created attachment 891501 [details] environment.xz
Created attachment 891502 [details] etc.clang.tar.xz
Created attachment 891503 [details] etc.portage.tar.xz
Created attachment 891504 [details] qlist-info.txt
Created attachment 891505 [details] temp.tar.xz
The bug has been closed via the following commit(s): https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=f8818808669f972bf68daf66817dc3bf232b09c0 commit f8818808669f972bf68daf66817dc3bf232b09c0 Author: Maciej Barć <xgqt@gentoo.org> AuthorDate: 2024-05-27 20:51:19 +0000 Commit: Maciej Barć <xgqt@gentoo.org> CommitDate: 2024-05-27 21:03:27 +0000 dev-lang/dafny: disable broken c++ tests Closes: https://bugs.gentoo.org/930488 Signed-off-by: Maciej Barć <xgqt@gentoo.org> dev-lang/dafny/dafny-4.6.0.ebuild | 3 +++ 1 file changed, 3 insertions(+)
