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

[Girar awaiter (vt)]

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