PASS: Boogie :: civl/par-incr.bpl (127 of 556) PASS: Boogie :: civl/parallel2.bpl (128 of 556) PASS: Boogie :: civl/inductive-sequentialization/paxos/ref.sh (129 of 556) PASS: Boogie :: civl/parallel6.bpl (130 of 556) PASS: Boogie :: civl/parallel1.bpl (131 of 556) PASS: Boogie :: civl/parallel4.bpl (132 of 556) FAIL: Boogie :: civl/inductive-sequentialization/PingPong.bpl (133 of 556) PASS: Boogie :: civl/pending-async-2.bpl (134 of 556) PASS: Boogie :: civl/pending-async-noninterference-fail.bpl (135 of 556) ------------------------------------------------------------------- This is an unstable amd64 chroot image at a tinderbox (==build bot) name: 17.1_desktop_gnome_test-20230807-075536 ------------------------------------------------------------------- gcc-config -l: [1] x86_64-pc-linux-gnu-10 [2] x86_64-pc-linux-gnu-13 * clang/llvm (if any): clang version 16.0.6 Target: x86_64-pc-linux-gnu Thread model: posix InstalledDir: /usr/lib/llvm/16/bin Configuration file: /etc/clang/clang.cfg /usr/lib/llvm/16 16.0.6 Python 3.11.4 Available Ruby profiles: [1] ruby31 (with Rubygems) * Available Rust versions: [1] rust-bin-1.71.1 * The following VMs are available for generation-2: *) Eclipse Temurin JRE 17.0.7_p7 [openjdk-jre-bin-17] 2) Eclipse Temurin JRE 8.372_p07 [openjdk-jre-bin-8] Available Java Virtual Machines: [1] openjdk-jre-bin-8 [2] openjdk-jre-bin-17 system-vm php cli (if any): go version go1.21.0 linux/amd64 HEAD of ::gentoo commit f8b79aab678b62c035bcceb9249728d0bf2dddc3 Author: Repository mirror & CI <repomirrorci@gentoo.org> Date: Sat Aug 12 12:31:44 2023 +0000 2023-08-12 12:31:43 UTC emerge -qpvO dev-lang/boogie [ebuild N ] dev-lang/boogie-2.16.0 USE="test -debug"
Created attachment 867712 [details] emerge-info.txt
Created attachment 867713 [details] dev-lang:boogie-2.16.0:20230812-131107.log
Created attachment 867714 [details] emerge-history.txt
Created attachment 867715 [details] environment
Created attachment 867716 [details] etc.clang.tar.xz
Created attachment 867717 [details] etc.portage.tar.xz
Created attachment 867718 [details] logs.tar.xz
The file size of ./files/temp.tar.xz is too big (1.3M) for an upload. For few weeks the link http://tinderbox.zwiebeltoralf.de:31560/17.1_desktop_gnome_test-20230807-075536/var/tmp/tb/issues/20230812-131626-dev-lang_boogie-2.16.0/files/temp.tar.xz is valid.
The bug has been closed via the following commit(s): https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=327be7a1e8fbd30a219141f8b0f1827291b0415d commit 327be7a1e8fbd30a219141f8b0f1827291b0415d Author: Maciej Barć <xgqt@gentoo.org> AuthorDate: 2023-09-16 12:56:11 +0000 Commit: Maciej Barć <xgqt@gentoo.org> CommitDate: 2023-09-16 14:47:35 +0000 dev-lang/boogie: drop old 2.16.0 Closes: https://bugs.gentoo.org/912182 Signed-off-by: Maciej Barć <xgqt@gentoo.org> dev-lang/boogie/Manifest | 2 - dev-lang/boogie/boogie-2.16.0.ebuild | 94 ------------------------------------ 2 files changed, 96 deletions(-)
