From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: X-Spam-Checker-Version: SpamAssassin 3.4.1 (2015-04-28) on sa.local.altlinux.org X-Spam-Level: X-Spam-Status: No, score=-3.3 required=5.0 tests=BAYES_00,RP_MATCHES_RCVD autolearn=unavailable autolearn_force=no version=3.4.1 Date: Sat, 25 Nov 2023 17:09:48 +0000 From: "Girar awaiter (vt)" To: Vitaly Chikunov Subject: [#334708] [test-only] FAILED (try 7) cbmc.git=5.95.1-alt1 Message-ID: Mail-Followup-To: Girar awaiter robot References: MIME-Version: 1.0 Content-Type: text/plain; charset=us-ascii Content-Disposition: inline In-Reply-To: X-girar-task-id: 334708 X-girar-task-owner: vt X-girar-task-repo: sisyphus X-girar-task-try: 7 X-girar-task-iter: 1 X-girar-task-status: FAILED X-girar-task-URL: https://git.altlinux.org/tasks/334708/ X-girar-task-log: logs/events.7.1.log X-girar-task-summary: [#334708] [test-only] FAILED (try 7) cbmc.git=5.95.1-alt1 User-Agent: Mutt/1.10.1 (2018-07-13) Cc: sisyphus-incominger@lists.altlinux.org, girar-builder-sisyphus@altlinux.org X-BeenThere: sisyphus-incominger@lists.altlinux.org X-Mailman-Version: 2.1.12 Precedence: list Reply-To: ALT Devel discussion list List-Id: ALT Linux Girar Builder robot reports List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , X-List-Received-Date: Sat, 25 Nov 2023 17:09:51 -0000 Archived-At: List-Archive: 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