Mock Version: 1.4.21 Mock Version: 1.4.21 ENTER ['do_with_status'](['bash', '--login', '-c', '/usr/bin/rpmbuild -bs --target riscv64 --nodeps /builddir/build/SPECS/lfsc.spec'], chrootPath='/var/lib/mock/f33-build-614829-67407/root'env={'TERM': 'vt100', 'SHELL': '/bin/bash', 'HOME': '/builddir', 'HOSTNAME': 'mock', 'PATH': '/usr/bin:/bin:/usr/sbin:/sbin', 'PROMPT_COMMAND': 'printf "\\033]0;\\007"', 'PS1': ' \\s-\\v\\$ ', 'LANG': 'en_US.UTF-8'}shell=Falselogger=timeout=432000uid=987gid=135user='mockbuild'nspawn_args=[]unshare_net=TrueprintOutput=False) Executing command: ['bash', '--login', '-c', '/usr/bin/rpmbuild -bs --target riscv64 --nodeps /builddir/build/SPECS/lfsc.spec'] with env {'TERM': 'vt100', 'SHELL': '/bin/bash', 'HOME': '/builddir', 'HOSTNAME': 'mock', 'PATH': '/usr/bin:/bin:/usr/sbin:/sbin', 'PROMPT_COMMAND': 'printf "\\033]0;\\007"', 'PS1': ' \\s-\\v\\$ ', 'LANG': 'en_US.UTF-8'} and shell False Building target platforms: riscv64 Building for target riscv64 setting SOURCE_DATE_EPOCH=1598227200 Wrote: /builddir/build/SRPMS/lfsc-0.20200815-1.fc33.src.rpm Child return code was: 0 ENTER ['do_with_status'](['bash', '--login', '-c', '/usr/bin/rpmbuild -bb --target riscv64 --nodeps /builddir/build/SPECS/lfsc.spec'], chrootPath='/var/lib/mock/f33-build-614829-67407/root'env={'TERM': 'vt100', 'SHELL': '/bin/bash', 'HOME': '/builddir', 'HOSTNAME': 'mock', 'PATH': '/usr/bin:/bin:/usr/sbin:/sbin', 'PROMPT_COMMAND': 'printf "\\033]0;\\007"', 'PS1': ' \\s-\\v\\$ ', 'LANG': 'en_US.UTF-8'}shell=Falselogger=timeout=432000uid=987gid=135user='mockbuild'nspawn_args=[]unshare_net=TrueprintOutput=False) Executing command: ['bash', '--login', '-c', '/usr/bin/rpmbuild -bb --target riscv64 --nodeps /builddir/build/SPECS/lfsc.spec'] with env {'TERM': 'vt100', 'SHELL': '/bin/bash', 'HOME': '/builddir', 'HOSTNAME': 'mock', 'PATH': '/usr/bin:/bin:/usr/sbin:/sbin', 'PROMPT_COMMAND': 'printf "\\033]0;\\007"', 'PS1': ' \\s-\\v\\$ ', 'LANG': 'en_US.UTF-8'} and shell False Building target platforms: riscv64 Building for target riscv64 setting SOURCE_DATE_EPOCH=1598227200 Executing(%prep): /bin/sh -e /var/tmp/rpm-tmp.gsC3KN + umask 022 + cd /builddir/build/BUILD + cd /builddir/build/BUILD + rm -rf LFSC-1d1c55fa17b08e2bc8cb686b9d07ec63bf0dd4a2 + /usr/bin/tar -xof - + /usr/bin/gzip -dc /builddir/build/SOURCES/lfsc-1d1c55f.tar.gz + STATUS=0 + '[' 0 -ne 0 ']' + cd LFSC-1d1c55fa17b08e2bc8cb686b9d07ec63bf0dd4a2 + /usr/bin/chmod -Rf a+rX,u+w,g-w,o-w . + /usr/bin/cat /builddir/build/SOURCES/lfsc-map.patch + /usr/bin/patch -p0 -s --fuzz=0 --no-backup-if-mismatch + sed -i s/Wno-deprecated/fsigned-char/ CMakeLists.txt + sed -e s/STATIC/SHARED/ -e '/^[[:blank:]]*OUTPUT_NAME lfscc/i\ VERSION 0.0.0\n SOVERSION 0' -e 's/ARCHIVE DESTINATION/LIBRARY DESTINATION/' -e '/^set_target_properties/iTARGET_LINK_LIBRARIES(liblfscc gmp)' -i src/CMakeLists.txt + '[' lib64 = lib64 ']' + sed -i s,/lib,/lib64, src/CMakeLists.txt + sed -i 's,/usr/bin/env python,/usr/bin/python3,' tests/run_test.py + RPM_EC=0 ++ jobs -p + exit 0 Executing(%build): /bin/sh -e /var/tmp/rpm-tmp.Fv2J1N + umask 022 + cd /builddir/build/BUILD + cd LFSC-1d1c55fa17b08e2bc8cb686b9d07ec63bf0dd4a2 + CFLAGS='-O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -fasynchronous-unwind-tables -fstack-clash-protection' + export CFLAGS + CXXFLAGS='-O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -fasynchronous-unwind-tables -fstack-clash-protection' + export CXXFLAGS + FFLAGS='-O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -fasynchronous-unwind-tables -fstack-clash-protection -I/usr/lib64/gfortran/modules' + export FFLAGS + FCFLAGS='-O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -fasynchronous-unwind-tables -fstack-clash-protection -I/usr/lib64/gfortran/modules' + export FCFLAGS + LDFLAGS='-Wl,-z,relro -Wl,--as-needed -Wl,-z,now -specs=/usr/lib/rpm/redhat/redhat-hardened-ld ' + export LDFLAGS + LT_SYS_LIBRARY_PATH=/usr/lib64: + export LT_SYS_LIBRARY_PATH + CC=gcc + export CC + CXX=g++ + export CXX + /usr/bin/cmake -S . -B riscv64-redhat-linux-gnu -DCMAKE_C_FLAGS_RELEASE:STRING=-DNDEBUG -DCMAKE_CXX_FLAGS_RELEASE:STRING=-DNDEBUG -DCMAKE_Fortran_FLAGS_RELEASE:STRING=-DNDEBUG -DCMAKE_VERBOSE_MAKEFILE:BOOL=ON -DCMAKE_INSTALL_PREFIX:PATH=/usr -DINCLUDE_INSTALL_DIR:PATH=/usr/include -DLIB_INSTALL_DIR:PATH=/usr/lib64 -DSYSCONF_INSTALL_DIR:PATH=/etc -DSHARE_INSTALL_PREFIX:PATH=/usr/share -DLIB_SUFFIX=64 -DBUILD_SHARED_LIBS:BOOL=ON -- The C compiler identification is GNU 10.3.1 -- The CXX compiler identification is GNU 10.3.1 -- Detecting C compiler ABI info -- Detecting C compiler ABI info - done -- Check for working C compiler: /usr/bin/gcc - skipped -- Detecting C compile features -- Detecting C compile features - done -- Detecting CXX compiler ABI info -- Detecting CXX compiler ABI info - done -- Check for working CXX compiler: /usr/bin/g++ - skipped -- Detecting CXX compile features -- Detecting CXX compile features - done -- Found GMP: /usr/include -- Defaulting to release build. -- Configure with flag '-Wall' -- Configure with flag '-fsigned-char' -- Configure with flag '-std=gnu++11' -- Configured release build. -- Found FLEX: /usr/bin/flex (found version "2.6.4") -- Configuring done -- Generating done CMake Warning: Manually-specified variables were not used by the project: CMAKE_C_FLAGS_RELEASE CMAKE_Fortran_FLAGS_RELEASE INCLUDE_INSTALL_DIR LIB_INSTALL_DIR LIB_SUFFIX SHARE_INSTALL_PREFIX SYSCONF_INSTALL_DIR -- Build files have been written to: /builddir/build/BUILD/LFSC-1d1c55fa17b08e2bc8cb686b9d07ec63bf0dd4a2/riscv64-redhat-linux-gnu + /usr/bin/cmake --build riscv64-redhat-linux-gnu -j8 --verbose /usr/bin/cmake -S/builddir/build/BUILD/LFSC-1d1c55fa17b08e2bc8cb686b9d07ec63bf0dd4a2 -B/builddir/build/BUILD/LFSC-1d1c55fa17b08e2bc8cb686b9d07ec63bf0dd4a2/riscv64-redhat-linux-gnu --check-build-system CMakeFiles/Makefile.cmake 0 /usr/bin/cmake -E cmake_progress_start /builddir/build/BUILD/LFSC-1d1c55fa17b08e2bc8cb686b9d07ec63bf0dd4a2/riscv64-redhat-linux-gnu/CMakeFiles /builddir/build/BUILD/LFSC-1d1c55fa17b08e2bc8cb686b9d07ec63bf0dd4a2/riscv64-redhat-linux-gnu//CMakeFiles/progress.marks /usr/bin/gmake -f CMakeFiles/Makefile2 all gmake[1]: Entering directory '/builddir/build/BUILD/LFSC-1d1c55fa17b08e2bc8cb686b9d07ec63bf0dd4a2/riscv64-redhat-linux-gnu' /usr/bin/gmake -f src/CMakeFiles/objlib.dir/build.make src/CMakeFiles/objlib.dir/depend gmake[2]: Entering directory '/builddir/build/BUILD/LFSC-1d1c55fa17b08e2bc8cb686b9d07ec63bf0dd4a2/riscv64-redhat-linux-gnu' [ 6%] [FLEX][Lexer] Building scanner with flex 2.6.4 cd /builddir/build/BUILD/LFSC-1d1c55fa17b08e2bc8cb686b9d07ec63bf0dd4a2/src && /usr/bin/flex -o/builddir/build/BUILD/LFSC-1d1c55fa17b08e2bc8cb686b9d07ec63bf0dd4a2/riscv64-redhat-linux-gnu/src/lexer.cpp lexer.flex cd /builddir/build/BUILD/LFSC-1d1c55fa17b08e2bc8cb686b9d07ec63bf0dd4a2/riscv64-redhat-linux-gnu && /usr/bin/cmake -E cmake_depends "Unix Makefiles" /builddir/build/BUILD/LFSC-1d1c55fa17b08e2bc8cb686b9d07ec63bf0dd4a2 /builddir/build/BUILD/LFSC-1d1c55fa17b08e2bc8cb686b9d07ec63bf0dd4a2/src /builddir/build/BUILD/LFSC-1d1c55fa17b08e2bc8cb686b9d07ec63bf0dd4a2/riscv64-redhat-linux-gnu /builddir/build/BUILD/LFSC-1d1c55fa17b08e2bc8cb686b9d07ec63bf0dd4a2/riscv64-redhat-linux-gnu/src /builddir/build/BUILD/LFSC-1d1c55fa17b08e2bc8cb686b9d07ec63bf0dd4a2/riscv64-redhat-linux-gnu/src/CMakeFiles/objlib.dir/DependInfo.cmake --color= Dependee "/builddir/build/BUILD/LFSC-1d1c55fa17b08e2bc8cb686b9d07ec63bf0dd4a2/riscv64-redhat-linux-gnu/src/CMakeFiles/objlib.dir/DependInfo.cmake" is newer than depender "/builddir/build/BUILD/LFSC-1d1c55fa17b08e2bc8cb686b9d07ec63bf0dd4a2/riscv64-redhat-linux-gnu/src/CMakeFiles/objlib.dir/depend.internal". Dependee "/builddir/build/BUILD/LFSC-1d1c55fa17b08e2bc8cb686b9d07ec63bf0dd4a2/riscv64-redhat-linux-gnu/src/CMakeFiles/CMakeDirectoryInformation.cmake" is newer than depender "/builddir/build/BUILD/LFSC-1d1c55fa17b08e2bc8cb686b9d07ec63bf0dd4a2/riscv64-redhat-linux-gnu/src/CMakeFiles/objlib.dir/depend.internal". Scanning dependencies of target objlib gmake[2]: Leaving directory '/builddir/build/BUILD/LFSC-1d1c55fa17b08e2bc8cb686b9d07ec63bf0dd4a2/riscv64-redhat-linux-gnu' /usr/bin/gmake -f src/CMakeFiles/objlib.dir/build.make src/CMakeFiles/objlib.dir/build gmake[2]: Entering directory '/builddir/build/BUILD/LFSC-1d1c55fa17b08e2bc8cb686b9d07ec63bf0dd4a2/riscv64-redhat-linux-gnu' [ 13%] Building CXX object src/CMakeFiles/objlib.dir/libwriter.cpp.o cd /builddir/build/BUILD/LFSC-1d1c55fa17b08e2bc8cb686b9d07ec63bf0dd4a2/riscv64-redhat-linux-gnu/src && /usr/bin/g++ -I/builddir/build/BUILD/LFSC-1d1c55fa17b08e2bc8cb686b9d07ec63bf0dd4a2/src -O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -fasynchronous-unwind-tables -fstack-clash-protection -Wall -fsigned-char -std=gnu++11 -DNDEBUG -fPIC -o CMakeFiles/objlib.dir/libwriter.cpp.o -c /builddir/build/BUILD/LFSC-1d1c55fa17b08e2bc8cb686b9d07ec63bf0dd4a2/src/libwriter.cpp [ 20%] Building CXX object src/CMakeFiles/objlib.dir/check.cpp.o [ 26%] Building CXX object src/CMakeFiles/objlib.dir/code.cpp.o cd /builddir/build/BUILD/LFSC-1d1c55fa17b08e2bc8cb686b9d07ec63bf0dd4a2/riscv64-redhat-linux-gnu/src && /usr/bin/g++ -I/builddir/build/BUILD/LFSC-1d1c55fa17b08e2bc8cb686b9d07ec63bf0dd4a2/src -O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -fasynchronous-unwind-tables -fstack-clash-protection -Wall -fsigned-char -std=gnu++11 -DNDEBUG -fPIC -o CMakeFiles/objlib.dir/check.cpp.o -c /builddir/build/BUILD/LFSC-1d1c55fa17b08e2bc8cb686b9d07ec63bf0dd4a2/src/check.cpp cd /builddir/build/BUILD/LFSC-1d1c55fa17b08e2bc8cb686b9d07ec63bf0dd4a2/riscv64-redhat-linux-gnu/src && /usr/bin/g++ -I/builddir/build/BUILD/LFSC-1d1c55fa17b08e2bc8cb686b9d07ec63bf0dd4a2/src -O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -fasynchronous-unwind-tables -fstack-clash-protection -Wall -fsigned-char -std=gnu++11 -DNDEBUG -fPIC -o CMakeFiles/objlib.dir/code.cpp.o -c /builddir/build/BUILD/LFSC-1d1c55fa17b08e2bc8cb686b9d07ec63bf0dd4a2/src/code.cpp [ 46%] Building CXX object src/CMakeFiles/objlib.dir/expr.cpp.o [ 46%] Building CXX object src/CMakeFiles/objlib.dir/sccwriter.cpp.o [ 46%] Building CXX object src/CMakeFiles/objlib.dir/print_smt2.cpp.o [ 53%] Building CXX object src/CMakeFiles/objlib.dir/lfscc.cpp.o cd /builddir/build/BUILD/LFSC-1d1c55fa17b08e2bc8cb686b9d07ec63bf0dd4a2/riscv64-redhat-linux-gnu/src && /usr/bin/g++ -I/builddir/build/BUILD/LFSC-1d1c55fa17b08e2bc8cb686b9d07ec63bf0dd4a2/src -O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -fasynchronous-unwind-tables -fstack-clash-protection -Wall -fsigned-char -std=gnu++11 -DNDEBUG -fPIC -o CMakeFiles/objlib.dir/expr.cpp.o -c /builddir/build/BUILD/LFSC-1d1c55fa17b08e2bc8cb686b9d07ec63bf0dd4a2/src/expr.cpp cd /builddir/build/BUILD/LFSC-1d1c55fa17b08e2bc8cb686b9d07ec63bf0dd4a2/riscv64-redhat-linux-gnu/src && /usr/bin/g++ -I/builddir/build/BUILD/LFSC-1d1c55fa17b08e2bc8cb686b9d07ec63bf0dd4a2/src -O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -fasynchronous-unwind-tables -fstack-clash-protection -Wall -fsigned-char -std=gnu++11 -DNDEBUG -fPIC -o CMakeFiles/objlib.dir/lfscc.cpp.o -c /builddir/build/BUILD/LFSC-1d1c55fa17b08e2bc8cb686b9d07ec63bf0dd4a2/src/lfscc.cpp cd /builddir/build/BUILD/LFSC-1d1c55fa17b08e2bc8cb686b9d07ec63bf0dd4a2/riscv64-redhat-linux-gnu/src && /usr/bin/g++ -I/builddir/build/BUILD/LFSC-1d1c55fa17b08e2bc8cb686b9d07ec63bf0dd4a2/src -O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -fasynchronous-unwind-tables -fstack-clash-protection -Wall -fsigned-char -std=gnu++11 -DNDEBUG -fPIC -o CMakeFiles/objlib.dir/print_smt2.cpp.o -c /builddir/build/BUILD/LFSC-1d1c55fa17b08e2bc8cb686b9d07ec63bf0dd4a2/src/print_smt2.cpp cd /builddir/build/BUILD/LFSC-1d1c55fa17b08e2bc8cb686b9d07ec63bf0dd4a2/riscv64-redhat-linux-gnu/src && /usr/bin/g++ -I/builddir/build/BUILD/LFSC-1d1c55fa17b08e2bc8cb686b9d07ec63bf0dd4a2/src -O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -fasynchronous-unwind-tables -fstack-clash-protection -Wall -fsigned-char -std=gnu++11 -DNDEBUG -fPIC -o CMakeFiles/objlib.dir/sccwriter.cpp.o -c /builddir/build/BUILD/LFSC-1d1c55fa17b08e2bc8cb686b9d07ec63bf0dd4a2/src/sccwriter.cpp [ 60%] Building CXX object src/CMakeFiles/objlib.dir/scccode.cpp.o cd /builddir/build/BUILD/LFSC-1d1c55fa17b08e2bc8cb686b9d07ec63bf0dd4a2/riscv64-redhat-linux-gnu/src && /usr/bin/g++ -I/builddir/build/BUILD/LFSC-1d1c55fa17b08e2bc8cb686b9d07ec63bf0dd4a2/src -O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -fasynchronous-unwind-tables -fstack-clash-protection -Wall -fsigned-char -std=gnu++11 -DNDEBUG -fPIC -o CMakeFiles/objlib.dir/scccode.cpp.o -c /builddir/build/BUILD/LFSC-1d1c55fa17b08e2bc8cb686b9d07ec63bf0dd4a2/src/scccode.cpp [ 66%] Building CXX object src/CMakeFiles/objlib.dir/trie.cpp.o cd /builddir/build/BUILD/LFSC-1d1c55fa17b08e2bc8cb686b9d07ec63bf0dd4a2/riscv64-redhat-linux-gnu/src && /usr/bin/g++ -I/builddir/build/BUILD/LFSC-1d1c55fa17b08e2bc8cb686b9d07ec63bf0dd4a2/src -O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -fasynchronous-unwind-tables -fstack-clash-protection -Wall -fsigned-char -std=gnu++11 -DNDEBUG -fPIC -o CMakeFiles/objlib.dir/trie.cpp.o -c /builddir/build/BUILD/LFSC-1d1c55fa17b08e2bc8cb686b9d07ec63bf0dd4a2/src/trie.cpp [ 80%] Building CXX object src/CMakeFiles/objlib.dir/lexer.cpp.o [ 80%] Building CXX object src/CMakeFiles/objlib.dir/token.cpp.o cd /builddir/build/BUILD/LFSC-1d1c55fa17b08e2bc8cb686b9d07ec63bf0dd4a2/riscv64-redhat-linux-gnu/src && /usr/bin/g++ -I/builddir/build/BUILD/LFSC-1d1c55fa17b08e2bc8cb686b9d07ec63bf0dd4a2/src -O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -fasynchronous-unwind-tables -fstack-clash-protection -Wall -fsigned-char -std=gnu++11 -DNDEBUG -fPIC -o CMakeFiles/objlib.dir/token.cpp.o -c /builddir/build/BUILD/LFSC-1d1c55fa17b08e2bc8cb686b9d07ec63bf0dd4a2/src/token.cpp cd /builddir/build/BUILD/LFSC-1d1c55fa17b08e2bc8cb686b9d07ec63bf0dd4a2/riscv64-redhat-linux-gnu/src && /usr/bin/g++ -I/builddir/build/BUILD/LFSC-1d1c55fa17b08e2bc8cb686b9d07ec63bf0dd4a2/src -O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -fasynchronous-unwind-tables -fstack-clash-protection -Wall -fsigned-char -std=gnu++11 -DNDEBUG -fPIC -o CMakeFiles/objlib.dir/lexer.cpp.o -c /builddir/build/BUILD/LFSC-1d1c55fa17b08e2bc8cb686b9d07ec63bf0dd4a2/riscv64-redhat-linux-gnu/src/lexer.cpp In file included from /builddir/build/BUILD/LFSC-1d1c55fa17b08e2bc8cb686b9d07ec63bf0dd4a2/src/trie.cpp:1: /builddir/build/BUILD/LFSC-1d1c55fa17b08e2bc8cb686b9d07ec63bf0dd4a2/src/trie.cpp: In function 'unit_test_trie()': /builddir/build/BUILD/LFSC-1d1c55fa17b08e2bc8cb686b9d07ec63bf0dd4a2/src/trie.h:63:13: warning: array subscript 2 is outside array bounds of 'const char[2]' [-Warray-bounds] 63 | if (!s[0] && (!str || !str[0])) return d; | ~~~^ /builddir/build/BUILD/LFSC-1d1c55fa17b08e2bc8cb686b9d07ec63bf0dd4a2/src/trie.h:44:18: warning: array subscript 3 is outside array bounds of 'const char[2]' [-Warray-bounds] 44 | return n->get(&s[1]); | ~~~~~~^~~~~~~ /builddir/build/BUILD/LFSC-1d1c55fa17b08e2bc8cb686b9d07ec63bf0dd4a2/src/trie.h:63:13: warning: array subscript 2 is outside array bounds of 'const char[2]' [-Warray-bounds] 63 | if (!s[0] && (!str || !str[0])) return d; | ~~~^ /builddir/build/BUILD/LFSC-1d1c55fa17b08e2bc8cb686b9d07ec63bf0dd4a2/src/trie.h:44:18: warning: array subscript 3 is outside array bounds of 'const char[2]' [-Warray-bounds] 44 | return n->get(&s[1]); | ~~~~~~^~~~~~~ /builddir/build/BUILD/LFSC-1d1c55fa17b08e2bc8cb686b9d07ec63bf0dd4a2/src/trie.h:44:18: warning: offset '2' outside bounds of constant string [-Warray-bounds] 44 | return n->get(&s[1]); | ~~~~~~^~~~~~~ /builddir/build/BUILD/LFSC-1d1c55fa17b08e2bc8cb686b9d07ec63bf0dd4a2/src/trie.h:44:18: warning: offset '2' outside bounds of constant string [-Warray-bounds] 44 | return n->get(&s[1]); | ~~~~~~^~~~~~~ gmake[2]: Leaving directory '/builddir/build/BUILD/LFSC-1d1c55fa17b08e2bc8cb686b9d07ec63bf0dd4a2/riscv64-redhat-linux-gnu' [ 80%] Built target objlib /usr/bin/gmake -f src/CMakeFiles/lfscc.dir/build.make src/CMakeFiles/lfscc.dir/depend /usr/bin/gmake -f src/CMakeFiles/liblfscc.dir/build.make src/CMakeFiles/liblfscc.dir/depend gmake[2]: Entering directory '/builddir/build/BUILD/LFSC-1d1c55fa17b08e2bc8cb686b9d07ec63bf0dd4a2/riscv64-redhat-linux-gnu' cd /builddir/build/BUILD/LFSC-1d1c55fa17b08e2bc8cb686b9d07ec63bf0dd4a2/riscv64-redhat-linux-gnu && /usr/bin/cmake -E cmake_depends "Unix Makefiles" /builddir/build/BUILD/LFSC-1d1c55fa17b08e2bc8cb686b9d07ec63bf0dd4a2 /builddir/build/BUILD/LFSC-1d1c55fa17b08e2bc8cb686b9d07ec63bf0dd4a2/src /builddir/build/BUILD/LFSC-1d1c55fa17b08e2bc8cb686b9d07ec63bf0dd4a2/riscv64-redhat-linux-gnu /builddir/build/BUILD/LFSC-1d1c55fa17b08e2bc8cb686b9d07ec63bf0dd4a2/riscv64-redhat-linux-gnu/src /builddir/build/BUILD/LFSC-1d1c55fa17b08e2bc8cb686b9d07ec63bf0dd4a2/riscv64-redhat-linux-gnu/src/CMakeFiles/liblfscc.dir/DependInfo.cmake --color= gmake[2]: Entering directory '/builddir/build/BUILD/LFSC-1d1c55fa17b08e2bc8cb686b9d07ec63bf0dd4a2/riscv64-redhat-linux-gnu' cd /builddir/build/BUILD/LFSC-1d1c55fa17b08e2bc8cb686b9d07ec63bf0dd4a2/riscv64-redhat-linux-gnu && /usr/bin/cmake -E cmake_depends "Unix Makefiles" /builddir/build/BUILD/LFSC-1d1c55fa17b08e2bc8cb686b9d07ec63bf0dd4a2 /builddir/build/BUILD/LFSC-1d1c55fa17b08e2bc8cb686b9d07ec63bf0dd4a2/src /builddir/build/BUILD/LFSC-1d1c55fa17b08e2bc8cb686b9d07ec63bf0dd4a2/riscv64-redhat-linux-gnu /builddir/build/BUILD/LFSC-1d1c55fa17b08e2bc8cb686b9d07ec63bf0dd4a2/riscv64-redhat-linux-gnu/src /builddir/build/BUILD/LFSC-1d1c55fa17b08e2bc8cb686b9d07ec63bf0dd4a2/riscv64-redhat-linux-gnu/src/CMakeFiles/lfscc.dir/DependInfo.cmake --color= Dependee "/builddir/build/BUILD/LFSC-1d1c55fa17b08e2bc8cb686b9d07ec63bf0dd4a2/riscv64-redhat-linux-gnu/src/CMakeFiles/lfscc.dir/DependInfo.cmake" is newer than depender "/builddir/build/BUILD/LFSC-1d1c55fa17b08e2bc8cb686b9d07ec63bf0dd4a2/riscv64-redhat-linux-gnu/src/CMakeFiles/lfscc.dir/depend.internal". Dependee "/builddir/build/BUILD/LFSC-1d1c55fa17b08e2bc8cb686b9d07ec63bf0dd4a2/riscv64-redhat-linux-gnu/src/CMakeFiles/CMakeDirectoryInformation.cmake" is newer than depender "/builddir/build/BUILD/LFSC-1d1c55fa17b08e2bc8cb686b9d07ec63bf0dd4a2/riscv64-redhat-linux-gnu/src/CMakeFiles/lfscc.dir/depend.internal". Dependee "/builddir/build/BUILD/LFSC-1d1c55fa17b08e2bc8cb686b9d07ec63bf0dd4a2/riscv64-redhat-linux-gnu/src/CMakeFiles/liblfscc.dir/DependInfo.cmake" is newer than depender "/builddir/build/BUILD/LFSC-1d1c55fa17b08e2bc8cb686b9d07ec63bf0dd4a2/riscv64-redhat-linux-gnu/src/CMakeFiles/liblfscc.dir/depend.internal". Dependee "/builddir/build/BUILD/LFSC-1d1c55fa17b08e2bc8cb686b9d07ec63bf0dd4a2/riscv64-redhat-linux-gnu/src/CMakeFiles/CMakeDirectoryInformation.cmake" is newer than depender "/builddir/build/BUILD/LFSC-1d1c55fa17b08e2bc8cb686b9d07ec63bf0dd4a2/riscv64-redhat-linux-gnu/src/CMakeFiles/liblfscc.dir/depend.internal". Scanning dependencies of target liblfscc gmake[2]: Leaving directory '/builddir/build/BUILD/LFSC-1d1c55fa17b08e2bc8cb686b9d07ec63bf0dd4a2/riscv64-redhat-linux-gnu' /usr/bin/gmake -f src/CMakeFiles/liblfscc.dir/build.make src/CMakeFiles/liblfscc.dir/build Scanning dependencies of target lfscc gmake[2]: Leaving directory '/builddir/build/BUILD/LFSC-1d1c55fa17b08e2bc8cb686b9d07ec63bf0dd4a2/riscv64-redhat-linux-gnu' /usr/bin/gmake -f src/CMakeFiles/lfscc.dir/build.make src/CMakeFiles/lfscc.dir/build gmake[2]: Entering directory '/builddir/build/BUILD/LFSC-1d1c55fa17b08e2bc8cb686b9d07ec63bf0dd4a2/riscv64-redhat-linux-gnu' gmake[2]: Entering directory '/builddir/build/BUILD/LFSC-1d1c55fa17b08e2bc8cb686b9d07ec63bf0dd4a2/riscv64-redhat-linux-gnu' [ 86%] Linking CXX shared library liblfscc.so [ 93%] Building CXX object src/CMakeFiles/lfscc.dir/main.cpp.o cd /builddir/build/BUILD/LFSC-1d1c55fa17b08e2bc8cb686b9d07ec63bf0dd4a2/riscv64-redhat-linux-gnu/src && /usr/bin/cmake -E cmake_link_script CMakeFiles/liblfscc.dir/link.txt --verbose=1 cd /builddir/build/BUILD/LFSC-1d1c55fa17b08e2bc8cb686b9d07ec63bf0dd4a2/riscv64-redhat-linux-gnu/src && /usr/bin/g++ -I/builddir/build/BUILD/LFSC-1d1c55fa17b08e2bc8cb686b9d07ec63bf0dd4a2/src -O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -fasynchronous-unwind-tables -fstack-clash-protection -Wall -fsigned-char -std=gnu++11 -DNDEBUG -o CMakeFiles/lfscc.dir/main.cpp.o -c /builddir/build/BUILD/LFSC-1d1c55fa17b08e2bc8cb686b9d07ec63bf0dd4a2/src/main.cpp /usr/bin/g++ -fPIC -O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -fasynchronous-unwind-tables -fstack-clash-protection -Wall -fsigned-char -std=gnu++11 -DNDEBUG -Wl,-z,relro -Wl,--as-needed -Wl,-z,now -specs=/usr/lib/rpm/redhat/redhat-hardened-ld -shared -Wl,-soname,liblfscc.so.0 -o liblfscc.so.0.0.0 CMakeFiles/objlib.dir/check.cpp.o CMakeFiles/objlib.dir/code.cpp.o CMakeFiles/objlib.dir/expr.cpp.o CMakeFiles/objlib.dir/lfscc.cpp.o CMakeFiles/objlib.dir/libwriter.cpp.o CMakeFiles/objlib.dir/print_smt2.cpp.o CMakeFiles/objlib.dir/scccode.cpp.o CMakeFiles/objlib.dir/sccwriter.cpp.o CMakeFiles/objlib.dir/trie.cpp.o CMakeFiles/objlib.dir/token.cpp.o CMakeFiles/objlib.dir/lexer.cpp.o -lgmp [100%] Linking CXX executable lfscc cd /builddir/build/BUILD/LFSC-1d1c55fa17b08e2bc8cb686b9d07ec63bf0dd4a2/riscv64-redhat-linux-gnu/src && /usr/bin/cmake -E cmake_link_script CMakeFiles/lfscc.dir/link.txt --verbose=1 /usr/bin/g++ -O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -fasynchronous-unwind-tables -fstack-clash-protection -Wall -fsigned-char -std=gnu++11 -DNDEBUG -Wl,-z,relro -Wl,--as-needed -Wl,-z,now -specs=/usr/lib/rpm/redhat/redhat-hardened-ld -rdynamic CMakeFiles/lfscc.dir/main.cpp.o CMakeFiles/objlib.dir/check.cpp.o CMakeFiles/objlib.dir/code.cpp.o CMakeFiles/objlib.dir/expr.cpp.o CMakeFiles/objlib.dir/lfscc.cpp.o CMakeFiles/objlib.dir/libwriter.cpp.o CMakeFiles/objlib.dir/print_smt2.cpp.o CMakeFiles/objlib.dir/scccode.cpp.o CMakeFiles/objlib.dir/sccwriter.cpp.o CMakeFiles/objlib.dir/trie.cpp.o CMakeFiles/objlib.dir/token.cpp.o CMakeFiles/objlib.dir/lexer.cpp.o -o lfscc -lgmp cd /builddir/build/BUILD/LFSC-1d1c55fa17b08e2bc8cb686b9d07ec63bf0dd4a2/riscv64-redhat-linux-gnu/src && /usr/bin/cmake -E cmake_symlink_library liblfscc.so.0.0.0 liblfscc.so.0 liblfscc.so gmake[2]: Leaving directory '/builddir/build/BUILD/LFSC-1d1c55fa17b08e2bc8cb686b9d07ec63bf0dd4a2/riscv64-redhat-linux-gnu' [100%] Built target liblfscc gmake[2]: Leaving directory '/builddir/build/BUILD/LFSC-1d1c55fa17b08e2bc8cb686b9d07ec63bf0dd4a2/riscv64-redhat-linux-gnu' [100%] Built target lfscc gmake[1]: Leaving directory '/builddir/build/BUILD/LFSC-1d1c55fa17b08e2bc8cb686b9d07ec63bf0dd4a2/riscv64-redhat-linux-gnu' /usr/bin/cmake -E cmake_progress_start /builddir/build/BUILD/LFSC-1d1c55fa17b08e2bc8cb686b9d07ec63bf0dd4a2/riscv64-redhat-linux-gnu/CMakeFiles 0 + RPM_EC=0 ++ jobs -p + exit 0 Executing(%install): /bin/sh -e /var/tmp/rpm-tmp.LOJPPN + umask 022 + cd /builddir/build/BUILD + '[' /builddir/build/BUILDROOT/lfsc-0.20200815-1.fc33.riscv64 '!=' / ']' + rm -rf /builddir/build/BUILDROOT/lfsc-0.20200815-1.fc33.riscv64 ++ dirname /builddir/build/BUILDROOT/lfsc-0.20200815-1.fc33.riscv64 + mkdir -p /builddir/build/BUILDROOT + mkdir /builddir/build/BUILDROOT/lfsc-0.20200815-1.fc33.riscv64 + cd LFSC-1d1c55fa17b08e2bc8cb686b9d07ec63bf0dd4a2 + DESTDIR=/builddir/build/BUILDROOT/lfsc-0.20200815-1.fc33.riscv64 + /usr/bin/cmake --install riscv64-redhat-linux-gnu -- Install configuration: "Release" -- Installing: /builddir/build/BUILDROOT/lfsc-0.20200815-1.fc33.riscv64/usr/bin/lfscc -- Installing: /builddir/build/BUILDROOT/lfsc-0.20200815-1.fc33.riscv64/usr/lib64/liblfscc.so.0.0.0 -- Installing: /builddir/build/BUILDROOT/lfsc-0.20200815-1.fc33.riscv64/usr/lib64/liblfscc.so.0 -- Installing: /builddir/build/BUILDROOT/lfsc-0.20200815-1.fc33.riscv64/usr/lib64/liblfscc.so -- Installing: /builddir/build/BUILDROOT/lfsc-0.20200815-1.fc33.riscv64/usr/include/lfscc.h + mkdir -p /builddir/build/BUILDROOT/lfsc-0.20200815-1.fc33.riscv64/usr/share/lfsc + cp -p /builddir/build/SOURCES/euf_interpolation.plf /builddir/build/SOURCES/sat.plf /builddir/build/SOURCES/smt.plf /builddir/build/SOURCES/th_base.plf /builddir/build/SOURCES/th_real.plf /builddir/build/SOURCES/th_lra.plf /builddir/build/SOURCES/th_lra-cvc3.plf /builddir/build/SOURCES/color_base.plf /builddir/build/SOURCES/color_euf.plf /builddir/build/BUILDROOT/lfsc-0.20200815-1.fc33.riscv64/usr/share/lfsc + cd riscv64-redhat-linux-gnu/src + mkdir -p /builddir/build/BUILDROOT/lfsc-0.20200815-1.fc33.riscv64/usr/share/man/man1 + export LD_LIBRARY_PATH=/builddir/build/BUILD/LFSC-1d1c55fa17b08e2bc8cb686b9d07ec63bf0dd4a2/riscv64-redhat-linux-gnu/src + LD_LIBRARY_PATH=/builddir/build/BUILD/LFSC-1d1c55fa17b08e2bc8cb686b9d07ec63bf0dd4a2/riscv64-redhat-linux-gnu/src + help2man -N --version-string=0.20200815 ./lfscc + sed -i 's/\\fB/.TP\n&/;s/\\fR: /\\fR\n/' /builddir/build/BUILDROOT/lfsc-0.20200815-1.fc33.riscv64/usr/share/man/man1/lfscc.1 + cp -p ../../src/lexer.flex . + cd - /builddir/build/BUILD/LFSC-1d1c55fa17b08e2bc8cb686b9d07ec63bf0dd4a2 + /usr/lib/rpm/find-debuginfo.sh -j8 --strict-build-id -m -i --build-id-seed 0.20200815-1.fc33 --unique-debug-suffix -0.20200815-1.fc33.riscv64 --unique-debug-src-base lfsc-0.20200815-1.fc33.riscv64 --run-dwz --dwz-low-mem-die-limit 10000000 --dwz-max-die-limit 50000000 -S debugsourcefiles.list /builddir/build/BUILD/LFSC-1d1c55fa17b08e2bc8cb686b9d07ec63bf0dd4a2 explicitly decompress any DWARF compressed ELF sections in /builddir/build/BUILDROOT/lfsc-0.20200815-1.fc33.riscv64/usr/lib64/liblfscc.so.0.0.0 explicitly decompress any DWARF compressed ELF sections in /builddir/build/BUILDROOT/lfsc-0.20200815-1.fc33.riscv64/usr/bin/lfscc extracting debug info from /builddir/build/BUILDROOT/lfsc-0.20200815-1.fc33.riscv64/usr/bin/lfscc extracting debug info from /builddir/build/BUILDROOT/lfsc-0.20200815-1.fc33.riscv64/usr/lib64/liblfscc.so.0.0.0 original debug info size: 15760kB, size after compression: 14024kB /usr/lib/rpm/sepdebugcrcfix: Updated 2 CRC32s, 0 CRC32s did match. 663 blocks + /usr/lib/rpm/check-buildroot + /usr/lib/rpm/redhat/brp-ldconfig + /usr/lib/rpm/brp-compress + /usr/lib/rpm/redhat/brp-strip-lto /usr/bin/strip + /usr/lib/rpm/brp-strip-static-archive /usr/bin/strip + /usr/lib/rpm/redhat/brp-python-bytecompile '' 1 0 + /usr/lib/rpm/brp-python-hardlink + /usr/lib/rpm/redhat/brp-mangle-shebangs Executing(%check): /bin/sh -e /var/tmp/rpm-tmp.iSQcbN + umask 022 + cd /builddir/build/BUILD + cd LFSC-1d1c55fa17b08e2bc8cb686b9d07ec63bf0dd4a2 + cd riscv64-redhat-linux-gnu + /usr/bin/ctest --output-on-failure --force-new-ctest-process -j8 Test project /builddir/build/BUILD/LFSC-1d1c55fa17b08e2bc8cb686b9d07ec63bf0dd4a2/riscv64-redhat-linux-gnu Start 1: ann_lambda.plf Start 2: bad-char.plf Start 3: bool.plf Start 4: eq_mpz.plf Start 5: issue20.plf Start 6: issue8-mpexp.plf Start 7: formal_type_args.plf Start 8: mp_prefix.plf 1/25 Test #4: eq_mpz.plf ............................. Passed 1.96 sec Start 9: mp_smaller_test.plf 2/25 Test #2: bad-char.plf ........................... Passed 2.14 sec Start 10: mpz_to_mpq.plf 3/25 Test #8: mp_prefix.plf .......................... Passed 1.97 sec Start 11: mpz_to_mpq_checks.plf 4/25 Test #3: bool.plf ............................... Passed 2.21 sec Start 12: num.plf 5/25 Test #5: issue20.plf ............................ Passed 2.20 sec Start 13: sage-app2-bench_201.plf 6/25 Test #1: ann_lambda.plf ......................... Passed 2.43 sec Start 14: sat.plf 7/25 Test #7: formal_type_args.plf ................... Passed 2.23 sec Start 15: semicolon_after_id.plf 8/25 Test #6: issue8-mpexp.plf ....................... Passed 2.41 sec Start 16: smt.plf 9/25 Test #10: mpz_to_mpq.plf ......................... Passed 1.83 sec Start 17: th_arrays.plf 10/25 Test #9: mp_smaller_test.plf .................... Passed 2.09 sec Start 18: th_base.plf 11/25 Test #12: num.plf ................................ Passed 2.15 sec Start 19: th_bv.plf 12/25 Test #11: mpz_to_mpq_checks.plf .................. Passed 2.26 sec Start 20: th_bv_bitblast.plf 13/25 Test #14: sat.plf ................................ Passed 2.16 sec Start 21: th_int.plf 14/25 Test #15: semicolon_after_id.plf ................. Passed 2.14 sec Start 22: th_quant.plf 15/25 Test #16: smt.plf ................................ Passed 2.41 sec Start 23: unused_pi_param_rational_in_body.plf 16/25 Test #17: th_arrays.plf .......................... Passed 2.14 sec Start 24: use-bool.plf 17/25 Test #18: th_base.plf ............................ Passed 2.64 sec Start 25: use-use-bool.plf 18/25 Test #19: th_bv.plf .............................. Passed 2.62 sec 19/25 Test #21: th_int.plf ............................. Passed 2.61 sec 20/25 Test #20: th_bv_bitblast.plf ..................... Passed 2.80 sec 21/25 Test #23: unused_pi_param_rational_in_body.plf ... Passed 2.50 sec 22/25 Test #22: th_quant.plf ........................... Passed 3.04 sec 23/25 Test #24: use-bool.plf ........................... Passed 2.24 sec 24/25 Test #25: use-use-bool.plf ....................... Passed 1.78 sec 25/25 Test #13: sage-app2-bench_201.plf ................***Timeout 40.27 sec 96% tests passed, 1 tests failed out of 25 Total Test time (real) = 42.84 sec The following tests FAILED: 13 - sage-app2-bench_201.plf (Timeout) Errors while running CTest error: Bad exit status from /var/tmp/rpm-tmp.iSQcbN (%check) RPM build errors: Bad exit status from /var/tmp/rpm-tmp.iSQcbN (%check) Child return code was: 1 EXCEPTION: [Error()] Traceback (most recent call last): File "/usr/lib/python3.8/site-packages/mockbuild/trace_decorator.py", line 95, in trace result = func(*args, **kw) File "/usr/lib/python3.8/site-packages/mockbuild/util.py", line 746, in do_with_status raise exception.Error("Command failed: \n # %s\n%s" % (command, output), child.returncode) mockbuild.exception.Error: Command failed: # bash --login -c /usr/bin/rpmbuild -bb --target riscv64 --nodeps /builddir/build/SPECS/lfsc.spec