https://git.altlinux.org/tasks/434898/logs/events.1.1.log https://packages.altlinux.org/tasks/434898
subtask name aarch64 i586 x86_64 #100 esbmc failed - 5:45 2026-Sep-30 13:56:40 :: test-only task #434898 for sisyphus started by tascad: #100 build 8.5-alt1 from /people/tascad/packages/esbmc.git fetched at 2026-Sep-30 12:34:28 ssh: muxclient: master hello exchange failed 2026-Sep-30 13:56:41 :: [x86_64] #100 esbmc.git 8.5-alt1: build start 2026-Sep-30 13:56:41 :: [aarch64] #100 esbmc.git 8.5-alt1: build start 2026-Sep-30 13:56:41 :: [i586] #100 esbmc.git 8.5-alt1: build start 2026-Sep-30 13:56:47 :: [i586] #100 esbmc.git 8.5-alt1: build SKIPPED [aarch64] [832/1016] cd /usr/src/RPM/BUILD/esbmc-8.5/aarch64-alt-linux/src/c2goto && /usr/src/RPM/BUILD/esbmc-8.5/aarch64-alt-linux/src/c2goto/c2goto /esbmc-vfs/libc/library/builtin_libs.c /esbmc-vfs/libc/library/complex.c /esbmc-vfs/libc/library/ctype.c /esbmc-vfs/libc/library/fenv.c /esbmc-vfs/libc/library/getopt.c /esbmc-vfs/libc/library/inet.c /esbmc-vfs/libc/library/io.c /esbmc-vfs/libc/library/kernel.c /esbmc-vfs/libc/library/libintl.c /esbmc-vfs/libc/library/locale.c /esbmc-vfs/libc/library/pthread_lib.c /esbmc-vfs/libc/library/semaphore_lib.c /esbmc-vfs/libc/library/setjmp.c /esbmc-vfs/libc/library/socket_lib.c /esbmc-vfs/libc/library/stdlib.c /esbmc-vfs/libc/library/string.c /esbmc-vfs/libc/library/strings.c /esbmc-vfs/libc/library/syserr.c /esbmc-vfs/libc/library/threads_lib.c /esbmc-vfs/libc/library/time.c /esbmc-vfs/libc/library/verifier.c /esbmc-vfs/libc/library/wchar.c /esbmc-vfs/libc/library/libm/acos.c /esbmc-vfs/libc/library/libm/acosh.c /esbmc-vfs/libc/library/libm/ asin.c /esbmc-vfs/libc/library/libm/asinh.c /esbmc-vfs/libc/library/libm/atan.c /esbmc-vfs/libc/library/libm/atanh.c /esbmc-vfs/libc/library/libm/ceil.c /esbmc-vfs/libc/library/libm/copysign.c /esbmc-vfs/libc/library/libm/cos.c /esbmc-vfs/libc/library/libm/cosh.c /esbmc-vfs/libc/library/libm/exp.c /esbmc-vfs/libc/library/libm/exp2.c /esbmc-vfs/libc/library/libm/fabs.c /esbmc-vfs/libc/library/libm/fdim.c /esbmc-vfs/libc/library/libm/floor.c /esbmc-vfs/libc/library/libm/fmax.c /esbmc-vfs/libc/library/libm/fmin.c /esbmc-vfs/libc/library/libm/fmod.c /esbmc-vfs/libc/library/libm/fpclassify.c /esbmc-vfs/libc/library/libm/frexp.c /esbmc-vfs/libc/library/libm/hypot.c /esbmc-vfs/libc/library/libm/log10.c /esbmc-vfs/libc/library/libm/modf.c /esbmc-vfs/libc/library/libm/musl/__cosdf.c /esbmc-vfs/libc/library/libm/musl/__math_divzero.c /esbmc-vfs/libc/library/libm/musl/__math_divzerof.c /esbmc-vfs/libc/library/libm/musl/__math_invalid.c /esbmc-vfs/libc/library/libm/musl/__math_invalidf.c /esbmc -vfs/libc/library/libm/musl/__math_invalidl.c /esbmc-vfs/libc/library/libm/musl/__math_oflow.c /esbmc-vfs/libc/library/libm/musl/__math_oflowf.c /esbmc-vfs/libc/library/libm/musl/__math_uflow.c /esbmc-vfs/libc/library/libm/musl/__math_uflowf.c /esbmc-vfs/libc/library/libm/musl/__math_xflow.c /esbmc-vfs/libc/library/libm/musl/__math_xflowf.c /esbmc-vfs/libc/library/libm/musl/__rem_pio2_large.c /esbmc-vfs/libc/library/libm/musl/__rem_pio2f.c /esbmc-vfs/libc/library/libm/musl/__sindf.c /esbmc-vfs/libc/library/libm/musl/acosf.c /esbmc-vfs/libc/library/libm/musl/asinf.c /esbmc-vfs/libc/library/libm/musl/atanhf.c /esbmc-vfs/libc/library/libm/musl/cosf.c /esbmc-vfs/libc/library/libm/musl/erff.c /esbmc-vfs/libc/library/libm/musl/exp2f.c /esbmc-vfs/libc/library/libm/musl/exp2f_data.c /esbmc-vfs/libc/library/libm/musl/expf.c /esbmc-vfs/libc/library/libm/musl/expm1f.c /esbmc-vfs/libc/library/libm/musl/log1pf.c /esbmc-vfs/libc/library/libm/musl/logf.c /esbmc-vfs/libc/library/libm/musl/logf_data .c /esbmc-vfs/libc/library/libm/musl/sinf.c /esbmc-vfs/libc/library/libm/musl/tanhf.c /esbmc-vfs/libc/library/libm/nan.c /esbmc-vfs/libc/library/libm/nextafter.c /esbmc-vfs/libc/library/libm/pow.c /esbmc-vfs/libc/library/libm/remainder.c /esbmc-vfs/libc/library/libm/remquo.c /esbmc-vfs/libc/library/libm/rint.c /esbmc-vfs/libc/library/libm/round.c /esbmc-vfs/libc/library/libm/sin.c /esbmc-vfs/libc/library/libm/sinh.c /esbmc-vfs/libc/library/libm/sqrt.c /esbmc-vfs/libc/library/libm/tan.c /esbmc-vfs/libc/library/libm/tanh.c /esbmc-vfs/libc/library/libm/trunc.c /esbmc-vfs/libc/library/cpp/exception.cpp /esbmc-vfs/libc/library/cpp/probe.cpp --32 --fixedbv -D__ESBMC_FIXEDBV --output /usr/src/RPM/BUILD/esbmc-8.5/aarch64-alt-linux/src/c2goto/clib32.goto [aarch64] FAILED: [code=1] src/c2goto/clib32.goto /usr/src/RPM/BUILD/esbmc-8.5/aarch64-alt-linux/src/c2goto/clib32.goto [aarch64] cd /usr/src/RPM/BUILD/esbmc-8.5/aarch64-alt-linux/src/c2goto && /usr/src/RPM/BUILD/esbmc-8.5/aarch64-alt-linux/src/c2goto/c2goto /esbmc-vfs/libc/library/builtin_libs.c /esbmc-vfs/libc/library/complex.c /esbmc-vfs/libc/library/ctype.c /esbmc-vfs/libc/library/fenv.c /esbmc-vfs/libc/library/getopt.c /esbmc-vfs/libc/library/inet.c /esbmc-vfs/libc/library/io.c /esbmc-vfs/libc/library/kernel.c /esbmc-vfs/libc/library/libintl.c /esbmc-vfs/libc/library/locale.c /esbmc-vfs/libc/library/pthread_lib.c /esbmc-vfs/libc/library/semaphore_lib.c /esbmc-vfs/libc/library/setjmp.c /esbmc-vfs/libc/library/socket_lib.c /esbmc-vfs/libc/library/stdlib.c /esbmc-vfs/libc/library/string.c /esbmc-vfs/libc/library/strings.c /esbmc-vfs/libc/library/syserr.c /esbmc-vfs/libc/library/threads_lib.c /esbmc-vfs/libc/library/time.c /esbmc-vfs/libc/library/verifier.c /esbmc-vfs/libc/library/wchar.c /esbmc-vfs/libc/library/libm/acos.c /esbmc-vfs/libc/library/libm/acosh.c /esbmc-vfs/libc/library/libm/asin.c /esb mc-vfs/libc/library/libm/asinh.c /esbmc-vfs/libc/library/libm/atan.c /esbmc-vfs/libc/library/libm/atanh.c /esbmc-vfs/libc/library/libm/ceil.c /esbmc-vfs/libc/library/libm/copysign.c /esbmc-vfs/libc/library/libm/cos.c /esbmc-vfs/libc/library/libm/cosh.c /esbmc-vfs/libc/library/libm/exp.c /esbmc-vfs/libc/library/libm/exp2.c /esbmc-vfs/libc/library/libm/fabs.c /esbmc-vfs/libc/library/libm/fdim.c /esbmc-vfs/libc/library/libm/floor.c /esbmc-vfs/libc/library/libm/fmax.c /esbmc-vfs/libc/library/libm/fmin.c /esbmc-vfs/libc/library/libm/fmod.c /esbmc-vfs/libc/library/libm/fpclassify.c /esbmc-vfs/libc/library/libm/frexp.c /esbmc-vfs/libc/library/libm/hypot.c /esbmc-vfs/libc/library/libm/log10.c /esbmc-vfs/libc/library/libm/modf.c /esbmc-vfs/libc/library/libm/musl/__cosdf.c /esbmc-vfs/libc/library/libm/musl/__math_divzero.c /esbmc-vfs/libc/library/libm/musl/__math_divzerof.c /esbmc-vfs/libc/library/libm/musl/__math_invalid.c /esbmc-vfs/libc/library/libm/musl/__math_invalidf.c /esbmc-vfs/libc/l ibrary/libm/musl/__math_invalidl.c /esbmc-vfs/libc/library/libm/musl/__math_oflow.c /esbmc-vfs/libc/library/libm/musl/__math_oflowf.c /esbmc-vfs/libc/library/libm/musl/__math_uflow.c /esbmc-vfs/libc/library/libm/musl/__math_uflowf.c /esbmc-vfs/libc/library/libm/musl/__math_xflow.c /esbmc-vfs/libc/library/libm/musl/__math_xflowf.c /esbmc-vfs/libc/library/libm/musl/__rem_pio2_large.c /esbmc-vfs/libc/library/libm/musl/__rem_pio2f.c /esbmc-vfs/libc/library/libm/musl/__sindf.c /esbmc-vfs/libc/library/libm/musl/acosf.c /esbmc-vfs/libc/library/libm/musl/asinf.c /esbmc-vfs/libc/library/libm/musl/atanhf.c /esbmc-vfs/libc/library/libm/musl/cosf.c /esbmc-vfs/libc/library/libm/musl/erff.c /esbmc-vfs/libc/library/libm/musl/exp2f.c /esbmc-vfs/libc/library/libm/musl/exp2f_data.c /esbmc-vfs/libc/library/libm/musl/expf.c /esbmc-vfs/libc/library/libm/musl/expm1f.c /esbmc-vfs/libc/library/libm/musl/log1pf.c /esbmc-vfs/libc/library/libm/musl/logf.c /esbmc-vfs/libc/library/libm/musl/logf_data.c /esbmc-v fs/libc/library/libm/musl/sinf.c /esbmc-vfs/libc/library/libm/musl/tanhf.c /esbmc-vfs/libc/library/libm/nan.c /esbmc-vfs/libc/library/libm/nextafter.c /esbmc-vfs/libc/library/libm/pow.c /esbmc-vfs/libc/library/libm/remainder.c /esbmc-vfs/libc/library/libm/remquo.c /esbmc-vfs/libc/library/libm/rint.c /esbmc-vfs/libc/library/libm/round.c /esbmc-vfs/libc/library/libm/sin.c /esbmc-vfs/libc/library/libm/sinh.c /esbmc-vfs/libc/library/libm/sqrt.c /esbmc-vfs/libc/library/libm/tan.c /esbmc-vfs/libc/library/libm/tanh.c /esbmc-vfs/libc/library/libm/trunc.c /esbmc-vfs/libc/library/cpp/exception.cpp /esbmc-vfs/libc/library/cpp/probe.cpp --32 --fixedbv -D__ESBMC_FIXEDBV --output /usr/src/RPM/BUILD/esbmc-8.5/aarch64-alt-linux/src/c2goto/clib32.goto [aarch64] -- [aarch64] In file included from /usr/include/math.h:37: [aarch64] /usr/include/bits/math-vector.h:197:25: error: invalid vector element type 'double' [aarch64] 197 | typedef __attribute__ ((__neon_vector_type__ (2))) double __f64x2_t; [aarch64] /usr/include/bits/math-vector.h:202:9: error: unknown type name '__SVFloat32_t' [aarch64] 202 | typedef __SVFloat32_t __sv_f32_t; [aarch64] /usr/include/bits/math-vector.h:203:9: error: unknown type name '__SVFloat64_t' [aarch64] 203 | typedef __SVFloat64_t __sv_f64_t; [aarch64] /usr/include/bits/math-vector.h:204:9: error: unknown type name '__SVBool_t' [aarch64] 204 | typedef __SVBool_t __sv_bool_t; [aarch64] ERROR: PARSING ERROR [aarch64] [833/1016] /usr/bin/c++ -DBOOST_ALL_NO_LIB -DBOOST_ATOMIC_DYN_LINK -DBOOST_ATOMIC_NO_LIB -DBOOST_CONTAINER_DYN_LINK -DBOOST_CONTAINER_NO_LIB -DBOOST_DATE_TIME_DYN_LINK -DBOOST_DATE_TIME_NO_LIB -DBOOST_FILESYSTEM_DYN_LINK -DBOOST_FILESYSTEM_NO_LIB -DBOOST_IOSTREAMS_DYN_LINK -DBOOST_IOSTREAMS_NO_LIB -DBOOST_PROGRAM_OPTIONS_DYN_LINK -DBOOST_PROGRAM_OPTIONS_NO_LIB -DBOOST_RANDOM_DYN_LINK -DBOOST_RANDOM_NO_LIB -DENABLE_PYTHON_FRONTEND -DFMT_SHARED -DYAML_CPP_STATIC_DEFINE -I/usr/src/RPM/BUILD/esbmc-8.5/src -I/usr/src/RPM/BUILD/esbmc-8.5/aarch64-alt-linux/src -I/usr/src/RPM/BUILD/esbmc-8.5/src/util -I/usr/src/RPM/BUILD/esbmc-8.5/src/util/lib -pipe -frecord-gcc-switches -Wall -g -O2 -flto=auto -O2 -g -DNDEBUG -std=gnu++23 -fPIE -Wall -Wextra -pipe -MD -MT unit/util/CMakeFiles/simplify2ttest.dir/simplify2t.test.cpp.o -MF unit/util/CMakeFiles/simplify2ttest.dir/simplify2t.test.cpp.o.d -o unit/util/CMakeFiles/simplify2ttest.dir/simplify2t.test.cpp.o -c /usr/src/RPM/BUILD/esbmc-8.5/un it/util/simplify2t.test.cpp 2026-Sep-30 13:59:26 :: [aarch64] esbmc.git 8.5-alt1: remote: build failed 2026-Sep-30 13:59:26 :: [aarch64] #100 esbmc.git 8.5-alt1: build FAILED 2026-Sep-30 13:59:26 :: [aarch64] requesting cancellation of task processing 2026-Sep-30 14:02:26 :: [x86_64] #100 esbmc.git 8.5-alt1: build OK 2026-Sep-30 13:59:26 :: [aarch64] build FAILED 2026-Sep-30 14:02:26 :: task #434898 for sisyphus FAILED _______________________________________________ Sisyphus-incominger mailing list [email protected] https://lists.altlinux.org/mailman/listinfo/sisyphus-incominger
