--- /srv/rebuilderd/tmp/rebuilderdc7pK2g/inputs/libcvc5-1_1.1.2-3_ppc64el.deb +++ /srv/rebuilderd/tmp/rebuilderdc7pK2g/out/libcvc5-1_1.1.2-3_ppc64el.deb ├── file list │ @@ -1,3 +1,3 @@ │ -rw-r--r-- 0 0 0 4 2025-07-27 11:13:23.000000 debian-binary │ -rw-r--r-- 0 0 0 1280 2025-07-27 11:13:23.000000 control.tar.xz │ --rw-r--r-- 0 0 0 6286580 2025-07-27 11:13:23.000000 data.tar.xz │ +-rw-r--r-- 0 0 0 6286868 2025-07-27 11:13:23.000000 data.tar.xz ├── control.tar.xz │ ├── control.tar │ │ ├── ./md5sums │ │ │ ├── ./md5sums │ │ │ │┄ Files differ ├── data.tar.xz │ ├── data.tar │ │ ├── ./usr/lib/powerpc64le-linux-gnu/libcvc5.so.1 │ │ │┄ File has been modified after NT_GNU_BUILD_ID has been applied. │ │ │ ├── readelf --wide --relocs {} │ │ │ │ @@ -3686,15 +3686,15 @@ │ │ │ │ 0000000001a1a500 0000000000000016 R_PPC64_RELATIVE 16e3df8 │ │ │ │ 0000000001a1a508 0000000000000016 R_PPC64_RELATIVE 16e3e08 │ │ │ │ 0000000001a1a510 0000000000000016 R_PPC64_RELATIVE 16e3e18 │ │ │ │ 0000000001a1a518 0000000000000016 R_PPC64_RELATIVE 16e3e30 │ │ │ │ 0000000001a1a520 0000000000000016 R_PPC64_RELATIVE 16e3e48 │ │ │ │ 0000000001a1a528 0000000000000016 R_PPC64_RELATIVE 16e3e58 │ │ │ │ 0000000001a1a530 0000000000000016 R_PPC64_RELATIVE 16e3e68 │ │ │ │ -0000000001a1a538 0000000000000016 R_PPC64_RELATIVE 16e4a38 │ │ │ │ +0000000001a1a538 0000000000000016 R_PPC64_RELATIVE 16e4a28 │ │ │ │ 0000000001a1a540 0000000000000016 R_PPC64_RELATIVE 16e3e80 │ │ │ │ 0000000001a1a548 0000000000000016 R_PPC64_RELATIVE 16e3e90 │ │ │ │ 0000000001a1a550 0000000000000016 R_PPC64_RELATIVE 16e3ea8 │ │ │ │ 0000000001a1a558 0000000000000016 R_PPC64_RELATIVE 16b6708 │ │ │ │ 0000000001a1a560 0000000000000016 R_PPC64_RELATIVE 16e3eb8 │ │ │ │ 0000000001a1a568 0000000000000016 R_PPC64_RELATIVE 16e3ec8 │ │ │ │ 0000000001a1a570 0000000000000016 R_PPC64_RELATIVE 16e3ed8 │ │ │ │ @@ -3789,15 +3789,15 @@ │ │ │ │ 0000000001a1a838 0000000000000016 R_PPC64_RELATIVE 16e44d8 │ │ │ │ 0000000001a1a840 0000000000000016 R_PPC64_RELATIVE 16e44e8 │ │ │ │ 0000000001a1a848 0000000000000016 R_PPC64_RELATIVE 16e4500 │ │ │ │ 0000000001a1a850 0000000000000016 R_PPC64_RELATIVE 16e4510 │ │ │ │ 0000000001a1a858 0000000000000016 R_PPC64_RELATIVE 16bc238 │ │ │ │ 0000000001a1a860 0000000000000016 R_PPC64_RELATIVE 16e4518 │ │ │ │ 0000000001a1a868 0000000000000016 R_PPC64_RELATIVE 16e4530 │ │ │ │ -0000000001a1a870 0000000000000016 R_PPC64_RELATIVE 16e4630 │ │ │ │ +0000000001a1a870 0000000000000016 R_PPC64_RELATIVE 16e4638 │ │ │ │ 0000000001a1a878 0000000000000016 R_PPC64_RELATIVE 16e4540 │ │ │ │ 0000000001a1a880 0000000000000016 R_PPC64_RELATIVE 16e4550 │ │ │ │ 0000000001a1a888 0000000000000016 R_PPC64_RELATIVE 16e4560 │ │ │ │ 0000000001a1a890 0000000000000016 R_PPC64_RELATIVE 16e4570 │ │ │ │ 0000000001a1a898 0000000000000016 R_PPC64_RELATIVE 16e4580 │ │ │ │ 0000000001a1a8a0 0000000000000016 R_PPC64_RELATIVE 16e4590 │ │ │ │ 0000000001a1a8a8 0000000000000016 R_PPC64_RELATIVE 16e45a0 │ │ │ │ @@ -3805,15 +3805,15 @@ │ │ │ │ 0000000001a1a8b8 0000000000000016 R_PPC64_RELATIVE 16e45b0 │ │ │ │ 0000000001a1a8c0 0000000000000016 R_PPC64_RELATIVE 16e45c8 │ │ │ │ 0000000001a1a8c8 0000000000000016 R_PPC64_RELATIVE 16e45e0 │ │ │ │ 0000000001a1a8d0 0000000000000016 R_PPC64_RELATIVE 16e45f0 │ │ │ │ 0000000001a1a8d8 0000000000000016 R_PPC64_RELATIVE 16e4600 │ │ │ │ 0000000001a1a8e0 0000000000000016 R_PPC64_RELATIVE 16e4610 │ │ │ │ 0000000001a1a8e8 0000000000000016 R_PPC64_RELATIVE 16e4620 │ │ │ │ -0000000001a1a8f0 0000000000000016 R_PPC64_RELATIVE 16e4640 │ │ │ │ +0000000001a1a8f0 0000000000000016 R_PPC64_RELATIVE 16e4630 │ │ │ │ 0000000001a1a8f8 0000000000000016 R_PPC64_RELATIVE 16ac0c8 │ │ │ │ 0000000001a1a900 0000000000000016 R_PPC64_RELATIVE 16e4648 │ │ │ │ 0000000001a1a908 0000000000000016 R_PPC64_RELATIVE 16e4658 │ │ │ │ 0000000001a1a910 0000000000000016 R_PPC64_RELATIVE 16e4678 │ │ │ │ 0000000001a1a918 0000000000000016 R_PPC64_RELATIVE 16e4690 │ │ │ │ 0000000001a1a920 0000000000000016 R_PPC64_RELATIVE 16e46b0 │ │ │ │ 0000000001a1a928 0000000000000016 R_PPC64_RELATIVE 16e46c8 │ │ │ │ @@ -3866,15 +3866,15 @@ │ │ │ │ 0000000001a1aaa0 0000000000000016 R_PPC64_RELATIVE 16d7e78 │ │ │ │ 0000000001a1aaa8 0000000000000016 R_PPC64_RELATIVE 16e49e8 │ │ │ │ 0000000001a1aab0 0000000000000016 R_PPC64_RELATIVE 16e49f0 │ │ │ │ 0000000001a1aab8 0000000000000016 R_PPC64_RELATIVE 16b80b0 │ │ │ │ 0000000001a1aac0 0000000000000016 R_PPC64_RELATIVE 16e4a00 │ │ │ │ 0000000001a1aac8 0000000000000016 R_PPC64_RELATIVE 16e4a10 │ │ │ │ 0000000001a1aad0 0000000000000016 R_PPC64_RELATIVE 16e4a70 │ │ │ │ -0000000001a1aad8 0000000000000016 R_PPC64_RELATIVE 16e4a28 │ │ │ │ +0000000001a1aad8 0000000000000016 R_PPC64_RELATIVE 16e4a30 │ │ │ │ 0000000001a1aae0 0000000000000016 R_PPC64_RELATIVE 16e4a40 │ │ │ │ 0000000001a1aae8 0000000000000016 R_PPC64_RELATIVE 16e4a58 │ │ │ │ 0000000001a1aaf0 0000000000000016 R_PPC64_RELATIVE 16e4a80 │ │ │ │ 0000000001a1aaf8 0000000000000016 R_PPC64_RELATIVE 16e4a98 │ │ │ │ 0000000001a1ab00 0000000000000016 R_PPC64_RELATIVE 16e4ab0 │ │ │ │ 0000000001a1ab08 0000000000000016 R_PPC64_RELATIVE 16e4ac8 │ │ │ │ 0000000001a1ab10 0000000000000016 R_PPC64_RELATIVE 16e5c58 │ │ │ │ @@ -8045,16 +8045,16 @@ │ │ │ │ 0000000001a312a0 0000000000000016 R_PPC64_RELATIVE 16b6048 │ │ │ │ 0000000001a312c0 0000000000000016 R_PPC64_RELATIVE 16f9ba8 │ │ │ │ 0000000001a312e0 0000000000000016 R_PPC64_RELATIVE 16e42c8 │ │ │ │ 0000000001a31300 0000000000000016 R_PPC64_RELATIVE 16a5c40 │ │ │ │ 0000000001a31320 0000000000000016 R_PPC64_RELATIVE 16bc238 │ │ │ │ 0000000001a31340 0000000000000016 R_PPC64_RELATIVE 16e4530 │ │ │ │ 0000000001a31360 0000000000000016 R_PPC64_RELATIVE 16f9bc0 │ │ │ │ -0000000001a31380 0000000000000016 R_PPC64_RELATIVE 16e4640 │ │ │ │ -0000000001a313a0 0000000000000016 R_PPC64_RELATIVE 16e4630 │ │ │ │ +0000000001a31380 0000000000000016 R_PPC64_RELATIVE 16e4630 │ │ │ │ +0000000001a313a0 0000000000000016 R_PPC64_RELATIVE 16e4638 │ │ │ │ 0000000001a313c0 0000000000000016 R_PPC64_RELATIVE 16d7e78 │ │ │ │ 0000000001a313e0 0000000000000016 R_PPC64_RELATIVE 16a5c70 │ │ │ │ 0000000001a31400 0000000000000016 R_PPC64_RELATIVE 16e49e8 │ │ │ │ 0000000001a31420 0000000000000016 R_PPC64_RELATIVE 16e4a00 │ │ │ │ 0000000001a31440 0000000000000016 R_PPC64_RELATIVE 16f9bd0 │ │ │ │ 0000000001a31460 0000000000000016 R_PPC64_RELATIVE 16e4b88 │ │ │ │ 0000000001a31480 0000000000000016 R_PPC64_RELATIVE 16f9be0 │ │ │ │ @@ -8187,16 +8187,16 @@ │ │ │ │ 0000000001a32460 0000000000000016 R_PPC64_RELATIVE 16f9fe0 │ │ │ │ 0000000001a32480 0000000000000016 R_PPC64_RELATIVE 16a5b18 │ │ │ │ 0000000001a324a0 0000000000000016 R_PPC64_RELATIVE 16e3a48 │ │ │ │ 0000000001a324c0 0000000000000016 R_PPC64_RELATIVE 16f9ff8 │ │ │ │ 0000000001a324e0 0000000000000016 R_PPC64_RELATIVE 16e3ef0 │ │ │ │ 0000000001a32500 0000000000000016 R_PPC64_RELATIVE 16e3f08 │ │ │ │ 0000000001a32520 0000000000000016 R_PPC64_RELATIVE 16e3f40 │ │ │ │ -0000000001a32540 0000000000000016 R_PPC64_RELATIVE 16e4a28 │ │ │ │ -0000000001a32560 0000000000000016 R_PPC64_RELATIVE 16e4a38 │ │ │ │ +0000000001a32540 0000000000000016 R_PPC64_RELATIVE 16e4a30 │ │ │ │ +0000000001a32560 0000000000000016 R_PPC64_RELATIVE 16e4a28 │ │ │ │ 0000000001a32580 0000000000000016 R_PPC64_RELATIVE 16e4a40 │ │ │ │ 0000000001a325a0 0000000000000016 R_PPC64_RELATIVE 16e4a58 │ │ │ │ 0000000001a325c0 0000000000000016 R_PPC64_RELATIVE 16e4a80 │ │ │ │ 0000000001a325e0 0000000000000016 R_PPC64_RELATIVE 16e4a70 │ │ │ │ 0000000001a32600 0000000000000016 R_PPC64_RELATIVE 16e4a98 │ │ │ │ 0000000001a32620 0000000000000016 R_PPC64_RELATIVE 16e4ab0 │ │ │ │ 0000000001a32640 0000000000000016 R_PPC64_RELATIVE 16e4ac8 │ │ │ │ @@ -8739,15 +8739,15 @@ │ │ │ │ 0000000001a36870 0000000000000016 R_PPC64_RELATIVE 17084f8 │ │ │ │ 0000000001a36878 0000000000000016 R_PPC64_RELATIVE 1703658 │ │ │ │ 0000000001a36898 0000000000000016 R_PPC64_RELATIVE 1708c28 │ │ │ │ 0000000001a368a0 0000000000000016 R_PPC64_RELATIVE 1703660 │ │ │ │ 0000000001a368c0 0000000000000016 R_PPC64_RELATIVE 1708c08 │ │ │ │ 0000000001a368c8 0000000000000016 R_PPC64_RELATIVE 1703670 │ │ │ │ 0000000001a368e8 0000000000000016 R_PPC64_RELATIVE 1708bf0 │ │ │ │ -0000000001a368f0 0000000000000016 R_PPC64_RELATIVE 16e4a38 │ │ │ │ +0000000001a368f0 0000000000000016 R_PPC64_RELATIVE 16e4a28 │ │ │ │ 0000000001a36910 0000000000000016 R_PPC64_RELATIVE 1708bd0 │ │ │ │ 0000000001a36918 0000000000000016 R_PPC64_RELATIVE 1703680 │ │ │ │ 0000000001a36938 0000000000000016 R_PPC64_RELATIVE 1708bb0 │ │ │ │ 0000000001a36940 0000000000000016 R_PPC64_RELATIVE 1703698 │ │ │ │ 0000000001a36960 0000000000000016 R_PPC64_RELATIVE 1708b90 │ │ │ │ 0000000001a36968 0000000000000016 R_PPC64_RELATIVE 17036a8 │ │ │ │ 0000000001a36988 0000000000000016 R_PPC64_RELATIVE 1708b70 │ │ │ │ @@ -9081,15 +9081,15 @@ │ │ │ │ 0000000001a38328 0000000000000016 R_PPC64_RELATIVE 17084f8 │ │ │ │ 0000000001a38330 0000000000000016 R_PPC64_RELATIVE 1703658 │ │ │ │ 0000000001a38350 0000000000000016 R_PPC64_RELATIVE 1708c28 │ │ │ │ 0000000001a38358 0000000000000016 R_PPC64_RELATIVE 1703660 │ │ │ │ 0000000001a38378 0000000000000016 R_PPC64_RELATIVE 1708c08 │ │ │ │ 0000000001a38380 0000000000000016 R_PPC64_RELATIVE 1703670 │ │ │ │ 0000000001a383a0 0000000000000016 R_PPC64_RELATIVE 1708bf0 │ │ │ │ -0000000001a383a8 0000000000000016 R_PPC64_RELATIVE 16e4a38 │ │ │ │ +0000000001a383a8 0000000000000016 R_PPC64_RELATIVE 16e4a28 │ │ │ │ 0000000001a383c8 0000000000000016 R_PPC64_RELATIVE 1708bd0 │ │ │ │ 0000000001a383d0 0000000000000016 R_PPC64_RELATIVE 1703680 │ │ │ │ 0000000001a383f0 0000000000000016 R_PPC64_RELATIVE 1708bb0 │ │ │ │ 0000000001a383f8 0000000000000016 R_PPC64_RELATIVE 1703698 │ │ │ │ 0000000001a38418 0000000000000016 R_PPC64_RELATIVE 1708b90 │ │ │ │ 0000000001a38420 0000000000000016 R_PPC64_RELATIVE 17036a8 │ │ │ │ 0000000001a38440 0000000000000016 R_PPC64_RELATIVE 1708b70 │ │ │ ├── readelf --wide --notes {} │ │ │ │ @@ -1,4 +1,4 @@ │ │ │ │ │ │ │ │ Displaying notes found in: .note.gnu.build-id │ │ │ │ Owner Data size Description │ │ │ │ - GNU 0x00000014 NT_GNU_BUILD_ID (unique build ID bitstring) Build ID: a854d09a137cf8d8f24349f79fa03f6c76b203bf │ │ │ │ + GNU 0x00000014 NT_GNU_BUILD_ID (unique build ID bitstring) Build ID: c244a3755d9bf8acd2a5bf2df9bc3a9b67d7fb48 │ │ │ ├── objdump --line-numbers --disassemble --demangle --reloc --no-show-raw-insn --section=.text {} │ │ │ │ @@ -73173,22 +73173,22 @@ │ │ │ │ li r9,83 │ │ │ │ addis r4,r2,-53 │ │ │ │ addi r4,r4,6976 │ │ │ │ addi r3,r1,3424 │ │ │ │ stw r9,3416(r1) │ │ │ │ bl 1514ea8 │ │ │ │ li r9,84 │ │ │ │ - addis r4,r2,-53 │ │ │ │ - addi r4,r4,7000 │ │ │ │ + addis r4,r2,-51 │ │ │ │ + addi r4,r4,-1416 │ │ │ │ addi r3,r1,3464 │ │ │ │ stw r9,3456(r1) │ │ │ │ bl 1514ea8 │ │ │ │ li r9,85 │ │ │ │ - addis r4,r2,-51 │ │ │ │ - addi r4,r4,-1416 │ │ │ │ + addis r4,r2,-53 │ │ │ │ + addi r4,r4,7000 │ │ │ │ addi r3,r1,3504 │ │ │ │ stw r9,3496(r1) │ │ │ │ bl 1514ea8 │ │ │ │ li r9,85 │ │ │ │ addis r4,r2,-54 │ │ │ │ addi r4,r4,28768 │ │ │ │ addi r3,r1,3544 │ │ │ │ @@ -73744,15 +73744,15 @@ │ │ │ │ addis r4,r2,-53 │ │ │ │ addi r4,r4,8496 │ │ │ │ addi r3,r1,7224 │ │ │ │ stw r9,7216(r1) │ │ │ │ bl 1514ea8 │ │ │ │ li r9,177 │ │ │ │ addis r4,r2,-53 │ │ │ │ - addi r4,r4,8512 │ │ │ │ + addi r4,r4,8504 │ │ │ │ addi r3,r1,7264 │ │ │ │ stw r9,7256(r1) │ │ │ │ bl 1514ea8 │ │ │ │ li r9,177 │ │ │ │ addis r4,r2,-56 │ │ │ │ addi r4,r4,-25656 │ │ │ │ addi r3,r1,7304 │ │ │ │ @@ -74067,40 +74067,40 @@ │ │ │ │ li r9,229 │ │ │ │ addis r4,r2,-54 │ │ │ │ addi r4,r4,28640 │ │ │ │ addi r3,r1,9384 │ │ │ │ stw r9,9376(r1) │ │ │ │ bl 1514ea8 │ │ │ │ li r9,230 │ │ │ │ - addis r4,r2,-57 │ │ │ │ - addi r4,r4,14192 │ │ │ │ + addis r4,r2,-54 │ │ │ │ + addi r4,r4,22904 │ │ │ │ addi r3,r1,9424 │ │ │ │ stw r9,9416(r1) │ │ │ │ bl 1514ea8 │ │ │ │ li r9,231 │ │ │ │ - addis r4,r2,-54 │ │ │ │ - addi r4,r4,22904 │ │ │ │ + addis r4,r2,-57 │ │ │ │ + addi r4,r4,14192 │ │ │ │ addi r3,r1,9464 │ │ │ │ stw r9,9456(r1) │ │ │ │ bl 1514ea8 │ │ │ │ li r9,231 │ │ │ │ addis r4,r2,-53 │ │ │ │ addi r4,r4,9448 │ │ │ │ addi r3,r1,9504 │ │ │ │ stw r9,9496(r1) │ │ │ │ bl 1514ea8 │ │ │ │ li r9,232 │ │ │ │ - addis r4,r2,-56 │ │ │ │ - addi r4,r4,23472 │ │ │ │ + addis r4,r2,-53 │ │ │ │ + addi r4,r4,9456 │ │ │ │ addi r3,r1,9544 │ │ │ │ stw r9,9536(r1) │ │ │ │ bl 1514ea8 │ │ │ │ li r9,233 │ │ │ │ - addis r4,r2,-53 │ │ │ │ - addi r4,r4,9456 │ │ │ │ + addis r4,r2,-56 │ │ │ │ + addi r4,r4,23472 │ │ │ │ addi r3,r1,9584 │ │ │ │ stw r9,9576(r1) │ │ │ │ bl 1514ea8 │ │ │ │ li r9,233 │ │ │ │ addis r4,r2,-53 │ │ │ │ addi r4,r4,9472 │ │ │ │ addi r3,r1,9624 │ │ │ │ @@ -74116,15 +74116,15 @@ │ │ │ │ addis r4,r2,-53 │ │ │ │ addi r4,r4,9512 │ │ │ │ addi r3,r1,9704 │ │ │ │ stw r9,9696(r1) │ │ │ │ bl 1514ea8 │ │ │ │ li r9,236 │ │ │ │ addis r4,r2,-53 │ │ │ │ - addi r4,r4,9528 │ │ │ │ + addi r4,r4,9520 │ │ │ │ addi r3,r1,9744 │ │ │ │ stw r9,9736(r1) │ │ │ │ bl 1514ea8 │ │ │ │ li r9,236 │ │ │ │ addis r4,r2,-53 │ │ │ │ addi r4,r4,9536 │ │ │ │ addi r3,r1,9784 │ │ │ │ @@ -74577,22 +74577,22 @@ │ │ │ │ li r9,308 │ │ │ │ addis r4,r2,-53 │ │ │ │ addi r4,r4,11048 │ │ │ │ addi r3,r1,12784 │ │ │ │ stw r9,12776(r1) │ │ │ │ bl 1514ea8 │ │ │ │ li r9,309 │ │ │ │ - addis r4,r2,-57 │ │ │ │ - addi r4,r4,14216 │ │ │ │ + addis r4,r2,-53 │ │ │ │ + addi r4,r4,11056 │ │ │ │ addi r3,r1,12824 │ │ │ │ stw r9,12816(r1) │ │ │ │ bl 1514ea8 │ │ │ │ li r9,310 │ │ │ │ - addis r4,r2,-53 │ │ │ │ - addi r4,r4,11056 │ │ │ │ + addis r4,r2,-57 │ │ │ │ + addi r4,r4,14216 │ │ │ │ addi r3,r1,12864 │ │ │ │ stw r9,12856(r1) │ │ │ │ bl 1514ea8 │ │ │ │ li r9,310 │ │ │ │ addis r4,r2,-53 │ │ │ │ addi r4,r4,11072 │ │ │ │ addi r3,r1,12904 │ │ │ │ @@ -74709,22 +74709,22 @@ │ │ │ │ li r9,329 │ │ │ │ addis r4,r2,-53 │ │ │ │ addi r4,r4,11392 │ │ │ │ addi r3,r1,13664 │ │ │ │ stw r9,13656(r1) │ │ │ │ bl 1514ea8 │ │ │ │ li r9,330 │ │ │ │ - addis r4,r2,-53 │ │ │ │ - addi r4,r4,11416 │ │ │ │ + addis r4,r2,-56 │ │ │ │ + addi r4,r4,15160 │ │ │ │ addi r3,r1,13704 │ │ │ │ stw r9,13696(r1) │ │ │ │ bl 1514ea8 │ │ │ │ li r9,331 │ │ │ │ - addis r4,r2,-56 │ │ │ │ - addi r4,r4,15160 │ │ │ │ + addis r4,r2,-53 │ │ │ │ + addi r4,r4,11416 │ │ │ │ addi r3,r1,13744 │ │ │ │ stw r9,13736(r1) │ │ │ │ bl 1514ea8 │ │ │ │ li r9,331 │ │ │ │ addis r4,r2,-53 │ │ │ │ addi r4,r4,11440 │ │ │ │ addi r3,r1,13784 │ │ │ │ @@ -4194296,8 +4194296,8 @@ │ │ │ │ addis r10,r10,16 │ │ │ │ addi r10,r10,-1 │ │ │ │ rldimi r9,r10,40,4 │ │ │ │ rldicr r10,r9,4,19 │ │ │ │ srdi. r10,r10,4 │ │ │ │ std r9,0(r31) │ │ │ │ beq 1098d20 >::_M_realloc_append(cvc5::internal::theory::quantifiers::StrategyType&&)@@Base+0x15be50> │ │ │ │ -[ Too much input for diff (SHA256: 6c3360e0153b0d8f146e165ee8f10518398e4061b0c5b417b949444b881dff91) ] │ │ │ │ +[ Too much input for diff (SHA256: 6ce3489ea6dee8dd927575590b65ac360ecba078b01e5320ee4a54ed429200f2) ] │ │ │ ├── readelf --wide --decompress --hex-dump=.rodata {} │ │ │ │ @@ -17084,16 +17084,16 @@ │ │ │ │ 0x016e45c0 65000000 00000000 6974652d 6474742d e.......ite-dtt- │ │ │ │ 0x016e45d0 73706c69 742d7175 616e7400 00000000 split-quant..... │ │ │ │ 0x016e45e0 6974652d 6c696674 2d717561 6e740000 ite-lift-quant.. │ │ │ │ 0x016e45f0 6974652d 73696d70 00000000 00000000 ite-simp........ │ │ │ │ 0x016e4600 6a682d72 6c762d6f 72646572 00000000 jh-rlv-order.... │ │ │ │ 0x016e4610 6a682d73 6b6f6c65 6d000000 00000000 jh-skolem....... │ │ │ │ 0x016e4620 6a682d73 6b6f6c65 6d2d726c 76000000 jh-skolem-rlv... │ │ │ │ - 0x016e4630 696e7075 742d6c61 6e677561 67650000 input-language.. │ │ │ │ - 0x016e4640 6c616e67 00000000 6c656d6d 612d696e lang....lemma-in │ │ │ │ + 0x016e4630 6c616e67 00000000 696e7075 742d6c61 lang....input-la │ │ │ │ + 0x016e4640 6e677561 67650000 6c656d6d 612d696e nguage..lemma-in │ │ │ │ 0x016e4650 70726f63 65737300 6c656d6d 612d696e process.lemma-in │ │ │ │ 0x016e4660 70726f63 6573732d 696e6665 722d6571 process-infer-eq │ │ │ │ 0x016e4670 2d6c6974 00000000 6c656d6d 612d696e -lit....lemma-in │ │ │ │ 0x016e4680 70726f63 6573732d 73756273 00000000 process-subs.... │ │ │ │ 0x016e4690 6c656d6d 61732d6f 6e2d7265 706c6179 lemmas-on-replay │ │ │ │ 0x016e46a0 2d666169 6c757265 00000000 00000000 -failure........ │ │ │ │ 0x016e46b0 6c667363 2d657870 616e642d 74727573 lfsc-expand-trus │ │ │ │ @@ -17147,16 +17147,16 @@ │ │ │ │ 0x016e49b0 6f6e2d72 65706561 742d6974 652d7369 on-repeat-ite-si │ │ │ │ 0x016e49c0 6d700000 00000000 6f70742d 7265732d mp......opt-res- │ │ │ │ 0x016e49d0 7265636f 6e737472 75637469 6f6e2d73 reconstruction-s │ │ │ │ 0x016e49e0 697a6500 00000000 6f757470 75740000 ize.....output.. │ │ │ │ 0x016e49f0 6f757470 75742d6c 616e6700 00000000 output-lang..... │ │ │ │ 0x016e4a00 70617273 652d6f6e 6c790000 00000000 parse-only...... │ │ │ │ 0x016e4a10 70617274 69616c2d 74726967 67657273 partial-triggers │ │ │ │ - 0x016e4a20 00000000 00000000 70617274 6974696f ........partitio │ │ │ │ - 0x016e4a30 6e2d6368 65636b00 63686563 6b000000 n-check.check... │ │ │ │ + 0x016e4a20 00000000 00000000 63686563 6b000000 ........check... │ │ │ │ + 0x016e4a30 70617274 6974696f 6e2d6368 65636b00 partition-check. │ │ │ │ 0x016e4a40 70617274 6974696f 6e2d636f 6e666c69 partition-confli │ │ │ │ 0x016e4a50 63742d73 697a6500 70617274 6974696f ct-size.partitio │ │ │ │ 0x016e4a60 6e2d7374 6172742d 74696d65 00000000 n-start-time.... │ │ │ │ 0x016e4a70 70617274 6974696f 6e000000 00000000 partition....... │ │ │ │ 0x016e4a80 70617274 6974696f 6e2d7374 72617465 partition-strate │ │ │ │ 0x016e4a90 67790000 00000000 70617274 6974696f gy......partitio │ │ │ │ 0x016e4aa0 6e2d7469 6d652d69 6e746572 76616c00 n-time-interval. │ │ │ ├── readelf --wide --decompress --hex-dump=.data.rel.ro {} │ │ │ │ @@ -1860,15 +1860,15 @@ │ │ │ │ 0x01a1a4c0 583d6e01 00000000 683d6e01 00000000 X=n.....h=n..... │ │ │ │ 0x01a1a4d0 883d6e01 00000000 983d6e01 00000000 .=n......=n..... │ │ │ │ 0x01a1a4e0 b03d6e01 00000000 c83d6e01 00000000 .=n......=n..... │ │ │ │ 0x01a1a4f0 d83d6e01 00000000 e83d6e01 00000000 .=n......=n..... │ │ │ │ 0x01a1a500 f83d6e01 00000000 083e6e01 00000000 .=n......>n..... │ │ │ │ 0x01a1a510 183e6e01 00000000 303e6e01 00000000 .>n.....0>n..... │ │ │ │ 0x01a1a520 483e6e01 00000000 583e6e01 00000000 H>n.....X>n..... │ │ │ │ - 0x01a1a530 683e6e01 00000000 384a6e01 00000000 h>n.....8Jn..... │ │ │ │ + 0x01a1a530 683e6e01 00000000 284a6e01 00000000 h>n.....(Jn..... │ │ │ │ 0x01a1a540 803e6e01 00000000 903e6e01 00000000 .>n......>n..... │ │ │ │ 0x01a1a550 a83e6e01 00000000 08676b01 00000000 .>n......gk..... │ │ │ │ 0x01a1a560 b83e6e01 00000000 c83e6e01 00000000 .>n......>n..... │ │ │ │ 0x01a1a570 d83e6e01 00000000 f03e6e01 00000000 .>n......>n..... │ │ │ │ 0x01a1a580 083f6e01 00000000 283f6e01 00000000 .?n.....(?n..... │ │ │ │ 0x01a1a590 403f6e01 00000000 583f6e01 00000000 @?n.....X?n..... │ │ │ │ 0x01a1a5a0 703f6e01 00000000 903f6e01 00000000 p?n......?n..... │ │ │ │ @@ -1912,23 +1912,23 @@ │ │ │ │ 0x01a1a800 80446e01 00000000 40bc6a01 00000000 .Dn.....@.j..... │ │ │ │ 0x01a1a810 28896d01 00000000 98446e01 00000000 (.m......Dn..... │ │ │ │ 0x01a1a820 a8446e01 00000000 50bc6a01 00000000 .Dn.....P.j..... │ │ │ │ 0x01a1a830 c0446e01 00000000 d8446e01 00000000 .Dn......Dn..... │ │ │ │ 0x01a1a840 e8446e01 00000000 00456e01 00000000 .Dn......En..... │ │ │ │ 0x01a1a850 10456e01 00000000 38c26b01 00000000 .En.....8.k..... │ │ │ │ 0x01a1a860 18456e01 00000000 30456e01 00000000 .En.....0En..... │ │ │ │ - 0x01a1a870 30466e01 00000000 40456e01 00000000 0Fn.....@En..... │ │ │ │ + 0x01a1a870 38466e01 00000000 40456e01 00000000 8Fn.....@En..... │ │ │ │ 0x01a1a880 50456e01 00000000 60456e01 00000000 PEn.....`En..... │ │ │ │ 0x01a1a890 70456e01 00000000 80456e01 00000000 pEn......En..... │ │ │ │ 0x01a1a8a0 90456e01 00000000 a0456e01 00000000 .En......En..... │ │ │ │ 0x01a1a8b0 284c6e01 00000000 b0456e01 00000000 (Ln......En..... │ │ │ │ 0x01a1a8c0 c8456e01 00000000 e0456e01 00000000 .En......En..... │ │ │ │ 0x01a1a8d0 f0456e01 00000000 00466e01 00000000 .En......Fn..... │ │ │ │ 0x01a1a8e0 10466e01 00000000 20466e01 00000000 .Fn..... Fn..... │ │ │ │ - 0x01a1a8f0 40466e01 00000000 c8c06a01 00000000 @Fn.......j..... │ │ │ │ + 0x01a1a8f0 30466e01 00000000 c8c06a01 00000000 0Fn.......j..... │ │ │ │ 0x01a1a900 48466e01 00000000 58466e01 00000000 HFn.....XFn..... │ │ │ │ 0x01a1a910 78466e01 00000000 90466e01 00000000 xFn......Fn..... │ │ │ │ 0x01a1a920 b0466e01 00000000 c8466e01 00000000 .Fn......Fn..... │ │ │ │ 0x01a1a930 d8466e01 00000000 f0466e01 00000000 .Fn......Fn..... │ │ │ │ 0x01a1a940 00476e01 00000000 18476e01 00000000 .Gn......Gn..... │ │ │ │ 0x01a1a950 b0696b01 00000000 30476e01 00000000 .ik.....0Gn..... │ │ │ │ 0x01a1a960 40476e01 00000000 58476e01 00000000 @Gn.....XGn..... │ │ │ │ @@ -1950,15 +1950,15 @@ │ │ │ │ 0x01a1aa60 58496e01 00000000 68496e01 00000000 XIn.....hIn..... │ │ │ │ 0x01a1aa70 88496e01 00000000 90496e01 00000000 .In......In..... │ │ │ │ 0x01a1aa80 98496e01 00000000 b0496e01 00000000 .In......In..... │ │ │ │ 0x01a1aa90 c8496e01 00000000 e0946d01 00000000 .In.......m..... │ │ │ │ 0x01a1aaa0 787e6d01 00000000 e8496e01 00000000 x~m......In..... │ │ │ │ 0x01a1aab0 f0496e01 00000000 b0806b01 00000000 .In.......k..... │ │ │ │ 0x01a1aac0 004a6e01 00000000 104a6e01 00000000 .Jn......Jn..... │ │ │ │ - 0x01a1aad0 704a6e01 00000000 284a6e01 00000000 pJn.....(Jn..... │ │ │ │ + 0x01a1aad0 704a6e01 00000000 304a6e01 00000000 pJn.....0Jn..... │ │ │ │ 0x01a1aae0 404a6e01 00000000 584a6e01 00000000 @Jn.....XJn..... │ │ │ │ 0x01a1aaf0 804a6e01 00000000 984a6e01 00000000 .Jn......Jn..... │ │ │ │ 0x01a1ab00 b04a6e01 00000000 c84a6e01 00000000 .Jn......Jn..... │ │ │ │ 0x01a1ab10 585c6e01 00000000 d84a6e01 00000000 X\n......Jn..... │ │ │ │ 0x01a1ab20 e84a6e01 00000000 f84a6e01 00000000 .Jn......Jn..... │ │ │ │ 0x01a1ab30 084b6e01 00000000 184b6e01 00000000 .Kn......Kn..... │ │ │ │ 0x01a1ab40 304b6e01 00000000 484b6e01 00000000 0Kn.....HKn..... │ │ │ ├── readelf --wide --decompress --hex-dump=.data {} │ │ │ │ @@ -308,17 +308,17 @@ │ │ │ │ 0x01a31310 00000000 00000000 71010000 00000000 ........q....... │ │ │ │ 0x01a31320 38c26b01 00000000 01000000 00000000 8.k............. │ │ │ │ 0x01a31330 00000000 00000000 72010000 00000000 ........r....... │ │ │ │ 0x01a31340 30456e01 00000000 00000000 00000000 0En............. │ │ │ │ 0x01a31350 00000000 00000000 73010000 00000000 ........s....... │ │ │ │ 0x01a31360 c09b6f01 00000000 00000000 00000000 ..o............. │ │ │ │ 0x01a31370 00000000 00000000 74010000 00000000 ........t....... │ │ │ │ - 0x01a31380 40466e01 00000000 01000000 00000000 @Fn............. │ │ │ │ + 0x01a31380 30466e01 00000000 01000000 00000000 0Fn............. │ │ │ │ 0x01a31390 00000000 00000000 75010000 00000000 ........u....... │ │ │ │ - 0x01a313a0 30466e01 00000000 01000000 00000000 0Fn............. │ │ │ │ + 0x01a313a0 38466e01 00000000 01000000 00000000 8Fn............. │ │ │ │ 0x01a313b0 00000000 00000000 76010000 00000000 ........v....... │ │ │ │ 0x01a313c0 787e6d01 00000000 01000000 00000000 x~m............. │ │ │ │ 0x01a313d0 00000000 00000000 77010000 00000000 ........w....... │ │ │ │ 0x01a313e0 705c6a01 00000000 01000000 00000000 p\j............. │ │ │ │ 0x01a313f0 00000000 00000000 78010000 00000000 ........x....... │ │ │ │ 0x01a31400 e8496e01 00000000 01000000 00000000 .In............. │ │ │ │ 0x01a31410 00000000 00000000 79010000 00000000 ........y....... │ │ │ │ @@ -592,17 +592,17 @@ │ │ │ │ 0x01a324d0 00000000 00000000 ff010000 00000000 ................ │ │ │ │ 0x01a324e0 f03e6e01 00000000 01000000 00000000 .>n............. │ │ │ │ 0x01a324f0 00000000 00000000 00020000 00000000 ................ │ │ │ │ 0x01a32500 083f6e01 00000000 01000000 00000000 .?n............. │ │ │ │ 0x01a32510 00000000 00000000 01020000 00000000 ................ │ │ │ │ 0x01a32520 403f6e01 00000000 01000000 00000000 @?n............. │ │ │ │ 0x01a32530 00000000 00000000 02020000 00000000 ................ │ │ │ │ - 0x01a32540 284a6e01 00000000 01000000 00000000 (Jn............. │ │ │ │ + 0x01a32540 304a6e01 00000000 01000000 00000000 0Jn............. │ │ │ │ 0x01a32550 00000000 00000000 03020000 00000000 ................ │ │ │ │ - 0x01a32560 384a6e01 00000000 01000000 00000000 8Jn............. │ │ │ │ + 0x01a32560 284a6e01 00000000 01000000 00000000 (Jn............. │ │ │ │ 0x01a32570 00000000 00000000 04020000 00000000 ................ │ │ │ │ 0x01a32580 404a6e01 00000000 01000000 00000000 @Jn............. │ │ │ │ 0x01a32590 00000000 00000000 05020000 00000000 ................ │ │ │ │ 0x01a325a0 584a6e01 00000000 01000000 00000000 XJn............. │ │ │ │ 0x01a325b0 00000000 00000000 06020000 00000000 ................ │ │ │ │ 0x01a325c0 804a6e01 00000000 01000000 00000000 .Jn............. │ │ │ │ 0x01a325d0 00000000 00000000 07020000 00000000 ................ │ │ │ │ @@ -1675,15 +1675,15 @@ │ │ │ │ 0x01a36880 01000000 00000000 01000000 00000000 ................ │ │ │ │ 0x01a36890 00000000 00000000 288c7001 00000000 ........(.p..... │ │ │ │ 0x01a368a0 60367001 00000000 01000000 00000000 `6p............. │ │ │ │ 0x01a368b0 01000000 00000000 00000000 00000000 ................ │ │ │ │ 0x01a368c0 088c7001 00000000 70367001 00000000 ..p.....p6p..... │ │ │ │ 0x01a368d0 01000000 01000000 03000000 00000000 ................ │ │ │ │ 0x01a368e0 00000000 00000000 f08b7001 00000000 ..........p..... │ │ │ │ - 0x01a368f0 384a6e01 00000000 00000000 00000000 8Jn............. │ │ │ │ + 0x01a368f0 284a6e01 00000000 00000000 00000000 (Jn............. │ │ │ │ 0x01a36900 01000000 00000000 00000000 00000000 ................ │ │ │ │ 0x01a36910 d08b7001 00000000 80367001 00000000 ..p......6p..... │ │ │ │ 0x01a36920 01000000 00000000 01000000 00000000 ................ │ │ │ │ 0x01a36930 00000000 00000000 b08b7001 00000000 ..........p..... │ │ │ │ 0x01a36940 98367001 00000000 01000000 00000000 .6p............. │ │ │ │ 0x01a36950 01000000 00000000 00000000 00000000 ................ │ │ │ │ 0x01a36960 908b7001 00000000 a8367001 00000000 ..p......6p..... │ │ │ │ @@ -2102,15 +2102,15 @@ │ │ │ │ 0x01a38330 58367001 00000000 01000000 00000000 X6p............. │ │ │ │ 0x01a38340 01000000 00000000 00000000 00000000 ................ │ │ │ │ 0x01a38350 288c7001 00000000 60367001 00000000 (.p.....`6p..... │ │ │ │ 0x01a38360 01000000 00000000 01000000 00000000 ................ │ │ │ │ 0x01a38370 00000000 00000000 088c7001 00000000 ..........p..... │ │ │ │ 0x01a38380 70367001 00000000 01000000 01000000 p6p............. │ │ │ │ 0x01a38390 03000000 00000000 00000000 00000000 ................ │ │ │ │ - 0x01a383a0 f08b7001 00000000 384a6e01 00000000 ..p.....8Jn..... │ │ │ │ + 0x01a383a0 f08b7001 00000000 284a6e01 00000000 ..p.....(Jn..... │ │ │ │ 0x01a383b0 00000000 00000000 01000000 00000000 ................ │ │ │ │ 0x01a383c0 00000000 00000000 d08b7001 00000000 ..........p..... │ │ │ │ 0x01a383d0 80367001 00000000 01000000 00000000 .6p............. │ │ │ │ 0x01a383e0 01000000 00000000 00000000 00000000 ................ │ │ │ │ 0x01a383f0 b08b7001 00000000 98367001 00000000 ..p......6p..... │ │ │ │ 0x01a38400 01000000 00000000 01000000 00000000 ................ │ │ │ │ 0x01a38410 00000000 00000000 908b7001 00000000 ..........p..... │ │ │ ├── readelf --wide --decompress --hex-dump=.gnu_debuglink {} │ │ │ │ @@ -1,7 +1,7 @@ │ │ │ │ │ │ │ │ Hex dump of section '.gnu_debuglink': │ │ │ │ - 0x00000000 35346430 39613133 37636638 64386632 54d09a137cf8d8f2 │ │ │ │ - 0x00000010 34333439 66373966 61303366 36633736 4349f79fa03f6c76 │ │ │ │ - 0x00000020 62323033 62662e64 65627567 00000000 b203bf.debug.... │ │ │ │ - 0x00000030 e18af4ab .... │ │ │ │ + 0x00000000 34346133 37353564 39626638 61636432 44a3755d9bf8acd2 │ │ │ │ + 0x00000010 61356266 32646639 62633361 39623637 a5bf2df9bc3a9b67 │ │ │ │ + 0x00000020 64376662 34382e64 65627567 00000000 d7fb48.debug.... │ │ │ │ + 0x00000030 02ded6d5 ....