* [#334708] [test-only] FAILED cbmc.git=5.95.1-alt1
@ 2023-11-20 5:15 Girar awaiter (vt)
2023-11-20 5:40 ` [#334708] [test-only] FAILED (try 2) cbmc.git=5.95.1-alt1 Girar awaiter (vt)
` (8 more replies)
0 siblings, 9 replies; 10+ messages in thread
From: Girar awaiter (vt) @ 2023-11-20 5:15 UTC (permalink / raw)
To: Vitaly Chikunov; +Cc: sisyphus-incominger, girar-builder-sisyphus
https://git.altlinux.org/tasks/334708/logs/events.1.1.log
subtask name aarch64 armh i586 ppc64le x86_64
#100 cbmc failed failed failed failed failed
2023-Nov-20 05:06:56 :: test-only task #334708 for sisyphus started by vt:
#100 build 5.95.1-alt1 from /people/vt/packages/cbmc.git fetched at 2023-Nov-20 05:06:54
2023-Nov-20 05:06:58 :: [i586] #100 cbmc.git 5.95.1-alt1: build start
2023-Nov-20 05:06:58 :: [aarch64] #100 cbmc.git 5.95.1-alt1: build start
2023-Nov-20 05:06:58 :: [armh] #100 cbmc.git 5.95.1-alt1: build start
2023-Nov-20 05:06:58 :: [x86_64] #100 cbmc.git 5.95.1-alt1: build start
2023-Nov-20 05:06:58 :: [ppc64le] #100 cbmc.git 5.95.1-alt1: build start
[i586] __libcheck.c: In function 's__builtin_ia32_psubsw128':
[i586] __libcheck.c:219:1: error: SSE vector return without SSE enabled changes the ABI [-Werror=psabi]
[i586] 219 | {
[i586] __libcheck.c: In function 's__builtin_ia32_paddsw':
[i586] __libcheck.c:248:1: error: MMX vector return without MMX enabled changes the ABI [-Werror=psabi]
[i586] 248 | {
[i586] __libcheck.c: In function 's__builtin_ia32_vec_ext_v4hi':
[i586] __libcheck.c:160:7: error: MMX vector argument without MMX enabled changes the ABI [-Werror=psabi]
[i586] 160 | short s__builtin_ia32_vec_ext_v4hi(__gcc_v4hi vec, int offset)
[i586] --
[i586] 169 | short s__builtin_ia32_vec_ext_v8hi(__gcc_v8hi vec, int offset)
[i586] __libcheck.c:169:7: error: SSE vector argument without SSE enabled changes the ABI [-Werror=psabi]
[i586] At top level:
[i586] --
[i586] cc1: note: unrecognized command-line option '-Wno-gnu-line-marker' may have been intended to silence earlier diagnostics
[i586] cc1: all warnings being treated as errors
[i586] rm: cannot remove '__libcheck.s': No such file or directory
[i586] gmake[2]: *** [src/ansi-c/CMakeFiles/ansi-c.dir/build.make:281: src/ansi-c/library-check.stamp] Error 1
2023-Nov-20 05:08:27 :: [i586] cbmc.git 5.95.1-alt1: remote: build failed
2023-Nov-20 05:08:27 :: [i586] #100 cbmc.git 5.95.1-alt1: build FAILED
2023-Nov-20 05:08:27 :: [i586] requesting cancellation of task processing
[x86_64] Processing files: cbmc-5.95.1-alt1
[x86_64] error: File not found by glob: /usr/src/tmp/cbmc-buildroot/usr/share/man/man2/*.1*
[x86_64] Executing(%doc): /bin/sh -e /usr/src/tmp/rpm-tmp.46764
2023-Nov-20 05:10:23 :: [x86_64] cbmc.git 5.95.1-alt1: remote: build failed
2023-Nov-20 05:10:23 :: [x86_64] #100 cbmc.git 5.95.1-alt1: build FAILED
[ppc64le] Processing files: cbmc-5.95.1-alt1
[ppc64le] error: File not found by glob: /usr/src/tmp/cbmc-buildroot/usr/share/man/man2/*.1*
[ppc64le] Executing(%doc): /bin/sh -e /usr/src/tmp/rpm-tmp.59326
2023-Nov-20 05:12:34 :: [ppc64le] cbmc.git 5.95.1-alt1: remote: build failed
2023-Nov-20 05:12:34 :: [ppc64le] #100 cbmc.git 5.95.1-alt1: build FAILED
[aarch64] Processing files: cbmc-5.95.1-alt1
[aarch64] error: File not found by glob: /usr/src/tmp/cbmc-buildroot/usr/share/man/man2/*.1*
[aarch64] Executing(%doc): /bin/sh -e /usr/src/tmp/rpm-tmp.62125
2023-Nov-20 05:14:06 :: [aarch64] cbmc.git 5.95.1-alt1: remote: build failed
2023-Nov-20 05:14:06 :: [aarch64] #100 cbmc.git 5.95.1-alt1: build FAILED
[armh] verify-elf: WARNING: ./usr/bin/symtab2gb: skipping eu-elflint by request
[armh] verify-elf: ERROR: ./usr/bin/symtab2gb: uses non-LFS functions: mkstemps open readdir stat
[armh] verify-elf: WARNING: ./usr/bin/goto-synthesizer: skipping eu-elflint by request
[armh] verify-elf: ERROR: ./usr/bin/goto-synthesizer: uses non-LFS functions: fcntl mkstemps open readdir stat
[armh] verify-elf: WARNING: ./usr/bin/goto-harness: skipping eu-elflint by request
[armh] verify-elf: ERROR: ./usr/bin/goto-harness: uses non-LFS functions: mkstemps open readdir stat
[armh] verify-elf: WARNING: ./usr/bin/goto-diff: skipping eu-elflint by request
[armh] verify-elf: ERROR: ./usr/bin/goto-diff: uses non-LFS functions: mkstemps open readdir stat
[armh] verify-elf: WARNING: ./usr/bin/goto-analyzer: skipping eu-elflint by request
[armh] verify-elf: ERROR: ./usr/bin/goto-analyzer: uses non-LFS functions: mkstemps open readdir stat
[armh] verify-elf: WARNING: ./usr/bin/goto-instrument: skipping eu-elflint by request
[armh] verify-elf: ERROR: ./usr/bin/goto-instrument: uses non-LFS functions: mkstemps open readdir stat
[armh] verify-elf: WARNING: ./usr/bin/goto-cc: skipping eu-elflint by request
[armh] verify-elf: ERROR: ./usr/bin/goto-cc: uses non-LFS functions: fopen mkstemps open readdir stat
[armh] verify-elf: WARNING: ./usr/bin/crangler: skipping eu-elflint by request
[armh] verify-elf: ERROR: ./usr/bin/crangler: uses non-LFS functions: open readdir stat
[armh] verify-elf: WARNING: ./usr/bin/cprover: skipping eu-elflint by request
[armh] verify-elf: ERROR: ./usr/bin/cprover: uses non-LFS functions: mkstemps open readdir stat
[armh] verify-elf: WARNING: ./usr/bin/cbmc: skipping eu-elflint by request
[armh] verify-elf: ERROR: ./usr/bin/cbmc: uses non-LFS functions: fcntl mkstemps open readdir stat
[armh] verify-elf: WARNING: ./usr/bin/goto-inspect: skipping eu-elflint by request
2023-Nov-20 05:15:53 :: [armh] cbmc.git 5.95.1-alt1: remote: build failed
2023-Nov-20 05:15:53 :: [armh] #100 cbmc.git 5.95.1-alt1: build FAILED
2023-Nov-20 05:08:27 :: [i586] build FAILED
2023-Nov-20 05:10:23 :: [x86_64] build FAILED
2023-Nov-20 05:12:34 :: [ppc64le] build FAILED
2023-Nov-20 05:14:06 :: [aarch64] build FAILED
2023-Nov-20 05:15:54 :: [armh] build FAILED
2023-Nov-20 05:15:54 :: task #334708 for sisyphus FAILED
^ permalink raw reply [flat|nested] 10+ messages in thread
* [#334708] [test-only] FAILED (try 2) cbmc.git=5.95.1-alt1
2023-11-20 5:15 [#334708] [test-only] FAILED cbmc.git=5.95.1-alt1 Girar awaiter (vt)
@ 2023-11-20 5:40 ` Girar awaiter (vt)
2023-11-20 9:52 ` [#334708] [test-only] FAILED (try 3) cbmc.git=5.95.1-alt1 Girar awaiter (vt)
` (7 subsequent siblings)
8 siblings, 0 replies; 10+ messages in thread
From: Girar awaiter (vt) @ 2023-11-20 5:40 UTC (permalink / raw)
To: Vitaly Chikunov; +Cc: sisyphus-incominger, girar-builder-sisyphus
https://git.altlinux.org/tasks/334708/logs/events.2.1.log
subtask name aarch64 armh i586 ppc64le x86_64
#200 cbmc failed failed failed failed failed
2023-Nov-20 05:31:47 :: test-only task #334708 for sisyphus resumed by vt:
#100 removed
#200 build 5.95.1-alt1 from /people/vt/packages/cbmc.git fetched at 2023-Nov-20 05:31:45
2023-Nov-20 05:31:49 :: [x86_64] #200 cbmc.git 5.95.1-alt1: build start
2023-Nov-20 05:31:49 :: [ppc64le] #200 cbmc.git 5.95.1-alt1: build start
2023-Nov-20 05:31:49 :: [aarch64] #200 cbmc.git 5.95.1-alt1: build start
2023-Nov-20 05:31:49 :: [armh] #200 cbmc.git 5.95.1-alt1: build start
2023-Nov-20 05:31:49 :: [i586] #200 cbmc.git 5.95.1-alt1: build start
[i586] __libcheck.c: In function 's__builtin_ia32_psubsw128':
[i586] __libcheck.c:219:1: error: SSE vector return without SSE enabled changes the ABI [-Werror=psabi]
[i586] 219 | {
[i586] __libcheck.c: In function 's__builtin_ia32_paddsw':
[i586] __libcheck.c:248:1: error: MMX vector return without MMX enabled changes the ABI [-Werror=psabi]
[i586] 248 | {
[i586] __libcheck.c: In function 's__builtin_ia32_vec_ext_v4hi':
[i586] __libcheck.c:160:7: error: MMX vector argument without MMX enabled changes the ABI [-Werror=psabi]
[i586] 160 | short s__builtin_ia32_vec_ext_v4hi(__gcc_v4hi vec, int offset)
[i586] --
[i586] 169 | short s__builtin_ia32_vec_ext_v8hi(__gcc_v8hi vec, int offset)
[i586] __libcheck.c:169:7: error: SSE vector argument without SSE enabled changes the ABI [-Werror=psabi]
[i586] At top level:
[i586] --
[i586] cc1: note: unrecognized command-line option '-Wno-gnu-line-marker' may have been intended to silence earlier diagnostics
[i586] cc1: all warnings being treated as errors
[i586] rm: cannot remove '__libcheck.s': No such file or directory
[i586] gmake[2]: *** [src/ansi-c/CMakeFiles/ansi-c.dir/build.make:281: src/ansi-c/library-check.stamp] Error 1
2023-Nov-20 05:33:18 :: [i586] cbmc.git 5.95.1-alt1: remote: build failed
2023-Nov-20 05:33:18 :: [i586] #200 cbmc.git 5.95.1-alt1: build FAILED
2023-Nov-20 05:33:18 :: [i586] requesting cancellation of task processing
[x86_64] + install -Dpm644 /usr/src/tmp/cbmc-buildroot/etc/bash_completion.d/cbmc /usr/src/tmp/cbmc-buildroot/usr/share/bash-completion/completions/cbmc
[x86_64] /bin/install: cannot stat '/usr/src/tmp/cbmc-buildroot/etc/bash_completion.d/cbmc': No such file or directory
2023-Nov-20 05:35:04 :: [x86_64] cbmc.git 5.95.1-alt1: remote: build failed
2023-Nov-20 05:35:04 :: [x86_64] #200 cbmc.git 5.95.1-alt1: build FAILED
[ppc64le] + install -Dpm644 /usr/src/tmp/cbmc-buildroot/etc/bash_completion.d/cbmc /usr/src/tmp/cbmc-buildroot/usr/share/bash-completion/completions/cbmc
[ppc64le] /bin/install: cannot stat '/usr/src/tmp/cbmc-buildroot/etc/bash_completion.d/cbmc': No such file or directory
2023-Nov-20 05:36:53 :: [ppc64le] cbmc.git 5.95.1-alt1: remote: build failed
2023-Nov-20 05:36:53 :: [ppc64le] #200 cbmc.git 5.95.1-alt1: build FAILED
[aarch64] + install -Dpm644 /usr/src/tmp/cbmc-buildroot/etc/bash_completion.d/cbmc /usr/src/tmp/cbmc-buildroot/usr/share/bash-completion/completions/cbmc
[aarch64] /bin/install: cannot stat '/usr/src/tmp/cbmc-buildroot/etc/bash_completion.d/cbmc': No such file or directory
2023-Nov-20 05:38:38 :: [aarch64] cbmc.git 5.95.1-alt1: remote: build failed
2023-Nov-20 05:38:38 :: [aarch64] #200 cbmc.git 5.95.1-alt1: build FAILED
[armh] + install -Dpm644 /usr/src/tmp/cbmc-buildroot/etc/bash_completion.d/cbmc /usr/src/tmp/cbmc-buildroot/usr/share/bash-completion/completions/cbmc
[armh] /bin/install: cannot stat '/usr/src/tmp/cbmc-buildroot/etc/bash_completion.d/cbmc': No such file or directory
2023-Nov-20 05:40:09 :: [armh] cbmc.git 5.95.1-alt1: remote: build failed
2023-Nov-20 05:40:09 :: [armh] #200 cbmc.git 5.95.1-alt1: build FAILED
2023-Nov-20 05:33:18 :: [i586] build FAILED
2023-Nov-20 05:35:04 :: [x86_64] build FAILED
2023-Nov-20 05:36:54 :: [ppc64le] build FAILED
2023-Nov-20 05:38:38 :: [aarch64] build FAILED
2023-Nov-20 05:40:09 :: [armh] build FAILED
2023-Nov-20 05:40:09 :: task #334708 for sisyphus FAILED
^ permalink raw reply [flat|nested] 10+ messages in thread
* [#334708] [test-only] FAILED (try 3) cbmc.git=5.95.1-alt1
2023-11-20 5:15 [#334708] [test-only] FAILED cbmc.git=5.95.1-alt1 Girar awaiter (vt)
2023-11-20 5:40 ` [#334708] [test-only] FAILED (try 2) cbmc.git=5.95.1-alt1 Girar awaiter (vt)
@ 2023-11-20 9:52 ` Girar awaiter (vt)
2023-11-20 10:57 ` [#334708] TESTED (try 4) cbmc.git=5.95.1-alt1 Girar awaiter (vt)
` (6 subsequent siblings)
8 siblings, 0 replies; 10+ messages in thread
From: Girar awaiter (vt) @ 2023-11-20 9:52 UTC (permalink / raw)
To: Vitaly Chikunov; +Cc: sisyphus-incominger, girar-builder-sisyphus
https://git.altlinux.org/tasks/334708/logs/events.3.1.log
subtask name aarch64 armh i586 ppc64le x86_64
#300 cbmc 10:04 21:24 failed 7:46 5:08
2023-Nov-20 09:31:33 :: test-only task #334708 for sisyphus resumed by vt:
#100 removed
#200 removed
#300 build 5.95.1-alt1 from /people/vt/packages/cbmc.git fetched at 2023-Nov-20 09:31:30
2023-Nov-20 09:31:35 :: [i586] #300 cbmc.git 5.95.1-alt1: build start
2023-Nov-20 09:31:35 :: [x86_64] #300 cbmc.git 5.95.1-alt1: build start
2023-Nov-20 09:31:35 :: [ppc64le] #300 cbmc.git 5.95.1-alt1: build start
2023-Nov-20 09:31:35 :: [armh] #300 cbmc.git 5.95.1-alt1: build start
2023-Nov-20 09:31:35 :: [aarch64] #300 cbmc.git 5.95.1-alt1: build start
[i586] __libcheck.c: In function 's__builtin_ia32_psubsw128':
[i586] __libcheck.c:219:1: error: SSE vector return without SSE enabled changes the ABI [-Werror=psabi]
[i586] 219 | {
[i586] __libcheck.c: In function 's__builtin_ia32_paddsw':
[i586] __libcheck.c:248:1: error: MMX vector return without MMX enabled changes the ABI [-Werror=psabi]
[i586] 248 | {
[i586] __libcheck.c: In function 's__builtin_ia32_vec_ext_v4hi':
[i586] __libcheck.c:160:7: error: MMX vector argument without MMX enabled changes the ABI [-Werror=psabi]
[i586] 160 | short s__builtin_ia32_vec_ext_v4hi(__gcc_v4hi vec, int offset)
[i586] --
[i586] 169 | short s__builtin_ia32_vec_ext_v8hi(__gcc_v8hi vec, int offset)
[i586] __libcheck.c:169:7: error: SSE vector argument without SSE enabled changes the ABI [-Werror=psabi]
[i586] At top level:
[i586] --
[i586] cc1: note: unrecognized command-line option '-Wno-gnu-line-marker' may have been intended to silence earlier diagnostics
[i586] cc1: all warnings being treated as errors
[i586] rm: cannot remove '__libcheck.s': No such file or directory
[i586] gmake[2]: *** [src/ansi-c/CMakeFiles/ansi-c.dir/build.make:281: src/ansi-c/library-check.stamp] Error 1
2023-Nov-20 09:33:01 :: [i586] cbmc.git 5.95.1-alt1: remote: build failed
2023-Nov-20 09:33:01 :: [i586] #300 cbmc.git 5.95.1-alt1: build FAILED
2023-Nov-20 09:33:01 :: [i586] requesting cancellation of task processing
2023-Nov-20 09:36:43 :: [x86_64] #300 cbmc.git 5.95.1-alt1: build OK
2023-Nov-20 09:39:21 :: [ppc64le] #300 cbmc.git 5.95.1-alt1: build OK
2023-Nov-20 09:41:39 :: [aarch64] #300 cbmc.git 5.95.1-alt1: build OK
2023-Nov-20 09:52:59 :: [armh] #300 cbmc.git 5.95.1-alt1: build OK
2023-Nov-20 09:33:02 :: [i586] build FAILED
2023-Nov-20 09:52:59 :: task #334708 for sisyphus FAILED
^ permalink raw reply [flat|nested] 10+ messages in thread
* [#334708] TESTED (try 4) cbmc.git=5.95.1-alt1
2023-11-20 5:15 [#334708] [test-only] FAILED cbmc.git=5.95.1-alt1 Girar awaiter (vt)
2023-11-20 5:40 ` [#334708] [test-only] FAILED (try 2) cbmc.git=5.95.1-alt1 Girar awaiter (vt)
2023-11-20 9:52 ` [#334708] [test-only] FAILED (try 3) cbmc.git=5.95.1-alt1 Girar awaiter (vt)
@ 2023-11-20 10:57 ` Girar awaiter (vt)
2023-11-25 16:11 ` [#334708] TESTED (try 5) cbmc.git=5.95.1-alt1 Girar awaiter (vt)
` (5 subsequent siblings)
8 siblings, 0 replies; 10+ messages in thread
From: Girar awaiter (vt) @ 2023-11-20 10:57 UTC (permalink / raw)
To: Vitaly Chikunov; +Cc: sisyphus-incominger, girar-builder-sisyphus
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
^ permalink raw reply [flat|nested] 10+ messages in thread
* [#334708] TESTED (try 5) cbmc.git=5.95.1-alt1
2023-11-20 5:15 [#334708] [test-only] FAILED cbmc.git=5.95.1-alt1 Girar awaiter (vt)
` (2 preceding siblings ...)
2023-11-20 10:57 ` [#334708] TESTED (try 4) cbmc.git=5.95.1-alt1 Girar awaiter (vt)
@ 2023-11-25 16:11 ` Girar awaiter (vt)
2023-11-25 16:40 ` [#334708] [test-only] FAILED (try 6) cbmc.git=5.95.1-alt1 Girar awaiter (vt)
` (4 subsequent siblings)
8 siblings, 0 replies; 10+ messages in thread
From: Girar awaiter (vt) @ 2023-11-25 16:11 UTC (permalink / raw)
To: Vitaly Chikunov; +Cc: sisyphus-incominger, girar-builder-sisyphus
https://git.altlinux.org/tasks/334708/logs/events.5.1.log
subtask name aarch64 armh i586 ppc64le x86_64
#500 cbmc 8:32 14:25 6:32 6:49 4:36
2023-Nov-25 15:48:09 :: test-only task #334708 for sisyphus resumed by vt:
#100 removed
#200 removed
#300 removed
#400 removed
#500 build 5.95.1-alt1 from /people/vt/packages/cbmc.git fetched at 2023-Nov-25 15:48:07
2023-Nov-25 15:48:11 :: [aarch64] #500 cbmc.git 5.95.1-alt1: build start
2023-Nov-25 15:48:11 :: [x86_64] #500 cbmc.git 5.95.1-alt1: build start
2023-Nov-25 15:48:11 :: [armh] #500 cbmc.git 5.95.1-alt1: build start
2023-Nov-25 15:48:11 :: [i586] #500 cbmc.git 5.95.1-alt1: build start
2023-Nov-25 15:48:11 :: [ppc64le] #500 cbmc.git 5.95.1-alt1: build start
2023-Nov-25 15:52:47 :: [x86_64] #500 cbmc.git 5.95.1-alt1: build OK
2023-Nov-25 15:54:43 :: [i586] #500 cbmc.git 5.95.1-alt1: build OK
2023-Nov-25 15:55:00 :: [ppc64le] #500 cbmc.git 5.95.1-alt1: build OK
2023-Nov-25 15:56:43 :: [aarch64] #500 cbmc.git 5.95.1-alt1: build OK
2023-Nov-25 16:02:36 :: [armh] #500 cbmc.git 5.95.1-alt1: build OK
2023-Nov-25 16:03:00 :: #500: cbmc.git 5.95.1-alt1: build check OK
2023-Nov-25 16:03:01 :: build check OK
--- cbmc-5.95.1-alt1.x86_64.rpm.share 2023-11-25 16:03:04.006470470 +0000
+++ cbmc-5.95.1-alt1.i586.rpm.share 2023-11-25 16:03:05.950489044 +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 (#500): non-identical /usr/share part
--- cbmc-5.95.1-alt1.x86_64.rpm.share 2023-11-25 16:04:24.505239587 +0000
+++ cbmc-5.95.1-alt1.aarch64.rpm.share 2023-11-25 16:04:26.115254970 +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 (#500): non-identical /usr/share part
--- cbmc-5.95.1-alt1.x86_64.rpm.share 2023-11-25 16:05:05.105627500 +0000
+++ cbmc-5.95.1-alt1.ppc64le.rpm.share 2023-11-25 16:05:06.911644755 +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 (#500): non-identical /usr/share part
--- cbmc-5.95.1-alt1.x86_64.rpm.share 2023-11-25 16:05:46.748025369 +0000
+++ cbmc-5.95.1-alt1.armh.rpm.share 2023-11-25 16:05:48.097038258 +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 (#500): non-identical /usr/share part
2023-Nov-25 16:06:30 :: noarch check OK
2023-Nov-25 16:06:32 :: plan: src +1 -0 =18809, aarch64 +2 -0 =31656, armh +2 -0 =29548, i586 +2 -0 =31466, ppc64le +2 -0 =30950, x86_64 +2 -0 =32544
2023-Nov-25 16:07:20 :: patched apt indices
2023-Nov-25 16:07:33 :: created next repo
2023-Nov-25 16:07:42 :: duplicate provides check OK
2023-Nov-25 16:08:17 :: dependencies check OK
2023-Nov-25 16:08:44 :: [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-25 16:08:58 :: [x86_64] #500 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-25 16:08:58 :: [i586] #500 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-25 16:09:08 :: [aarch64] #500 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-25 16:09:11 :: [ppc64le] #500 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-25 16:09:19 :: [armh] #500 cbmc: install check OK
2023-Nov-25 16:09:36 :: [x86_64] #500 cbmc-debuginfo: install check OK
2023-Nov-25 16:09:41 :: [i586] #500 cbmc-debuginfo: install check OK
2023-Nov-25 16:10:06 :: [aarch64] #500 cbmc-debuginfo: install check OK
2023-Nov-25 16:10:23 :: [ppc64le] #500 cbmc-debuginfo: install check OK
2023-Nov-25 16:10:45 :: [armh] #500 cbmc-debuginfo: install check OK
2023-Nov-25 16:11:00 :: [x86_64-i586] generated apt indices
2023-Nov-25 16:11:00 :: [x86_64-i586] created next repo
2023-Nov-25 16:11:10 :: [x86_64-i586] dependencies check OK
2023-Nov-25 16:11:11 :: gears inheritance check OK
2023-Nov-25 16:11:11 :: 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: #500: cbmc: allowed for vt
2023-Nov-25 16:11:11 :: acl check OK
2023-Nov-25 16:11:24 :: created contents_index files
2023-Nov-25 16:11:35 :: created hash files: aarch64 armh i586 ppc64le src x86_64
2023-Nov-25 16:11:38 :: task #334708 for sisyphus TESTED
^ permalink raw reply [flat|nested] 10+ messages in thread
* [#334708] [test-only] FAILED (try 6) cbmc.git=5.95.1-alt1
2023-11-20 5:15 [#334708] [test-only] FAILED cbmc.git=5.95.1-alt1 Girar awaiter (vt)
` (3 preceding siblings ...)
2023-11-25 16:11 ` [#334708] TESTED (try 5) cbmc.git=5.95.1-alt1 Girar awaiter (vt)
@ 2023-11-25 16:40 ` Girar awaiter (vt)
2023-11-25 17:09 ` [#334708] [test-only] FAILED (try 7) cbmc.git=5.95.1-alt1 Girar awaiter (vt)
` (3 subsequent siblings)
8 siblings, 0 replies; 10+ messages in thread
From: Girar awaiter (vt) @ 2023-11-25 16:40 UTC (permalink / raw)
To: Vitaly Chikunov; +Cc: sisyphus-incominger, girar-builder-sisyphus
https://git.altlinux.org/tasks/334708/logs/events.6.1.log
subtask name aarch64 armh i586 ppc64le x86_64
#600 cbmc 9:24 14:44 6:36 6:53 failed
2023-Nov-25 16:25:34 :: test-only task #334708 for sisyphus resumed by vt:
#100 removed
#200 removed
#300 removed
#400 removed
#500 removed
#600 build 5.95.1-alt1 from /people/vt/packages/cbmc.git fetched at 2023-Nov-25 16:25:32
2023-Nov-25 16:25:35 :: [ppc64le] #600 cbmc.git 5.95.1-alt1: build start
2023-Nov-25 16:25:35 :: [i586] #600 cbmc.git 5.95.1-alt1: build start
2023-Nov-25 16:25:35 :: [aarch64] #600 cbmc.git 5.95.1-alt1: build start
2023-Nov-25 16:25:35 :: [x86_64] #600 cbmc.git 5.95.1-alt1: build start
2023-Nov-25 16:25:35 :: [armh] #600 cbmc.git 5.95.1-alt1: build start
[x86_64] + /bin/mkdir -p /usr/src/RPM/BUILD
[x86_64] + cd /usr/src/RPM/BUILD
[x86_64] + cd cbmc-5.95.1
[x86_64] + x86_64-alt-linux/bin/cbmc --version
[x86_64] 5.95.1 (alt1:sisyphus+334708.600.6.1)
[x86_64] + x86_64-alt-linux/bin/cbmc --version
[x86_64] + grep -wF 5.95.1
[x86_64] 5.95.1 (alt1:sisyphus+334708.600.6.1)
[x86_64] + ctest --test-dir x86_64-alt-linux --output-on-failure --force-new-ctest-process --parallel 32 --label-regex CORE
[x86_64] /usr/src/tmp/rpm-tmp.96764: line 131: ctest: command not found
2023-Nov-25 16:28:59 :: [x86_64] cbmc.git 5.95.1-alt1: remote: build failed
2023-Nov-25 16:28:59 :: [x86_64] #600 cbmc.git 5.95.1-alt1: build FAILED
2023-Nov-25 16:28:59 :: [x86_64] requesting cancellation of task processing
2023-Nov-25 16:32:11 :: [i586] #600 cbmc.git 5.95.1-alt1: build OK
2023-Nov-25 16:32:28 :: [ppc64le] #600 cbmc.git 5.95.1-alt1: build OK
2023-Nov-25 16:34:59 :: [aarch64] #600 cbmc.git 5.95.1-alt1: build OK
2023-Nov-25 16:40:19 :: [armh] #600 cbmc.git 5.95.1-alt1: build OK
2023-Nov-25 16:28:59 :: [x86_64] build FAILED
2023-Nov-25 16:40:19 :: task #334708 for sisyphus FAILED
^ permalink raw reply [flat|nested] 10+ messages in thread
* [#334708] [test-only] FAILED (try 7) cbmc.git=5.95.1-alt1
2023-11-20 5:15 [#334708] [test-only] FAILED cbmc.git=5.95.1-alt1 Girar awaiter (vt)
` (4 preceding siblings ...)
2023-11-25 16:40 ` [#334708] [test-only] FAILED (try 6) cbmc.git=5.95.1-alt1 Girar awaiter (vt)
@ 2023-11-25 17:09 ` Girar awaiter (vt)
2023-11-25 17:26 ` [#334708] [test-only] FAILED (try 8) cbmc.git=5.95.1-alt1 Girar awaiter (vt)
` (2 subsequent siblings)
8 siblings, 0 replies; 10+ messages in thread
From: Girar awaiter (vt) @ 2023-11-25 17:09 UTC (permalink / raw)
To: Vitaly Chikunov; +Cc: sisyphus-incominger, girar-builder-sisyphus
https://git.altlinux.org/tasks/334708/logs/events.7.1.log
subtask name aarch64 armh i586 ppc64le x86_64
#700 cbmc 8:37 14:22 6:38 6:49 failed
2023-Nov-25 16:55:23 :: test-only task #334708 for sisyphus resumed by vt:
#100 removed
#200 removed
#300 removed
#400 removed
#500 removed
#600 removed
#700 build 5.95.1-alt1 from /people/vt/packages/cbmc.git fetched at 2023-Nov-25 16:55:21
2023-Nov-25 16:55:25 :: [aarch64] #700 cbmc.git 5.95.1-alt1: build start
2023-Nov-25 16:55:25 :: [armh] #700 cbmc.git 5.95.1-alt1: build start
2023-Nov-25 16:55:25 :: [ppc64le] #700 cbmc.git 5.95.1-alt1: build start
2023-Nov-25 16:55:25 :: [x86_64] #700 cbmc.git 5.95.1-alt1: build start
2023-Nov-25 16:55:25 :: [i586] #700 cbmc.git 5.95.1-alt1: build start
[x86_64] Can't locate Term/ANSIColor.pm in @INC (you may need to install the Term::ANSIColor module) (@INC contains: /usr/local/lib64/perl/5.34 /usr/local/share/perl/5.34 /usr/lib64/perl5 /usr/share/perl5 /usr/lib64/perl5 /usr/share/perl5 /etc/perl5 /usr/lib/perl5/vendor_perl .) at /usr/src/RPM/BUILD/cbmc-5.95.1/regression/test.pl line 7.
[x86_64] BEGIN failed--compilation aborted at /usr/src/RPM/BUILD/cbmc-5.95.1/regression/test.pl line 7.
[x86_64] 66/75 Test #234: model_loading-CORE ......................***Failed 0.01 sec
[x86_64] Can't locate Term/ANSIColor.pm in @INC (you may need to install the Term::ANSIColor module) (@INC contains: /usr/local/lib64/perl/5.34 /usr/local/share/perl/5.34 /usr/lib64/perl5 /usr/share/perl5 /usr/lib64/perl5 /usr/share/perl5 /etc/perl5 /usr/lib/perl5/vendor_perl .) at /usr/src/RPM/BUILD/cbmc-5.95.1/src/../regression/test.pl line 7.
[x86_64] BEGIN failed--compilation aborted at /usr/src/RPM/BUILD/cbmc-5.95.1/src/../regression/test.pl line 7.
[x86_64] 67/75 Test #238: book-examples-CORE ......................***Failed 0.01 sec
[x86_64] Can't locate Term/ANSIColor.pm in @INC (you may need to install the Term::ANSIColor module) (@INC contains: /usr/local/lib64/perl/5.34 /usr/local/share/perl/5.34 /usr/lib64/perl5 /usr/share/perl5 /usr/lib64/perl5 /usr/share/perl5 /etc/perl5 /usr/lib/perl5/vendor_perl .) at /usr/src/RPM/BUILD/cbmc-5.95.1/regression/test.pl line 7.
[x86_64] BEGIN failed--compilation aborted at /usr/src/RPM/BUILD/cbmc-5.95.1/regression/test.pl line 7.
[x86_64] 68/75 Test #242: cbmc-paths-lifo-CORE ....................***Failed 0.01 sec
[x86_64] Can't locate Term/ANSIColor.pm in @INC (you may need to install the Term::ANSIColor module) (@INC contains: /usr/local/lib64/perl/5.34 /usr/local/share/perl/5.34 /usr/lib64/perl5 /usr/share/perl5 /usr/lib64/perl5 /usr/share/perl5 /etc/perl5 /usr/lib/perl5/vendor_perl .) at /usr/src/RPM/BUILD/cbmc-5.95.1/regression/test.pl line 7.
[x86_64] BEGIN failed--compilation aborted at /usr/src/RPM/BUILD/cbmc-5.95.1/regression/test.pl line 7.
[x86_64] 69/75 Test #243: book-examples-cprover-smt2-CORE .........***Failed 0.01 sec
[x86_64] Can't locate Term/ANSIColor.pm in @INC (you may need to install the Term::ANSIColor module) (@INC contains: /usr/local/lib64/perl/5.34 /usr/local/share/perl/5.34 /usr/lib64/perl5 /usr/share/perl5 /usr/lib64/perl5 /usr/share/perl5 /etc/perl5 /usr/lib/perl5/vendor_perl .) at /usr/src/RPM/BUILD/cbmc-5.95.1/regression/test.pl line 7.
[x86_64] BEGIN failed--compilation aborted at /usr/src/RPM/BUILD/cbmc-5.95.1/regression/test.pl line 7.
[x86_64] 70/75 Test #244: book-examples-new-smt-backend-CORE ......***Failed 0.01 sec
[x86_64] Can't locate Term/ANSIColor.pm in @INC (you may need to install the Term::ANSIColor module) (@INC contains: /usr/local/lib64/perl/5.34 /usr/local/share/perl/5.34 /usr/lib64/perl5 /usr/share/perl5 /usr/lib64/perl5 /usr/share/perl5 /etc/perl5 /usr/lib/perl5/vendor_perl .) at /usr/src/RPM/BUILD/cbmc-5.95.1/regression/test.pl line 7.
[x86_64] BEGIN failed--compilation aborted at /usr/src/RPM/BUILD/cbmc-5.95.1/regression/test.pl line 7.
[x86_64] 71/75 Test #245: snapshot-harness-CORE ...................***Failed 0.01 sec
[x86_64] Can't locate Term/ANSIColor.pm in @INC (you may need to install the Term::ANSIColor module) (@INC contains: /usr/local/lib64/perl/5.34 /usr/local/share/perl/5.34 /usr/lib64/perl5 /usr/share/perl5 /usr/lib64/perl5 /usr/share/perl5 /etc/perl5 /usr/lib/perl5/vendor_perl .) at /usr/src/RPM/BUILD/cbmc-5.95.1/regression/test.pl line 7.
[x86_64] BEGIN failed--compilation aborted at /usr/src/RPM/BUILD/cbmc-5.95.1/regression/test.pl line 7.
[x86_64] 72/75 Test #249: memory-analyzer-CORE ....................***Failed 0.01 sec
[x86_64] Can't locate Term/ANSIColor.pm in @INC (you may need to install the Term::ANSIColor module) (@INC contains: /usr/local/lib64/perl/5.34 /usr/local/share/perl/5.34 /usr/lib64/perl5 /usr/share/perl5 /usr/lib64/perl5 /usr/share/perl5 /etc/perl5 /usr/lib/perl5/vendor_perl .) at /usr/src/RPM/BUILD/cbmc-5.95.1/regression/test.pl line 7.
[x86_64] BEGIN failed--compilation aborted at /usr/src/RPM/BUILD/cbmc-5.95.1/regression/test.pl line 7.
[x86_64] 73/75 Test #253: extract_type_header-CORE ................***Failed 0.00 sec
[x86_64] Can't locate Term/ANSIColor.pm in @INC (you may need to install the Term::ANSIColor module) (@INC contains: /usr/local/lib64/perl/5.34 /usr/local/share/perl/5.34 /usr/lib64/perl5 /usr/share/perl5 /usr/lib64/perl5 /usr/share/perl5 /etc/perl5 /usr/lib/perl5/vendor_perl .) at /usr/src/RPM/BUILD/cbmc-5.95.1/regression/test.pl line 7.
[x86_64] BEGIN failed--compilation aborted at /usr/src/RPM/BUILD/cbmc-5.95.1/regression/test.pl line 7.
[x86_64] 74/75 Test #259: lib-unit ................................ Passed 0.09 sec
[x86_64] --
[x86_64] /usr/src/RPM/BUILD/cbmc-5.95.1/unit/memory-analyzer/gdb_api.cpp:119
[x86_64] /usr/src/RPM/BUILD/cbmc-5.95.1/unit/memory-analyzer/gdb_api.cpp:44: FAILED:
[x86_64] REQUIRE( run("gdb", {"gdb", "--version"}, "", "/dev/null", "/dev/null") == 0 )
2023-Nov-25 16:58:51 :: [x86_64] cbmc.git 5.95.1-alt1: remote: build failed
2023-Nov-25 16:58:51 :: [x86_64] #700 cbmc.git 5.95.1-alt1: build FAILED
2023-Nov-25 16:58:51 :: [x86_64] requesting cancellation of task processing
2023-Nov-25 17:02:03 :: [i586] #700 cbmc.git 5.95.1-alt1: build OK
2023-Nov-25 17:02:14 :: [ppc64le] #700 cbmc.git 5.95.1-alt1: build OK
2023-Nov-25 17:04:02 :: [aarch64] #700 cbmc.git 5.95.1-alt1: build OK
2023-Nov-25 17:09:47 :: [armh] #700 cbmc.git 5.95.1-alt1: build OK
2023-Nov-25 16:58:51 :: [x86_64] build FAILED
2023-Nov-25 17:09:48 :: task #334708 for sisyphus FAILED
^ permalink raw reply [flat|nested] 10+ messages in thread
* [#334708] [test-only] FAILED (try 8) cbmc.git=5.95.1-alt1
2023-11-20 5:15 [#334708] [test-only] FAILED cbmc.git=5.95.1-alt1 Girar awaiter (vt)
` (5 preceding siblings ...)
2023-11-25 17:09 ` [#334708] [test-only] FAILED (try 7) cbmc.git=5.95.1-alt1 Girar awaiter (vt)
@ 2023-11-25 17:26 ` Girar awaiter (vt)
2023-12-12 16:33 ` [#334708] TESTED (try 9) cbmc.git=5.95.1-alt1 Girar awaiter (vt)
2023-12-13 14:00 ` [#334708] DONE (try 10) cbmc.git=5.95.1-alt1 Girar pender (vt)
8 siblings, 0 replies; 10+ messages in thread
From: Girar awaiter (vt) @ 2023-11-25 17:26 UTC (permalink / raw)
To: Vitaly Chikunov; +Cc: sisyphus-incominger, girar-builder-sisyphus
https://git.altlinux.org/tasks/334708/logs/events.8.1.log
subtask name aarch64 armh i586 ppc64le x86_64
#1000 cbmc 8:35 14:19 6:36 6:47 failed
2023-Nov-25 17:12:03 :: test-only task #334708 for sisyphus resumed by vt:
#100 removed
#200 removed
#300 removed
#400 removed
#500 removed
#600 removed
#700 removed
#1000 build 5.95.1-alt1 from /people/vt/packages/cbmc.git fetched at 2023-Nov-25 17:12:01
2023-Nov-25 17:12:05 :: [ppc64le] #1000 cbmc.git 5.95.1-alt1: build start
2023-Nov-25 17:12:05 :: [i586] #1000 cbmc.git 5.95.1-alt1: build start
2023-Nov-25 17:12:05 :: [aarch64] #1000 cbmc.git 5.95.1-alt1: build start
2023-Nov-25 17:12:05 :: [x86_64] #1000 cbmc.git 5.95.1-alt1: build start
2023-Nov-25 17:12:05 :: [armh] #1000 cbmc.git 5.95.1-alt1: build start
[x86_64] <builtin-library-__CPROVER_contracts_library> function __CPROVER_contracts_car_set_insert
[x86_64] [__CPROVER_contracts_car_set_insert.assertion.1] line 162 ptr NULL or writable up to size: ERROR
[x86_64] [__CPROVER_contracts_car_set_insert.assertion.4] line 162 ptr NULL or writable up to size: SUCCESS
[x86_64] [__CPROVER_contracts_car_set_insert.assertion.7] line 162 ptr NULL or writable up to size: SUCCESS
[x86_64] [__CPROVER_contracts_car_set_insert.assertion.2] line 165 CAR size is less than __CPROVER_max_malloc_size: ERROR
[x86_64] [__CPROVER_contracts_car_set_insert.assertion.5] line 165 CAR size is less than __CPROVER_max_malloc_size: SUCCESS
[x86_64] [__CPROVER_contracts_car_set_insert.assertion.8] line 165 CAR size is less than __CPROVER_max_malloc_size: SUCCESS
[x86_64] [__CPROVER_contracts_car_set_insert.assertion.3] line 169 no offset bits overflow on CAR upper bound computation: ERROR
[x86_64] [__CPROVER_contracts_car_set_insert.assertion.6] line 169 no offset bits overflow on CAR upper bound computation: SUCCESS
[x86_64] --
[x86_64] <builtin-library-__CPROVER_contracts_library> function __CPROVER_contracts_write_set_check_assignment
[x86_64] [__CPROVER_contracts_write_set_check_assignment.assertion.1] line 776 ptr NULL or writable up to size: ERROR
[x86_64] [__CPROVER_contracts_write_set_check_assignment.assertion.2] line 793 CAR size is less than __CPROVER_max_malloc_size: ERROR
[x86_64] [__CPROVER_contracts_write_set_check_assignment.assertion.3] line 799 no offset bits overflow on CAR upper bound computation: ERROR
[x86_64] [__CPROVER_contracts_write_set_check_assignment.unwind.1] line 808 unwinding assertion loop 0: SUCCESS
[x86_64] --
[x86_64] <builtin-library-__CPROVER_contracts_library> function __CPROVER_contracts_write_set_havoc_slice
[x86_64] [__CPROVER_contracts_write_set_havoc_slice.assertion.1] line 1422 assertion havoc_slice W_OK(car.lb, car.size): ERROR
[x86_64] <builtin-library-malloc> function malloc
[x86_64] --
[x86_64] [foo.assigns.2] line 5 Check that return_value___CPROVER_is_fresh$0 is assignable: SUCCESS
[x86_64] [foo.postcondition.1] line 7 Check ensures clause of contract contract::foo for function foo: ERROR
[x86_64] [foo.assigns.3] line 13 Check that i is assignable: SUCCESS
[x86_64] [foo.assigns.5] line 13 Check that i is assignable: ERROR
[x86_64] [foo.assigns.7] line 13 Check that i is assignable: ERROR
[x86_64] [foo.loop_assigns.1] line 13 Check assigns clause inclusion for loop foo.0: SUCCESS
2023-Nov-25 17:17:46 :: [x86_64] cbmc.git 5.95.1-alt1: remote: build failed
2023-Nov-25 17:17:46 :: [x86_64] #1000 cbmc.git 5.95.1-alt1: build FAILED
2023-Nov-25 17:17:46 :: [x86_64] requesting cancellation of task processing
2023-Nov-25 17:18:41 :: [i586] #1000 cbmc.git 5.95.1-alt1: build OK
2023-Nov-25 17:18:52 :: [ppc64le] #1000 cbmc.git 5.95.1-alt1: build OK
2023-Nov-25 17:20:40 :: [aarch64] #1000 cbmc.git 5.95.1-alt1: build OK
2023-Nov-25 17:26:24 :: [armh] #1000 cbmc.git 5.95.1-alt1: build OK
2023-Nov-25 17:17:46 :: [x86_64] build FAILED
2023-Nov-25 17:26:24 :: task #334708 for sisyphus FAILED
^ permalink raw reply [flat|nested] 10+ messages in thread
* [#334708] TESTED (try 9) cbmc.git=5.95.1-alt1
2023-11-20 5:15 [#334708] [test-only] FAILED cbmc.git=5.95.1-alt1 Girar awaiter (vt)
` (6 preceding siblings ...)
2023-11-25 17:26 ` [#334708] [test-only] FAILED (try 8) cbmc.git=5.95.1-alt1 Girar awaiter (vt)
@ 2023-12-12 16:33 ` Girar awaiter (vt)
2023-12-13 14:00 ` [#334708] DONE (try 10) cbmc.git=5.95.1-alt1 Girar pender (vt)
8 siblings, 0 replies; 10+ messages in thread
From: Girar awaiter (vt) @ 2023-12-12 16:33 UTC (permalink / raw)
To: Vitaly Chikunov; +Cc: sisyphus-incominger, girar-builder-sisyphus
https://git.altlinux.org/tasks/334708/logs/events.9.1.log
subtask name aarch64 armh i586 ppc64le x86_64
#1100 cbmc 8:36 14:50 6:39 7:00 4:37
2023-Dec-12 16:08:34 :: test-only task #334708 for sisyphus resumed by vt:
#100 removed
#200 removed
#300 removed
#400 removed
#500 removed
#600 removed
#700 removed
#1000 removed
#1100 build 5.95.1-alt1 from /people/vt/packages/cbmc.git fetched at 2023-Dec-12 16:07:42
2023-Dec-12 16:08:36 :: [x86_64] #1100 cbmc.git 5.95.1-alt1: build start
2023-Dec-12 16:08:36 :: [i586] #1100 cbmc.git 5.95.1-alt1: build start
2023-Dec-12 16:08:36 :: [aarch64] #1100 cbmc.git 5.95.1-alt1: build start
2023-Dec-12 16:08:36 :: [armh] #1100 cbmc.git 5.95.1-alt1: build start
2023-Dec-12 16:08:36 :: [ppc64le] #1100 cbmc.git 5.95.1-alt1: build start
2023-Dec-12 16:13:13 :: [x86_64] #1100 cbmc.git 5.95.1-alt1: build OK
2023-Dec-12 16:15:15 :: [i586] #1100 cbmc.git 5.95.1-alt1: build OK
2023-Dec-12 16:15:36 :: [ppc64le] #1100 cbmc.git 5.95.1-alt1: build OK
2023-Dec-12 16:17:12 :: [aarch64] #1100 cbmc.git 5.95.1-alt1: build OK
2023-Dec-12 16:23:26 :: [armh] #1100 cbmc.git 5.95.1-alt1: build OK
2023-Dec-12 16:24:00 :: #1100: cbmc.git 5.95.1-alt1: build check OK
2023-Dec-12 16:24:02 :: build check OK
--- cbmc-5.95.1-alt1.x86_64.rpm.share 2023-12-12 16:24:05.029259067 +0000
+++ cbmc-5.95.1-alt1.i586.rpm.share 2023-12-12 16:24:07.978281381 +0000
@@ -16,3 +16,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 (#1100): non-identical /usr/share part
--- cbmc-5.95.1-alt1.x86_64.rpm.share 2023-12-12 16:25:56.520196655 +0000
+++ cbmc-5.95.1-alt1.aarch64.rpm.share 2023-12-12 16:25:58.381212435 +0000
@@ -16,3 +16,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 (#1100): non-identical /usr/share part
--- cbmc-5.95.1-alt1.x86_64.rpm.share 2023-12-12 16:26:41.452569536 +0000
+++ cbmc-5.95.1-alt1.ppc64le.rpm.share 2023-12-12 16:26:43.585587183 +0000
@@ -16,3 +16,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 (#1100): non-identical /usr/share part
--- cbmc-5.95.1-alt1.x86_64.rpm.share 2023-12-12 16:27:28.496958749 +0000
+++ cbmc-5.95.1-alt1.armh.rpm.share 2023-12-12 16:27:30.080971854 +0000
@@ -16,3 +16,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 (#1100): non-identical /usr/share part
2023-Dec-12 16:28:15 :: noarch check OK
2023-Dec-12 16:28:17 :: plan: src +1 -0 =18843, aarch64 +2 -0 =31745, armh +2 -0 =29525, i586 +2 -0 =31425, ppc64le +2 -0 =30923, x86_64 +2 -0 =32662
2023-Dec-12 16:29:09 :: patched apt indices
2023-Dec-12 16:29:23 :: created next repo
2023-Dec-12 16:29:32 :: duplicate provides check OK
2023-Dec-12 16:30:11 :: dependencies check OK
2023-Dec-12 16:30:40 :: [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-Dec-12 16:30:54 :: [x86_64] #1100 cbmc: install check OK
i586: cbmc=5.95.1-alt1 post-install unowned files:
/usr/share/bash-completion
/usr/share/bash-completion/completions
2023-Dec-12 16:30:55 :: [i586] #1100 cbmc: install check OK
aarch64: cbmc=5.95.1-alt1 post-install unowned files:
/usr/share/bash-completion
/usr/share/bash-completion/completions
2023-Dec-12 16:31:05 :: [aarch64] #1100 cbmc: install check OK
ppc64le: cbmc=5.95.1-alt1 post-install unowned files:
/usr/share/bash-completion
/usr/share/bash-completion/completions
2023-Dec-12 16:31:08 :: [ppc64le] #1100 cbmc: install check OK
armh: cbmc=5.95.1-alt1 post-install unowned files:
/usr/share/bash-completion
/usr/share/bash-completion/completions
2023-Dec-12 16:31:17 :: [armh] #1100 cbmc: install check OK
2023-Dec-12 16:31:32 :: [x86_64] #1100 cbmc-debuginfo: install check OK
2023-Dec-12 16:31:38 :: [i586] #1100 cbmc-debuginfo: install check OK
2023-Dec-12 16:32:03 :: [aarch64] #1100 cbmc-debuginfo: install check OK
2023-Dec-12 16:32:22 :: [ppc64le] #1100 cbmc-debuginfo: install check OK
2023-Dec-12 16:32:44 :: [armh] #1100 cbmc-debuginfo: install check OK
2023-Dec-12 16:33:05 :: [x86_64-i586] generated apt indices
2023-Dec-12 16:33:05 :: [x86_64-i586] created next repo
2023-Dec-12 16:33:17 :: [x86_64-i586] dependencies check OK
2023-Dec-12 16:33:23 :: gears inheritance check OK
2023-Dec-12 16:33:23 :: 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: #1100: cbmc: allowed for vt
2023-Dec-12 16:33:24 :: acl check OK
2023-Dec-12 16:33:38 :: created contents_index files
2023-Dec-12 16:33:55 :: created hash files: aarch64 armh i586 ppc64le src x86_64
2023-Dec-12 16:33:58 :: task #334708 for sisyphus TESTED
^ permalink raw reply [flat|nested] 10+ messages in thread
* [#334708] DONE (try 10) cbmc.git=5.95.1-alt1
2023-11-20 5:15 [#334708] [test-only] FAILED cbmc.git=5.95.1-alt1 Girar awaiter (vt)
` (7 preceding siblings ...)
2023-12-12 16:33 ` [#334708] TESTED (try 9) cbmc.git=5.95.1-alt1 Girar awaiter (vt)
@ 2023-12-13 14:00 ` Girar pender (vt)
8 siblings, 0 replies; 10+ messages in thread
From: Girar pender (vt) @ 2023-12-13 14:00 UTC (permalink / raw)
To: Vitaly Chikunov; +Cc: sisyphus-incominger, girar-builder-sisyphus
https://git.altlinux.org/tasks/archive/done/_326/334708/logs/events.10.2.log
2023-Dec-13 13:51:44 :: task #334708 for sisyphus resumed by vt:
#100 removed
#200 removed
#300 removed
#400 removed
#500 removed
#600 removed
#700 removed
#1000 removed
#1100 build 5.95.1-alt1 from /people/vt/packages/cbmc.git fetched at 2023-Dec-12 16:07:42
2023-Dec-13 13:51:46 :: [armh] #1100 cbmc.git 5.95.1-alt1: build start
2023-Dec-13 13:51:46 :: [ppc64le] #1100 cbmc.git 5.95.1-alt1: build start
2023-Dec-13 13:51:46 :: [i586] #1100 cbmc.git 5.95.1-alt1: build start
2023-Dec-13 13:51:46 :: [aarch64] #1100 cbmc.git 5.95.1-alt1: build start
2023-Dec-13 13:51:46 :: [x86_64] #1100 cbmc.git 5.95.1-alt1: build start
2023-Dec-13 13:51:56 :: [i586] #1100 cbmc.git 5.95.1-alt1: build OK (cached)
2023-Dec-13 13:51:56 :: [x86_64] #1100 cbmc.git 5.95.1-alt1: build OK (cached)
2023-Dec-13 13:52:04 :: [aarch64] #1100 cbmc.git 5.95.1-alt1: build OK (cached)
2023-Dec-13 13:52:06 :: [ppc64le] #1100 cbmc.git 5.95.1-alt1: build OK (cached)
2023-Dec-13 13:52:14 :: [armh] #1100 cbmc.git 5.95.1-alt1: build OK (cached)
2023-Dec-13 13:52:39 :: #1100: cbmc.git 5.95.1-alt1: build check OK
2023-Dec-13 13:52:40 :: build check OK
--- cbmc-5.95.1-alt1.x86_64.rpm.share 2023-12-13 13:52:43.076892691 +0000
+++ cbmc-5.95.1-alt1.i586.rpm.share 2023-12-13 13:52:45.023913723 +0000
@@ -16,3 +16,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 (#1100): non-identical /usr/share part
--- cbmc-5.95.1-alt1.x86_64.rpm.share 2023-12-13 13:54:04.784775308 +0000
+++ cbmc-5.95.1-alt1.aarch64.rpm.share 2023-12-13 13:54:06.348792202 +0000
@@ -16,3 +16,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 (#1100): non-identical /usr/share part
--- cbmc-5.95.1-alt1.x86_64.rpm.share 2023-12-13 13:54:43.645175167 +0000
+++ cbmc-5.95.1-alt1.ppc64le.rpm.share 2023-12-13 13:54:45.355190882 +0000
@@ -16,3 +16,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 (#1100): non-identical /usr/share part
--- cbmc-5.95.1-alt1.x86_64.rpm.share 2023-12-13 13:55:23.035537168 +0000
+++ cbmc-5.95.1-alt1.armh.rpm.share 2023-12-13 13:55:24.351549262 +0000
@@ -16,3 +16,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 (#1100): non-identical /usr/share part
2023-Dec-13 13:56:03 :: noarch check OK
2023-Dec-13 13:56:06 :: plan: src +1 -0 =18845, aarch64 +2 -0 =31751, armh +2 -0 =29531, i586 +2 -0 =31431, ppc64le +2 -0 =30927, x86_64 +2 -0 =32668
2023-Dec-13 13:56:51 :: patched apt indices
2023-Dec-13 13:57:03 :: created next repo
2023-Dec-13 13:57:12 :: duplicate provides check OK
2023-Dec-13 13:57:48 :: dependencies check OK
2023-Dec-13 13:58:12 :: [x86_64 i586 aarch64 ppc64le armh] ELF symbols check OK
i586: cbmc=5.95.1-alt1 post-install unowned files:
/usr/share/bash-completion
/usr/share/bash-completion/completions
2023-Dec-13 13:58:22 :: [i586] #1100 cbmc: install check OK (cached)
x86_64: cbmc=5.95.1-alt1 post-install unowned files:
/usr/share/bash-completion
/usr/share/bash-completion/completions
2023-Dec-13 13:58:22 :: [x86_64] #1100 cbmc: install check OK (cached)
2023-Dec-13 13:58:26 :: [i586] #1100 cbmc-debuginfo: install check OK (cached)
2023-Dec-13 13:58:27 :: [x86_64] #1100 cbmc-debuginfo: install check OK (cached)
aarch64: cbmc=5.95.1-alt1 post-install unowned files:
/usr/share/bash-completion
/usr/share/bash-completion/completions
2023-Dec-13 13:58:30 :: [aarch64] #1100 cbmc: install check OK (cached)
ppc64le: cbmc=5.95.1-alt1 post-install unowned files:
/usr/share/bash-completion
/usr/share/bash-completion/completions
2023-Dec-13 13:58:31 :: [ppc64le] #1100 cbmc: install check OK (cached)
armh: cbmc=5.95.1-alt1 post-install unowned files:
/usr/share/bash-completion
/usr/share/bash-completion/completions
2023-Dec-13 13:58:38 :: [armh] #1100 cbmc: install check OK (cached)
2023-Dec-13 13:58:39 :: [aarch64] #1100 cbmc-debuginfo: install check OK (cached)
2023-Dec-13 13:58:42 :: [ppc64le] #1100 cbmc-debuginfo: install check OK (cached)
2023-Dec-13 13:58:53 :: [armh] #1100 cbmc-debuginfo: install check OK (cached)
2023-Dec-13 13:59:11 :: [x86_64-i586] generated apt indices
2023-Dec-13 13:59:11 :: [x86_64-i586] created next repo
2023-Dec-13 13:59:20 :: [x86_64-i586] dependencies check OK
2023-Dec-13 13:59:21 :: gears inheritance check OK
2023-Dec-13 13:59:21 :: 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: #1100: cbmc: allowed for vt
2023-Dec-13 13:59:22 :: acl check OK
2023-Dec-13 13:59:34 :: created contents_index files
2023-Dec-13 13:59:46 :: created hash files: aarch64 armh i586 ppc64le src x86_64
2023-Dec-13 13:59:48 :: task #334708 for sisyphus TESTED
2023-Dec-13 13:59:49 :: task is ready for commit
2023-Dec-13 13:59:55 :: repo clone OK
2023-Dec-13 13:59:57 :: packages update OK
2023-Dec-13 14:00:07 :: [x86_64 i586 aarch64 ppc64le armh] update OK
2023-Dec-13 14:00:07 :: repo update OK
2023-Dec-13 14:00:25 :: repo save OK
2023-Dec-13 14:00:25 :: src index update OK
2023-Dec-13 14:00:30 :: created /gears/c/cbmc.git branch `sisyphus'
2023-Dec-13 14:00:33 :: gears update OK
2023-Dec-13 14:00:33 :: ACL for new project `cbmc' assigned to user `vt'
2023-Dec-13 14:00:33 :: task #334708 for sisyphus DONE
^ permalink raw reply [flat|nested] 10+ messages in thread
end of thread, other threads:[~2023-12-13 14:00 UTC | newest]
Thread overview: 10+ messages (download: mbox.gz / follow: Atom feed)
-- links below jump to the message on this page --
2023-11-20 5:15 [#334708] [test-only] FAILED cbmc.git=5.95.1-alt1 Girar awaiter (vt)
2023-11-20 5:40 ` [#334708] [test-only] FAILED (try 2) cbmc.git=5.95.1-alt1 Girar awaiter (vt)
2023-11-20 9:52 ` [#334708] [test-only] FAILED (try 3) cbmc.git=5.95.1-alt1 Girar awaiter (vt)
2023-11-20 10:57 ` [#334708] TESTED (try 4) cbmc.git=5.95.1-alt1 Girar awaiter (vt)
2023-11-25 16:11 ` [#334708] TESTED (try 5) cbmc.git=5.95.1-alt1 Girar awaiter (vt)
2023-11-25 16:40 ` [#334708] [test-only] FAILED (try 6) cbmc.git=5.95.1-alt1 Girar awaiter (vt)
2023-11-25 17:09 ` [#334708] [test-only] FAILED (try 7) cbmc.git=5.95.1-alt1 Girar awaiter (vt)
2023-11-25 17:26 ` [#334708] [test-only] FAILED (try 8) cbmc.git=5.95.1-alt1 Girar awaiter (vt)
2023-12-12 16:33 ` [#334708] TESTED (try 9) cbmc.git=5.95.1-alt1 Girar awaiter (vt)
2023-12-13 14:00 ` [#334708] DONE (try 10) cbmc.git=5.95.1-alt1 Girar pender (vt)
ALT Linux Girar Builder robot reports
This inbox may be cloned and mirrored by anyone:
git clone --mirror http://lore.altlinux.org/sisyphus-incominger/0 sisyphus-incominger/git/0.git
# If you have public-inbox 1.1+ installed, you may
# initialize and index your mirror using the following commands:
public-inbox-init -V2 sisyphus-incominger sisyphus-incominger/ http://lore.altlinux.org/sisyphus-incominger \
sisyphus-incominger@lists.altlinux.org sisyphus-incominger@lists.altlinux.ru sisyphus-incominger@lists.altlinux.com
public-inbox-index sisyphus-incominger
Example config snippet for mirrors.
Newsgroup available over NNTP:
nntp://lore.altlinux.org/org.altlinux.lists.sisyphus-incominger
AGPL code for this site: git clone https://public-inbox.org/public-inbox.git