Mock Version: 3.5 ENTER ['do_with_status'](['bash', '--login', '-c', '/usr/bin/rpmbuild -bs --target x86_64 --nodeps /builddir/build/SPECS/python-benchexec.spec'], chrootPath='/var/lib/mock/openeuler-22.03-x86_64-1682454168.440207/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': 'C.UTF-8'}shell=Falselogger=timeout=0uid=1000gid=135user='mockbuild'nspawn_args=[]unshare_net=FalseprintOutput=True) Executing command: ['bash', '--login', '-c', '/usr/bin/rpmbuild -bs --target x86_64 --nodeps /builddir/build/SPECS/python-benchexec.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': 'C.UTF-8'} and shell False /etc/profile.d/system-info.sh: line 55: ps: command not found Building target platforms: x86_64 Building for target x86_64 Wrote: /builddir/build/SRPMS/python-BenchExec-3.16-1.src.rpm Child return code was: 0 Mock Version: 3.5 ENTER ['do_with_status'](['bash', '--login', '-c', '/usr/bin/rpmbuild -bs --target x86_64 --nodeps /builddir/build/SPECS/python-benchexec.spec'], chrootPath='/var/lib/mock/openeuler-22.03-x86_64-1682454168.440207/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': 'C.UTF-8'}shell=Falselogger=timeout=0uid=1000gid=135user='mockbuild'nspawn_args=[]unshare_net=FalseprintOutput=True) Executing command: ['bash', '--login', '-c', '/usr/bin/rpmbuild -bs --target x86_64 --nodeps /builddir/build/SPECS/python-benchexec.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': 'C.UTF-8'} and shell False /etc/profile.d/system-info.sh: line 55: ps: command not found Building target platforms: x86_64 Building for target x86_64 Wrote: /builddir/build/SRPMS/python-BenchExec-3.16-1.src.rpm Child return code was: 0 ENTER ['do_with_status'](['bash', '--login', '-c', '/usr/bin/rpmbuild -bb --target x86_64 --nodeps /builddir/build/SPECS/python-benchexec.spec'], chrootPath='/var/lib/mock/openeuler-22.03-x86_64-1682454168.440207/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': 'C.UTF-8'}shell=Falselogger=timeout=0uid=1000gid=135user='mockbuild'nspawn_args=[]unshare_net=FalseprintOutput=True) Executing command: ['bash', '--login', '-c', '/usr/bin/rpmbuild -bb --target x86_64 --nodeps /builddir/build/SPECS/python-benchexec.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': 'C.UTF-8'} and shell False /etc/profile.d/system-info.sh: line 55: ps: command not found Building target platforms: x86_64 Building for target x86_64 Executing(%prep): /bin/sh -e /var/tmp/rpm-tmp.bxux0C + umask 022 + cd /builddir/build/BUILD + cd /builddir/build/BUILD + rm -rf BenchExec-3.16 + /usr/bin/gzip -dc /builddir/build/SOURCES/BenchExec-3.16.tar.gz + /usr/bin/tar -xof - + STATUS=0 + '[' 0 -ne 0 ']' + cd BenchExec-3.16 + /usr/bin/chmod -Rf a+rX,u+w,g-w,o-w . + RPM_EC=0 ++ jobs -p + exit 0 Executing(%build): /bin/sh -e /var/tmp/rpm-tmp.qxXvbL + umask 022 + cd /builddir/build/BUILD + cd BenchExec-3.16 + CFLAGS='-O2 -g -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -fstack-protector-strong -grecord-gcc-switches -specs=/usr/lib/rpm/generic-hardened-cc1 -m64 -mtune=generic -fasynchronous-unwind-tables -fstack-clash-protection ' + LDFLAGS='-Wl,-z,relro -Wl,-z,now -specs=/usr/lib/rpm/generic-hardened-ld' + /usr/bin/python3 setup.py build '--executable=/usr/bin/python3 -s' /usr/lib/python3.9/site-packages/setuptools/installer.py:27: SetuptoolsDeprecationWarning: setuptools.installer is deprecated. Requirements should be satisfied by a PEP 517 installer. warnings.warn( WARNING: The wheel package is not available. WARNING: The wheel package is not available. WARNING: The wheel package is not available. WARNING: Retrying (Retry(total=4, connect=None, read=None, redirect=None, status=None)) after connection broken by 'NewConnectionError(': Failed to establish a new connection: [Errno -2] Name or service not known')': /packages/15/d8/dd071918c040f50fa1cf80da16423af51ff8ce4a0f2399b7bf8de45ac3d9/nose-1.3.7-py3-none-any.whl WARNING: Retrying (Retry(total=3, connect=None, read=None, redirect=None, status=None)) after connection broken by 'ConnectTimeoutError(, 'Connection to files.pythonhosted.org timed out. (connect timeout=15)')': /packages/15/d8/dd071918c040f50fa1cf80da16423af51ff8ce4a0f2399b7bf8de45ac3d9/nose-1.3.7-py3-none-any.whl running build running build_py creating build creating build/lib creating build/lib/benchexec copying benchexec/model.py -> build/lib/benchexec copying benchexec/libc.py -> build/lib/benchexec copying benchexec/result.py -> build/lib/benchexec copying benchexec/test_pqos.py -> build/lib/benchexec copying benchexec/baseexecutor.py -> build/lib/benchexec copying benchexec/test_tool_info.py -> build/lib/benchexec copying benchexec/pqos.py -> build/lib/benchexec copying benchexec/benchexec.py -> build/lib/benchexec copying benchexec/test_benchmark_definition.py -> build/lib/benchexec copying benchexec/resources.py -> build/lib/benchexec copying benchexec/tooladapter.py -> build/lib/benchexec copying benchexec/util.py -> build/lib/benchexec copying benchexec/containerized_tool.py -> build/lib/benchexec copying benchexec/filehierarchylimit.py -> build/lib/benchexec copying benchexec/test_result.py -> build/lib/benchexec copying benchexec/cgroups.py -> build/lib/benchexec copying benchexec/seccomp.py -> build/lib/benchexec copying benchexec/intel_cpu_energy.py -> build/lib/benchexec copying benchexec/test_core_assignment.py -> build/lib/benchexec copying benchexec/localexecution.py -> build/lib/benchexec copying benchexec/test_analyze_run_result.py -> build/lib/benchexec copying benchexec/check_cgroups.py -> build/lib/benchexec copying benchexec/test_cgroups.py -> build/lib/benchexec copying benchexec/container.py -> build/lib/benchexec copying benchexec/outputhandler.py -> build/lib/benchexec copying benchexec/filewriter.py -> build/lib/benchexec copying benchexec/test_util.py -> build/lib/benchexec copying benchexec/__init__.py -> build/lib/benchexec copying benchexec/systeminfo.py -> build/lib/benchexec copying benchexec/test_runexecutor.py -> build/lib/benchexec copying benchexec/runexecutor.py -> build/lib/benchexec copying benchexec/containerexecutor.py -> build/lib/benchexec copying benchexec/oomhandler.py -> build/lib/benchexec creating build/lib/benchexec/tablegenerator copying benchexec/tablegenerator/test_statvalue.py -> build/lib/benchexec/tablegenerator copying benchexec/tablegenerator/htmltable.py -> build/lib/benchexec/tablegenerator copying benchexec/tablegenerator/util.py -> build/lib/benchexec/tablegenerator copying benchexec/tablegenerator/columns.py -> build/lib/benchexec/tablegenerator copying benchexec/tablegenerator/statistics.py -> build/lib/benchexec/tablegenerator copying benchexec/tablegenerator/test_util.py -> build/lib/benchexec/tablegenerator copying benchexec/tablegenerator/__init__.py -> build/lib/benchexec/tablegenerator copying benchexec/tablegenerator/test_columns.py -> build/lib/benchexec/tablegenerator copying benchexec/tablegenerator/statisticstex.py -> build/lib/benchexec/tablegenerator creating build/lib/benchexec/tools copying benchexec/tools/cpachecker.py -> build/lib/benchexec/tools copying benchexec/tools/legion.py -> build/lib/benchexec/tools copying benchexec/tools/gwit.py -> build/lib/benchexec/tools copying benchexec/tools/cbmc.py -> build/lib/benchexec/tools copying benchexec/tools/theta.py -> build/lib/benchexec/tools copying benchexec/tools/hiprec.py -> build/lib/benchexec/tools copying benchexec/tools/fusebmc.py -> build/lib/benchexec/tools copying benchexec/tools/condtest-annotator.py -> build/lib/benchexec/tools copying benchexec/tools/brick.py -> build/lib/benchexec/tools copying benchexec/tools/two_ls.py -> build/lib/benchexec/tools copying benchexec/tools/z3.py -> build/lib/benchexec/tools copying benchexec/tools/abc.py -> build/lib/benchexec/tools copying benchexec/tools/verifuzz.py -> build/lib/benchexec/tools copying benchexec/tools/calculatepi.py -> build/lib/benchexec/tools copying benchexec/tools/spf.py -> build/lib/benchexec/tools copying benchexec/tools/lazycseq.py -> build/lib/benchexec/tools copying benchexec/tools/veriabs.py -> build/lib/benchexec/tools copying benchexec/tools/prtest.py -> build/lib/benchexec/tools copying benchexec/tools/smtlib2.py -> build/lib/benchexec/tools copying benchexec/tools/gacal.py -> build/lib/benchexec/tools copying benchexec/tools/testcov.py -> build/lib/benchexec/tools copying benchexec/tools/libkluzzer.py -> build/lib/benchexec/tools copying benchexec/tools/goblint.py -> build/lib/benchexec/tools copying benchexec/tools/infer.py -> build/lib/benchexec/tools copying benchexec/tools/wasp-c.py -> build/lib/benchexec/tools copying benchexec/tools/ultimategemcutter.py -> build/lib/benchexec/tools copying benchexec/tools/cseq.py -> build/lib/benchexec/tools copying benchexec/tools/smtinterpol.py -> build/lib/benchexec/tools copying benchexec/tools/ecav.py -> build/lib/benchexec/tools copying benchexec/tools/template.py -> build/lib/benchexec/tools copying benchexec/tools/klee.py -> build/lib/benchexec/tools copying benchexec/tools/javac.py -> build/lib/benchexec/tools copying benchexec/tools/symdivine.py -> build/lib/benchexec/tools copying benchexec/tools/ultimatekojak.py -> build/lib/benchexec/tools copying benchexec/tools/pesco.py -> build/lib/benchexec/tools copying benchexec/tools/condtest-pruner.py -> build/lib/benchexec/tools copying benchexec/tools/coveriteam.py -> build/lib/benchexec/tools copying benchexec/tools/feaver.py -> build/lib/benchexec/tools copying benchexec/tools/jpf.py -> build/lib/benchexec/tools copying benchexec/tools/pacman.py -> build/lib/benchexec/tools copying benchexec/tools/pichecker.py -> build/lib/benchexec/tools copying benchexec/tools/map2check.py -> build/lib/benchexec/tools copying benchexec/tools/tracerx.py -> build/lib/benchexec/tools copying benchexec/tools/java-ranger.py -> build/lib/benchexec/tools copying benchexec/tools/witnesslint.py -> build/lib/benchexec/tools copying benchexec/tools/llbmc.py -> build/lib/benchexec/tools copying benchexec/tools/seahorn.py -> build/lib/benchexec/tools copying benchexec/tools/wolverine.py -> build/lib/benchexec/tools copying benchexec/tools/metaval.py -> build/lib/benchexec/tools copying benchexec/tools/vvt.py -> build/lib/benchexec/tools copying benchexec/tools/blast.py -> build/lib/benchexec/tools copying benchexec/tools/pagai.py -> build/lib/benchexec/tools copying benchexec/tools/threader.py -> build/lib/benchexec/tools copying benchexec/tools/ultimateautomizer.py -> build/lib/benchexec/tools copying benchexec/tools/mopsa.py -> build/lib/benchexec/tools copying benchexec/tools/mlb.py -> build/lib/benchexec/tools copying benchexec/tools/dartagnan.py -> build/lib/benchexec/tools copying benchexec/tools/avr.py -> build/lib/benchexec/tools copying benchexec/tools/frama-c-sv.py -> build/lib/benchexec/tools copying benchexec/tools/korn.py -> build/lib/benchexec/tools copying benchexec/tools/acsar.py -> build/lib/benchexec/tools copying benchexec/tools/legion-symcc.py -> build/lib/benchexec/tools copying benchexec/tools/tbf.py -> build/lib/benchexec/tools copying benchexec/tools/coastal.py -> build/lib/benchexec/tools copying benchexec/tools/ceagle.py -> build/lib/benchexec/tools copying benchexec/tools/consequence.py -> build/lib/benchexec/tools copying benchexec/tools/jayhorn.py -> build/lib/benchexec/tools copying benchexec/tools/coveritest.py -> build/lib/benchexec/tools copying benchexec/tools/bubaak.py -> build/lib/benchexec/tools copying benchexec/tools/hiptnt.py -> build/lib/benchexec/tools copying benchexec/tools/dummy.py -> build/lib/benchexec/tools copying benchexec/tools/satabs.py -> build/lib/benchexec/tools copying benchexec/tools/wit4java.py -> build/lib/benchexec/tools copying benchexec/tools/graves-par.py -> build/lib/benchexec/tools copying benchexec/tools/impara.py -> build/lib/benchexec/tools copying benchexec/tools/btor2c.py -> build/lib/benchexec/tools copying benchexec/tools/cascade.py -> build/lib/benchexec/tools copying benchexec/tools/smack.py -> build/lib/benchexec/tools copying benchexec/tools/lart.py -> build/lib/benchexec/tools copying benchexec/tools/cmaesfuzz.py -> build/lib/benchexec/tools copying benchexec/tools/ultimatetaipan.py -> build/lib/benchexec/tools copying benchexec/tools/tabol.py -> build/lib/benchexec/tools copying benchexec/tools/fairfuzz.py -> build/lib/benchexec/tools copying benchexec/tools/verioover.py -> build/lib/benchexec/tools copying benchexec/tools/esbmc.py -> build/lib/benchexec/tools copying benchexec/tools/sv_benchmarks_util.py -> build/lib/benchexec/tools copying benchexec/tools/jbmc.py -> build/lib/benchexec/tools copying benchexec/tools/condtest-extractor.py -> build/lib/benchexec/tools copying benchexec/tools/symbiotic-witch.py -> build/lib/benchexec/tools copying benchexec/tools/ufo.py -> build/lib/benchexec/tools copying benchexec/tools/gdart.py -> build/lib/benchexec/tools copying benchexec/tools/graves.py -> build/lib/benchexec/tools copying benchexec/tools/lazycseqabs.py -> build/lib/benchexec/tools copying benchexec/tools/veriabsl.py -> build/lib/benchexec/tools copying benchexec/tools/yogar-cbmc-parallel.py -> build/lib/benchexec/tools copying benchexec/tools/lazycseqswarm.py -> build/lib/benchexec/tools copying benchexec/tools/false.py -> build/lib/benchexec/tools copying benchexec/tools/deagle.py -> build/lib/benchexec/tools copying benchexec/tools/forester.py -> build/lib/benchexec/tools copying benchexec/tools/kissat.py -> build/lib/benchexec/tools copying benchexec/tools/gazer-theta.py -> build/lib/benchexec/tools copying benchexec/tools/condtest-instrumenter.py -> build/lib/benchexec/tools copying benchexec/tools/aprove.py -> build/lib/benchexec/tools copying benchexec/tools/divine4.py -> build/lib/benchexec/tools copying benchexec/tools/viap.py -> build/lib/benchexec/tools copying benchexec/tools/fshell-witness2test.py -> build/lib/benchexec/tools copying benchexec/tools/mathsat.py -> build/lib/benchexec/tools copying benchexec/tools/pinaka.py -> build/lib/benchexec/tools copying benchexec/tools/symbiotic4.py -> build/lib/benchexec/tools copying benchexec/tools/frama-c.py -> build/lib/benchexec/tools copying benchexec/tools/vampire.py -> build/lib/benchexec/tools copying benchexec/tools/cpa-witness2test.py -> build/lib/benchexec/tools copying benchexec/tools/skink.py -> build/lib/benchexec/tools copying benchexec/tools/cbmc-path.py -> build/lib/benchexec/tools copying benchexec/tools/jdart.py -> build/lib/benchexec/tools copying benchexec/tools/condtest.py -> build/lib/benchexec/tools copying benchexec/tools/nitwit.py -> build/lib/benchexec/tools copying benchexec/tools/yogar-cbmc.py -> build/lib/benchexec/tools copying benchexec/tools/crux.py -> build/lib/benchexec/tools copying benchexec/tools/tbf_testsuite_validator.py -> build/lib/benchexec/tools copying benchexec/tools/depthk.py -> build/lib/benchexec/tools copying benchexec/tools/__init__.py -> build/lib/benchexec/tools copying benchexec/tools/locksmith.py -> build/lib/benchexec/tools copying benchexec/tools/divine.py -> build/lib/benchexec/tools copying benchexec/tools/ultimate.py -> build/lib/benchexec/tools copying benchexec/tools/lctd.py -> build/lib/benchexec/tools copying benchexec/tools/coveriteam-verifier-validator.py -> build/lib/benchexec/tools copying benchexec/tools/mucseq.py -> build/lib/benchexec/tools copying benchexec/tools/predatorhp.py -> build/lib/benchexec/tools copying benchexec/tools/civl.py -> build/lib/benchexec/tools copying benchexec/tools/ebf.py -> build/lib/benchexec/tools copying benchexec/tools/test.py -> build/lib/benchexec/tools copying benchexec/tools/sesl.py -> build/lib/benchexec/tools copying benchexec/tools/forest.py -> build/lib/benchexec/tools copying benchexec/tools/symbiotic.py -> build/lib/benchexec/tools copying benchexec/tools/ulcseq.py -> build/lib/benchexec/tools creating build/lib/benchexec/tablegenerator/react-table creating build/lib/benchexec/tablegenerator/react-table/build copying benchexec/tablegenerator/react-table/build/main.min.js -> build/lib/benchexec/tablegenerator/react-table/build copying benchexec/tablegenerator/react-table/build/vendors.min.js -> build/lib/benchexec/tablegenerator/react-table/build copying benchexec/tablegenerator/react-table/build/vendors.min.css -> build/lib/benchexec/tablegenerator/react-table/build copying benchexec/tablegenerator/react-table/build/main.min.css -> build/lib/benchexec/tablegenerator/react-table/build + sleep 1 + RPM_EC=0 ++ jobs -p + exit 0 Executing(%install): /bin/sh -e /var/tmp/rpm-tmp.9UwncN + umask 022 + cd /builddir/build/BUILD + '[' /builddir/build/BUILDROOT/python-BenchExec-3.16-1.x86_64 '!=' / ']' + rm -rf /builddir/build/BUILDROOT/python-BenchExec-3.16-1.x86_64 ++ dirname /builddir/build/BUILDROOT/python-BenchExec-3.16-1.x86_64 + mkdir -p /builddir/build/BUILDROOT + mkdir /builddir/build/BUILDROOT/python-BenchExec-3.16-1.x86_64 + cd BenchExec-3.16 + CFLAGS='-O2 -g -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -fstack-protector-strong -grecord-gcc-switches -specs=/usr/lib/rpm/generic-hardened-cc1 -m64 -mtune=generic -fasynchronous-unwind-tables -fstack-clash-protection ' + LDFLAGS='-Wl,-z,relro -Wl,-z,now -specs=/usr/lib/rpm/generic-hardened-ld' + /usr/bin/python3 setup.py install -O1 --skip-build --root /builddir/build/BUILDROOT/python-BenchExec-3.16-1.x86_64 /usr/lib/python3.9/site-packages/setuptools/installer.py:27: SetuptoolsDeprecationWarning: setuptools.installer is deprecated. Requirements should be satisfied by a PEP 517 installer. warnings.warn( WARNING: The wheel package is not available. WARNING: The wheel package is not available. WARNING: The wheel package is not available. running install /usr/lib/python3.9/site-packages/setuptools/command/install.py:34: SetuptoolsDeprecationWarning: setup.py install is deprecated. Use build and pip and other standards-based tools. warnings.warn( running install_lib creating /builddir/build/BUILDROOT/python-BenchExec-3.16-1.x86_64/usr creating /builddir/build/BUILDROOT/python-BenchExec-3.16-1.x86_64/usr/lib creating /builddir/build/BUILDROOT/python-BenchExec-3.16-1.x86_64/usr/lib/python3.9 creating /builddir/build/BUILDROOT/python-BenchExec-3.16-1.x86_64/usr/lib/python3.9/site-packages creating /builddir/build/BUILDROOT/python-BenchExec-3.16-1.x86_64/usr/lib/python3.9/site-packages/benchexec creating /builddir/build/BUILDROOT/python-BenchExec-3.16-1.x86_64/usr/lib/python3.9/site-packages/benchexec/tablegenerator creating /builddir/build/BUILDROOT/python-BenchExec-3.16-1.x86_64/usr/lib/python3.9/site-packages/benchexec/tablegenerator/react-table creating /builddir/build/BUILDROOT/python-BenchExec-3.16-1.x86_64/usr/lib/python3.9/site-packages/benchexec/tablegenerator/react-table/build copying build/lib/benchexec/tablegenerator/react-table/build/main.min.js -> /builddir/build/BUILDROOT/python-BenchExec-3.16-1.x86_64/usr/lib/python3.9/site-packages/benchexec/tablegenerator/react-table/build copying build/lib/benchexec/tablegenerator/react-table/build/vendors.min.css -> /builddir/build/BUILDROOT/python-BenchExec-3.16-1.x86_64/usr/lib/python3.9/site-packages/benchexec/tablegenerator/react-table/build copying build/lib/benchexec/tablegenerator/react-table/build/vendors.min.js -> /builddir/build/BUILDROOT/python-BenchExec-3.16-1.x86_64/usr/lib/python3.9/site-packages/benchexec/tablegenerator/react-table/build copying build/lib/benchexec/tablegenerator/react-table/build/main.min.css -> /builddir/build/BUILDROOT/python-BenchExec-3.16-1.x86_64/usr/lib/python3.9/site-packages/benchexec/tablegenerator/react-table/build copying build/lib/benchexec/tablegenerator/test_statvalue.py -> /builddir/build/BUILDROOT/python-BenchExec-3.16-1.x86_64/usr/lib/python3.9/site-packages/benchexec/tablegenerator copying build/lib/benchexec/tablegenerator/htmltable.py -> /builddir/build/BUILDROOT/python-BenchExec-3.16-1.x86_64/usr/lib/python3.9/site-packages/benchexec/tablegenerator copying build/lib/benchexec/tablegenerator/util.py -> /builddir/build/BUILDROOT/python-BenchExec-3.16-1.x86_64/usr/lib/python3.9/site-packages/benchexec/tablegenerator copying build/lib/benchexec/tablegenerator/columns.py -> /builddir/build/BUILDROOT/python-BenchExec-3.16-1.x86_64/usr/lib/python3.9/site-packages/benchexec/tablegenerator copying build/lib/benchexec/tablegenerator/statistics.py -> /builddir/build/BUILDROOT/python-BenchExec-3.16-1.x86_64/usr/lib/python3.9/site-packages/benchexec/tablegenerator copying build/lib/benchexec/tablegenerator/test_util.py -> /builddir/build/BUILDROOT/python-BenchExec-3.16-1.x86_64/usr/lib/python3.9/site-packages/benchexec/tablegenerator copying build/lib/benchexec/tablegenerator/__init__.py -> /builddir/build/BUILDROOT/python-BenchExec-3.16-1.x86_64/usr/lib/python3.9/site-packages/benchexec/tablegenerator copying build/lib/benchexec/tablegenerator/test_columns.py -> /builddir/build/BUILDROOT/python-BenchExec-3.16-1.x86_64/usr/lib/python3.9/site-packages/benchexec/tablegenerator copying build/lib/benchexec/tablegenerator/statisticstex.py -> /builddir/build/BUILDROOT/python-BenchExec-3.16-1.x86_64/usr/lib/python3.9/site-packages/benchexec/tablegenerator copying build/lib/benchexec/model.py -> /builddir/build/BUILDROOT/python-BenchExec-3.16-1.x86_64/usr/lib/python3.9/site-packages/benchexec copying build/lib/benchexec/libc.py -> /builddir/build/BUILDROOT/python-BenchExec-3.16-1.x86_64/usr/lib/python3.9/site-packages/benchexec copying build/lib/benchexec/result.py -> /builddir/build/BUILDROOT/python-BenchExec-3.16-1.x86_64/usr/lib/python3.9/site-packages/benchexec copying build/lib/benchexec/test_pqos.py -> /builddir/build/BUILDROOT/python-BenchExec-3.16-1.x86_64/usr/lib/python3.9/site-packages/benchexec copying build/lib/benchexec/baseexecutor.py -> /builddir/build/BUILDROOT/python-BenchExec-3.16-1.x86_64/usr/lib/python3.9/site-packages/benchexec copying build/lib/benchexec/test_tool_info.py -> /builddir/build/BUILDROOT/python-BenchExec-3.16-1.x86_64/usr/lib/python3.9/site-packages/benchexec copying build/lib/benchexec/pqos.py -> /builddir/build/BUILDROOT/python-BenchExec-3.16-1.x86_64/usr/lib/python3.9/site-packages/benchexec copying build/lib/benchexec/benchexec.py -> /builddir/build/BUILDROOT/python-BenchExec-3.16-1.x86_64/usr/lib/python3.9/site-packages/benchexec copying build/lib/benchexec/test_benchmark_definition.py -> /builddir/build/BUILDROOT/python-BenchExec-3.16-1.x86_64/usr/lib/python3.9/site-packages/benchexec copying build/lib/benchexec/resources.py -> /builddir/build/BUILDROOT/python-BenchExec-3.16-1.x86_64/usr/lib/python3.9/site-packages/benchexec copying build/lib/benchexec/tooladapter.py -> /builddir/build/BUILDROOT/python-BenchExec-3.16-1.x86_64/usr/lib/python3.9/site-packages/benchexec copying build/lib/benchexec/util.py -> /builddir/build/BUILDROOT/python-BenchExec-3.16-1.x86_64/usr/lib/python3.9/site-packages/benchexec copying build/lib/benchexec/containerized_tool.py -> /builddir/build/BUILDROOT/python-BenchExec-3.16-1.x86_64/usr/lib/python3.9/site-packages/benchexec copying build/lib/benchexec/filehierarchylimit.py -> /builddir/build/BUILDROOT/python-BenchExec-3.16-1.x86_64/usr/lib/python3.9/site-packages/benchexec copying build/lib/benchexec/test_result.py -> /builddir/build/BUILDROOT/python-BenchExec-3.16-1.x86_64/usr/lib/python3.9/site-packages/benchexec copying build/lib/benchexec/cgroups.py -> /builddir/build/BUILDROOT/python-BenchExec-3.16-1.x86_64/usr/lib/python3.9/site-packages/benchexec copying build/lib/benchexec/seccomp.py -> /builddir/build/BUILDROOT/python-BenchExec-3.16-1.x86_64/usr/lib/python3.9/site-packages/benchexec copying build/lib/benchexec/intel_cpu_energy.py -> /builddir/build/BUILDROOT/python-BenchExec-3.16-1.x86_64/usr/lib/python3.9/site-packages/benchexec copying build/lib/benchexec/test_core_assignment.py -> /builddir/build/BUILDROOT/python-BenchExec-3.16-1.x86_64/usr/lib/python3.9/site-packages/benchexec copying build/lib/benchexec/localexecution.py -> /builddir/build/BUILDROOT/python-BenchExec-3.16-1.x86_64/usr/lib/python3.9/site-packages/benchexec copying build/lib/benchexec/test_analyze_run_result.py -> /builddir/build/BUILDROOT/python-BenchExec-3.16-1.x86_64/usr/lib/python3.9/site-packages/benchexec copying build/lib/benchexec/check_cgroups.py -> /builddir/build/BUILDROOT/python-BenchExec-3.16-1.x86_64/usr/lib/python3.9/site-packages/benchexec creating /builddir/build/BUILDROOT/python-BenchExec-3.16-1.x86_64/usr/lib/python3.9/site-packages/benchexec/tools copying build/lib/benchexec/tools/cpachecker.py -> /builddir/build/BUILDROOT/python-BenchExec-3.16-1.x86_64/usr/lib/python3.9/site-packages/benchexec/tools copying build/lib/benchexec/tools/legion.py -> /builddir/build/BUILDROOT/python-BenchExec-3.16-1.x86_64/usr/lib/python3.9/site-packages/benchexec/tools copying build/lib/benchexec/tools/gwit.py -> /builddir/build/BUILDROOT/python-BenchExec-3.16-1.x86_64/usr/lib/python3.9/site-packages/benchexec/tools copying build/lib/benchexec/tools/cbmc.py -> /builddir/build/BUILDROOT/python-BenchExec-3.16-1.x86_64/usr/lib/python3.9/site-packages/benchexec/tools copying build/lib/benchexec/tools/theta.py -> /builddir/build/BUILDROOT/python-BenchExec-3.16-1.x86_64/usr/lib/python3.9/site-packages/benchexec/tools copying build/lib/benchexec/tools/hiprec.py -> /builddir/build/BUILDROOT/python-BenchExec-3.16-1.x86_64/usr/lib/python3.9/site-packages/benchexec/tools copying build/lib/benchexec/tools/fusebmc.py -> /builddir/build/BUILDROOT/python-BenchExec-3.16-1.x86_64/usr/lib/python3.9/site-packages/benchexec/tools copying build/lib/benchexec/tools/condtest-annotator.py -> /builddir/build/BUILDROOT/python-BenchExec-3.16-1.x86_64/usr/lib/python3.9/site-packages/benchexec/tools copying build/lib/benchexec/tools/brick.py -> /builddir/build/BUILDROOT/python-BenchExec-3.16-1.x86_64/usr/lib/python3.9/site-packages/benchexec/tools copying build/lib/benchexec/tools/two_ls.py -> /builddir/build/BUILDROOT/python-BenchExec-3.16-1.x86_64/usr/lib/python3.9/site-packages/benchexec/tools copying build/lib/benchexec/tools/z3.py -> /builddir/build/BUILDROOT/python-BenchExec-3.16-1.x86_64/usr/lib/python3.9/site-packages/benchexec/tools copying build/lib/benchexec/tools/abc.py -> /builddir/build/BUILDROOT/python-BenchExec-3.16-1.x86_64/usr/lib/python3.9/site-packages/benchexec/tools copying build/lib/benchexec/tools/verifuzz.py -> /builddir/build/BUILDROOT/python-BenchExec-3.16-1.x86_64/usr/lib/python3.9/site-packages/benchexec/tools copying build/lib/benchexec/tools/calculatepi.py -> /builddir/build/BUILDROOT/python-BenchExec-3.16-1.x86_64/usr/lib/python3.9/site-packages/benchexec/tools copying build/lib/benchexec/tools/spf.py -> /builddir/build/BUILDROOT/python-BenchExec-3.16-1.x86_64/usr/lib/python3.9/site-packages/benchexec/tools copying build/lib/benchexec/tools/lazycseq.py -> /builddir/build/BUILDROOT/python-BenchExec-3.16-1.x86_64/usr/lib/python3.9/site-packages/benchexec/tools copying build/lib/benchexec/tools/veriabs.py -> /builddir/build/BUILDROOT/python-BenchExec-3.16-1.x86_64/usr/lib/python3.9/site-packages/benchexec/tools copying build/lib/benchexec/tools/prtest.py -> /builddir/build/BUILDROOT/python-BenchExec-3.16-1.x86_64/usr/lib/python3.9/site-packages/benchexec/tools copying build/lib/benchexec/tools/smtlib2.py -> /builddir/build/BUILDROOT/python-BenchExec-3.16-1.x86_64/usr/lib/python3.9/site-packages/benchexec/tools copying build/lib/benchexec/tools/gacal.py -> /builddir/build/BUILDROOT/python-BenchExec-3.16-1.x86_64/usr/lib/python3.9/site-packages/benchexec/tools copying build/lib/benchexec/tools/testcov.py -> /builddir/build/BUILDROOT/python-BenchExec-3.16-1.x86_64/usr/lib/python3.9/site-packages/benchexec/tools copying build/lib/benchexec/tools/libkluzzer.py -> /builddir/build/BUILDROOT/python-BenchExec-3.16-1.x86_64/usr/lib/python3.9/site-packages/benchexec/tools copying build/lib/benchexec/tools/goblint.py -> /builddir/build/BUILDROOT/python-BenchExec-3.16-1.x86_64/usr/lib/python3.9/site-packages/benchexec/tools copying build/lib/benchexec/tools/infer.py -> /builddir/build/BUILDROOT/python-BenchExec-3.16-1.x86_64/usr/lib/python3.9/site-packages/benchexec/tools copying build/lib/benchexec/tools/wasp-c.py -> /builddir/build/BUILDROOT/python-BenchExec-3.16-1.x86_64/usr/lib/python3.9/site-packages/benchexec/tools copying build/lib/benchexec/tools/ultimategemcutter.py -> /builddir/build/BUILDROOT/python-BenchExec-3.16-1.x86_64/usr/lib/python3.9/site-packages/benchexec/tools copying build/lib/benchexec/tools/cseq.py -> /builddir/build/BUILDROOT/python-BenchExec-3.16-1.x86_64/usr/lib/python3.9/site-packages/benchexec/tools copying build/lib/benchexec/tools/smtinterpol.py -> /builddir/build/BUILDROOT/python-BenchExec-3.16-1.x86_64/usr/lib/python3.9/site-packages/benchexec/tools copying build/lib/benchexec/tools/ecav.py -> /builddir/build/BUILDROOT/python-BenchExec-3.16-1.x86_64/usr/lib/python3.9/site-packages/benchexec/tools copying build/lib/benchexec/tools/template.py -> /builddir/build/BUILDROOT/python-BenchExec-3.16-1.x86_64/usr/lib/python3.9/site-packages/benchexec/tools copying build/lib/benchexec/tools/klee.py -> /builddir/build/BUILDROOT/python-BenchExec-3.16-1.x86_64/usr/lib/python3.9/site-packages/benchexec/tools copying build/lib/benchexec/tools/javac.py -> /builddir/build/BUILDROOT/python-BenchExec-3.16-1.x86_64/usr/lib/python3.9/site-packages/benchexec/tools copying build/lib/benchexec/tools/symdivine.py -> /builddir/build/BUILDROOT/python-BenchExec-3.16-1.x86_64/usr/lib/python3.9/site-packages/benchexec/tools copying build/lib/benchexec/tools/ultimatekojak.py -> /builddir/build/BUILDROOT/python-BenchExec-3.16-1.x86_64/usr/lib/python3.9/site-packages/benchexec/tools copying build/lib/benchexec/tools/pesco.py -> /builddir/build/BUILDROOT/python-BenchExec-3.16-1.x86_64/usr/lib/python3.9/site-packages/benchexec/tools copying build/lib/benchexec/tools/condtest-pruner.py -> /builddir/build/BUILDROOT/python-BenchExec-3.16-1.x86_64/usr/lib/python3.9/site-packages/benchexec/tools copying build/lib/benchexec/tools/coveriteam.py -> /builddir/build/BUILDROOT/python-BenchExec-3.16-1.x86_64/usr/lib/python3.9/site-packages/benchexec/tools copying build/lib/benchexec/tools/feaver.py -> /builddir/build/BUILDROOT/python-BenchExec-3.16-1.x86_64/usr/lib/python3.9/site-packages/benchexec/tools copying build/lib/benchexec/tools/jpf.py -> /builddir/build/BUILDROOT/python-BenchExec-3.16-1.x86_64/usr/lib/python3.9/site-packages/benchexec/tools copying build/lib/benchexec/tools/pacman.py -> /builddir/build/BUILDROOT/python-BenchExec-3.16-1.x86_64/usr/lib/python3.9/site-packages/benchexec/tools copying build/lib/benchexec/tools/pichecker.py -> /builddir/build/BUILDROOT/python-BenchExec-3.16-1.x86_64/usr/lib/python3.9/site-packages/benchexec/tools copying build/lib/benchexec/tools/map2check.py -> /builddir/build/BUILDROOT/python-BenchExec-3.16-1.x86_64/usr/lib/python3.9/site-packages/benchexec/tools copying build/lib/benchexec/tools/tracerx.py -> /builddir/build/BUILDROOT/python-BenchExec-3.16-1.x86_64/usr/lib/python3.9/site-packages/benchexec/tools copying build/lib/benchexec/tools/java-ranger.py -> /builddir/build/BUILDROOT/python-BenchExec-3.16-1.x86_64/usr/lib/python3.9/site-packages/benchexec/tools copying build/lib/benchexec/tools/witnesslint.py -> /builddir/build/BUILDROOT/python-BenchExec-3.16-1.x86_64/usr/lib/python3.9/site-packages/benchexec/tools copying build/lib/benchexec/tools/llbmc.py -> /builddir/build/BUILDROOT/python-BenchExec-3.16-1.x86_64/usr/lib/python3.9/site-packages/benchexec/tools copying build/lib/benchexec/tools/seahorn.py -> /builddir/build/BUILDROOT/python-BenchExec-3.16-1.x86_64/usr/lib/python3.9/site-packages/benchexec/tools copying build/lib/benchexec/tools/wolverine.py -> /builddir/build/BUILDROOT/python-BenchExec-3.16-1.x86_64/usr/lib/python3.9/site-packages/benchexec/tools copying build/lib/benchexec/tools/metaval.py -> /builddir/build/BUILDROOT/python-BenchExec-3.16-1.x86_64/usr/lib/python3.9/site-packages/benchexec/tools copying build/lib/benchexec/tools/vvt.py -> /builddir/build/BUILDROOT/python-BenchExec-3.16-1.x86_64/usr/lib/python3.9/site-packages/benchexec/tools copying build/lib/benchexec/tools/blast.py -> /builddir/build/BUILDROOT/python-BenchExec-3.16-1.x86_64/usr/lib/python3.9/site-packages/benchexec/tools copying build/lib/benchexec/tools/pagai.py -> /builddir/build/BUILDROOT/python-BenchExec-3.16-1.x86_64/usr/lib/python3.9/site-packages/benchexec/tools copying build/lib/benchexec/tools/threader.py -> /builddir/build/BUILDROOT/python-BenchExec-3.16-1.x86_64/usr/lib/python3.9/site-packages/benchexec/tools copying build/lib/benchexec/tools/ultimateautomizer.py -> /builddir/build/BUILDROOT/python-BenchExec-3.16-1.x86_64/usr/lib/python3.9/site-packages/benchexec/tools copying build/lib/benchexec/tools/mopsa.py -> /builddir/build/BUILDROOT/python-BenchExec-3.16-1.x86_64/usr/lib/python3.9/site-packages/benchexec/tools copying build/lib/benchexec/tools/mlb.py -> /builddir/build/BUILDROOT/python-BenchExec-3.16-1.x86_64/usr/lib/python3.9/site-packages/benchexec/tools copying build/lib/benchexec/tools/dartagnan.py -> /builddir/build/BUILDROOT/python-BenchExec-3.16-1.x86_64/usr/lib/python3.9/site-packages/benchexec/tools copying build/lib/benchexec/tools/avr.py -> /builddir/build/BUILDROOT/python-BenchExec-3.16-1.x86_64/usr/lib/python3.9/site-packages/benchexec/tools copying build/lib/benchexec/tools/frama-c-sv.py -> /builddir/build/BUILDROOT/python-BenchExec-3.16-1.x86_64/usr/lib/python3.9/site-packages/benchexec/tools copying build/lib/benchexec/tools/korn.py -> /builddir/build/BUILDROOT/python-BenchExec-3.16-1.x86_64/usr/lib/python3.9/site-packages/benchexec/tools copying build/lib/benchexec/tools/acsar.py -> /builddir/build/BUILDROOT/python-BenchExec-3.16-1.x86_64/usr/lib/python3.9/site-packages/benchexec/tools copying build/lib/benchexec/tools/legion-symcc.py -> /builddir/build/BUILDROOT/python-BenchExec-3.16-1.x86_64/usr/lib/python3.9/site-packages/benchexec/tools copying build/lib/benchexec/tools/tbf.py -> /builddir/build/BUILDROOT/python-BenchExec-3.16-1.x86_64/usr/lib/python3.9/site-packages/benchexec/tools copying build/lib/benchexec/tools/coastal.py -> /builddir/build/BUILDROOT/python-BenchExec-3.16-1.x86_64/usr/lib/python3.9/site-packages/benchexec/tools copying build/lib/benchexec/tools/ceagle.py -> /builddir/build/BUILDROOT/python-BenchExec-3.16-1.x86_64/usr/lib/python3.9/site-packages/benchexec/tools copying build/lib/benchexec/tools/consequence.py -> /builddir/build/BUILDROOT/python-BenchExec-3.16-1.x86_64/usr/lib/python3.9/site-packages/benchexec/tools copying build/lib/benchexec/tools/jayhorn.py -> /builddir/build/BUILDROOT/python-BenchExec-3.16-1.x86_64/usr/lib/python3.9/site-packages/benchexec/tools copying build/lib/benchexec/tools/coveritest.py -> /builddir/build/BUILDROOT/python-BenchExec-3.16-1.x86_64/usr/lib/python3.9/site-packages/benchexec/tools copying build/lib/benchexec/tools/bubaak.py -> /builddir/build/BUILDROOT/python-BenchExec-3.16-1.x86_64/usr/lib/python3.9/site-packages/benchexec/tools copying build/lib/benchexec/tools/hiptnt.py -> /builddir/build/BUILDROOT/python-BenchExec-3.16-1.x86_64/usr/lib/python3.9/site-packages/benchexec/tools copying build/lib/benchexec/tools/dummy.py -> /builddir/build/BUILDROOT/python-BenchExec-3.16-1.x86_64/usr/lib/python3.9/site-packages/benchexec/tools copying build/lib/benchexec/tools/satabs.py -> /builddir/build/BUILDROOT/python-BenchExec-3.16-1.x86_64/usr/lib/python3.9/site-packages/benchexec/tools copying build/lib/benchexec/tools/wit4java.py -> /builddir/build/BUILDROOT/python-BenchExec-3.16-1.x86_64/usr/lib/python3.9/site-packages/benchexec/tools copying build/lib/benchexec/tools/graves-par.py -> /builddir/build/BUILDROOT/python-BenchExec-3.16-1.x86_64/usr/lib/python3.9/site-packages/benchexec/tools copying build/lib/benchexec/tools/impara.py -> /builddir/build/BUILDROOT/python-BenchExec-3.16-1.x86_64/usr/lib/python3.9/site-packages/benchexec/tools copying build/lib/benchexec/tools/btor2c.py -> /builddir/build/BUILDROOT/python-BenchExec-3.16-1.x86_64/usr/lib/python3.9/site-packages/benchexec/tools copying build/lib/benchexec/tools/cascade.py -> /builddir/build/BUILDROOT/python-BenchExec-3.16-1.x86_64/usr/lib/python3.9/site-packages/benchexec/tools copying build/lib/benchexec/tools/smack.py -> /builddir/build/BUILDROOT/python-BenchExec-3.16-1.x86_64/usr/lib/python3.9/site-packages/benchexec/tools copying build/lib/benchexec/tools/lart.py -> /builddir/build/BUILDROOT/python-BenchExec-3.16-1.x86_64/usr/lib/python3.9/site-packages/benchexec/tools copying build/lib/benchexec/tools/cmaesfuzz.py -> /builddir/build/BUILDROOT/python-BenchExec-3.16-1.x86_64/usr/lib/python3.9/site-packages/benchexec/tools copying build/lib/benchexec/tools/ultimatetaipan.py -> /builddir/build/BUILDROOT/python-BenchExec-3.16-1.x86_64/usr/lib/python3.9/site-packages/benchexec/tools copying build/lib/benchexec/tools/tabol.py -> /builddir/build/BUILDROOT/python-BenchExec-3.16-1.x86_64/usr/lib/python3.9/site-packages/benchexec/tools copying build/lib/benchexec/tools/fairfuzz.py -> /builddir/build/BUILDROOT/python-BenchExec-3.16-1.x86_64/usr/lib/python3.9/site-packages/benchexec/tools copying build/lib/benchexec/tools/verioover.py -> /builddir/build/BUILDROOT/python-BenchExec-3.16-1.x86_64/usr/lib/python3.9/site-packages/benchexec/tools copying build/lib/benchexec/tools/esbmc.py -> /builddir/build/BUILDROOT/python-BenchExec-3.16-1.x86_64/usr/lib/python3.9/site-packages/benchexec/tools copying build/lib/benchexec/tools/sv_benchmarks_util.py -> /builddir/build/BUILDROOT/python-BenchExec-3.16-1.x86_64/usr/lib/python3.9/site-packages/benchexec/tools copying build/lib/benchexec/tools/jbmc.py -> /builddir/build/BUILDROOT/python-BenchExec-3.16-1.x86_64/usr/lib/python3.9/site-packages/benchexec/tools copying build/lib/benchexec/tools/condtest-extractor.py -> /builddir/build/BUILDROOT/python-BenchExec-3.16-1.x86_64/usr/lib/python3.9/site-packages/benchexec/tools copying build/lib/benchexec/tools/symbiotic-witch.py -> /builddir/build/BUILDROOT/python-BenchExec-3.16-1.x86_64/usr/lib/python3.9/site-packages/benchexec/tools copying build/lib/benchexec/tools/ufo.py -> /builddir/build/BUILDROOT/python-BenchExec-3.16-1.x86_64/usr/lib/python3.9/site-packages/benchexec/tools copying build/lib/benchexec/tools/gdart.py -> /builddir/build/BUILDROOT/python-BenchExec-3.16-1.x86_64/usr/lib/python3.9/site-packages/benchexec/tools copying build/lib/benchexec/tools/graves.py -> /builddir/build/BUILDROOT/python-BenchExec-3.16-1.x86_64/usr/lib/python3.9/site-packages/benchexec/tools copying build/lib/benchexec/tools/lazycseqabs.py -> /builddir/build/BUILDROOT/python-BenchExec-3.16-1.x86_64/usr/lib/python3.9/site-packages/benchexec/tools copying build/lib/benchexec/tools/veriabsl.py -> /builddir/build/BUILDROOT/python-BenchExec-3.16-1.x86_64/usr/lib/python3.9/site-packages/benchexec/tools copying build/lib/benchexec/tools/yogar-cbmc-parallel.py -> /builddir/build/BUILDROOT/python-BenchExec-3.16-1.x86_64/usr/lib/python3.9/site-packages/benchexec/tools copying build/lib/benchexec/tools/lazycseqswarm.py -> /builddir/build/BUILDROOT/python-BenchExec-3.16-1.x86_64/usr/lib/python3.9/site-packages/benchexec/tools copying build/lib/benchexec/tools/false.py -> /builddir/build/BUILDROOT/python-BenchExec-3.16-1.x86_64/usr/lib/python3.9/site-packages/benchexec/tools copying build/lib/benchexec/tools/deagle.py -> /builddir/build/BUILDROOT/python-BenchExec-3.16-1.x86_64/usr/lib/python3.9/site-packages/benchexec/tools copying build/lib/benchexec/tools/forester.py -> /builddir/build/BUILDROOT/python-BenchExec-3.16-1.x86_64/usr/lib/python3.9/site-packages/benchexec/tools copying build/lib/benchexec/tools/kissat.py -> /builddir/build/BUILDROOT/python-BenchExec-3.16-1.x86_64/usr/lib/python3.9/site-packages/benchexec/tools copying build/lib/benchexec/tools/gazer-theta.py -> /builddir/build/BUILDROOT/python-BenchExec-3.16-1.x86_64/usr/lib/python3.9/site-packages/benchexec/tools copying build/lib/benchexec/tools/condtest-instrumenter.py -> /builddir/build/BUILDROOT/python-BenchExec-3.16-1.x86_64/usr/lib/python3.9/site-packages/benchexec/tools copying build/lib/benchexec/tools/aprove.py -> /builddir/build/BUILDROOT/python-BenchExec-3.16-1.x86_64/usr/lib/python3.9/site-packages/benchexec/tools copying build/lib/benchexec/tools/divine4.py -> /builddir/build/BUILDROOT/python-BenchExec-3.16-1.x86_64/usr/lib/python3.9/site-packages/benchexec/tools copying build/lib/benchexec/tools/viap.py -> /builddir/build/BUILDROOT/python-BenchExec-3.16-1.x86_64/usr/lib/python3.9/site-packages/benchexec/tools copying build/lib/benchexec/tools/fshell-witness2test.py -> /builddir/build/BUILDROOT/python-BenchExec-3.16-1.x86_64/usr/lib/python3.9/site-packages/benchexec/tools copying build/lib/benchexec/tools/mathsat.py -> /builddir/build/BUILDROOT/python-BenchExec-3.16-1.x86_64/usr/lib/python3.9/site-packages/benchexec/tools copying build/lib/benchexec/tools/pinaka.py -> /builddir/build/BUILDROOT/python-BenchExec-3.16-1.x86_64/usr/lib/python3.9/site-packages/benchexec/tools copying build/lib/benchexec/tools/symbiotic4.py -> /builddir/build/BUILDROOT/python-BenchExec-3.16-1.x86_64/usr/lib/python3.9/site-packages/benchexec/tools copying build/lib/benchexec/tools/frama-c.py -> /builddir/build/BUILDROOT/python-BenchExec-3.16-1.x86_64/usr/lib/python3.9/site-packages/benchexec/tools copying build/lib/benchexec/tools/vampire.py -> /builddir/build/BUILDROOT/python-BenchExec-3.16-1.x86_64/usr/lib/python3.9/site-packages/benchexec/tools copying build/lib/benchexec/tools/cpa-witness2test.py -> /builddir/build/BUILDROOT/python-BenchExec-3.16-1.x86_64/usr/lib/python3.9/site-packages/benchexec/tools copying build/lib/benchexec/tools/skink.py -> /builddir/build/BUILDROOT/python-BenchExec-3.16-1.x86_64/usr/lib/python3.9/site-packages/benchexec/tools copying build/lib/benchexec/tools/cbmc-path.py -> /builddir/build/BUILDROOT/python-BenchExec-3.16-1.x86_64/usr/lib/python3.9/site-packages/benchexec/tools copying build/lib/benchexec/tools/jdart.py -> /builddir/build/BUILDROOT/python-BenchExec-3.16-1.x86_64/usr/lib/python3.9/site-packages/benchexec/tools copying build/lib/benchexec/tools/condtest.py -> /builddir/build/BUILDROOT/python-BenchExec-3.16-1.x86_64/usr/lib/python3.9/site-packages/benchexec/tools copying build/lib/benchexec/tools/nitwit.py -> /builddir/build/BUILDROOT/python-BenchExec-3.16-1.x86_64/usr/lib/python3.9/site-packages/benchexec/tools copying build/lib/benchexec/tools/yogar-cbmc.py -> /builddir/build/BUILDROOT/python-BenchExec-3.16-1.x86_64/usr/lib/python3.9/site-packages/benchexec/tools copying build/lib/benchexec/tools/crux.py -> /builddir/build/BUILDROOT/python-BenchExec-3.16-1.x86_64/usr/lib/python3.9/site-packages/benchexec/tools copying build/lib/benchexec/tools/tbf_testsuite_validator.py -> /builddir/build/BUILDROOT/python-BenchExec-3.16-1.x86_64/usr/lib/python3.9/site-packages/benchexec/tools copying build/lib/benchexec/tools/depthk.py -> /builddir/build/BUILDROOT/python-BenchExec-3.16-1.x86_64/usr/lib/python3.9/site-packages/benchexec/tools copying build/lib/benchexec/tools/__init__.py -> /builddir/build/BUILDROOT/python-BenchExec-3.16-1.x86_64/usr/lib/python3.9/site-packages/benchexec/tools copying build/lib/benchexec/tools/locksmith.py -> /builddir/build/BUILDROOT/python-BenchExec-3.16-1.x86_64/usr/lib/python3.9/site-packages/benchexec/tools copying build/lib/benchexec/tools/divine.py -> /builddir/build/BUILDROOT/python-BenchExec-3.16-1.x86_64/usr/lib/python3.9/site-packages/benchexec/tools copying build/lib/benchexec/tools/ultimate.py -> /builddir/build/BUILDROOT/python-BenchExec-3.16-1.x86_64/usr/lib/python3.9/site-packages/benchexec/tools copying build/lib/benchexec/tools/lctd.py -> /builddir/build/BUILDROOT/python-BenchExec-3.16-1.x86_64/usr/lib/python3.9/site-packages/benchexec/tools copying build/lib/benchexec/tools/coveriteam-verifier-validator.py -> /builddir/build/BUILDROOT/python-BenchExec-3.16-1.x86_64/usr/lib/python3.9/site-packages/benchexec/tools copying build/lib/benchexec/tools/mucseq.py -> /builddir/build/BUILDROOT/python-BenchExec-3.16-1.x86_64/usr/lib/python3.9/site-packages/benchexec/tools copying build/lib/benchexec/tools/predatorhp.py -> /builddir/build/BUILDROOT/python-BenchExec-3.16-1.x86_64/usr/lib/python3.9/site-packages/benchexec/tools copying build/lib/benchexec/tools/civl.py -> /builddir/build/BUILDROOT/python-BenchExec-3.16-1.x86_64/usr/lib/python3.9/site-packages/benchexec/tools copying build/lib/benchexec/tools/ebf.py -> /builddir/build/BUILDROOT/python-BenchExec-3.16-1.x86_64/usr/lib/python3.9/site-packages/benchexec/tools copying build/lib/benchexec/tools/test.py -> /builddir/build/BUILDROOT/python-BenchExec-3.16-1.x86_64/usr/lib/python3.9/site-packages/benchexec/tools copying build/lib/benchexec/tools/sesl.py -> /builddir/build/BUILDROOT/python-BenchExec-3.16-1.x86_64/usr/lib/python3.9/site-packages/benchexec/tools copying build/lib/benchexec/tools/forest.py -> /builddir/build/BUILDROOT/python-BenchExec-3.16-1.x86_64/usr/lib/python3.9/site-packages/benchexec/tools copying build/lib/benchexec/tools/symbiotic.py -> /builddir/build/BUILDROOT/python-BenchExec-3.16-1.x86_64/usr/lib/python3.9/site-packages/benchexec/tools copying build/lib/benchexec/tools/ulcseq.py -> /builddir/build/BUILDROOT/python-BenchExec-3.16-1.x86_64/usr/lib/python3.9/site-packages/benchexec/tools copying build/lib/benchexec/test_cgroups.py -> /builddir/build/BUILDROOT/python-BenchExec-3.16-1.x86_64/usr/lib/python3.9/site-packages/benchexec copying build/lib/benchexec/container.py -> /builddir/build/BUILDROOT/python-BenchExec-3.16-1.x86_64/usr/lib/python3.9/site-packages/benchexec copying build/lib/benchexec/outputhandler.py -> /builddir/build/BUILDROOT/python-BenchExec-3.16-1.x86_64/usr/lib/python3.9/site-packages/benchexec copying build/lib/benchexec/filewriter.py -> /builddir/build/BUILDROOT/python-BenchExec-3.16-1.x86_64/usr/lib/python3.9/site-packages/benchexec copying build/lib/benchexec/test_util.py -> /builddir/build/BUILDROOT/python-BenchExec-3.16-1.x86_64/usr/lib/python3.9/site-packages/benchexec copying build/lib/benchexec/__init__.py -> /builddir/build/BUILDROOT/python-BenchExec-3.16-1.x86_64/usr/lib/python3.9/site-packages/benchexec copying build/lib/benchexec/systeminfo.py -> /builddir/build/BUILDROOT/python-BenchExec-3.16-1.x86_64/usr/lib/python3.9/site-packages/benchexec copying build/lib/benchexec/test_runexecutor.py -> /builddir/build/BUILDROOT/python-BenchExec-3.16-1.x86_64/usr/lib/python3.9/site-packages/benchexec copying build/lib/benchexec/runexecutor.py -> /builddir/build/BUILDROOT/python-BenchExec-3.16-1.x86_64/usr/lib/python3.9/site-packages/benchexec copying build/lib/benchexec/containerexecutor.py -> /builddir/build/BUILDROOT/python-BenchExec-3.16-1.x86_64/usr/lib/python3.9/site-packages/benchexec copying build/lib/benchexec/oomhandler.py -> /builddir/build/BUILDROOT/python-BenchExec-3.16-1.x86_64/usr/lib/python3.9/site-packages/benchexec byte-compiling /builddir/build/BUILDROOT/python-BenchExec-3.16-1.x86_64/usr/lib/python3.9/site-packages/benchexec/tablegenerator/test_statvalue.py to test_statvalue.cpython-39.pyc byte-compiling /builddir/build/BUILDROOT/python-BenchExec-3.16-1.x86_64/usr/lib/python3.9/site-packages/benchexec/tablegenerator/htmltable.py to htmltable.cpython-39.pyc byte-compiling /builddir/build/BUILDROOT/python-BenchExec-3.16-1.x86_64/usr/lib/python3.9/site-packages/benchexec/tablegenerator/util.py to util.cpython-39.pyc byte-compiling /builddir/build/BUILDROOT/python-BenchExec-3.16-1.x86_64/usr/lib/python3.9/site-packages/benchexec/tablegenerator/columns.py to columns.cpython-39.pyc byte-compiling /builddir/build/BUILDROOT/python-BenchExec-3.16-1.x86_64/usr/lib/python3.9/site-packages/benchexec/tablegenerator/statistics.py to statistics.cpython-39.pyc byte-compiling /builddir/build/BUILDROOT/python-BenchExec-3.16-1.x86_64/usr/lib/python3.9/site-packages/benchexec/tablegenerator/test_util.py to test_util.cpython-39.pyc byte-compiling /builddir/build/BUILDROOT/python-BenchExec-3.16-1.x86_64/usr/lib/python3.9/site-packages/benchexec/tablegenerator/__init__.py to __init__.cpython-39.pyc byte-compiling /builddir/build/BUILDROOT/python-BenchExec-3.16-1.x86_64/usr/lib/python3.9/site-packages/benchexec/tablegenerator/test_columns.py to test_columns.cpython-39.pyc byte-compiling /builddir/build/BUILDROOT/python-BenchExec-3.16-1.x86_64/usr/lib/python3.9/site-packages/benchexec/tablegenerator/statisticstex.py to statisticstex.cpython-39.pyc byte-compiling /builddir/build/BUILDROOT/python-BenchExec-3.16-1.x86_64/usr/lib/python3.9/site-packages/benchexec/model.py to model.cpython-39.pyc byte-compiling /builddir/build/BUILDROOT/python-BenchExec-3.16-1.x86_64/usr/lib/python3.9/site-packages/benchexec/libc.py to libc.cpython-39.pyc byte-compiling /builddir/build/BUILDROOT/python-BenchExec-3.16-1.x86_64/usr/lib/python3.9/site-packages/benchexec/result.py to result.cpython-39.pyc byte-compiling /builddir/build/BUILDROOT/python-BenchExec-3.16-1.x86_64/usr/lib/python3.9/site-packages/benchexec/test_pqos.py to test_pqos.cpython-39.pyc byte-compiling /builddir/build/BUILDROOT/python-BenchExec-3.16-1.x86_64/usr/lib/python3.9/site-packages/benchexec/baseexecutor.py to baseexecutor.cpython-39.pyc byte-compiling /builddir/build/BUILDROOT/python-BenchExec-3.16-1.x86_64/usr/lib/python3.9/site-packages/benchexec/test_tool_info.py to test_tool_info.cpython-39.pyc byte-compiling /builddir/build/BUILDROOT/python-BenchExec-3.16-1.x86_64/usr/lib/python3.9/site-packages/benchexec/pqos.py to pqos.cpython-39.pyc byte-compiling /builddir/build/BUILDROOT/python-BenchExec-3.16-1.x86_64/usr/lib/python3.9/site-packages/benchexec/benchexec.py to benchexec.cpython-39.pyc byte-compiling /builddir/build/BUILDROOT/python-BenchExec-3.16-1.x86_64/usr/lib/python3.9/site-packages/benchexec/test_benchmark_definition.py to test_benchmark_definition.cpython-39.pyc byte-compiling /builddir/build/BUILDROOT/python-BenchExec-3.16-1.x86_64/usr/lib/python3.9/site-packages/benchexec/resources.py to resources.cpython-39.pyc byte-compiling /builddir/build/BUILDROOT/python-BenchExec-3.16-1.x86_64/usr/lib/python3.9/site-packages/benchexec/tooladapter.py to tooladapter.cpython-39.pyc byte-compiling /builddir/build/BUILDROOT/python-BenchExec-3.16-1.x86_64/usr/lib/python3.9/site-packages/benchexec/util.py to util.cpython-39.pyc byte-compiling /builddir/build/BUILDROOT/python-BenchExec-3.16-1.x86_64/usr/lib/python3.9/site-packages/benchexec/containerized_tool.py to containerized_tool.cpython-39.pyc byte-compiling /builddir/build/BUILDROOT/python-BenchExec-3.16-1.x86_64/usr/lib/python3.9/site-packages/benchexec/filehierarchylimit.py to filehierarchylimit.cpython-39.pyc byte-compiling /builddir/build/BUILDROOT/python-BenchExec-3.16-1.x86_64/usr/lib/python3.9/site-packages/benchexec/test_result.py to test_result.cpython-39.pyc byte-compiling /builddir/build/BUILDROOT/python-BenchExec-3.16-1.x86_64/usr/lib/python3.9/site-packages/benchexec/cgroups.py to cgroups.cpython-39.pyc byte-compiling /builddir/build/BUILDROOT/python-BenchExec-3.16-1.x86_64/usr/lib/python3.9/site-packages/benchexec/seccomp.py to seccomp.cpython-39.pyc byte-compiling /builddir/build/BUILDROOT/python-BenchExec-3.16-1.x86_64/usr/lib/python3.9/site-packages/benchexec/intel_cpu_energy.py to intel_cpu_energy.cpython-39.pyc byte-compiling /builddir/build/BUILDROOT/python-BenchExec-3.16-1.x86_64/usr/lib/python3.9/site-packages/benchexec/test_core_assignment.py to test_core_assignment.cpython-39.pyc byte-compiling /builddir/build/BUILDROOT/python-BenchExec-3.16-1.x86_64/usr/lib/python3.9/site-packages/benchexec/localexecution.py to localexecution.cpython-39.pyc byte-compiling /builddir/build/BUILDROOT/python-BenchExec-3.16-1.x86_64/usr/lib/python3.9/site-packages/benchexec/test_analyze_run_result.py to test_analyze_run_result.cpython-39.pyc byte-compiling /builddir/build/BUILDROOT/python-BenchExec-3.16-1.x86_64/usr/lib/python3.9/site-packages/benchexec/check_cgroups.py to check_cgroups.cpython-39.pyc byte-compiling /builddir/build/BUILDROOT/python-BenchExec-3.16-1.x86_64/usr/lib/python3.9/site-packages/benchexec/tools/cpachecker.py to cpachecker.cpython-39.pyc byte-compiling /builddir/build/BUILDROOT/python-BenchExec-3.16-1.x86_64/usr/lib/python3.9/site-packages/benchexec/tools/legion.py to legion.cpython-39.pyc byte-compiling /builddir/build/BUILDROOT/python-BenchExec-3.16-1.x86_64/usr/lib/python3.9/site-packages/benchexec/tools/gwit.py to gwit.cpython-39.pyc byte-compiling /builddir/build/BUILDROOT/python-BenchExec-3.16-1.x86_64/usr/lib/python3.9/site-packages/benchexec/tools/cbmc.py to cbmc.cpython-39.pyc byte-compiling /builddir/build/BUILDROOT/python-BenchExec-3.16-1.x86_64/usr/lib/python3.9/site-packages/benchexec/tools/theta.py to theta.cpython-39.pyc byte-compiling /builddir/build/BUILDROOT/python-BenchExec-3.16-1.x86_64/usr/lib/python3.9/site-packages/benchexec/tools/hiprec.py to hiprec.cpython-39.pyc byte-compiling /builddir/build/BUILDROOT/python-BenchExec-3.16-1.x86_64/usr/lib/python3.9/site-packages/benchexec/tools/fusebmc.py to fusebmc.cpython-39.pyc byte-compiling /builddir/build/BUILDROOT/python-BenchExec-3.16-1.x86_64/usr/lib/python3.9/site-packages/benchexec/tools/condtest-annotator.py to condtest-annotator.cpython-39.pyc byte-compiling /builddir/build/BUILDROOT/python-BenchExec-3.16-1.x86_64/usr/lib/python3.9/site-packages/benchexec/tools/brick.py to brick.cpython-39.pyc byte-compiling /builddir/build/BUILDROOT/python-BenchExec-3.16-1.x86_64/usr/lib/python3.9/site-packages/benchexec/tools/two_ls.py to two_ls.cpython-39.pyc byte-compiling /builddir/build/BUILDROOT/python-BenchExec-3.16-1.x86_64/usr/lib/python3.9/site-packages/benchexec/tools/z3.py to z3.cpython-39.pyc byte-compiling /builddir/build/BUILDROOT/python-BenchExec-3.16-1.x86_64/usr/lib/python3.9/site-packages/benchexec/tools/abc.py to abc.cpython-39.pyc byte-compiling /builddir/build/BUILDROOT/python-BenchExec-3.16-1.x86_64/usr/lib/python3.9/site-packages/benchexec/tools/verifuzz.py to verifuzz.cpython-39.pyc byte-compiling /builddir/build/BUILDROOT/python-BenchExec-3.16-1.x86_64/usr/lib/python3.9/site-packages/benchexec/tools/calculatepi.py to calculatepi.cpython-39.pyc byte-compiling /builddir/build/BUILDROOT/python-BenchExec-3.16-1.x86_64/usr/lib/python3.9/site-packages/benchexec/tools/spf.py to spf.cpython-39.pyc byte-compiling /builddir/build/BUILDROOT/python-BenchExec-3.16-1.x86_64/usr/lib/python3.9/site-packages/benchexec/tools/lazycseq.py to lazycseq.cpython-39.pyc byte-compiling /builddir/build/BUILDROOT/python-BenchExec-3.16-1.x86_64/usr/lib/python3.9/site-packages/benchexec/tools/veriabs.py to veriabs.cpython-39.pyc byte-compiling /builddir/build/BUILDROOT/python-BenchExec-3.16-1.x86_64/usr/lib/python3.9/site-packages/benchexec/tools/prtest.py to prtest.cpython-39.pyc byte-compiling /builddir/build/BUILDROOT/python-BenchExec-3.16-1.x86_64/usr/lib/python3.9/site-packages/benchexec/tools/smtlib2.py to smtlib2.cpython-39.pyc byte-compiling /builddir/build/BUILDROOT/python-BenchExec-3.16-1.x86_64/usr/lib/python3.9/site-packages/benchexec/tools/gacal.py to gacal.cpython-39.pyc byte-compiling /builddir/build/BUILDROOT/python-BenchExec-3.16-1.x86_64/usr/lib/python3.9/site-packages/benchexec/tools/testcov.py to testcov.cpython-39.pyc byte-compiling /builddir/build/BUILDROOT/python-BenchExec-3.16-1.x86_64/usr/lib/python3.9/site-packages/benchexec/tools/libkluzzer.py to libkluzzer.cpython-39.pyc byte-compiling /builddir/build/BUILDROOT/python-BenchExec-3.16-1.x86_64/usr/lib/python3.9/site-packages/benchexec/tools/goblint.py to goblint.cpython-39.pyc byte-compiling /builddir/build/BUILDROOT/python-BenchExec-3.16-1.x86_64/usr/lib/python3.9/site-packages/benchexec/tools/infer.py to infer.cpython-39.pyc byte-compiling /builddir/build/BUILDROOT/python-BenchExec-3.16-1.x86_64/usr/lib/python3.9/site-packages/benchexec/tools/wasp-c.py to wasp-c.cpython-39.pyc byte-compiling /builddir/build/BUILDROOT/python-BenchExec-3.16-1.x86_64/usr/lib/python3.9/site-packages/benchexec/tools/ultimategemcutter.py to ultimategemcutter.cpython-39.pyc byte-compiling /builddir/build/BUILDROOT/python-BenchExec-3.16-1.x86_64/usr/lib/python3.9/site-packages/benchexec/tools/cseq.py to cseq.cpython-39.pyc byte-compiling /builddir/build/BUILDROOT/python-BenchExec-3.16-1.x86_64/usr/lib/python3.9/site-packages/benchexec/tools/smtinterpol.py to smtinterpol.cpython-39.pyc byte-compiling /builddir/build/BUILDROOT/python-BenchExec-3.16-1.x86_64/usr/lib/python3.9/site-packages/benchexec/tools/ecav.py to ecav.cpython-39.pyc byte-compiling /builddir/build/BUILDROOT/python-BenchExec-3.16-1.x86_64/usr/lib/python3.9/site-packages/benchexec/tools/template.py to template.cpython-39.pyc byte-compiling /builddir/build/BUILDROOT/python-BenchExec-3.16-1.x86_64/usr/lib/python3.9/site-packages/benchexec/tools/klee.py to klee.cpython-39.pyc byte-compiling /builddir/build/BUILDROOT/python-BenchExec-3.16-1.x86_64/usr/lib/python3.9/site-packages/benchexec/tools/javac.py to javac.cpython-39.pyc byte-compiling /builddir/build/BUILDROOT/python-BenchExec-3.16-1.x86_64/usr/lib/python3.9/site-packages/benchexec/tools/symdivine.py to symdivine.cpython-39.pyc byte-compiling /builddir/build/BUILDROOT/python-BenchExec-3.16-1.x86_64/usr/lib/python3.9/site-packages/benchexec/tools/ultimatekojak.py to ultimatekojak.cpython-39.pyc byte-compiling /builddir/build/BUILDROOT/python-BenchExec-3.16-1.x86_64/usr/lib/python3.9/site-packages/benchexec/tools/pesco.py to pesco.cpython-39.pyc byte-compiling /builddir/build/BUILDROOT/python-BenchExec-3.16-1.x86_64/usr/lib/python3.9/site-packages/benchexec/tools/condtest-pruner.py to condtest-pruner.cpython-39.pyc byte-compiling /builddir/build/BUILDROOT/python-BenchExec-3.16-1.x86_64/usr/lib/python3.9/site-packages/benchexec/tools/coveriteam.py to coveriteam.cpython-39.pyc byte-compiling /builddir/build/BUILDROOT/python-BenchExec-3.16-1.x86_64/usr/lib/python3.9/site-packages/benchexec/tools/feaver.py to feaver.cpython-39.pyc byte-compiling /builddir/build/BUILDROOT/python-BenchExec-3.16-1.x86_64/usr/lib/python3.9/site-packages/benchexec/tools/jpf.py to jpf.cpython-39.pyc byte-compiling /builddir/build/BUILDROOT/python-BenchExec-3.16-1.x86_64/usr/lib/python3.9/site-packages/benchexec/tools/pacman.py to pacman.cpython-39.pyc byte-compiling /builddir/build/BUILDROOT/python-BenchExec-3.16-1.x86_64/usr/lib/python3.9/site-packages/benchexec/tools/pichecker.py to pichecker.cpython-39.pyc byte-compiling /builddir/build/BUILDROOT/python-BenchExec-3.16-1.x86_64/usr/lib/python3.9/site-packages/benchexec/tools/map2check.py to map2check.cpython-39.pyc byte-compiling /builddir/build/BUILDROOT/python-BenchExec-3.16-1.x86_64/usr/lib/python3.9/site-packages/benchexec/tools/tracerx.py to tracerx.cpython-39.pyc byte-compiling /builddir/build/BUILDROOT/python-BenchExec-3.16-1.x86_64/usr/lib/python3.9/site-packages/benchexec/tools/java-ranger.py to java-ranger.cpython-39.pyc byte-compiling /builddir/build/BUILDROOT/python-BenchExec-3.16-1.x86_64/usr/lib/python3.9/site-packages/benchexec/tools/witnesslint.py to witnesslint.cpython-39.pyc byte-compiling /builddir/build/BUILDROOT/python-BenchExec-3.16-1.x86_64/usr/lib/python3.9/site-packages/benchexec/tools/llbmc.py to llbmc.cpython-39.pyc byte-compiling /builddir/build/BUILDROOT/python-BenchExec-3.16-1.x86_64/usr/lib/python3.9/site-packages/benchexec/tools/seahorn.py to seahorn.cpython-39.pyc byte-compiling /builddir/build/BUILDROOT/python-BenchExec-3.16-1.x86_64/usr/lib/python3.9/site-packages/benchexec/tools/wolverine.py to wolverine.cpython-39.pyc byte-compiling /builddir/build/BUILDROOT/python-BenchExec-3.16-1.x86_64/usr/lib/python3.9/site-packages/benchexec/tools/metaval.py to metaval.cpython-39.pyc byte-compiling /builddir/build/BUILDROOT/python-BenchExec-3.16-1.x86_64/usr/lib/python3.9/site-packages/benchexec/tools/vvt.py to vvt.cpython-39.pyc byte-compiling /builddir/build/BUILDROOT/python-BenchExec-3.16-1.x86_64/usr/lib/python3.9/site-packages/benchexec/tools/blast.py to blast.cpython-39.pyc byte-compiling /builddir/build/BUILDROOT/python-BenchExec-3.16-1.x86_64/usr/lib/python3.9/site-packages/benchexec/tools/pagai.py to pagai.cpython-39.pyc byte-compiling /builddir/build/BUILDROOT/python-BenchExec-3.16-1.x86_64/usr/lib/python3.9/site-packages/benchexec/tools/threader.py to threader.cpython-39.pyc byte-compiling /builddir/build/BUILDROOT/python-BenchExec-3.16-1.x86_64/usr/lib/python3.9/site-packages/benchexec/tools/ultimateautomizer.py to ultimateautomizer.cpython-39.pyc byte-compiling /builddir/build/BUILDROOT/python-BenchExec-3.16-1.x86_64/usr/lib/python3.9/site-packages/benchexec/tools/mopsa.py to mopsa.cpython-39.pyc byte-compiling /builddir/build/BUILDROOT/python-BenchExec-3.16-1.x86_64/usr/lib/python3.9/site-packages/benchexec/tools/mlb.py to mlb.cpython-39.pyc byte-compiling /builddir/build/BUILDROOT/python-BenchExec-3.16-1.x86_64/usr/lib/python3.9/site-packages/benchexec/tools/dartagnan.py to dartagnan.cpython-39.pyc byte-compiling /builddir/build/BUILDROOT/python-BenchExec-3.16-1.x86_64/usr/lib/python3.9/site-packages/benchexec/tools/avr.py to avr.cpython-39.pyc byte-compiling /builddir/build/BUILDROOT/python-BenchExec-3.16-1.x86_64/usr/lib/python3.9/site-packages/benchexec/tools/frama-c-sv.py to frama-c-sv.cpython-39.pyc byte-compiling /builddir/build/BUILDROOT/python-BenchExec-3.16-1.x86_64/usr/lib/python3.9/site-packages/benchexec/tools/korn.py to korn.cpython-39.pyc byte-compiling /builddir/build/BUILDROOT/python-BenchExec-3.16-1.x86_64/usr/lib/python3.9/site-packages/benchexec/tools/acsar.py to acsar.cpython-39.pyc byte-compiling /builddir/build/BUILDROOT/python-BenchExec-3.16-1.x86_64/usr/lib/python3.9/site-packages/benchexec/tools/legion-symcc.py to legion-symcc.cpython-39.pyc byte-compiling /builddir/build/BUILDROOT/python-BenchExec-3.16-1.x86_64/usr/lib/python3.9/site-packages/benchexec/tools/tbf.py to tbf.cpython-39.pyc byte-compiling /builddir/build/BUILDROOT/python-BenchExec-3.16-1.x86_64/usr/lib/python3.9/site-packages/benchexec/tools/coastal.py to coastal.cpython-39.pyc byte-compiling /builddir/build/BUILDROOT/python-BenchExec-3.16-1.x86_64/usr/lib/python3.9/site-packages/benchexec/tools/ceagle.py to ceagle.cpython-39.pyc byte-compiling /builddir/build/BUILDROOT/python-BenchExec-3.16-1.x86_64/usr/lib/python3.9/site-packages/benchexec/tools/consequence.py to consequence.cpython-39.pyc byte-compiling /builddir/build/BUILDROOT/python-BenchExec-3.16-1.x86_64/usr/lib/python3.9/site-packages/benchexec/tools/jayhorn.py to jayhorn.cpython-39.pyc byte-compiling /builddir/build/BUILDROOT/python-BenchExec-3.16-1.x86_64/usr/lib/python3.9/site-packages/benchexec/tools/coveritest.py to coveritest.cpython-39.pyc byte-compiling /builddir/build/BUILDROOT/python-BenchExec-3.16-1.x86_64/usr/lib/python3.9/site-packages/benchexec/tools/bubaak.py to bubaak.cpython-39.pyc byte-compiling /builddir/build/BUILDROOT/python-BenchExec-3.16-1.x86_64/usr/lib/python3.9/site-packages/benchexec/tools/hiptnt.py to hiptnt.cpython-39.pyc byte-compiling /builddir/build/BUILDROOT/python-BenchExec-3.16-1.x86_64/usr/lib/python3.9/site-packages/benchexec/tools/dummy.py to dummy.cpython-39.pyc byte-compiling /builddir/build/BUILDROOT/python-BenchExec-3.16-1.x86_64/usr/lib/python3.9/site-packages/benchexec/tools/satabs.py to satabs.cpython-39.pyc byte-compiling /builddir/build/BUILDROOT/python-BenchExec-3.16-1.x86_64/usr/lib/python3.9/site-packages/benchexec/tools/wit4java.py to wit4java.cpython-39.pyc byte-compiling /builddir/build/BUILDROOT/python-BenchExec-3.16-1.x86_64/usr/lib/python3.9/site-packages/benchexec/tools/graves-par.py to graves-par.cpython-39.pyc byte-compiling /builddir/build/BUILDROOT/python-BenchExec-3.16-1.x86_64/usr/lib/python3.9/site-packages/benchexec/tools/impara.py to impara.cpython-39.pyc byte-compiling /builddir/build/BUILDROOT/python-BenchExec-3.16-1.x86_64/usr/lib/python3.9/site-packages/benchexec/tools/btor2c.py to btor2c.cpython-39.pyc byte-compiling /builddir/build/BUILDROOT/python-BenchExec-3.16-1.x86_64/usr/lib/python3.9/site-packages/benchexec/tools/cascade.py to cascade.cpython-39.pyc byte-compiling /builddir/build/BUILDROOT/python-BenchExec-3.16-1.x86_64/usr/lib/python3.9/site-packages/benchexec/tools/smack.py to smack.cpython-39.pyc byte-compiling /builddir/build/BUILDROOT/python-BenchExec-3.16-1.x86_64/usr/lib/python3.9/site-packages/benchexec/tools/lart.py to lart.cpython-39.pyc byte-compiling /builddir/build/BUILDROOT/python-BenchExec-3.16-1.x86_64/usr/lib/python3.9/site-packages/benchexec/tools/cmaesfuzz.py to cmaesfuzz.cpython-39.pyc byte-compiling /builddir/build/BUILDROOT/python-BenchExec-3.16-1.x86_64/usr/lib/python3.9/site-packages/benchexec/tools/ultimatetaipan.py to ultimatetaipan.cpython-39.pyc byte-compiling /builddir/build/BUILDROOT/python-BenchExec-3.16-1.x86_64/usr/lib/python3.9/site-packages/benchexec/tools/tabol.py to tabol.cpython-39.pyc byte-compiling /builddir/build/BUILDROOT/python-BenchExec-3.16-1.x86_64/usr/lib/python3.9/site-packages/benchexec/tools/fairfuzz.py to fairfuzz.cpython-39.pyc byte-compiling /builddir/build/BUILDROOT/python-BenchExec-3.16-1.x86_64/usr/lib/python3.9/site-packages/benchexec/tools/verioover.py to verioover.cpython-39.pyc byte-compiling /builddir/build/BUILDROOT/python-BenchExec-3.16-1.x86_64/usr/lib/python3.9/site-packages/benchexec/tools/esbmc.py to esbmc.cpython-39.pyc byte-compiling /builddir/build/BUILDROOT/python-BenchExec-3.16-1.x86_64/usr/lib/python3.9/site-packages/benchexec/tools/sv_benchmarks_util.py to sv_benchmarks_util.cpython-39.pyc byte-compiling /builddir/build/BUILDROOT/python-BenchExec-3.16-1.x86_64/usr/lib/python3.9/site-packages/benchexec/tools/jbmc.py to jbmc.cpython-39.pyc byte-compiling /builddir/build/BUILDROOT/python-BenchExec-3.16-1.x86_64/usr/lib/python3.9/site-packages/benchexec/tools/condtest-extractor.py to condtest-extractor.cpython-39.pyc byte-compiling /builddir/build/BUILDROOT/python-BenchExec-3.16-1.x86_64/usr/lib/python3.9/site-packages/benchexec/tools/symbiotic-witch.py to symbiotic-witch.cpython-39.pyc byte-compiling /builddir/build/BUILDROOT/python-BenchExec-3.16-1.x86_64/usr/lib/python3.9/site-packages/benchexec/tools/ufo.py to ufo.cpython-39.pyc byte-compiling /builddir/build/BUILDROOT/python-BenchExec-3.16-1.x86_64/usr/lib/python3.9/site-packages/benchexec/tools/gdart.py to gdart.cpython-39.pyc byte-compiling /builddir/build/BUILDROOT/python-BenchExec-3.16-1.x86_64/usr/lib/python3.9/site-packages/benchexec/tools/graves.py to graves.cpython-39.pyc byte-compiling /builddir/build/BUILDROOT/python-BenchExec-3.16-1.x86_64/usr/lib/python3.9/site-packages/benchexec/tools/lazycseqabs.py to lazycseqabs.cpython-39.pyc byte-compiling /builddir/build/BUILDROOT/python-BenchExec-3.16-1.x86_64/usr/lib/python3.9/site-packages/benchexec/tools/veriabsl.py to veriabsl.cpython-39.pyc byte-compiling /builddir/build/BUILDROOT/python-BenchExec-3.16-1.x86_64/usr/lib/python3.9/site-packages/benchexec/tools/yogar-cbmc-parallel.py to yogar-cbmc-parallel.cpython-39.pyc byte-compiling /builddir/build/BUILDROOT/python-BenchExec-3.16-1.x86_64/usr/lib/python3.9/site-packages/benchexec/tools/lazycseqswarm.py to lazycseqswarm.cpython-39.pyc byte-compiling /builddir/build/BUILDROOT/python-BenchExec-3.16-1.x86_64/usr/lib/python3.9/site-packages/benchexec/tools/false.py to false.cpython-39.pyc byte-compiling /builddir/build/BUILDROOT/python-BenchExec-3.16-1.x86_64/usr/lib/python3.9/site-packages/benchexec/tools/deagle.py to deagle.cpython-39.pyc byte-compiling /builddir/build/BUILDROOT/python-BenchExec-3.16-1.x86_64/usr/lib/python3.9/site-packages/benchexec/tools/forester.py to forester.cpython-39.pyc byte-compiling /builddir/build/BUILDROOT/python-BenchExec-3.16-1.x86_64/usr/lib/python3.9/site-packages/benchexec/tools/kissat.py to kissat.cpython-39.pyc byte-compiling /builddir/build/BUILDROOT/python-BenchExec-3.16-1.x86_64/usr/lib/python3.9/site-packages/benchexec/tools/gazer-theta.py to gazer-theta.cpython-39.pyc byte-compiling /builddir/build/BUILDROOT/python-BenchExec-3.16-1.x86_64/usr/lib/python3.9/site-packages/benchexec/tools/condtest-instrumenter.py to condtest-instrumenter.cpython-39.pyc byte-compiling /builddir/build/BUILDROOT/python-BenchExec-3.16-1.x86_64/usr/lib/python3.9/site-packages/benchexec/tools/aprove.py to aprove.cpython-39.pyc byte-compiling /builddir/build/BUILDROOT/python-BenchExec-3.16-1.x86_64/usr/lib/python3.9/site-packages/benchexec/tools/divine4.py to divine4.cpython-39.pyc byte-compiling /builddir/build/BUILDROOT/python-BenchExec-3.16-1.x86_64/usr/lib/python3.9/site-packages/benchexec/tools/viap.py to viap.cpython-39.pyc byte-compiling /builddir/build/BUILDROOT/python-BenchExec-3.16-1.x86_64/usr/lib/python3.9/site-packages/benchexec/tools/fshell-witness2test.py to fshell-witness2test.cpython-39.pyc byte-compiling /builddir/build/BUILDROOT/python-BenchExec-3.16-1.x86_64/usr/lib/python3.9/site-packages/benchexec/tools/mathsat.py to mathsat.cpython-39.pyc byte-compiling /builddir/build/BUILDROOT/python-BenchExec-3.16-1.x86_64/usr/lib/python3.9/site-packages/benchexec/tools/pinaka.py to pinaka.cpython-39.pyc byte-compiling /builddir/build/BUILDROOT/python-BenchExec-3.16-1.x86_64/usr/lib/python3.9/site-packages/benchexec/tools/symbiotic4.py to symbiotic4.cpython-39.pyc byte-compiling /builddir/build/BUILDROOT/python-BenchExec-3.16-1.x86_64/usr/lib/python3.9/site-packages/benchexec/tools/frama-c.py to frama-c.cpython-39.pyc byte-compiling /builddir/build/BUILDROOT/python-BenchExec-3.16-1.x86_64/usr/lib/python3.9/site-packages/benchexec/tools/vampire.py to vampire.cpython-39.pyc byte-compiling /builddir/build/BUILDROOT/python-BenchExec-3.16-1.x86_64/usr/lib/python3.9/site-packages/benchexec/tools/cpa-witness2test.py to cpa-witness2test.cpython-39.pyc byte-compiling /builddir/build/BUILDROOT/python-BenchExec-3.16-1.x86_64/usr/lib/python3.9/site-packages/benchexec/tools/skink.py to skink.cpython-39.pyc byte-compiling /builddir/build/BUILDROOT/python-BenchExec-3.16-1.x86_64/usr/lib/python3.9/site-packages/benchexec/tools/cbmc-path.py to cbmc-path.cpython-39.pyc byte-compiling /builddir/build/BUILDROOT/python-BenchExec-3.16-1.x86_64/usr/lib/python3.9/site-packages/benchexec/tools/jdart.py to jdart.cpython-39.pyc byte-compiling /builddir/build/BUILDROOT/python-BenchExec-3.16-1.x86_64/usr/lib/python3.9/site-packages/benchexec/tools/condtest.py to condtest.cpython-39.pyc byte-compiling /builddir/build/BUILDROOT/python-BenchExec-3.16-1.x86_64/usr/lib/python3.9/site-packages/benchexec/tools/nitwit.py to nitwit.cpython-39.pyc byte-compiling /builddir/build/BUILDROOT/python-BenchExec-3.16-1.x86_64/usr/lib/python3.9/site-packages/benchexec/tools/yogar-cbmc.py to yogar-cbmc.cpython-39.pyc byte-compiling /builddir/build/BUILDROOT/python-BenchExec-3.16-1.x86_64/usr/lib/python3.9/site-packages/benchexec/tools/crux.py to crux.cpython-39.pyc byte-compiling /builddir/build/BUILDROOT/python-BenchExec-3.16-1.x86_64/usr/lib/python3.9/site-packages/benchexec/tools/tbf_testsuite_validator.py to tbf_testsuite_validator.cpython-39.pyc byte-compiling /builddir/build/BUILDROOT/python-BenchExec-3.16-1.x86_64/usr/lib/python3.9/site-packages/benchexec/tools/depthk.py to depthk.cpython-39.pyc byte-compiling /builddir/build/BUILDROOT/python-BenchExec-3.16-1.x86_64/usr/lib/python3.9/site-packages/benchexec/tools/__init__.py to __init__.cpython-39.pyc byte-compiling /builddir/build/BUILDROOT/python-BenchExec-3.16-1.x86_64/usr/lib/python3.9/site-packages/benchexec/tools/locksmith.py to locksmith.cpython-39.pyc byte-compiling /builddir/build/BUILDROOT/python-BenchExec-3.16-1.x86_64/usr/lib/python3.9/site-packages/benchexec/tools/divine.py to divine.cpython-39.pyc byte-compiling /builddir/build/BUILDROOT/python-BenchExec-3.16-1.x86_64/usr/lib/python3.9/site-packages/benchexec/tools/ultimate.py to ultimate.cpython-39.pyc byte-compiling /builddir/build/BUILDROOT/python-BenchExec-3.16-1.x86_64/usr/lib/python3.9/site-packages/benchexec/tools/lctd.py to lctd.cpython-39.pyc byte-compiling /builddir/build/BUILDROOT/python-BenchExec-3.16-1.x86_64/usr/lib/python3.9/site-packages/benchexec/tools/coveriteam-verifier-validator.py to coveriteam-verifier-validator.cpython-39.pyc byte-compiling /builddir/build/BUILDROOT/python-BenchExec-3.16-1.x86_64/usr/lib/python3.9/site-packages/benchexec/tools/mucseq.py to mucseq.cpython-39.pyc byte-compiling /builddir/build/BUILDROOT/python-BenchExec-3.16-1.x86_64/usr/lib/python3.9/site-packages/benchexec/tools/predatorhp.py to predatorhp.cpython-39.pyc byte-compiling /builddir/build/BUILDROOT/python-BenchExec-3.16-1.x86_64/usr/lib/python3.9/site-packages/benchexec/tools/civl.py to civl.cpython-39.pyc byte-compiling /builddir/build/BUILDROOT/python-BenchExec-3.16-1.x86_64/usr/lib/python3.9/site-packages/benchexec/tools/ebf.py to ebf.cpython-39.pyc byte-compiling /builddir/build/BUILDROOT/python-BenchExec-3.16-1.x86_64/usr/lib/python3.9/site-packages/benchexec/tools/test.py to test.cpython-39.pyc byte-compiling /builddir/build/BUILDROOT/python-BenchExec-3.16-1.x86_64/usr/lib/python3.9/site-packages/benchexec/tools/sesl.py to sesl.cpython-39.pyc byte-compiling /builddir/build/BUILDROOT/python-BenchExec-3.16-1.x86_64/usr/lib/python3.9/site-packages/benchexec/tools/forest.py to forest.cpython-39.pyc byte-compiling /builddir/build/BUILDROOT/python-BenchExec-3.16-1.x86_64/usr/lib/python3.9/site-packages/benchexec/tools/symbiotic.py to symbiotic.cpython-39.pyc byte-compiling /builddir/build/BUILDROOT/python-BenchExec-3.16-1.x86_64/usr/lib/python3.9/site-packages/benchexec/tools/ulcseq.py to ulcseq.cpython-39.pyc byte-compiling /builddir/build/BUILDROOT/python-BenchExec-3.16-1.x86_64/usr/lib/python3.9/site-packages/benchexec/test_cgroups.py to test_cgroups.cpython-39.pyc byte-compiling /builddir/build/BUILDROOT/python-BenchExec-3.16-1.x86_64/usr/lib/python3.9/site-packages/benchexec/container.py to container.cpython-39.pyc byte-compiling /builddir/build/BUILDROOT/python-BenchExec-3.16-1.x86_64/usr/lib/python3.9/site-packages/benchexec/outputhandler.py to outputhandler.cpython-39.pyc byte-compiling /builddir/build/BUILDROOT/python-BenchExec-3.16-1.x86_64/usr/lib/python3.9/site-packages/benchexec/filewriter.py to filewriter.cpython-39.pyc byte-compiling /builddir/build/BUILDROOT/python-BenchExec-3.16-1.x86_64/usr/lib/python3.9/site-packages/benchexec/test_util.py to test_util.cpython-39.pyc byte-compiling /builddir/build/BUILDROOT/python-BenchExec-3.16-1.x86_64/usr/lib/python3.9/site-packages/benchexec/__init__.py to __init__.cpython-39.pyc byte-compiling /builddir/build/BUILDROOT/python-BenchExec-3.16-1.x86_64/usr/lib/python3.9/site-packages/benchexec/systeminfo.py to systeminfo.cpython-39.pyc byte-compiling /builddir/build/BUILDROOT/python-BenchExec-3.16-1.x86_64/usr/lib/python3.9/site-packages/benchexec/test_runexecutor.py to test_runexecutor.cpython-39.pyc byte-compiling /builddir/build/BUILDROOT/python-BenchExec-3.16-1.x86_64/usr/lib/python3.9/site-packages/benchexec/runexecutor.py to runexecutor.cpython-39.pyc byte-compiling /builddir/build/BUILDROOT/python-BenchExec-3.16-1.x86_64/usr/lib/python3.9/site-packages/benchexec/containerexecutor.py to containerexecutor.cpython-39.pyc byte-compiling /builddir/build/BUILDROOT/python-BenchExec-3.16-1.x86_64/usr/lib/python3.9/site-packages/benchexec/oomhandler.py to oomhandler.cpython-39.pyc writing byte-compilation script '/tmp/tmprlv6w0f2.py' /usr/bin/python3 /tmp/tmprlv6w0f2.py removing /tmp/tmprlv6w0f2.py running install_egg_info running egg_info writing BenchExec.egg-info/PKG-INFO writing dependency_links to BenchExec.egg-info/dependency_links.txt writing entry points to BenchExec.egg-info/entry_points.txt writing requirements to BenchExec.egg-info/requires.txt writing top-level names to BenchExec.egg-info/top_level.txt reading manifest file 'BenchExec.egg-info/SOURCES.txt' reading manifest template 'MANIFEST.in' adding license file 'LICENSES/Apache-2.0.txt' adding license file 'LICENSES/BSD-3-Clause.txt' adding license file 'LICENSES/CC-BY-4.0.txt' adding license file 'LICENSES/ISC.txt' adding license file 'LICENSES/LicenseRef-BSD-3-Clause-CMU.txt' adding license file 'LICENSES/MIT.txt' writing manifest file 'BenchExec.egg-info/SOURCES.txt' Copying BenchExec.egg-info to /builddir/build/BUILDROOT/python-BenchExec-3.16-1.x86_64/usr/lib/python3.9/site-packages/BenchExec-3.16-py3.9.egg-info running install_scripts Installing benchexec script to /builddir/build/BUILDROOT/python-BenchExec-3.16-1.x86_64/usr/bin Installing containerexec script to /builddir/build/BUILDROOT/python-BenchExec-3.16-1.x86_64/usr/bin Installing runexec script to /builddir/build/BUILDROOT/python-BenchExec-3.16-1.x86_64/usr/bin Installing table-generator script to /builddir/build/BUILDROOT/python-BenchExec-3.16-1.x86_64/usr/bin + install -d -m755 /builddir/build/BUILDROOT/python-BenchExec-3.16-1.x86_64//usr/share/doc/python-BenchExec + '[' -d doc ']' + cp -arf doc /builddir/build/BUILDROOT/python-BenchExec-3.16-1.x86_64//usr/share/doc/python-BenchExec + '[' -d docs ']' ~/build/BUILDROOT/python-BenchExec-3.16-1.x86_64 ~/build/BUILD/BenchExec-3.16 + '[' -d example ']' + '[' -d examples ']' + pushd /builddir/build/BUILDROOT/python-BenchExec-3.16-1.x86_64 + '[' -d usr/lib ']' + find usr/lib -type f -printf '/%h/%f\n' + '[' -d usr/lib64 ']' + '[' -d usr/bin ']' + find usr/bin -type f -printf '/%h/%f\n' + '[' -d usr/sbin ']' + touch doclist.lst + '[' -d usr/share/man ']' + popd ~/build/BUILD/BenchExec-3.16 + mv /builddir/build/BUILDROOT/python-BenchExec-3.16-1.x86_64/filelist.lst . + mv /builddir/build/BUILDROOT/python-BenchExec-3.16-1.x86_64/doclist.lst . + /usr/bin/find-debuginfo -j4 --strict-build-id -i --build-id-seed 3.16-1 --unique-debug-suffix -3.16-1.x86_64 --unique-debug-src-base python-BenchExec-3.16-1.x86_64 -S debugsourcefiles.list /builddir/build/BUILD/BenchExec-3.16 find: 'debug': No such file or directory + /usr/lib/rpm/check-buildroot + /usr/lib/rpm/brp-ldconfig + /usr/lib/rpm/brp-compress + /usr/lib/rpm/brp-strip-static-archive /usr/bin/strip + /usr/lib/rpm/brp-python-bytecompile /usr/bin/python 1 1 Bytecompiling .py files below /builddir/build/BUILDROOT/python-BenchExec-3.16-1.x86_64/usr/lib/python3.9 using /usr/bin/python3.9 + /usr/lib/rpm/brp-python-hardlink Processing files: python3-BenchExec-3.16-1.noarch Provides: python-BenchExec python3-BenchExec = 3.16-1 python3.9dist(benchexec) = 3.16 python3dist(benchexec) = 3.16 Requires(rpmlib): rpmlib(CompressedFileNames) <= 3.0.4-1 rpmlib(FileDigests) <= 4.6.0-1 rpmlib(PartialHardlinkSets) <= 4.0.4-1 rpmlib(PayloadFilesHavePrefix) <= 4.0-1 Requires: /usr/bin/python3 python(abi) = 3.9 python3.9dist(pyyaml) >= 3.12 python3.9dist(setuptools) Processing files: python-BenchExec-help-3.16-1.noarch warning: Empty %files file /builddir/build/BUILD/BenchExec-3.16/doclist.lst Provides: python-BenchExec-help = 3.16-1 python3-BenchExec-doc Requires(rpmlib): rpmlib(CompressedFileNames) <= 3.0.4-1 rpmlib(FileDigests) <= 4.6.0-1 rpmlib(PayloadFilesHavePrefix) <= 4.0-1 Checking for unpackaged file(s): /usr/lib/rpm/check-files /builddir/build/BUILDROOT/python-BenchExec-3.16-1.x86_64 Wrote: /builddir/build/RPMS/python-BenchExec-help-3.16-1.noarch.rpm Wrote: /builddir/build/RPMS/python3-BenchExec-3.16-1.noarch.rpm Executing(%clean): /bin/sh -e /var/tmp/rpm-tmp.IjRbHp + umask 022 + cd /builddir/build/BUILD + cd BenchExec-3.16 + /usr/bin/rm -rf /builddir/build/BUILDROOT/python-BenchExec-3.16-1.x86_64 + RPM_EC=0 ++ jobs -p + exit 0 Child return code was: 0