[#334708] [test-only] FAILED (try 7) cbmc.git=5.95.1-alt1

[Girar awaiter (vt)]

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