https://git.altlinux.org/tasks/434898/logs/events.2.1.log https://packages.altlinux.org/tasks/434898
subtask name aarch64 i586 x86_64 #200 esbmc 7:55 failed 5:44 2026-Oct-01 14:45:59 :: test-only task #434898 for sisyphus resumed by tascad: #100 removed #200 build 8.5-alt1 from /people/tascad/packages/esbmc.git fetched at 2026-Oct-01 14:45:40 2026-Oct-01 14:46:01 :: [x86_64] #200 esbmc.git 8.5-alt1: build start 2026-Oct-01 14:46:01 :: [aarch64] #200 esbmc.git 8.5-alt1: build start 2026-Oct-01 14:46:01 :: [i586] #200 esbmc.git 8.5-alt1: build start [i586] [832/1016] cd /usr/src/RPM/BUILD/esbmc-8.5/i586-alt-linux/src/c2goto && /usr/src/RPM/BUILD/esbmc-8.5/i586-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 /e sbmc-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 --64 --fixedbv -D__ESBMC_FIXEDBV --output /usr/src/RPM/BUILD/esbmc-8.5/i586-alt-linux/src/c2goto/clib64.goto [i586] FAILED: [code=1] src/c2goto/clib64.goto /usr/src/RPM/BUILD/esbmc-8.5/i586-alt-linux/src/c2goto/clib64.goto [i586] cd /usr/src/RPM/BUILD/esbmc-8.5/i586-alt-linux/src/c2goto && /usr/src/RPM/BUILD/esbmc-8.5/i586-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/li bc/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/li bm/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/l ibrary/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 --64 --fixedbv -D__ESBMC_FIXEDBV --output /usr/src/RPM/BUILD/esbmc-8.5/i586-alt-linux/src/c2goto/clib64.goto [i586] -- [i586] In file included from /usr/include/features.h:564: [i586] /usr/include/gnu/stubs.h:10:11: fatal error: 'gnu/stubs-64.h' file not found [i586] 10 | # include <gnu/stubs-64.h> [i586] ERROR: PARSING ERROR [i586] [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/i586-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 -march=i586 -mtune=generic -O2 -g -DNDEBUG -std=gnu++23 -fPIE -Wall -Wextra -pipe -MD -MT unit/util/CMakeFiles/base_typetest.dir/base_type.test.cpp.o -MF unit/util/CMakeFiles/base_typetest.dir/base_type.test.cpp.o.d -o unit/util/CMakeFiles/base_typetest.dir/base_type.test.cpp.o -c /usr/src/RPM/BUI LD/esbmc-8.5/unit/util/base_type.test.cpp 2026-Oct-01 14:47:43 :: [i586] esbmc.git 8.5-alt1: remote: build failed 2026-Oct-01 14:47:43 :: [i586] #200 esbmc.git 8.5-alt1: build FAILED 2026-Oct-01 14:47:43 :: [i586] requesting cancellation of task processing 2026-Oct-01 14:51:45 :: [x86_64] #200 esbmc.git 8.5-alt1: build OK 2026-Oct-01 14:53:56 :: [aarch64] #200 esbmc.git 8.5-alt1: build OK 2026-Oct-01 14:47:43 :: [i586] build FAILED 2026-Oct-01 14:53:57 :: task #434898 for sisyphus FAILED _______________________________________________ Sisyphus-incominger mailing list [email protected] https://lists.altlinux.org/mailman/listinfo/sisyphus-incominger
