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-336454-58401/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-336454-58401/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.xgeJqP + umask 022 + cd /builddir/build/BUILD + cd /builddir/build/BUILD + rm -rf LFSC-1d1c55fa17b08e2bc8cb686b9d07ec63bf0dd4a2 + /usr/bin/gzip -dc /builddir/build/SOURCES/lfsc-1d1c55f.tar.gz + /usr/bin/tar -xof - + 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.KbcfCP + 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.2.1 -- The CXX compiler identification is GNU 10.2.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 -j4 --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/expr.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 [ 20%] Building CXX object src/CMakeFiles/objlib.dir/code.cpp.o [ 26%] Building CXX object src/CMakeFiles/objlib.dir/check.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/code.cpp.o -c /builddir/build/BUILD/LFSC-1d1c55fa17b08e2bc8cb686b9d07ec63bf0dd4a2/src/code.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/check.cpp.o -c /builddir/build/BUILD/LFSC-1d1c55fa17b08e2bc8cb686b9d07ec63bf0dd4a2/src/check.cpp [ 33%] 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/lfscc.cpp.o -c /builddir/build/BUILD/LFSC-1d1c55fa17b08e2bc8cb686b9d07ec63bf0dd4a2/src/lfscc.cpp [ 40%] 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 [ 46%] Building CXX object src/CMakeFiles/objlib.dir/print_smt2.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/print_smt2.cpp.o -c /builddir/build/BUILD/LFSC-1d1c55fa17b08e2bc8cb686b9d07ec63bf0dd4a2/src/print_smt2.cpp [ 53%] 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 [ 60%] Building CXX object src/CMakeFiles/objlib.dir/sccwriter.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/sccwriter.cpp.o -c /builddir/build/BUILD/LFSC-1d1c55fa17b08e2bc8cb686b9d07ec63bf0dd4a2/src/sccwriter.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 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]); | ~~~~~~^~~~~~~ [ 73%] 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 [ 80%] Building CXX object src/CMakeFiles/objlib.dir/lexer.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/lexer.cpp.o -c /builddir/build/BUILD/LFSC-1d1c55fa17b08e2bc8cb686b9d07ec63bf0dd4a2/riscv64-redhat-linux-gnu/src/lexer.cpp 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/lfscc.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/liblfscc.dir/DependInfo.cmake --color= 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 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". gmake[2]: Entering directory '/builddir/build/BUILD/LFSC-1d1c55fa17b08e2bc8cb686b9d07ec63bf0dd4a2/riscv64-redhat-linux-gnu' 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' [ 86%] Linking CXX shared library liblfscc.so 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 [ 93%] Building CXX object src/CMakeFiles/lfscc.dir/main.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 -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.r5WbWO + 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 -j4 --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/bin/lfscc explicitly decompress any DWARF compressed ELF sections in /builddir/build/BUILDROOT/lfsc-0.20200815-1.fc33.riscv64/usr/lib64/liblfscc.so.0.0.0 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: 15704kB, size after compression: 13964kB /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.aICWyP + umask 022 + cd /builddir/build/BUILD + cd LFSC-1d1c55fa17b08e2bc8cb686b9d07ec63bf0dd4a2 + cd riscv64-redhat-linux-gnu + /usr/bin/ctest --output-on-failure --force-new-ctest-process -j4 --verbose UpdateCTestConfiguration from :/builddir/build/BUILD/LFSC-1d1c55fa17b08e2bc8cb686b9d07ec63bf0dd4a2/riscv64-redhat-linux-gnu/DartConfiguration.tcl UpdateCTestConfiguration from :/builddir/build/BUILD/LFSC-1d1c55fa17b08e2bc8cb686b9d07ec63bf0dd4a2/riscv64-redhat-linux-gnu/DartConfiguration.tcl Test project /builddir/build/BUILD/LFSC-1d1c55fa17b08e2bc8cb686b9d07ec63bf0dd4a2/riscv64-redhat-linux-gnu Constructing a list of tests Done constructing a list of tests Updating test list for fixtures Added 0 tests to meet fixture requirements Checking test dependency graph... Checking test dependency graph end test 1 Start 1: ann_lambda.plf 1: Test command: /builddir/build/BUILD/LFSC-1d1c55fa17b08e2bc8cb686b9d07ec63bf0dd4a2/tests/run_test.py "/builddir/build/BUILD/LFSC-1d1c55fa17b08e2bc8cb686b9d07ec63bf0dd4a2/riscv64-redhat-linux-gnu/src/lfscc" "/builddir/build/BUILD/LFSC-1d1c55fa17b08e2bc8cb686b9d07ec63bf0dd4a2/tests/tests/ann_lambda.plf" 1: Test timeout computed to be: 40 test 2 Start 2: bad-char.plf 2: Test command: /builddir/build/BUILD/LFSC-1d1c55fa17b08e2bc8cb686b9d07ec63bf0dd4a2/tests/run_test.py "/builddir/build/BUILD/LFSC-1d1c55fa17b08e2bc8cb686b9d07ec63bf0dd4a2/riscv64-redhat-linux-gnu/src/lfscc" "/builddir/build/BUILD/LFSC-1d1c55fa17b08e2bc8cb686b9d07ec63bf0dd4a2/tests/tests/bad-char.plf" 2: Test timeout computed to be: 40 test 3 Start 3: bool.plf 3: Test command: /builddir/build/BUILD/LFSC-1d1c55fa17b08e2bc8cb686b9d07ec63bf0dd4a2/tests/run_test.py "/builddir/build/BUILD/LFSC-1d1c55fa17b08e2bc8cb686b9d07ec63bf0dd4a2/riscv64-redhat-linux-gnu/src/lfscc" "/builddir/build/BUILD/LFSC-1d1c55fa17b08e2bc8cb686b9d07ec63bf0dd4a2/tests/tests/bool.plf" 3: Test timeout computed to be: 40 test 4 Start 4: eq_mpz.plf 4: Test command: /builddir/build/BUILD/LFSC-1d1c55fa17b08e2bc8cb686b9d07ec63bf0dd4a2/tests/run_test.py "/builddir/build/BUILD/LFSC-1d1c55fa17b08e2bc8cb686b9d07ec63bf0dd4a2/riscv64-redhat-linux-gnu/src/lfscc" "/builddir/build/BUILD/LFSC-1d1c55fa17b08e2bc8cb686b9d07ec63bf0dd4a2/tests/tests/eq_mpz.plf" 4: Test timeout computed to be: 40 3: Command: ['/builddir/build/BUILD/LFSC-1d1c55fa17b08e2bc8cb686b9d07ec63bf0dd4a2/riscv64-redhat-linux-gnu/src/lfscc', '/builddir/build/BUILD/LFSC-1d1c55fa17b08e2bc8cb686b9d07ec63bf0dd4a2/tests/tests/bool.plf'] 2: Command: ['/builddir/build/BUILD/LFSC-1d1c55fa17b08e2bc8cb686b9d07ec63bf0dd4a2/riscv64-redhat-linux-gnu/src/lfscc', '/builddir/build/BUILD/LFSC-1d1c55fa17b08e2bc8cb686b9d07ec63bf0dd4a2/tests/tests/bad-char.plf'] 1/25 Test #3: bool.plf ............................... Passed 2.15 sec test 5 Start 5: issue20.plf 5: Test command: /builddir/build/BUILD/LFSC-1d1c55fa17b08e2bc8cb686b9d07ec63bf0dd4a2/tests/run_test.py "/builddir/build/BUILD/LFSC-1d1c55fa17b08e2bc8cb686b9d07ec63bf0dd4a2/riscv64-redhat-linux-gnu/src/lfscc" "/builddir/build/BUILD/LFSC-1d1c55fa17b08e2bc8cb686b9d07ec63bf0dd4a2/tests/tests/issue20.plf" 5: Test timeout computed to be: 40 4: Command: ['/builddir/build/BUILD/LFSC-1d1c55fa17b08e2bc8cb686b9d07ec63bf0dd4a2/riscv64-redhat-linux-gnu/src/lfscc', '/builddir/build/BUILD/LFSC-1d1c55fa17b08e2bc8cb686b9d07ec63bf0dd4a2/tests/tests/eq_mpz.plf'] 1: Command: ['/builddir/build/BUILD/LFSC-1d1c55fa17b08e2bc8cb686b9d07ec63bf0dd4a2/riscv64-redhat-linux-gnu/src/lfscc', '/builddir/build/BUILD/LFSC-1d1c55fa17b08e2bc8cb686b9d07ec63bf0dd4a2/tests/tests/ann_lambda.plf'] 2/25 Test #1: ann_lambda.plf ......................... Passed 2.36 sec test 6 Start 6: issue8-mpexp.plf 6: Test command: /builddir/build/BUILD/LFSC-1d1c55fa17b08e2bc8cb686b9d07ec63bf0dd4a2/tests/run_test.py "/builddir/build/BUILD/LFSC-1d1c55fa17b08e2bc8cb686b9d07ec63bf0dd4a2/riscv64-redhat-linux-gnu/src/lfscc" "/builddir/build/BUILD/LFSC-1d1c55fa17b08e2bc8cb686b9d07ec63bf0dd4a2/tests/tests/issue8-mpexp.plf" 6: Test timeout computed to be: 40 3/25 Test #2: bad-char.plf ........................... Passed 2.41 sec test 7 Start 7: formal_type_args.plf 7: Test command: /builddir/build/BUILD/LFSC-1d1c55fa17b08e2bc8cb686b9d07ec63bf0dd4a2/tests/run_test.py "/builddir/build/BUILD/LFSC-1d1c55fa17b08e2bc8cb686b9d07ec63bf0dd4a2/riscv64-redhat-linux-gnu/src/lfscc" "/builddir/build/BUILD/LFSC-1d1c55fa17b08e2bc8cb686b9d07ec63bf0dd4a2/tests/tests/formal_type_args.plf" 7: Test timeout computed to be: 40 4/25 Test #4: eq_mpz.plf ............................. Passed 2.44 sec test 8 Start 8: mp_prefix.plf 8: Test command: /builddir/build/BUILD/LFSC-1d1c55fa17b08e2bc8cb686b9d07ec63bf0dd4a2/tests/run_test.py "/builddir/build/BUILD/LFSC-1d1c55fa17b08e2bc8cb686b9d07ec63bf0dd4a2/riscv64-redhat-linux-gnu/src/lfscc" "/builddir/build/BUILD/LFSC-1d1c55fa17b08e2bc8cb686b9d07ec63bf0dd4a2/tests/tests/mp_prefix.plf" 8: Test timeout computed to be: 40 5: Command: ['/builddir/build/BUILD/LFSC-1d1c55fa17b08e2bc8cb686b9d07ec63bf0dd4a2/riscv64-redhat-linux-gnu/src/lfscc', '/builddir/build/BUILD/LFSC-1d1c55fa17b08e2bc8cb686b9d07ec63bf0dd4a2/tests/tests/issue20.plf'] 5/25 Test #5: issue20.plf ............................ Passed 2.25 sec test 9 Start 9: mp_smaller_test.plf 9: Test command: /builddir/build/BUILD/LFSC-1d1c55fa17b08e2bc8cb686b9d07ec63bf0dd4a2/tests/run_test.py "/builddir/build/BUILD/LFSC-1d1c55fa17b08e2bc8cb686b9d07ec63bf0dd4a2/riscv64-redhat-linux-gnu/src/lfscc" "/builddir/build/BUILD/LFSC-1d1c55fa17b08e2bc8cb686b9d07ec63bf0dd4a2/tests/tests/mp_smaller_test.plf" 9: Test timeout computed to be: 40 6: Command: ['/builddir/build/BUILD/LFSC-1d1c55fa17b08e2bc8cb686b9d07ec63bf0dd4a2/riscv64-redhat-linux-gnu/src/lfscc', '/builddir/build/BUILD/LFSC-1d1c55fa17b08e2bc8cb686b9d07ec63bf0dd4a2/tests/tests/issue8-mpexp.plf'] 7: Command: ['/builddir/build/BUILD/LFSC-1d1c55fa17b08e2bc8cb686b9d07ec63bf0dd4a2/riscv64-redhat-linux-gnu/src/lfscc', '/builddir/build/BUILD/LFSC-1d1c55fa17b08e2bc8cb686b9d07ec63bf0dd4a2/tests/tests/formal_type_args.plf'] 6/25 Test #6: issue8-mpexp.plf ....................... Passed 2.36 sec test 10 Start 10: mpz_to_mpq.plf 10: Test command: /builddir/build/BUILD/LFSC-1d1c55fa17b08e2bc8cb686b9d07ec63bf0dd4a2/tests/run_test.py "/builddir/build/BUILD/LFSC-1d1c55fa17b08e2bc8cb686b9d07ec63bf0dd4a2/riscv64-redhat-linux-gnu/src/lfscc" "/builddir/build/BUILD/LFSC-1d1c55fa17b08e2bc8cb686b9d07ec63bf0dd4a2/tests/tests/mpz_to_mpq.plf" 10: Test timeout computed to be: 40 7/25 Test #7: formal_type_args.plf ................... Passed 2.31 sec test 11 Start 11: mpz_to_mpq_checks.plf 11: Test command: /builddir/build/BUILD/LFSC-1d1c55fa17b08e2bc8cb686b9d07ec63bf0dd4a2/tests/run_test.py "/builddir/build/BUILD/LFSC-1d1c55fa17b08e2bc8cb686b9d07ec63bf0dd4a2/riscv64-redhat-linux-gnu/src/lfscc" "/builddir/build/BUILD/LFSC-1d1c55fa17b08e2bc8cb686b9d07ec63bf0dd4a2/tests/tests/mpz_to_mpq_checks.plf" 11: Test timeout computed to be: 40 8: Command: ['/builddir/build/BUILD/LFSC-1d1c55fa17b08e2bc8cb686b9d07ec63bf0dd4a2/riscv64-redhat-linux-gnu/src/lfscc', '/builddir/build/BUILD/LFSC-1d1c55fa17b08e2bc8cb686b9d07ec63bf0dd4a2/tests/tests/mp_prefix.plf'] 8/25 Test #8: mp_prefix.plf .......................... Passed 2.71 sec test 12 Start 12: num.plf 12: Test command: /builddir/build/BUILD/LFSC-1d1c55fa17b08e2bc8cb686b9d07ec63bf0dd4a2/tests/run_test.py "/builddir/build/BUILD/LFSC-1d1c55fa17b08e2bc8cb686b9d07ec63bf0dd4a2/riscv64-redhat-linux-gnu/src/lfscc" "/builddir/build/BUILD/LFSC-1d1c55fa17b08e2bc8cb686b9d07ec63bf0dd4a2/tests/tests/num.plf" 12: Test timeout computed to be: 40 9: Command: ['/builddir/build/BUILD/LFSC-1d1c55fa17b08e2bc8cb686b9d07ec63bf0dd4a2/riscv64-redhat-linux-gnu/src/lfscc', '/builddir/build/BUILD/LFSC-1d1c55fa17b08e2bc8cb686b9d07ec63bf0dd4a2/tests/tests/mp_smaller_test.plf'] 9/25 Test #9: mp_smaller_test.plf .................... Passed 2.46 sec test 13 Start 13: sage-app2-bench_201.plf 13: Test command: /builddir/build/BUILD/LFSC-1d1c55fa17b08e2bc8cb686b9d07ec63bf0dd4a2/tests/run_test.py "/builddir/build/BUILD/LFSC-1d1c55fa17b08e2bc8cb686b9d07ec63bf0dd4a2/riscv64-redhat-linux-gnu/src/lfscc" "/builddir/build/BUILD/LFSC-1d1c55fa17b08e2bc8cb686b9d07ec63bf0dd4a2/tests/tests/sage-app2-bench_201.plf" 13: Test timeout computed to be: 40 11: Command: ['/builddir/build/BUILD/LFSC-1d1c55fa17b08e2bc8cb686b9d07ec63bf0dd4a2/riscv64-redhat-linux-gnu/src/lfscc', '/builddir/build/BUILD/LFSC-1d1c55fa17b08e2bc8cb686b9d07ec63bf0dd4a2/tests/tests/bool.plf', '/builddir/build/BUILD/LFSC-1d1c55fa17b08e2bc8cb686b9d07ec63bf0dd4a2/tests/tests/mpz_to_mpq.plf', '/builddir/build/BUILD/LFSC-1d1c55fa17b08e2bc8cb686b9d07ec63bf0dd4a2/tests/tests/mpz_to_mpq_checks.plf'] 10: Command: ['/builddir/build/BUILD/LFSC-1d1c55fa17b08e2bc8cb686b9d07ec63bf0dd4a2/riscv64-redhat-linux-gnu/src/lfscc', '/builddir/build/BUILD/LFSC-1d1c55fa17b08e2bc8cb686b9d07ec63bf0dd4a2/tests/tests/bool.plf', '/builddir/build/BUILD/LFSC-1d1c55fa17b08e2bc8cb686b9d07ec63bf0dd4a2/tests/tests/mpz_to_mpq.plf'] 10/25 Test #11: mpz_to_mpq_checks.plf .................. Passed 2.43 sec test 14 Start 14: sat.plf 14: Test command: /builddir/build/BUILD/LFSC-1d1c55fa17b08e2bc8cb686b9d07ec63bf0dd4a2/tests/run_test.py "/builddir/build/BUILD/LFSC-1d1c55fa17b08e2bc8cb686b9d07ec63bf0dd4a2/riscv64-redhat-linux-gnu/src/lfscc" "/builddir/build/BUILD/LFSC-1d1c55fa17b08e2bc8cb686b9d07ec63bf0dd4a2/tests/tests/sat.plf" 14: Test timeout computed to be: 40 11/25 Test #10: mpz_to_mpq.plf ......................... Passed 2.69 sec test 15 Start 15: semicolon_after_id.plf 15: Test command: /builddir/build/BUILD/LFSC-1d1c55fa17b08e2bc8cb686b9d07ec63bf0dd4a2/tests/run_test.py "/builddir/build/BUILD/LFSC-1d1c55fa17b08e2bc8cb686b9d07ec63bf0dd4a2/riscv64-redhat-linux-gnu/src/lfscc" "/builddir/build/BUILD/LFSC-1d1c55fa17b08e2bc8cb686b9d07ec63bf0dd4a2/tests/tests/semicolon_after_id.plf" 15: Test timeout computed to be: 40 12: Command: ['/builddir/build/BUILD/LFSC-1d1c55fa17b08e2bc8cb686b9d07ec63bf0dd4a2/riscv64-redhat-linux-gnu/src/lfscc', '/builddir/build/BUILD/LFSC-1d1c55fa17b08e2bc8cb686b9d07ec63bf0dd4a2/tests/tests/num.plf'] 12/25 Test #12: num.plf ................................ Passed 2.50 sec test 16 Start 16: smt.plf 16: Test command: /builddir/build/BUILD/LFSC-1d1c55fa17b08e2bc8cb686b9d07ec63bf0dd4a2/tests/run_test.py "/builddir/build/BUILD/LFSC-1d1c55fa17b08e2bc8cb686b9d07ec63bf0dd4a2/riscv64-redhat-linux-gnu/src/lfscc" "/builddir/build/BUILD/LFSC-1d1c55fa17b08e2bc8cb686b9d07ec63bf0dd4a2/tests/tests/smt.plf" 16: Test timeout computed to be: 40 14: Command: ['/builddir/build/BUILD/LFSC-1d1c55fa17b08e2bc8cb686b9d07ec63bf0dd4a2/riscv64-redhat-linux-gnu/src/lfscc', '/builddir/build/BUILD/LFSC-1d1c55fa17b08e2bc8cb686b9d07ec63bf0dd4a2/tests/tests/sat.plf'] 13/25 Test #14: sat.plf ................................ Passed 2.38 sec test 17 Start 17: th_arrays.plf 17: Test command: /builddir/build/BUILD/LFSC-1d1c55fa17b08e2bc8cb686b9d07ec63bf0dd4a2/tests/run_test.py "/builddir/build/BUILD/LFSC-1d1c55fa17b08e2bc8cb686b9d07ec63bf0dd4a2/riscv64-redhat-linux-gnu/src/lfscc" "/builddir/build/BUILD/LFSC-1d1c55fa17b08e2bc8cb686b9d07ec63bf0dd4a2/tests/tests/th_arrays.plf" 17: Test timeout computed to be: 40 15: Command: ['/builddir/build/BUILD/LFSC-1d1c55fa17b08e2bc8cb686b9d07ec63bf0dd4a2/riscv64-redhat-linux-gnu/src/lfscc', '/builddir/build/BUILD/LFSC-1d1c55fa17b08e2bc8cb686b9d07ec63bf0dd4a2/tests/tests/sat.plf', '/builddir/build/BUILD/LFSC-1d1c55fa17b08e2bc8cb686b9d07ec63bf0dd4a2/tests/tests/semicolon_after_id.plf'] 16: Command: ['/builddir/build/BUILD/LFSC-1d1c55fa17b08e2bc8cb686b9d07ec63bf0dd4a2/riscv64-redhat-linux-gnu/src/lfscc', '/builddir/build/BUILD/LFSC-1d1c55fa17b08e2bc8cb686b9d07ec63bf0dd4a2/tests/tests/sat.plf', '/builddir/build/BUILD/LFSC-1d1c55fa17b08e2bc8cb686b9d07ec63bf0dd4a2/tests/tests/smt.plf'] 14/25 Test #16: smt.plf ................................ Passed 2.05 sec test 18 Start 18: th_base.plf 18: Test command: /builddir/build/BUILD/LFSC-1d1c55fa17b08e2bc8cb686b9d07ec63bf0dd4a2/tests/run_test.py "/builddir/build/BUILD/LFSC-1d1c55fa17b08e2bc8cb686b9d07ec63bf0dd4a2/riscv64-redhat-linux-gnu/src/lfscc" "/builddir/build/BUILD/LFSC-1d1c55fa17b08e2bc8cb686b9d07ec63bf0dd4a2/tests/tests/th_base.plf" 18: Test timeout computed to be: 40 15/25 Test #15: semicolon_after_id.plf ................. Passed 2.43 sec test 19 Start 19: th_bv.plf 19: Test command: /builddir/build/BUILD/LFSC-1d1c55fa17b08e2bc8cb686b9d07ec63bf0dd4a2/tests/run_test.py "/builddir/build/BUILD/LFSC-1d1c55fa17b08e2bc8cb686b9d07ec63bf0dd4a2/riscv64-redhat-linux-gnu/src/lfscc" "/builddir/build/BUILD/LFSC-1d1c55fa17b08e2bc8cb686b9d07ec63bf0dd4a2/tests/tests/th_bv.plf" 19: Test timeout computed to be: 40 17: Command: ['/builddir/build/BUILD/LFSC-1d1c55fa17b08e2bc8cb686b9d07ec63bf0dd4a2/riscv64-redhat-linux-gnu/src/lfscc', '/builddir/build/BUILD/LFSC-1d1c55fa17b08e2bc8cb686b9d07ec63bf0dd4a2/tests/tests/sat.plf', '/builddir/build/BUILD/LFSC-1d1c55fa17b08e2bc8cb686b9d07ec63bf0dd4a2/tests/tests/smt.plf', '/builddir/build/BUILD/LFSC-1d1c55fa17b08e2bc8cb686b9d07ec63bf0dd4a2/tests/tests/th_base.plf', '/builddir/build/BUILD/LFSC-1d1c55fa17b08e2bc8cb686b9d07ec63bf0dd4a2/tests/tests/th_arrays.plf'] 16/25 Test #17: th_arrays.plf .......................... Passed 2.69 sec test 20 Start 20: th_bv_bitblast.plf 20: Test command: /builddir/build/BUILD/LFSC-1d1c55fa17b08e2bc8cb686b9d07ec63bf0dd4a2/tests/run_test.py "/builddir/build/BUILD/LFSC-1d1c55fa17b08e2bc8cb686b9d07ec63bf0dd4a2/riscv64-redhat-linux-gnu/src/lfscc" "/builddir/build/BUILD/LFSC-1d1c55fa17b08e2bc8cb686b9d07ec63bf0dd4a2/tests/tests/th_bv_bitblast.plf" 20: Test timeout computed to be: 40 18: Command: ['/builddir/build/BUILD/LFSC-1d1c55fa17b08e2bc8cb686b9d07ec63bf0dd4a2/riscv64-redhat-linux-gnu/src/lfscc', '/builddir/build/BUILD/LFSC-1d1c55fa17b08e2bc8cb686b9d07ec63bf0dd4a2/tests/tests/sat.plf', '/builddir/build/BUILD/LFSC-1d1c55fa17b08e2bc8cb686b9d07ec63bf0dd4a2/tests/tests/smt.plf', '/builddir/build/BUILD/LFSC-1d1c55fa17b08e2bc8cb686b9d07ec63bf0dd4a2/tests/tests/th_base.plf'] 17/25 Test #18: th_base.plf ............................ Passed 2.62 sec test 21 Start 21: th_int.plf 21: Test command: /builddir/build/BUILD/LFSC-1d1c55fa17b08e2bc8cb686b9d07ec63bf0dd4a2/tests/run_test.py "/builddir/build/BUILD/LFSC-1d1c55fa17b08e2bc8cb686b9d07ec63bf0dd4a2/riscv64-redhat-linux-gnu/src/lfscc" "/builddir/build/BUILD/LFSC-1d1c55fa17b08e2bc8cb686b9d07ec63bf0dd4a2/tests/tests/th_int.plf" 21: Test timeout computed to be: 40 19: Command: ['/builddir/build/BUILD/LFSC-1d1c55fa17b08e2bc8cb686b9d07ec63bf0dd4a2/riscv64-redhat-linux-gnu/src/lfscc', '/builddir/build/BUILD/LFSC-1d1c55fa17b08e2bc8cb686b9d07ec63bf0dd4a2/tests/tests/sat.plf', '/builddir/build/BUILD/LFSC-1d1c55fa17b08e2bc8cb686b9d07ec63bf0dd4a2/tests/tests/smt.plf', '/builddir/build/BUILD/LFSC-1d1c55fa17b08e2bc8cb686b9d07ec63bf0dd4a2/tests/tests/th_base.plf', '/builddir/build/BUILD/LFSC-1d1c55fa17b08e2bc8cb686b9d07ec63bf0dd4a2/tests/tests/th_bv.plf'] 18/25 Test #19: th_bv.plf .............................. Passed 2.87 sec test 22 Start 22: th_quant.plf 22: Test command: /builddir/build/BUILD/LFSC-1d1c55fa17b08e2bc8cb686b9d07ec63bf0dd4a2/tests/run_test.py "/builddir/build/BUILD/LFSC-1d1c55fa17b08e2bc8cb686b9d07ec63bf0dd4a2/riscv64-redhat-linux-gnu/src/lfscc" "/builddir/build/BUILD/LFSC-1d1c55fa17b08e2bc8cb686b9d07ec63bf0dd4a2/tests/tests/th_quant.plf" 22: Test timeout computed to be: 40 21: Command: ['/builddir/build/BUILD/LFSC-1d1c55fa17b08e2bc8cb686b9d07ec63bf0dd4a2/riscv64-redhat-linux-gnu/src/lfscc', '/builddir/build/BUILD/LFSC-1d1c55fa17b08e2bc8cb686b9d07ec63bf0dd4a2/tests/tests/sat.plf', '/builddir/build/BUILD/LFSC-1d1c55fa17b08e2bc8cb686b9d07ec63bf0dd4a2/tests/tests/smt.plf', '/builddir/build/BUILD/LFSC-1d1c55fa17b08e2bc8cb686b9d07ec63bf0dd4a2/tests/tests/th_base.plf', '/builddir/build/BUILD/LFSC-1d1c55fa17b08e2bc8cb686b9d07ec63bf0dd4a2/tests/tests/th_int.plf'] 19/25 Test #21: th_int.plf ............................. Passed 2.93 sec test 23 Start 23: unused_pi_param_rational_in_body.plf 23: Test command: /builddir/build/BUILD/LFSC-1d1c55fa17b08e2bc8cb686b9d07ec63bf0dd4a2/tests/run_test.py "/builddir/build/BUILD/LFSC-1d1c55fa17b08e2bc8cb686b9d07ec63bf0dd4a2/riscv64-redhat-linux-gnu/src/lfscc" "/builddir/build/BUILD/LFSC-1d1c55fa17b08e2bc8cb686b9d07ec63bf0dd4a2/tests/tests/unused_pi_param_rational_in_body.plf" 23: Test timeout computed to be: 40 20: Command: ['/builddir/build/BUILD/LFSC-1d1c55fa17b08e2bc8cb686b9d07ec63bf0dd4a2/riscv64-redhat-linux-gnu/src/lfscc', '/builddir/build/BUILD/LFSC-1d1c55fa17b08e2bc8cb686b9d07ec63bf0dd4a2/tests/tests/sat.plf', '/builddir/build/BUILD/LFSC-1d1c55fa17b08e2bc8cb686b9d07ec63bf0dd4a2/tests/tests/smt.plf', '/builddir/build/BUILD/LFSC-1d1c55fa17b08e2bc8cb686b9d07ec63bf0dd4a2/tests/tests/th_base.plf', '/builddir/build/BUILD/LFSC-1d1c55fa17b08e2bc8cb686b9d07ec63bf0dd4a2/tests/tests/th_bv.plf', '/builddir/build/BUILD/LFSC-1d1c55fa17b08e2bc8cb686b9d07ec63bf0dd4a2/tests/tests/th_bv_bitblast.plf'] 22: Command: ['/builddir/build/BUILD/LFSC-1d1c55fa17b08e2bc8cb686b9d07ec63bf0dd4a2/riscv64-redhat-linux-gnu/src/lfscc', '/builddir/build/BUILD/LFSC-1d1c55fa17b08e2bc8cb686b9d07ec63bf0dd4a2/tests/tests/sat.plf', '/builddir/build/BUILD/LFSC-1d1c55fa17b08e2bc8cb686b9d07ec63bf0dd4a2/tests/tests/smt.plf', '/builddir/build/BUILD/LFSC-1d1c55fa17b08e2bc8cb686b9d07ec63bf0dd4a2/tests/tests/th_base.plf', '/builddir/build/BUILD/LFSC-1d1c55fa17b08e2bc8cb686b9d07ec63bf0dd4a2/tests/tests/th_quant.plf'] 20/25 Test #20: th_bv_bitblast.plf ..................... Passed 3.26 sec test 24 Start 24: use-bool.plf 24: Test command: /builddir/build/BUILD/LFSC-1d1c55fa17b08e2bc8cb686b9d07ec63bf0dd4a2/tests/run_test.py "/builddir/build/BUILD/LFSC-1d1c55fa17b08e2bc8cb686b9d07ec63bf0dd4a2/riscv64-redhat-linux-gnu/src/lfscc" "/builddir/build/BUILD/LFSC-1d1c55fa17b08e2bc8cb686b9d07ec63bf0dd4a2/tests/tests/use-bool.plf" 24: Test timeout computed to be: 40 21/25 Test #22: th_quant.plf ........................... Passed 2.93 sec test 25 Start 25: use-use-bool.plf 25: Test command: /builddir/build/BUILD/LFSC-1d1c55fa17b08e2bc8cb686b9d07ec63bf0dd4a2/tests/run_test.py "/builddir/build/BUILD/LFSC-1d1c55fa17b08e2bc8cb686b9d07ec63bf0dd4a2/riscv64-redhat-linux-gnu/src/lfscc" "/builddir/build/BUILD/LFSC-1d1c55fa17b08e2bc8cb686b9d07ec63bf0dd4a2/tests/tests/use-use-bool.plf" 25: Test timeout computed to be: 40 23: Command: ['/builddir/build/BUILD/LFSC-1d1c55fa17b08e2bc8cb686b9d07ec63bf0dd4a2/riscv64-redhat-linux-gnu/src/lfscc', '/builddir/build/BUILD/LFSC-1d1c55fa17b08e2bc8cb686b9d07ec63bf0dd4a2/tests/tests/unused_pi_param_rational_in_body.plf'] 22/25 Test #23: unused_pi_param_rational_in_body.plf ... Passed 2.11 sec 24: Command: ['/builddir/build/BUILD/LFSC-1d1c55fa17b08e2bc8cb686b9d07ec63bf0dd4a2/riscv64-redhat-linux-gnu/src/lfscc', '/builddir/build/BUILD/LFSC-1d1c55fa17b08e2bc8cb686b9d07ec63bf0dd4a2/tests/tests/bool.plf', '/builddir/build/BUILD/LFSC-1d1c55fa17b08e2bc8cb686b9d07ec63bf0dd4a2/tests/tests/use-bool.plf'] 25: Command: ['/builddir/build/BUILD/LFSC-1d1c55fa17b08e2bc8cb686b9d07ec63bf0dd4a2/riscv64-redhat-linux-gnu/src/lfscc', '/builddir/build/BUILD/LFSC-1d1c55fa17b08e2bc8cb686b9d07ec63bf0dd4a2/tests/tests/bool.plf', '/builddir/build/BUILD/LFSC-1d1c55fa17b08e2bc8cb686b9d07ec63bf0dd4a2/tests/tests/use-bool.plf', '/builddir/build/BUILD/LFSC-1d1c55fa17b08e2bc8cb686b9d07ec63bf0dd4a2/tests/tests/use-use-bool.plf'] 23/25 Test #24: use-bool.plf ........................... Passed 2.29 sec 24/25 Test #25: use-use-bool.plf ....................... Passed 2.30 sec 25/25 Test #13: sage-app2-bench_201.plf ................***Timeout 40.32 sec 96% tests passed, 1 tests failed out of 25 Total Test time (real) = 47.55 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.aICWyP (%check) RPM build errors: Bad exit status from /var/tmp/rpm-tmp.aICWyP (%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