--- /srv/rebuilderd/tmp/rebuilderdj8vNEw/inputs/libcvc5-1_1.3.2-1+b2_arm64.deb +++ /srv/rebuilderd/tmp/rebuilderdj8vNEw/out/libcvc5-1_1.3.2-1+b2_arm64.deb ├── file list │ @@ -1,3 +1,3 @@ │ -rw-r--r-- 0 0 0 4 2026-06-28 20:25:14.000000 debian-binary │ -rw-r--r-- 0 0 0 1308 2026-06-28 20:25:14.000000 control.tar.xz │ --rw-r--r-- 0 0 0 6635416 2026-06-28 20:25:14.000000 data.tar.xz │ +-rw-r--r-- 0 0 0 6636144 2026-06-28 20:25:14.000000 data.tar.xz ├── control.tar.xz │ ├── control.tar │ │ ├── ./md5sums │ │ │ ├── ./md5sums │ │ │ │┄ Files differ ├── data.tar.xz │ ├── data.tar │ │ ├── ./usr/lib/aarch64-linux-gnu/libcvc5.so.1 │ │ │ ├── readelf --wide --relocs {} │ │ │ │ @@ -4204,15 +4204,15 @@ │ │ │ │ 000000000195cf88 0000000000000403 R_AARCH64_RELATIVE 165e790 │ │ │ │ 000000000195cf90 0000000000000403 R_AARCH64_RELATIVE 162ea38 │ │ │ │ 000000000195cf98 0000000000000403 R_AARCH64_RELATIVE 165e7a0 │ │ │ │ 000000000195cfa0 0000000000000403 R_AARCH64_RELATIVE 165e7b8 │ │ │ │ 000000000195cfa8 0000000000000403 R_AARCH64_RELATIVE 162eb70 │ │ │ │ 000000000195cfb0 0000000000000403 R_AARCH64_RELATIVE 165e7d0 │ │ │ │ 000000000195cfb8 0000000000000403 R_AARCH64_RELATIVE 165e7e0 │ │ │ │ -000000000195cfc0 0000000000000403 R_AARCH64_RELATIVE 165f3c0 │ │ │ │ +000000000195cfc0 0000000000000403 R_AARCH64_RELATIVE 165f3b0 │ │ │ │ 000000000195cfc8 0000000000000403 R_AARCH64_RELATIVE 165e7f8 │ │ │ │ 000000000195cfd0 0000000000000403 R_AARCH64_RELATIVE 165e808 │ │ │ │ 000000000195cfd8 0000000000000403 R_AARCH64_RELATIVE 165e820 │ │ │ │ 000000000195cfe0 0000000000000403 R_AARCH64_RELATIVE 162eed8 │ │ │ │ 000000000195cfe8 0000000000000403 R_AARCH64_RELATIVE 162efe0 │ │ │ │ 000000000195cff0 0000000000000403 R_AARCH64_RELATIVE 162eeb0 │ │ │ │ 000000000195cff8 0000000000000403 R_AARCH64_RELATIVE 162ee50 │ │ │ │ @@ -4407,22 +4407,22 @@ │ │ │ │ 000000000195d5e0 0000000000000403 R_AARCH64_RELATIVE 165f348 │ │ │ │ 000000000195d5e8 0000000000000403 R_AARCH64_RELATIVE 1630a68 │ │ │ │ 000000000195d5f0 0000000000000403 R_AARCH64_RELATIVE 165f358 │ │ │ │ 000000000195d5f8 0000000000000403 R_AARCH64_RELATIVE 165f368 │ │ │ │ 000000000195d600 0000000000000403 R_AARCH64_RELATIVE 165f388 │ │ │ │ 000000000195d608 0000000000000403 R_AARCH64_RELATIVE 165f398 │ │ │ │ 000000000195d610 0000000000000403 R_AARCH64_RELATIVE 165f410 │ │ │ │ -000000000195d618 0000000000000403 R_AARCH64_RELATIVE 165f3b0 │ │ │ │ +000000000195d618 0000000000000403 R_AARCH64_RELATIVE 165f3b8 │ │ │ │ 000000000195d620 0000000000000403 R_AARCH64_RELATIVE 165f3c8 │ │ │ │ 000000000195d628 0000000000000403 R_AARCH64_RELATIVE 165f3e0 │ │ │ │ 000000000195d630 0000000000000403 R_AARCH64_RELATIVE 165f3f8 │ │ │ │ 000000000195d638 0000000000000403 R_AARCH64_RELATIVE 165f420 │ │ │ │ 000000000195d640 0000000000000403 R_AARCH64_RELATIVE 165f438 │ │ │ │ 000000000195d648 0000000000000403 R_AARCH64_RELATIVE 165f450 │ │ │ │ -000000000195d650 0000000000000403 R_AARCH64_RELATIVE 1660448 │ │ │ │ +000000000195d650 0000000000000403 R_AARCH64_RELATIVE 1660430 │ │ │ │ 000000000195d658 0000000000000403 R_AARCH64_RELATIVE 162ebd0 │ │ │ │ 000000000195d660 0000000000000403 R_AARCH64_RELATIVE 162f748 │ │ │ │ 000000000195d668 0000000000000403 R_AARCH64_RELATIVE 165f460 │ │ │ │ 000000000195d670 0000000000000403 R_AARCH64_RELATIVE 165f488 │ │ │ │ 000000000195d678 0000000000000403 R_AARCH64_RELATIVE 1643df0 │ │ │ │ 000000000195d680 0000000000000403 R_AARCH64_RELATIVE 165f4a0 │ │ │ │ 000000000195d688 0000000000000403 R_AARCH64_RELATIVE 165f4b8 │ │ │ │ @@ -4475,16 +4475,16 @@ │ │ │ │ 000000000195d800 0000000000000403 R_AARCH64_RELATIVE 162f4b8 │ │ │ │ 000000000195d808 0000000000000403 R_AARCH64_RELATIVE 165f738 │ │ │ │ 000000000195d810 0000000000000403 R_AARCH64_RELATIVE 162f368 │ │ │ │ 000000000195d818 0000000000000403 R_AARCH64_RELATIVE 165f750 │ │ │ │ 000000000195d820 0000000000000403 R_AARCH64_RELATIVE 165f760 │ │ │ │ 000000000195d828 0000000000000403 R_AARCH64_RELATIVE 165f770 │ │ │ │ 000000000195d830 0000000000000403 R_AARCH64_RELATIVE 162ac60 │ │ │ │ -000000000195d838 0000000000000403 R_AARCH64_RELATIVE 165f798 │ │ │ │ -000000000195d840 0000000000000403 R_AARCH64_RELATIVE 165f780 │ │ │ │ +000000000195d838 0000000000000403 R_AARCH64_RELATIVE 165f780 │ │ │ │ +000000000195d840 0000000000000403 R_AARCH64_RELATIVE 165f790 │ │ │ │ 000000000195d848 0000000000000403 R_AARCH64_RELATIVE 165f7a8 │ │ │ │ 000000000195d850 0000000000000403 R_AARCH64_RELATIVE 165f978 │ │ │ │ 000000000195d858 0000000000000403 R_AARCH64_RELATIVE 165f7c0 │ │ │ │ 000000000195d860 0000000000000403 R_AARCH64_RELATIVE 165f7c8 │ │ │ │ 000000000195d868 0000000000000403 R_AARCH64_RELATIVE 165f7d8 │ │ │ │ 000000000195d870 0000000000000403 R_AARCH64_RELATIVE 165f7e8 │ │ │ │ 000000000195d878 0000000000000403 R_AARCH64_RELATIVE 16201a8 │ │ │ │ @@ -4668,15 +4668,15 @@ │ │ │ │ 000000000195de08 0000000000000403 R_AARCH64_RELATIVE 16603f0 │ │ │ │ 000000000195de10 0000000000000403 R_AARCH64_RELATIVE 162ee38 │ │ │ │ 000000000195de18 0000000000000403 R_AARCH64_RELATIVE 1660400 │ │ │ │ 000000000195de20 0000000000000403 R_AARCH64_RELATIVE 1660418 │ │ │ │ 000000000195de28 0000000000000403 R_AARCH64_RELATIVE 161c058 │ │ │ │ 000000000195de30 0000000000000403 R_AARCH64_RELATIVE 161bf48 │ │ │ │ 000000000195de38 0000000000000403 R_AARCH64_RELATIVE 1660420 │ │ │ │ -000000000195de40 0000000000000403 R_AARCH64_RELATIVE 1660430 │ │ │ │ +000000000195de40 0000000000000403 R_AARCH64_RELATIVE 1660440 │ │ │ │ 000000000195de50 0000000000000403 R_AARCH64_RELATIVE 196a100 │ │ │ │ 000000000195de58 0000000000000403 R_AARCH64_RELATIVE 1554720 │ │ │ │ 000000000195de60 0000000000000403 R_AARCH64_RELATIVE 1554820 │ │ │ │ 000000000195de68 0000000000000403 R_AARCH64_RELATIVE 1554520 │ │ │ │ 000000000195de70 0000000000000403 R_AARCH64_RELATIVE 1556da0 │ │ │ │ 000000000195de78 0000000000000403 R_AARCH64_RELATIVE 1554500 │ │ │ │ 000000000195de80 0000000000000403 R_AARCH64_RELATIVE 1554960 │ │ │ │ @@ -9157,27 +9157,27 @@ │ │ │ │ 0000000001972688 0000000000000403 R_AARCH64_RELATIVE 1675548 │ │ │ │ 00000000019726a8 0000000000000403 R_AARCH64_RELATIVE 161bf48 │ │ │ │ 00000000019726c8 0000000000000403 R_AARCH64_RELATIVE 165e500 │ │ │ │ 00000000019726e8 0000000000000403 R_AARCH64_RELATIVE 1675560 │ │ │ │ 0000000001972708 0000000000000403 R_AARCH64_RELATIVE 165e860 │ │ │ │ 0000000001972728 0000000000000403 R_AARCH64_RELATIVE 165e878 │ │ │ │ 0000000001972748 0000000000000403 R_AARCH64_RELATIVE 165e8b0 │ │ │ │ -0000000001972768 0000000000000403 R_AARCH64_RELATIVE 165f3b0 │ │ │ │ -0000000001972788 0000000000000403 R_AARCH64_RELATIVE 165f3c0 │ │ │ │ +0000000001972768 0000000000000403 R_AARCH64_RELATIVE 165f3b8 │ │ │ │ +0000000001972788 0000000000000403 R_AARCH64_RELATIVE 165f3b0 │ │ │ │ 00000000019727a8 0000000000000403 R_AARCH64_RELATIVE 165f3c8 │ │ │ │ 00000000019727c8 0000000000000403 R_AARCH64_RELATIVE 165f3e0 │ │ │ │ 00000000019727e8 0000000000000403 R_AARCH64_RELATIVE 165f3f8 │ │ │ │ 0000000001972808 0000000000000403 R_AARCH64_RELATIVE 165f410 │ │ │ │ 0000000001972828 0000000000000403 R_AARCH64_RELATIVE 165f420 │ │ │ │ 0000000001972848 0000000000000403 R_AARCH64_RELATIVE 165f438 │ │ │ │ 0000000001972868 0000000000000403 R_AARCH64_RELATIVE 165f450 │ │ │ │ 0000000001972888 0000000000000403 R_AARCH64_RELATIVE 165f7a8 │ │ │ │ 00000000019728a8 0000000000000403 R_AARCH64_RELATIVE 1675588 │ │ │ │ -00000000019728c8 0000000000000403 R_AARCH64_RELATIVE 1660430 │ │ │ │ -00000000019728e8 0000000000000403 R_AARCH64_RELATIVE 1660448 │ │ │ │ +00000000019728c8 0000000000000403 R_AARCH64_RELATIVE 1660440 │ │ │ │ +00000000019728e8 0000000000000403 R_AARCH64_RELATIVE 1660430 │ │ │ │ 0000000001972908 0000000000000403 R_AARCH64_RELATIVE 165ecd0 │ │ │ │ 0000000001972928 0000000000000403 R_AARCH64_RELATIVE 16755a0 │ │ │ │ 0000000001972948 0000000000000403 R_AARCH64_RELATIVE 165ed50 │ │ │ │ 0000000001972968 0000000000000403 R_AARCH64_RELATIVE 162e990 │ │ │ │ 0000000001972988 0000000000000403 R_AARCH64_RELATIVE 16755b8 │ │ │ │ 00000000019729a8 0000000000000403 R_AARCH64_RELATIVE 165ed90 │ │ │ │ 00000000019729c8 0000000000000403 R_AARCH64_RELATIVE 16755d0 │ │ │ │ @@ -9253,16 +9253,16 @@ │ │ │ │ 0000000001973288 0000000000000403 R_AARCH64_RELATIVE 162f188 │ │ │ │ 00000000019732a8 0000000000000403 R_AARCH64_RELATIVE 165f928 │ │ │ │ 00000000019732c8 0000000000000403 R_AARCH64_RELATIVE 16758d0 │ │ │ │ 00000000019732e8 0000000000000403 R_AARCH64_RELATIVE 165f0d0 │ │ │ │ 0000000001973308 0000000000000403 R_AARCH64_RELATIVE 16758e8 │ │ │ │ 0000000001973328 0000000000000403 R_AARCH64_RELATIVE 162e8c0 │ │ │ │ 0000000001973348 0000000000000403 R_AARCH64_RELATIVE 165f4f0 │ │ │ │ -0000000001973368 0000000000000403 R_AARCH64_RELATIVE 165f798 │ │ │ │ -0000000001973388 0000000000000403 R_AARCH64_RELATIVE 165f780 │ │ │ │ +0000000001973368 0000000000000403 R_AARCH64_RELATIVE 165f780 │ │ │ │ +0000000001973388 0000000000000403 R_AARCH64_RELATIVE 165f790 │ │ │ │ 00000000019733a8 0000000000000403 R_AARCH64_RELATIVE 165f8a0 │ │ │ │ 00000000019733c8 0000000000000403 R_AARCH64_RELATIVE 165f8b8 │ │ │ │ 00000000019733e8 0000000000000403 R_AARCH64_RELATIVE 165f940 │ │ │ │ 0000000001973408 0000000000000403 R_AARCH64_RELATIVE 165f950 │ │ │ │ 0000000001973428 0000000000000403 R_AARCH64_RELATIVE 162ecc0 │ │ │ │ 0000000001973448 0000000000000403 R_AARCH64_RELATIVE 1675900 │ │ │ │ 0000000001973468 0000000000000403 R_AARCH64_RELATIVE 165e690 │ │ │ │ @@ -9774,15 +9774,15 @@ │ │ │ │ 00000000019772b0 0000000000000403 R_AARCH64_RELATIVE 168a590 │ │ │ │ 00000000019772b8 0000000000000403 R_AARCH64_RELATIVE 1685498 │ │ │ │ 00000000019772d8 0000000000000403 R_AARCH64_RELATIVE 168add0 │ │ │ │ 00000000019772e0 0000000000000403 R_AARCH64_RELATIVE 16854a0 │ │ │ │ 0000000001977300 0000000000000403 R_AARCH64_RELATIVE 168adb0 │ │ │ │ 0000000001977308 0000000000000403 R_AARCH64_RELATIVE 16854b0 │ │ │ │ 0000000001977328 0000000000000403 R_AARCH64_RELATIVE 168ad98 │ │ │ │ -0000000001977330 0000000000000403 R_AARCH64_RELATIVE 165f3c0 │ │ │ │ +0000000001977330 0000000000000403 R_AARCH64_RELATIVE 165f3b0 │ │ │ │ 0000000001977350 0000000000000403 R_AARCH64_RELATIVE 168ad78 │ │ │ │ 0000000001977358 0000000000000403 R_AARCH64_RELATIVE 16854c0 │ │ │ │ 0000000001977378 0000000000000403 R_AARCH64_RELATIVE 168ad58 │ │ │ │ 0000000001977380 0000000000000403 R_AARCH64_RELATIVE 16854d8 │ │ │ │ 00000000019773a0 0000000000000403 R_AARCH64_RELATIVE 168ad38 │ │ │ │ 00000000019773a8 0000000000000403 R_AARCH64_RELATIVE 16854e8 │ │ │ │ 00000000019773c8 0000000000000403 R_AARCH64_RELATIVE 168ad18 │ │ │ │ @@ -10126,15 +10126,15 @@ │ │ │ │ 0000000001978e30 0000000000000403 R_AARCH64_RELATIVE 168a590 │ │ │ │ 0000000001978e38 0000000000000403 R_AARCH64_RELATIVE 1685498 │ │ │ │ 0000000001978e58 0000000000000403 R_AARCH64_RELATIVE 168add0 │ │ │ │ 0000000001978e60 0000000000000403 R_AARCH64_RELATIVE 16854a0 │ │ │ │ 0000000001978e80 0000000000000403 R_AARCH64_RELATIVE 168adb0 │ │ │ │ 0000000001978e88 0000000000000403 R_AARCH64_RELATIVE 16854b0 │ │ │ │ 0000000001978ea8 0000000000000403 R_AARCH64_RELATIVE 168ad98 │ │ │ │ -0000000001978eb0 0000000000000403 R_AARCH64_RELATIVE 165f3c0 │ │ │ │ +0000000001978eb0 0000000000000403 R_AARCH64_RELATIVE 165f3b0 │ │ │ │ 0000000001978ed0 0000000000000403 R_AARCH64_RELATIVE 168ad78 │ │ │ │ 0000000001978ed8 0000000000000403 R_AARCH64_RELATIVE 16854c0 │ │ │ │ 0000000001978ef8 0000000000000403 R_AARCH64_RELATIVE 168ad58 │ │ │ │ 0000000001978f00 0000000000000403 R_AARCH64_RELATIVE 16854d8 │ │ │ │ 0000000001978f20 0000000000000403 R_AARCH64_RELATIVE 168ad38 │ │ │ │ 0000000001978f28 0000000000000403 R_AARCH64_RELATIVE 16854e8 │ │ │ │ 0000000001978f48 0000000000000403 R_AARCH64_RELATIVE 168ad18 │ │ │ ├── readelf --wide --notes {} │ │ │ │ @@ -1,8 +1,8 @@ │ │ │ │ │ │ │ │ Displaying notes found in: .note.gnu.build-id │ │ │ │ Owner Data size Description │ │ │ │ - GNU 0x00000014 NT_GNU_BUILD_ID (unique build ID bitstring) Build ID: fdee4d0a216575bf9ceedc8d97144707bee50320 │ │ │ │ + GNU 0x00000014 NT_GNU_BUILD_ID (unique build ID bitstring) Build ID: 1109dbe9bbf1d81c86947f370af3638eb0ab4780 │ │ │ │ │ │ │ │ Displaying notes found in: .note.gnu.property │ │ │ │ Owner Data size Description │ │ │ │ GNU 0x00000010 NT_GNU_PROPERTY_TYPE_0 Properties: AArch64 feature: BTI, PAC, GCS │ │ │ ├── strings --all --bytes=8 {} │ │ │ │┄ Ordering differences only │ │ │ │ @@ -10433,16 +10433,16 @@ │ │ │ │ proof-rewrite-rcons-rec-limit │ │ │ │ proof-rewrite-rcons-step-limit │ │ │ │ prop-row-length │ │ │ │ quant-alpha-equiv │ │ │ │ quant-fun-wd │ │ │ │ quant-ind │ │ │ │ quant-rep-mode │ │ │ │ -random-frequency │ │ │ │ random-freq │ │ │ │ +random-frequency │ │ │ │ random-partitioning │ │ │ │ re-first-class │ │ │ │ re-inter-mode │ │ │ │ register-quant-body-terms │ │ │ │ relational-triggers │ │ │ │ relevant-triggers │ │ │ │ replay-early-close-depth │ │ │ │ @@ -10575,16 +10575,16 @@ │ │ │ │ use-fcsimplex │ │ │ │ use-portfolio │ │ │ │ user-pat │ │ │ │ user-pool │ │ │ │ var-elim-quant │ │ │ │ var-ineq-elim-quant │ │ │ │ wf-checking │ │ │ │ -write-partitions-to │ │ │ │ partitions-out │ │ │ │ +write-partitions-to │ │ │ │ [options] [input-file] │ │ │ │ Without an input file, or with `-', cvc5 reads from standard input. │ │ │ │ cvc5 options: │ │ │ │ +:iL:o:qt:vhHs:Vm │ │ │ │ ' missing its required argument │ │ │ │ can't understand option ` │ │ │ │ Common options: │ │ │ ├── objdump --line-numbers --disassemble --demangle --reloc --no-show-raw-insn --section=.text {} │ │ │ │ @@ -55113,23 +55113,23 @@ │ │ │ │ mov w2, #0x56 // #86 │ │ │ │ adrp x1, 165e000 │ │ │ │ add x0, x19, #0xd98 │ │ │ │ add x1, x1, #0x9b8 │ │ │ │ str w2, [sp, #3504] │ │ │ │ bl 13b9d80 │ │ │ │ mov w2, #0x57 // #87 │ │ │ │ - adrp x1, 1683000 │ │ │ │ + adrp x1, 165e000 │ │ │ │ add x0, x19, #0xdc0 │ │ │ │ - add x1, x1, #0xed0 │ │ │ │ + add x1, x1, #0x9d0 │ │ │ │ str w2, [sp, #3544] │ │ │ │ bl 13b9d80 │ │ │ │ mov w2, #0x58 // #88 │ │ │ │ - adrp x1, 165e000 │ │ │ │ + adrp x1, 1683000 │ │ │ │ add x0, x19, #0xde8 │ │ │ │ - add x1, x1, #0x9d0 │ │ │ │ + add x1, x1, #0xed0 │ │ │ │ str w2, [sp, #3584] │ │ │ │ bl 13b9d80 │ │ │ │ mov w2, #0x58 // #88 │ │ │ │ adrp x1, 162e000 │ │ │ │ add x0, x19, #0xe10 │ │ │ │ add x1, x1, #0xb80 │ │ │ │ str w2, [sp, #3624] │ │ │ │ @@ -56333,15 +56333,15 @@ │ │ │ │ add x1, x1, #0x3b0 │ │ │ │ str w2, [sp, #10544] │ │ │ │ bl 13b9d80 │ │ │ │ mov w2, #0x102 // #258 │ │ │ │ mov x16, #0x2940 // #10560 │ │ │ │ adrp x1, 165f000 │ │ │ │ add x0, x19, x16 │ │ │ │ - add x1, x1, #0x3c0 │ │ │ │ + add x1, x1, #0x3b8 │ │ │ │ str w2, [sp, #10584] │ │ │ │ bl 13b9d80 │ │ │ │ mov w2, #0x102 // #258 │ │ │ │ mov x15, #0x2968 // #10600 │ │ │ │ adrp x1, 165f000 │ │ │ │ add x0, x19, x15 │ │ │ │ add x1, x1, #0x3c8 │ │ │ │ @@ -56541,24 +56541,24 @@ │ │ │ │ adrp x1, 161b000 │ │ │ │ add x0, x19, x14 │ │ │ │ add x1, x1, #0xd90 │ │ │ │ str w2, [sp, #11744] │ │ │ │ bl 13b9d80 │ │ │ │ mov w2, #0x11e // #286 │ │ │ │ mov x13, #0x2df0 // #11760 │ │ │ │ - adrp x1, 165f000 │ │ │ │ + adrp x1, 162f000 │ │ │ │ add x0, x19, x13 │ │ │ │ - add x1, x1, #0x590 │ │ │ │ + add x1, x1, #0x528 │ │ │ │ str w2, [sp, #11784] │ │ │ │ bl 13b9d80 │ │ │ │ mov w2, #0x11f // #287 │ │ │ │ mov x12, #0x2e18 // #11800 │ │ │ │ - adrp x1, 162f000 │ │ │ │ + adrp x1, 165f000 │ │ │ │ add x0, x19, x12 │ │ │ │ - add x1, x1, #0x528 │ │ │ │ + add x1, x1, #0x590 │ │ │ │ str w2, [sp, #11824] │ │ │ │ bl 13b9d80 │ │ │ │ mov w2, #0x11f // #287 │ │ │ │ mov x11, #0x2e40 // #11840 │ │ │ │ adrp x1, 162e000 │ │ │ │ add x0, x19, x11 │ │ │ │ add x1, x1, #0xf18 │ │ │ │ @@ -56822,15 +56822,15 @@ │ │ │ │ add x0, x19, x30 │ │ │ │ add x1, x1, #0x780 │ │ │ │ str w2, [sp, #13344] │ │ │ │ bl 13b9d80 │ │ │ │ mov w2, #0x145 // #325 │ │ │ │ adrp x1, 165f000 │ │ │ │ mov x28, #0x3430 // #13360 │ │ │ │ - add x1, x1, #0x798 │ │ │ │ + add x1, x1, #0x790 │ │ │ │ add x0, x19, x28 │ │ │ │ str w2, [sp, #13384] │ │ │ │ bl 13b9d80 │ │ │ │ mov w2, #0x145 // #325 │ │ │ │ adrp x1, 165f000 │ │ │ │ mov x27, #0x3458 // #13400 │ │ │ │ add x1, x1, #0x7a8 │ │ │ │ @@ -57136,24 +57136,24 @@ │ │ │ │ adrp x1, 165f000 │ │ │ │ add x0, x19, x10 │ │ │ │ add x1, x1, #0xa30 │ │ │ │ str w2, [sp, #15144] │ │ │ │ bl 13b9d80 │ │ │ │ mov w2, #0x16f // #367 │ │ │ │ mov x9, #0x3b38 // #15160 │ │ │ │ - adrp x1, 162e000 │ │ │ │ + adrp x1, 165f000 │ │ │ │ add x0, x19, x9 │ │ │ │ - add x1, x1, #0x8c8 │ │ │ │ + add x1, x1, #0xa48 │ │ │ │ str w2, [sp, #15184] │ │ │ │ bl 13b9d80 │ │ │ │ mov w2, #0x170 // #368 │ │ │ │ mov x8, #0x3b60 // #15200 │ │ │ │ - adrp x1, 165f000 │ │ │ │ + adrp x1, 162e000 │ │ │ │ add x0, x19, x8 │ │ │ │ - add x1, x1, #0xa48 │ │ │ │ + add x1, x1, #0x8c8 │ │ │ │ str w2, [sp, #15224] │ │ │ │ bl 13b9d80 │ │ │ │ mov w2, #0x170 // #368 │ │ │ │ mov x7, #0x3b88 // #15240 │ │ │ │ adrp x1, 162e000 │ │ │ │ add x0, x19, x7 │ │ │ │ add x1, x1, #0x960 │ │ │ │ @@ -58402,15 +58402,15 @@ │ │ │ │ bl 13b9d80 │ │ │ │ mov x7, #0x5248 // #21064 │ │ │ │ add x3, sp, x7 │ │ │ │ mov x6, #0x5250 // #21072 │ │ │ │ mov w2, #0x201 // #513 │ │ │ │ add x0, sp, x6 │ │ │ │ adrp x1, 1660000 │ │ │ │ - add x1, x1, #0x448 │ │ │ │ + add x1, x1, #0x440 │ │ │ │ str w2, [x3] │ │ │ │ str x0, [sp, #24] │ │ │ │ bl 13b9d80 │ │ │ │ adrp x26, 197d000 , false, false, false>::operator()(char) const::__nul@@Base+0x24e0> │ │ │ │ add x2, x26, #0x948 │ │ │ │ mov x5, #0x5270 // #21104 │ │ │ │ add x4, sp, x5 │ │ │ │ @@ -4194296,8 +4194296,8 @@ │ │ │ │ ldr x0, [x0] │ │ │ │ mov w1, #0x4f // #79 │ │ │ │ bl 10cca00 ::_M_gen_rand()@@Base+0x10ed80> │ │ │ │ str x21, [x23] │ │ │ │ mov x0, x21 │ │ │ │ bl 220fe0 │ │ │ │ mov x0, x21 │ │ │ │ -[ Too much input for diff (SHA256: 77b4fe3805c7c9a0613583a38ffaed76a35d4639a8632dbb40c74a69eaf39ca0) ] │ │ │ │ +[ Too much input for diff (SHA256: 17ea6d1826f55d4dddb5b02fb6e1e55c671b91129aded0ffe99139436989ba4d) ] │ │ │ ├── readelf --wide --decompress --hex-dump=.rodata {} │ │ │ │ @@ -19004,16 +19004,16 @@ │ │ │ │ 0x0165f340 6f757470 75740000 6f757470 75742d6c output..output-l │ │ │ │ 0x0165f350 616e6700 00000000 70617273 652d6f6e ang.....parse-on │ │ │ │ 0x0165f360 6c790000 00000000 70617273 652d736b ly......parse-sk │ │ │ │ 0x0165f370 6f6c656d 2d646566 696e6974 696f6e73 olem-definitions │ │ │ │ 0x0165f380 00000000 00000000 70617273 696e672d ........parsing- │ │ │ │ 0x0165f390 6d6f6465 00000000 70617274 69616c2d mode....partial- │ │ │ │ 0x0165f3a0 74726967 67657273 00000000 00000000 triggers........ │ │ │ │ - 0x0165f3b0 70617274 6974696f 6e2d6368 65636b00 partition-check. │ │ │ │ - 0x0165f3c0 63686563 6b000000 70617274 6974696f check...partitio │ │ │ │ + 0x0165f3b0 63686563 6b000000 70617274 6974696f check...partitio │ │ │ │ + 0x0165f3c0 6e2d6368 65636b00 70617274 6974696f n-check.partitio │ │ │ │ 0x0165f3d0 6e2d636f 6e666c69 63742d73 697a6500 n-conflict-size. │ │ │ │ 0x0165f3e0 70617274 6974696f 6e2d7374 6172742d partition-start- │ │ │ │ 0x0165f3f0 74696d65 00000000 70617274 6974696f time....partitio │ │ │ │ 0x0165f400 6e2d7374 72617465 67790000 00000000 n-strategy...... │ │ │ │ 0x0165f410 70617274 6974696f 6e000000 00000000 partition....... │ │ │ │ 0x0165f420 70617274 6974696f 6e2d7469 6d652d69 partition-time-i │ │ │ │ 0x0165f430 6e746572 76616c00 70617274 6974696f nterval.partitio │ │ │ │ @@ -19065,17 +19065,17 @@ │ │ │ │ 0x0165f710 77726974 652d7263 6f6e732d 73746570 write-rcons-step │ │ │ │ 0x0165f720 2d6c696d 69740000 70726f70 2d726f77 -limit..prop-row │ │ │ │ 0x0165f730 2d6c656e 67746800 7175616e 742d616c -length.quant-al │ │ │ │ 0x0165f740 7068612d 65717569 76000000 00000000 pha-equiv....... │ │ │ │ 0x0165f750 7175616e 742d6675 6e2d7764 00000000 quant-fun-wd.... │ │ │ │ 0x0165f760 7175616e 742d696e 64000000 00000000 quant-ind....... │ │ │ │ 0x0165f770 7175616e 742d7265 702d6d6f 64650000 quant-rep-mode.. │ │ │ │ - 0x0165f780 72616e64 6f6d2d66 72657175 656e6379 random-frequency │ │ │ │ - 0x0165f790 00000000 00000000 72616e64 6f6d2d66 ........random-f │ │ │ │ - 0x0165f7a0 72657100 00000000 72616e64 6f6d2d70 req.....random-p │ │ │ │ + 0x0165f780 72616e64 6f6d2d66 72657100 00000000 random-freq..... │ │ │ │ + 0x0165f790 72616e64 6f6d2d66 72657175 656e6379 random-frequency │ │ │ │ + 0x0165f7a0 00000000 00000000 72616e64 6f6d2d70 ........random-p │ │ │ │ 0x0165f7b0 61727469 74696f6e 696e6700 00000000 artitioning..... │ │ │ │ 0x0165f7c0 72652d65 6c696d00 72652d66 69727374 re-elim.re-first │ │ │ │ 0x0165f7d0 2d636c61 73730000 72652d69 6e746572 -class..re-inter │ │ │ │ 0x0165f7e0 2d6d6f64 65000000 72656769 73746572 -mode...register │ │ │ │ 0x0165f7f0 2d717561 6e742d62 6f64792d 7465726d -quant-body-term │ │ │ │ 0x0165f800 73000000 00000000 72656c61 74696f6e s.......relation │ │ │ │ 0x0165f810 616c2d74 72696767 65727300 00000000 al-triggers..... │ │ │ │ @@ -19268,17 +19268,17 @@ │ │ │ │ 0x016603c0 666f6c69 6f000000 7573652d 736f6900 folio...use-soi. │ │ │ │ 0x016603d0 75736572 2d706174 00000000 00000000 user-pat........ │ │ │ │ 0x016603e0 75736572 2d706f6f 6c000000 00000000 user-pool....... │ │ │ │ 0x016603f0 7661722d 656c696d 2d717561 6e740000 var-elim-quant.. │ │ │ │ 0x01660400 7661722d 696e6571 2d656c69 6d2d7175 var-ineq-elim-qu │ │ │ │ 0x01660410 616e7400 00000000 76657262 6f736500 ant.....verbose. │ │ │ │ 0x01660420 77662d63 6865636b 696e6700 00000000 wf-checking..... │ │ │ │ - 0x01660430 77726974 652d7061 72746974 696f6e73 write-partitions │ │ │ │ - 0x01660440 2d746f00 00000000 70617274 6974696f -to.....partitio │ │ │ │ - 0x01660450 6e732d6f 75740000 75736167 653a2000 ns-out..usage: . │ │ │ │ + 0x01660430 70617274 6974696f 6e732d6f 75740000 partitions-out.. │ │ │ │ + 0x01660440 77726974 652d7061 72746974 696f6e73 write-partitions │ │ │ │ + 0x01660450 2d746f00 00000000 75736167 653a2000 -to.....usage: . │ │ │ │ 0x01660460 205b6f70 74696f6e 735d205b 696e7075 [options] [inpu │ │ │ │ 0x01660470 742d6669 6c655d00 57697468 6f757420 t-file].Without │ │ │ │ 0x01660480 616e2069 6e707574 2066696c 652c206f an input file, o │ │ │ │ 0x01660490 72207769 74682060 2d272c20 63766335 r with `-', cvc5 │ │ │ │ 0x016604a0 20726561 64732066 726f6d20 7374616e reads from stan │ │ │ │ 0x016604b0 64617264 20696e70 75742e00 00000000 dard input...... │ │ │ │ 0x016604c0 63766335 206f7074 696f6e73 3a000000 cvc5 options:... │ │ │ ├── readelf --wide --decompress --hex-dump=.data.rel.ro {} │ │ │ │ @@ -2112,15 +2112,15 @@ │ │ │ │ 0x0195cf50 30e76501 00000000 50e76501 00000000 0.e.....P.e..... │ │ │ │ 0x0195cf60 60e76501 00000000 78e76501 00000000 `.e.....x.e..... │ │ │ │ 0x0195cf70 d8ec6201 00000000 48ea6201 00000000 ..b.....H.b..... │ │ │ │ 0x0195cf80 58ea6201 00000000 90e76501 00000000 X.b.......e..... │ │ │ │ 0x0195cf90 38ea6201 00000000 a0e76501 00000000 8.b.......e..... │ │ │ │ 0x0195cfa0 b8e76501 00000000 70eb6201 00000000 ..e.....p.b..... │ │ │ │ 0x0195cfb0 d0e76501 00000000 e0e76501 00000000 ..e.......e..... │ │ │ │ - 0x0195cfc0 c0f36501 00000000 f8e76501 00000000 ..e.......e..... │ │ │ │ + 0x0195cfc0 b0f36501 00000000 f8e76501 00000000 ..e.......e..... │ │ │ │ 0x0195cfd0 08e86501 00000000 20e86501 00000000 ..e..... .e..... │ │ │ │ 0x0195cfe0 d8ee6201 00000000 e0ef6201 00000000 ..b.......b..... │ │ │ │ 0x0195cff0 b0ee6201 00000000 50ee6201 00000000 ..b.....P.b..... │ │ │ │ 0x0195d000 38e86501 00000000 48e86501 00000000 8.e.....H.e..... │ │ │ │ 0x0195d010 60e86501 00000000 78e86501 00000000 `.e.....x.e..... │ │ │ │ 0x0195d020 98e86501 00000000 b0e86501 00000000 ..e.......e..... │ │ │ │ 0x0195d030 c8e86501 00000000 e0e86501 00000000 ..e.......e..... │ │ │ │ @@ -2213,19 +2213,19 @@ │ │ │ │ 0x0195d5a0 00f36501 00000000 10e96201 00000000 ..e.......b..... │ │ │ │ 0x0195d5b0 f0f76201 00000000 08f36501 00000000 ..b.......e..... │ │ │ │ 0x0195d5c0 20f36501 00000000 20f76101 00000000 .e..... .a..... │ │ │ │ 0x0195d5d0 90166501 00000000 40f36501 00000000 ..e.....@.e..... │ │ │ │ 0x0195d5e0 48f36501 00000000 680a6301 00000000 H.e.....h.c..... │ │ │ │ 0x0195d5f0 58f36501 00000000 68f36501 00000000 X.e.....h.e..... │ │ │ │ 0x0195d600 88f36501 00000000 98f36501 00000000 ..e.......e..... │ │ │ │ - 0x0195d610 10f46501 00000000 b0f36501 00000000 ..e.......e..... │ │ │ │ + 0x0195d610 10f46501 00000000 b8f36501 00000000 ..e.......e..... │ │ │ │ 0x0195d620 c8f36501 00000000 e0f36501 00000000 ..e.......e..... │ │ │ │ 0x0195d630 f8f36501 00000000 20f46501 00000000 ..e..... .e..... │ │ │ │ 0x0195d640 38f46501 00000000 50f46501 00000000 8.e.....P.e..... │ │ │ │ - 0x0195d650 48046601 00000000 d0eb6201 00000000 H.f.......b..... │ │ │ │ + 0x0195d650 30046601 00000000 d0eb6201 00000000 0.f.......b..... │ │ │ │ 0x0195d660 48f76201 00000000 60f46501 00000000 H.b.....`.e..... │ │ │ │ 0x0195d670 88f46501 00000000 f03d6401 00000000 ..e......=d..... │ │ │ │ 0x0195d680 a0f46501 00000000 b8f46501 00000000 ..e.......e..... │ │ │ │ 0x0195d690 c8f46501 00000000 80ec6201 00000000 ..e.......b..... │ │ │ │ 0x0195d6a0 a8ec6201 00000000 e8f26201 00000000 ..b.......b..... │ │ │ │ 0x0195d6b0 28f46201 00000000 e0f46501 00000000 (.b.......e..... │ │ │ │ 0x0195d6c0 f0f46501 00000000 08f56501 00000000 ..e.......e..... │ │ │ │ @@ -2247,16 +2247,16 @@ │ │ │ │ 0x0195d7c0 80f66501 00000000 a0f66501 00000000 ..e.......e..... │ │ │ │ 0x0195d7d0 b8f66501 00000000 d0f66501 00000000 ..e.......e..... │ │ │ │ 0x0195d7e0 e8f66501 00000000 08f76501 00000000 ..e.......e..... │ │ │ │ 0x0195d7f0 88f16201 00000000 28f76501 00000000 ..b.....(.e..... │ │ │ │ 0x0195d800 b8f46201 00000000 38f76501 00000000 ..b.....8.e..... │ │ │ │ 0x0195d810 68f36201 00000000 50f76501 00000000 h.b.....P.e..... │ │ │ │ 0x0195d820 60f76501 00000000 70f76501 00000000 `.e.....p.e..... │ │ │ │ - 0x0195d830 60ac6201 00000000 98f76501 00000000 `.b.......e..... │ │ │ │ - 0x0195d840 80f76501 00000000 a8f76501 00000000 ..e.......e..... │ │ │ │ + 0x0195d830 60ac6201 00000000 80f76501 00000000 `.b.......e..... │ │ │ │ + 0x0195d840 90f76501 00000000 a8f76501 00000000 ..e.......e..... │ │ │ │ 0x0195d850 78f96501 00000000 c0f76501 00000000 x.e.......e..... │ │ │ │ 0x0195d860 c8f76501 00000000 d8f76501 00000000 ..e.......e..... │ │ │ │ 0x0195d870 e8f76501 00000000 a8016201 00000000 ..e.......b..... │ │ │ │ 0x0195d880 08f86501 00000000 78f86201 00000000 ..e.....x.b..... │ │ │ │ 0x0195d890 20f86501 00000000 d8ed6201 00000000 .e.......b..... │ │ │ │ 0x0195d8a0 98f66201 00000000 38f86501 00000000 ..b.....8.e..... │ │ │ │ 0x0195d8b0 58f86501 00000000 70f86501 00000000 X.e.....p.e..... │ │ │ │ @@ -2344,15 +2344,15 @@ │ │ │ │ 0x0195ddd0 88ef6201 00000000 98036601 00000000 ..b.......f..... │ │ │ │ 0x0195dde0 a8036601 00000000 b8036601 00000000 ..f.......f..... │ │ │ │ 0x0195ddf0 c8036601 00000000 d0036601 00000000 ..f.......f..... │ │ │ │ 0x0195de00 e0036601 00000000 f0036601 00000000 ..f.......f..... │ │ │ │ 0x0195de10 38ee6201 00000000 00046601 00000000 8.b.......f..... │ │ │ │ 0x0195de20 18046601 00000000 58c06101 00000000 ..f.....X.a..... │ │ │ │ 0x0195de30 48bf6101 00000000 20046601 00000000 H.a..... .f..... │ │ │ │ - 0x0195de40 30046601 00000000 00000000 00000000 0.f............. │ │ │ │ + 0x0195de40 40046601 00000000 00000000 00000000 @.f............. │ │ │ │ 0x0195de50 00a19601 00000000 20475501 00000000 ........ GU..... │ │ │ │ 0x0195de60 20485501 00000000 20455501 00000000 HU..... EU..... │ │ │ │ 0x0195de70 a06d5501 00000000 00455501 00000000 .mU......EU..... │ │ │ │ 0x0195de80 60495501 00000000 00000000 00000000 `IU............. │ │ │ │ 0x0195de90 30a19601 00000000 404a5501 00000000 0.......@JU..... │ │ │ │ 0x0195dea0 c0505501 00000000 40455501 00000000 .PU.....@EU..... │ │ │ │ 0x0195deb0 80575501 00000000 e05f5501 00000000 .WU......_U..... │ │ │ ├── readelf --wide --decompress --hex-dump=.data {} │ │ │ │ @@ -626,17 +626,17 @@ │ │ │ │ 0x019726f0 00000000 00000000 00000000 00000000 ................ │ │ │ │ 0x01972700 10020000 00000000 60e86501 00000000 ........`.e..... │ │ │ │ 0x01972710 01000000 00000000 00000000 00000000 ................ │ │ │ │ 0x01972720 11020000 00000000 78e86501 00000000 ........x.e..... │ │ │ │ 0x01972730 01000000 00000000 00000000 00000000 ................ │ │ │ │ 0x01972740 12020000 00000000 b0e86501 00000000 ..........e..... │ │ │ │ 0x01972750 01000000 00000000 00000000 00000000 ................ │ │ │ │ - 0x01972760 13020000 00000000 b0f36501 00000000 ..........e..... │ │ │ │ + 0x01972760 13020000 00000000 b8f36501 00000000 ..........e..... │ │ │ │ 0x01972770 01000000 00000000 00000000 00000000 ................ │ │ │ │ - 0x01972780 14020000 00000000 c0f36501 00000000 ..........e..... │ │ │ │ + 0x01972780 14020000 00000000 b0f36501 00000000 ..........e..... │ │ │ │ 0x01972790 01000000 00000000 00000000 00000000 ................ │ │ │ │ 0x019727a0 15020000 00000000 c8f36501 00000000 ..........e..... │ │ │ │ 0x019727b0 01000000 00000000 00000000 00000000 ................ │ │ │ │ 0x019727c0 16020000 00000000 e0f36501 00000000 ..........e..... │ │ │ │ 0x019727d0 01000000 00000000 00000000 00000000 ................ │ │ │ │ 0x019727e0 17020000 00000000 f8f36501 00000000 ..........e..... │ │ │ │ 0x019727f0 01000000 00000000 00000000 00000000 ................ │ │ │ │ @@ -648,17 +648,17 @@ │ │ │ │ 0x01972850 01000000 00000000 00000000 00000000 ................ │ │ │ │ 0x01972860 1b020000 00000000 50f46501 00000000 ........P.e..... │ │ │ │ 0x01972870 01000000 00000000 00000000 00000000 ................ │ │ │ │ 0x01972880 1c020000 00000000 a8f76501 00000000 ..........e..... │ │ │ │ 0x01972890 00000000 00000000 00000000 00000000 ................ │ │ │ │ 0x019728a0 1d020000 00000000 88556701 00000000 .........Ug..... │ │ │ │ 0x019728b0 00000000 00000000 00000000 00000000 ................ │ │ │ │ - 0x019728c0 1e020000 00000000 30046601 00000000 ........0.f..... │ │ │ │ + 0x019728c0 1e020000 00000000 40046601 00000000 ........@.f..... │ │ │ │ 0x019728d0 01000000 00000000 00000000 00000000 ................ │ │ │ │ - 0x019728e0 1f020000 00000000 48046601 00000000 ........H.f..... │ │ │ │ + 0x019728e0 1f020000 00000000 30046601 00000000 ........0.f..... │ │ │ │ 0x019728f0 01000000 00000000 00000000 00000000 ................ │ │ │ │ 0x01972900 20020000 00000000 d0ec6501 00000000 .........e..... │ │ │ │ 0x01972910 00000000 00000000 00000000 00000000 ................ │ │ │ │ 0x01972920 21020000 00000000 a0556701 00000000 !........Ug..... │ │ │ │ 0x01972930 00000000 00000000 00000000 00000000 ................ │ │ │ │ 0x01972940 22020000 00000000 50ed6501 00000000 ".......P.e..... │ │ │ │ 0x01972950 01000000 00000000 00000000 00000000 ................ │ │ │ │ @@ -818,17 +818,17 @@ │ │ │ │ 0x019732f0 00000000 00000000 00000000 00000000 ................ │ │ │ │ 0x01973300 70020000 00000000 e8586701 00000000 p........Xg..... │ │ │ │ 0x01973310 00000000 00000000 00000000 00000000 ................ │ │ │ │ 0x01973320 71020000 00000000 c0e86201 00000000 q.........b..... │ │ │ │ 0x01973330 01000000 00000000 00000000 00000000 ................ │ │ │ │ 0x01973340 72020000 00000000 f0f46501 00000000 r.........e..... │ │ │ │ 0x01973350 01000000 00000000 00000000 00000000 ................ │ │ │ │ - 0x01973360 73020000 00000000 98f76501 00000000 s.........e..... │ │ │ │ + 0x01973360 73020000 00000000 80f76501 00000000 s.........e..... │ │ │ │ 0x01973370 01000000 00000000 00000000 00000000 ................ │ │ │ │ - 0x01973380 74020000 00000000 80f76501 00000000 t.........e..... │ │ │ │ + 0x01973380 74020000 00000000 90f76501 00000000 t.........e..... │ │ │ │ 0x01973390 01000000 00000000 00000000 00000000 ................ │ │ │ │ 0x019733a0 75020000 00000000 a0f86501 00000000 u.........e..... │ │ │ │ 0x019733b0 01000000 00000000 00000000 00000000 ................ │ │ │ │ 0x019733c0 76020000 00000000 b8f86501 00000000 v.........e..... │ │ │ │ 0x019733d0 01000000 00000000 00000000 00000000 ................ │ │ │ │ 0x019733e0 77020000 00000000 40f96501 00000000 w.......@.e..... │ │ │ │ 0x019733f0 01000000 00000000 00000000 00000000 ................ │ │ │ │ @@ -1839,15 +1839,15 @@ │ │ │ │ 0x019772c0 01000000 00000000 01000000 00000000 ................ │ │ │ │ 0x019772d0 00000000 00000000 d0ad6801 00000000 ..........h..... │ │ │ │ 0x019772e0 a0546801 00000000 01000000 00000000 .Th............. │ │ │ │ 0x019772f0 01000000 00000000 00000000 00000000 ................ │ │ │ │ 0x01977300 b0ad6801 00000000 b0546801 00000000 ..h......Th..... │ │ │ │ 0x01977310 01000000 01000000 03000000 00000000 ................ │ │ │ │ 0x01977320 00000000 00000000 98ad6801 00000000 ..........h..... │ │ │ │ - 0x01977330 c0f36501 00000000 00000000 00000000 ..e............. │ │ │ │ + 0x01977330 b0f36501 00000000 00000000 00000000 ..e............. │ │ │ │ 0x01977340 01000000 00000000 00000000 00000000 ................ │ │ │ │ 0x01977350 78ad6801 00000000 c0546801 00000000 x.h......Th..... │ │ │ │ 0x01977360 01000000 00000000 01000000 00000000 ................ │ │ │ │ 0x01977370 00000000 00000000 58ad6801 00000000 ........X.h..... │ │ │ │ 0x01977380 d8546801 00000000 01000000 00000000 .Th............. │ │ │ │ 0x01977390 01000000 00000000 00000000 00000000 ................ │ │ │ │ 0x019773a0 38ad6801 00000000 e8546801 00000000 8.h......Th..... │ │ │ │ @@ -2279,15 +2279,15 @@ │ │ │ │ 0x01978e40 01000000 00000000 01000000 00000000 ................ │ │ │ │ 0x01978e50 00000000 00000000 d0ad6801 00000000 ..........h..... │ │ │ │ 0x01978e60 a0546801 00000000 01000000 00000000 .Th............. │ │ │ │ 0x01978e70 01000000 00000000 00000000 00000000 ................ │ │ │ │ 0x01978e80 b0ad6801 00000000 b0546801 00000000 ..h......Th..... │ │ │ │ 0x01978e90 01000000 01000000 03000000 00000000 ................ │ │ │ │ 0x01978ea0 00000000 00000000 98ad6801 00000000 ..........h..... │ │ │ │ - 0x01978eb0 c0f36501 00000000 00000000 00000000 ..e............. │ │ │ │ + 0x01978eb0 b0f36501 00000000 00000000 00000000 ..e............. │ │ │ │ 0x01978ec0 01000000 00000000 00000000 00000000 ................ │ │ │ │ 0x01978ed0 78ad6801 00000000 c0546801 00000000 x.h......Th..... │ │ │ │ 0x01978ee0 01000000 00000000 01000000 00000000 ................ │ │ │ │ 0x01978ef0 00000000 00000000 58ad6801 00000000 ........X.h..... │ │ │ │ 0x01978f00 d8546801 00000000 01000000 00000000 .Th............. │ │ │ │ 0x01978f10 01000000 00000000 00000000 00000000 ................ │ │ │ │ 0x01978f20 38ad6801 00000000 e8546801 00000000 8.h......Th..... │ │ │ ├── readelf --wide --decompress --hex-dump=.gnu_debuglink {} │ │ │ │ @@ -1,7 +1,7 @@ │ │ │ │ │ │ │ │ Hex dump of section '.gnu_debuglink': │ │ │ │ - 0x00000000 65653464 30613231 36353735 62663963 ee4d0a216575bf9c │ │ │ │ - 0x00000010 65656463 38643937 31343437 30376265 eedc8d97144707be │ │ │ │ - 0x00000020 65353033 32302e64 65627567 00000000 e50320.debug.... │ │ │ │ - 0x00000030 acda786c ..xl │ │ │ │ + 0x00000000 30396462 65396262 66316438 31633836 09dbe9bbf1d81c86 │ │ │ │ + 0x00000010 39343766 33373061 66333633 38656230 947f370af3638eb0 │ │ │ │ + 0x00000020 61623437 38302e64 65627567 00000000 ab4780.debug.... │ │ │ │ + 0x00000030 aa209bc8 . ..