[#334708] TESTED (try 4) cbmc.git=5.95.1-alt1

[Girar awaiter (vt)]

https://git.altlinux.org/tasks/334708/logs/events.4.1.log

subtask  name  aarch64   armh  i586  ppc64le  x86_64
   #400  cbmc     9:45  16:40  7:57     7:40    5:07

2023-Nov-20 10:28:08 :: test-only task #334708 for sisyphus resumed by vt:
#100 removed
#200 removed
#300 removed
#400 build 5.95.1-alt1 from /people/vt/packages/cbmc.git fetched at 2023-Nov-20 10:28:06
2023-Nov-20 10:28:09 :: [aarch64] #400 cbmc.git 5.95.1-alt1: build start
2023-Nov-20 10:28:09 :: [armh] #400 cbmc.git 5.95.1-alt1: build start
2023-Nov-20 10:28:09 :: [x86_64] #400 cbmc.git 5.95.1-alt1: build start
2023-Nov-20 10:28:09 :: [ppc64le] #400 cbmc.git 5.95.1-alt1: build start
2023-Nov-20 10:28:09 :: [i586] #400 cbmc.git 5.95.1-alt1: build start
2023-Nov-20 10:33:16 :: [x86_64] #400 cbmc.git 5.95.1-alt1: build OK
2023-Nov-20 10:35:49 :: [ppc64le] #400 cbmc.git 5.95.1-alt1: build OK
2023-Nov-20 10:36:06 :: [i586] #400 cbmc.git 5.95.1-alt1: build OK
2023-Nov-20 10:37:54 :: [aarch64] #400 cbmc.git 5.95.1-alt1: build OK
2023-Nov-20 10:44:49 :: [armh] #400 cbmc.git 5.95.1-alt1: build OK
2023-Nov-20 10:45:22 :: #400: cbmc.git 5.95.1-alt1: build check OK
2023-Nov-20 10:45:24 :: build check OK
--- cbmc-5.95.1-alt1.x86_64.rpm.share	2023-11-20 10:45:27.509806263 +0000
+++ cbmc-5.95.1-alt1.i586.rpm.share	2023-11-20 10:45:30.052828530 +0000
@@ -17,3 +17,2 @@
 /usr/share/man/man1/goto-synthesizer.1.xz	100644	xz compressed data
-/usr/share/man/man1/memory-analyzer.1.xz	100644	xz compressed data
 /usr/share/man/man1/symtab2gb.1.xz	100644	xz compressed data
warning (#400): non-identical /usr/share part
--- cbmc-5.95.1-alt1.x86_64.rpm.share	2023-11-20 10:47:31.598829706 +0000
+++ cbmc-5.95.1-alt1.aarch64.rpm.share	2023-11-20 10:47:33.185839662 +0000
@@ -17,3 +17,2 @@
 /usr/share/man/man1/goto-synthesizer.1.xz	100644	xz compressed data
-/usr/share/man/man1/memory-analyzer.1.xz	100644	xz compressed data
 /usr/share/man/man1/symtab2gb.1.xz	100644	xz compressed data
warning (#400): non-identical /usr/share part
--- cbmc-5.95.1-alt1.x86_64.rpm.share	2023-11-20 10:48:28.851188866 +0000
+++ cbmc-5.95.1-alt1.ppc64le.rpm.share	2023-11-20 10:48:30.590199775 +0000
@@ -17,3 +17,2 @@
 /usr/share/man/man1/goto-synthesizer.1.xz	100644	xz compressed data
-/usr/share/man/man1/memory-analyzer.1.xz	100644	xz compressed data
 /usr/share/man/man1/symtab2gb.1.xz	100644	xz compressed data
warning (#400): non-identical /usr/share part
--- cbmc-5.95.1-alt1.x86_64.rpm.share	2023-11-20 10:49:25.238608686 +0000
+++ cbmc-5.95.1-alt1.armh.rpm.share	2023-11-20 10:49:26.614621314 +0000
@@ -17,3 +17,2 @@
 /usr/share/man/man1/goto-synthesizer.1.xz	100644	xz compressed data
-/usr/share/man/man1/memory-analyzer.1.xz	100644	xz compressed data
 /usr/share/man/man1/symtab2gb.1.xz	100644	xz compressed data
warning (#400): non-identical /usr/share part
2023-Nov-20 10:50:21 :: noarch check OK
2023-Nov-20 10:50:24 :: plan: src +1 -0 =18805, aarch64 +3 -0 =31654, armh +3 -0 =29491, i586 +3 -0 =31483, ppc64le +3 -0 =30963, x86_64 +3 -0 =32549
2023-Nov-20 10:51:13 :: patched apt indices
2023-Nov-20 10:51:25 :: created next repo
2023-Nov-20 10:51:35 :: duplicate provides check OK
2023-Nov-20 10:52:11 :: dependencies check OK
2023-Nov-20 10:52:54 :: [x86_64 i586 aarch64 ppc64le armh] ELF symbols check OK
	x86_64: cbmc=5.95.1-alt1 post-install unowned files:
 /usr/share/bash-completion
 /usr/share/bash-completion/completions
2023-Nov-20 10:53:08 :: [x86_64] #400 cbmc: install check OK
	i586: cbmc=5.95.1-alt1 post-install unowned files:
 /usr/share/bash-completion
 /usr/share/bash-completion/completions
2023-Nov-20 10:53:08 :: [i586] #400 cbmc: install check OK
	aarch64: cbmc=5.95.1-alt1 post-install unowned files:
 /usr/share/bash-completion
 /usr/share/bash-completion/completions
2023-Nov-20 10:53:18 :: [aarch64] #400 cbmc: install check OK
	ppc64le: cbmc=5.95.1-alt1 post-install unowned files:
 /usr/share/bash-completion
 /usr/share/bash-completion/completions
2023-Nov-20 10:53:20 :: [ppc64le] #400 cbmc: install check OK
	armh: cbmc=5.95.1-alt1 post-install unowned files:
 /usr/share/bash-completion
 /usr/share/bash-completion/completions
2023-Nov-20 10:53:29 :: [armh] #400 cbmc: install check OK
2023-Nov-20 10:53:45 :: [x86_64] #400 cbmc-debuginfo: install check OK
2023-Nov-20 10:53:51 :: [i586] #400 cbmc-debuginfo: install check OK
2023-Nov-20 10:54:03 :: [x86_64] #400 libcprover-devel: install check OK
2023-Nov-20 10:54:10 :: [i586] #400 libcprover-devel: install check OK
2023-Nov-20 10:54:16 :: [aarch64] #400 cbmc-debuginfo: install check OK
2023-Nov-20 10:54:33 :: [ppc64le] #400 cbmc-debuginfo: install check OK
2023-Nov-20 10:54:50 :: [aarch64] #400 libcprover-devel: install check OK
2023-Nov-20 10:54:55 :: [armh] #400 cbmc-debuginfo: install check OK
2023-Nov-20 10:55:14 :: [ppc64le] #400 libcprover-devel: install check OK
2023-Nov-20 10:55:43 :: [armh] #400 libcprover-devel: install check OK
2023-Nov-20 10:55:44 :: [x86_64-i586] plan: #1 +1 -0 =10662
2023-Nov-20 10:56:29 :: [x86_64-i586] arepo build OK
2023-Nov-20 10:56:45 :: [x86_64-i586] generated apt indices
2023-Nov-20 10:56:47 :: [x86_64-i586] created next repo
2023-Nov-20 10:56:56 :: [x86_64-i586] dependencies check OK
2023-Nov-20 10:56:57 :: gears inheritance check OK
2023-Nov-20 10:56:57 :: srpm inheritance check OK
girar-check-perms: access to cbmc ALLOWED for vt: project `cbmc' is not listed in the acl file for repository `sisyphus', and the policy for such projects in `sisyphus' is to allow
check-subtask-perms: #400: cbmc: allowed for vt
2023-Nov-20 10:56:58 :: acl check OK
2023-Nov-20 10:57:09 :: created contents_index files
2023-Nov-20 10:57:22 :: created hash files: aarch64 armh i586 ppc64le src x86_64-i586 x86_64
2023-Nov-20 10:57:25 :: task #334708 for sisyphus TESTED