--- /srv/rebuilderd/tmp/rebuilderdRU1j8w/inputs/libcvc5-1_1.3.2-1+b1_arm64.deb +++ /srv/rebuilderd/tmp/rebuilderdRU1j8w/out/libcvc5-1_1.3.2-1+b1_arm64.deb ├── file list │ @@ -1,3 +1,3 @@ │ -rw-r--r-- 0 0 0 4 2026-04-23 13:43:17.000000 debian-binary │ -rw-r--r-- 0 0 0 1312 2026-04-23 13:43:17.000000 control.tar.xz │ --rw-r--r-- 0 0 0 6635596 2026-04-23 13:43:17.000000 data.tar.xz │ +-rw-r--r-- 0 0 0 6634520 2026-04-23 13:43:17.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 │ │ │┄ File has been modified after NT_GNU_BUILD_ID has been applied. │ │ │ ├── readelf --wide --relocs {} │ │ │ │ @@ -4204,15 +4204,15 @@ │ │ │ │ 000000000196cf78 0000000000000403 R_AARCH64_RELATIVE 1668af0 │ │ │ │ 000000000196cf80 0000000000000403 R_AARCH64_RELATIVE 1638d98 │ │ │ │ 000000000196cf88 0000000000000403 R_AARCH64_RELATIVE 1668b00 │ │ │ │ 000000000196cf90 0000000000000403 R_AARCH64_RELATIVE 1668b18 │ │ │ │ 000000000196cf98 0000000000000403 R_AARCH64_RELATIVE 1638ed0 │ │ │ │ 000000000196cfa0 0000000000000403 R_AARCH64_RELATIVE 1668b30 │ │ │ │ 000000000196cfa8 0000000000000403 R_AARCH64_RELATIVE 1668b40 │ │ │ │ -000000000196cfb0 0000000000000403 R_AARCH64_RELATIVE 1669720 │ │ │ │ +000000000196cfb0 0000000000000403 R_AARCH64_RELATIVE 1669710 │ │ │ │ 000000000196cfb8 0000000000000403 R_AARCH64_RELATIVE 1668b58 │ │ │ │ 000000000196cfc0 0000000000000403 R_AARCH64_RELATIVE 1668b68 │ │ │ │ 000000000196cfc8 0000000000000403 R_AARCH64_RELATIVE 1668b80 │ │ │ │ 000000000196cfd0 0000000000000403 R_AARCH64_RELATIVE 1639238 │ │ │ │ 000000000196cfd8 0000000000000403 R_AARCH64_RELATIVE 1639340 │ │ │ │ 000000000196cfe0 0000000000000403 R_AARCH64_RELATIVE 1639210 │ │ │ │ 000000000196cfe8 0000000000000403 R_AARCH64_RELATIVE 16391b0 │ │ │ │ @@ -4318,15 +4318,15 @@ │ │ │ │ 000000000196d308 0000000000000403 R_AARCH64_RELATIVE 1669160 │ │ │ │ 000000000196d310 0000000000000403 R_AARCH64_RELATIVE 1669170 │ │ │ │ 000000000196d318 0000000000000403 R_AARCH64_RELATIVE 1669188 │ │ │ │ 000000000196d320 0000000000000403 R_AARCH64_RELATIVE 1669198 │ │ │ │ 000000000196d328 0000000000000403 R_AARCH64_RELATIVE 163f180 │ │ │ │ 000000000196d330 0000000000000403 R_AARCH64_RELATIVE 16691a0 │ │ │ │ 000000000196d338 0000000000000403 R_AARCH64_RELATIVE 1625cc0 │ │ │ │ -000000000196d340 0000000000000403 R_AARCH64_RELATIVE 1669260 │ │ │ │ +000000000196d340 0000000000000403 R_AARCH64_RELATIVE 1669268 │ │ │ │ 000000000196d348 0000000000000403 R_AARCH64_RELATIVE 16691b8 │ │ │ │ 000000000196d350 0000000000000403 R_AARCH64_RELATIVE 16691c8 │ │ │ │ 000000000196d358 0000000000000403 R_AARCH64_RELATIVE 16691d8 │ │ │ │ 000000000196d360 0000000000000403 R_AARCH64_RELATIVE 1639028 │ │ │ │ 000000000196d368 0000000000000403 R_AARCH64_RELATIVE 16396f8 │ │ │ │ 000000000196d370 0000000000000403 R_AARCH64_RELATIVE 16691e8 │ │ │ │ 000000000196d378 0000000000000403 R_AARCH64_RELATIVE 16397d0 │ │ │ │ @@ -4335,15 +4335,15 @@ │ │ │ │ 000000000196d390 0000000000000403 R_AARCH64_RELATIVE 1669208 │ │ │ │ 000000000196d398 0000000000000403 R_AARCH64_RELATIVE 16397e0 │ │ │ │ 000000000196d3a0 0000000000000403 R_AARCH64_RELATIVE 1639808 │ │ │ │ 000000000196d3a8 0000000000000403 R_AARCH64_RELATIVE 1669220 │ │ │ │ 000000000196d3b0 0000000000000403 R_AARCH64_RELATIVE 1669230 │ │ │ │ 000000000196d3b8 0000000000000403 R_AARCH64_RELATIVE 1669240 │ │ │ │ 000000000196d3c0 0000000000000403 R_AARCH64_RELATIVE 1669250 │ │ │ │ -000000000196d3c8 0000000000000403 R_AARCH64_RELATIVE 1669270 │ │ │ │ +000000000196d3c8 0000000000000403 R_AARCH64_RELATIVE 1669260 │ │ │ │ 000000000196d3d0 0000000000000403 R_AARCH64_RELATIVE 162cab0 │ │ │ │ 000000000196d3d8 0000000000000403 R_AARCH64_RELATIVE 1669278 │ │ │ │ 000000000196d3e0 0000000000000403 R_AARCH64_RELATIVE 1669288 │ │ │ │ 000000000196d3e8 0000000000000403 R_AARCH64_RELATIVE 16692a8 │ │ │ │ 000000000196d3f0 0000000000000403 R_AARCH64_RELATIVE 16692c0 │ │ │ │ 000000000196d3f8 0000000000000403 R_AARCH64_RELATIVE 16692e0 │ │ │ │ 000000000196d400 0000000000000403 R_AARCH64_RELATIVE 16692f8 │ │ │ │ @@ -4406,23 +4406,23 @@ │ │ │ │ 000000000196d5c8 0000000000000403 R_AARCH64_RELATIVE 16696a0 │ │ │ │ 000000000196d5d0 0000000000000403 R_AARCH64_RELATIVE 16696a8 │ │ │ │ 000000000196d5d8 0000000000000403 R_AARCH64_RELATIVE 163adc8 │ │ │ │ 000000000196d5e0 0000000000000403 R_AARCH64_RELATIVE 16696b8 │ │ │ │ 000000000196d5e8 0000000000000403 R_AARCH64_RELATIVE 16696c8 │ │ │ │ 000000000196d5f0 0000000000000403 R_AARCH64_RELATIVE 16696e8 │ │ │ │ 000000000196d5f8 0000000000000403 R_AARCH64_RELATIVE 16696f8 │ │ │ │ -000000000196d600 0000000000000403 R_AARCH64_RELATIVE 1669770 │ │ │ │ -000000000196d608 0000000000000403 R_AARCH64_RELATIVE 1669710 │ │ │ │ +000000000196d600 0000000000000403 R_AARCH64_RELATIVE 1669758 │ │ │ │ +000000000196d608 0000000000000403 R_AARCH64_RELATIVE 1669718 │ │ │ │ 000000000196d610 0000000000000403 R_AARCH64_RELATIVE 1669728 │ │ │ │ 000000000196d618 0000000000000403 R_AARCH64_RELATIVE 1669740 │ │ │ │ -000000000196d620 0000000000000403 R_AARCH64_RELATIVE 1669758 │ │ │ │ +000000000196d620 0000000000000403 R_AARCH64_RELATIVE 1669768 │ │ │ │ 000000000196d628 0000000000000403 R_AARCH64_RELATIVE 1669780 │ │ │ │ 000000000196d630 0000000000000403 R_AARCH64_RELATIVE 1669798 │ │ │ │ 000000000196d638 0000000000000403 R_AARCH64_RELATIVE 16697b0 │ │ │ │ -000000000196d640 0000000000000403 R_AARCH64_RELATIVE 166a7a8 │ │ │ │ +000000000196d640 0000000000000403 R_AARCH64_RELATIVE 166a790 │ │ │ │ 000000000196d648 0000000000000403 R_AARCH64_RELATIVE 1638f30 │ │ │ │ 000000000196d650 0000000000000403 R_AARCH64_RELATIVE 1639aa8 │ │ │ │ 000000000196d658 0000000000000403 R_AARCH64_RELATIVE 16697c0 │ │ │ │ 000000000196d660 0000000000000403 R_AARCH64_RELATIVE 16697e8 │ │ │ │ 000000000196d668 0000000000000403 R_AARCH64_RELATIVE 164e150 │ │ │ │ 000000000196d670 0000000000000403 R_AARCH64_RELATIVE 1669800 │ │ │ │ 000000000196d678 0000000000000403 R_AARCH64_RELATIVE 1669818 │ │ │ │ @@ -4478,15 +4478,15 @@ │ │ │ │ 000000000196d808 0000000000000403 R_AARCH64_RELATIVE 1669ab0 │ │ │ │ 000000000196d810 0000000000000403 R_AARCH64_RELATIVE 1669ac0 │ │ │ │ 000000000196d818 0000000000000403 R_AARCH64_RELATIVE 1669ad0 │ │ │ │ 000000000196d820 0000000000000403 R_AARCH64_RELATIVE 1634fc0 │ │ │ │ 000000000196d828 0000000000000403 R_AARCH64_RELATIVE 1669ae0 │ │ │ │ 000000000196d830 0000000000000403 R_AARCH64_RELATIVE 1669af0 │ │ │ │ 000000000196d838 0000000000000403 R_AARCH64_RELATIVE 1669b08 │ │ │ │ -000000000196d840 0000000000000403 R_AARCH64_RELATIVE 1669cd8 │ │ │ │ +000000000196d840 0000000000000403 R_AARCH64_RELATIVE 1669cd0 │ │ │ │ 000000000196d848 0000000000000403 R_AARCH64_RELATIVE 1669b20 │ │ │ │ 000000000196d850 0000000000000403 R_AARCH64_RELATIVE 1669b28 │ │ │ │ 000000000196d858 0000000000000403 R_AARCH64_RELATIVE 1669b38 │ │ │ │ 000000000196d860 0000000000000403 R_AARCH64_RELATIVE 1669b48 │ │ │ │ 000000000196d868 0000000000000403 R_AARCH64_RELATIVE 162a508 │ │ │ │ 000000000196d870 0000000000000403 R_AARCH64_RELATIVE 1669b68 │ │ │ │ 000000000196d878 0000000000000403 R_AARCH64_RELATIVE 1639bd8 │ │ │ │ @@ -4507,15 +4507,15 @@ │ │ │ │ 000000000196d8f0 0000000000000403 R_AARCH64_RELATIVE 1669c70 │ │ │ │ 000000000196d8f8 0000000000000403 R_AARCH64_RELATIVE 1669c80 │ │ │ │ 000000000196d900 0000000000000403 R_AARCH64_RELATIVE 162ac70 │ │ │ │ 000000000196d908 0000000000000403 R_AARCH64_RELATIVE 1669c88 │ │ │ │ 000000000196d910 0000000000000403 R_AARCH64_RELATIVE 1669ca0 │ │ │ │ 000000000196d918 0000000000000403 R_AARCH64_RELATIVE 1669cb0 │ │ │ │ 000000000196d920 0000000000000403 R_AARCH64_RELATIVE 1669cc0 │ │ │ │ -000000000196d928 0000000000000403 R_AARCH64_RELATIVE 1669cd0 │ │ │ │ +000000000196d928 0000000000000403 R_AARCH64_RELATIVE 1669ce0 │ │ │ │ 000000000196d930 0000000000000403 R_AARCH64_RELATIVE 1669ce8 │ │ │ │ 000000000196d938 0000000000000403 R_AARCH64_RELATIVE 1669cf8 │ │ │ │ 000000000196d940 0000000000000403 R_AARCH64_RELATIVE 162f9f8 │ │ │ │ 000000000196d948 0000000000000403 R_AARCH64_RELATIVE 1669d08 │ │ │ │ 000000000196d950 0000000000000403 R_AARCH64_RELATIVE 1669d18 │ │ │ │ 000000000196d958 0000000000000403 R_AARCH64_RELATIVE 1669d30 │ │ │ │ 000000000196d960 0000000000000403 R_AARCH64_RELATIVE 1639148 │ │ │ │ @@ -4668,15 +4668,15 @@ │ │ │ │ 000000000196ddf8 0000000000000403 R_AARCH64_RELATIVE 166a750 │ │ │ │ 000000000196de00 0000000000000403 R_AARCH64_RELATIVE 1639198 │ │ │ │ 000000000196de08 0000000000000403 R_AARCH64_RELATIVE 166a760 │ │ │ │ 000000000196de10 0000000000000403 R_AARCH64_RELATIVE 166a778 │ │ │ │ 000000000196de18 0000000000000403 R_AARCH64_RELATIVE 16263b8 │ │ │ │ 000000000196de20 0000000000000403 R_AARCH64_RELATIVE 16262a8 │ │ │ │ 000000000196de28 0000000000000403 R_AARCH64_RELATIVE 166a780 │ │ │ │ -000000000196de30 0000000000000403 R_AARCH64_RELATIVE 166a790 │ │ │ │ +000000000196de30 0000000000000403 R_AARCH64_RELATIVE 166a7a0 │ │ │ │ 000000000196de40 0000000000000403 R_AARCH64_RELATIVE 197a0f0 │ │ │ │ 000000000196de48 0000000000000403 R_AARCH64_RELATIVE 155da80 │ │ │ │ 000000000196de50 0000000000000403 R_AARCH64_RELATIVE 155db80 │ │ │ │ 000000000196de58 0000000000000403 R_AARCH64_RELATIVE 155d880 │ │ │ │ 000000000196de60 0000000000000403 R_AARCH64_RELATIVE 1560100 │ │ │ │ 000000000196de68 0000000000000403 R_AARCH64_RELATIVE 155d860 │ │ │ │ 000000000196de70 0000000000000403 R_AARCH64_RELATIVE 155dcc0 │ │ │ │ @@ -9002,16 +9002,16 @@ │ │ │ │ 0000000001981328 0000000000000403 R_AARCH64_RELATIVE 16390f0 │ │ │ │ 0000000001981348 0000000000000403 R_AARCH64_RELATIVE 167f408 │ │ │ │ 0000000001981368 0000000000000403 R_AARCH64_RELATIVE 1668f80 │ │ │ │ 0000000001981388 0000000000000403 R_AARCH64_RELATIVE 162a4d8 │ │ │ │ 00000000019813a8 0000000000000403 R_AARCH64_RELATIVE 163f180 │ │ │ │ 00000000019813c8 0000000000000403 R_AARCH64_RELATIVE 1625cc0 │ │ │ │ 00000000019813e8 0000000000000403 R_AARCH64_RELATIVE 167f410 │ │ │ │ -0000000001981408 0000000000000403 R_AARCH64_RELATIVE 1669270 │ │ │ │ -0000000001981428 0000000000000403 R_AARCH64_RELATIVE 1669260 │ │ │ │ +0000000001981408 0000000000000403 R_AARCH64_RELATIVE 1669260 │ │ │ │ +0000000001981428 0000000000000403 R_AARCH64_RELATIVE 1669268 │ │ │ │ 0000000001981448 0000000000000403 R_AARCH64_RELATIVE 165b9f0 │ │ │ │ 0000000001981468 0000000000000403 R_AARCH64_RELATIVE 162a508 │ │ │ │ 0000000001981488 0000000000000403 R_AARCH64_RELATIVE 16696a0 │ │ │ │ 00000000019814a8 0000000000000403 R_AARCH64_RELATIVE 16696b8 │ │ │ │ 00000000019814c8 0000000000000403 R_AARCH64_RELATIVE 167f420 │ │ │ │ 00000000019814e8 0000000000000403 R_AARCH64_RELATIVE 16697c0 │ │ │ │ 0000000001981508 0000000000000403 R_AARCH64_RELATIVE 167f430 │ │ │ │ @@ -9143,41 +9143,41 @@ │ │ │ │ 00000000019824c8 0000000000000403 R_AARCH64_RELATIVE 16691f8 │ │ │ │ 00000000019824e8 0000000000000403 R_AARCH64_RELATIVE 167f858 │ │ │ │ 0000000001982508 0000000000000403 R_AARCH64_RELATIVE 1669800 │ │ │ │ 0000000001982528 0000000000000403 R_AARCH64_RELATIVE 167f868 │ │ │ │ 0000000001982548 0000000000000403 R_AARCH64_RELATIVE 1669818 │ │ │ │ 0000000001982568 0000000000000403 R_AARCH64_RELATIVE 162a4f8 │ │ │ │ 0000000001982588 0000000000000403 R_AARCH64_RELATIVE 167f880 │ │ │ │ -00000000019825a8 0000000000000403 R_AARCH64_RELATIVE 1669cd0 │ │ │ │ -00000000019825c8 0000000000000403 R_AARCH64_RELATIVE 1669cd8 │ │ │ │ +00000000019825a8 0000000000000403 R_AARCH64_RELATIVE 1669ce0 │ │ │ │ +00000000019825c8 0000000000000403 R_AARCH64_RELATIVE 1669cd0 │ │ │ │ 00000000019825e8 0000000000000403 R_AARCH64_RELATIVE 1669ce8 │ │ │ │ 0000000001982608 0000000000000403 R_AARCH64_RELATIVE 167f898 │ │ │ │ 0000000001982628 0000000000000403 R_AARCH64_RELATIVE 1669d58 │ │ │ │ 0000000001982648 0000000000000403 R_AARCH64_RELATIVE 1669d68 │ │ │ │ 0000000001982668 0000000000000403 R_AARCH64_RELATIVE 166a718 │ │ │ │ 0000000001982688 0000000000000403 R_AARCH64_RELATIVE 167f8a8 │ │ │ │ 00000000019826a8 0000000000000403 R_AARCH64_RELATIVE 16262a8 │ │ │ │ 00000000019826c8 0000000000000403 R_AARCH64_RELATIVE 1668860 │ │ │ │ 00000000019826e8 0000000000000403 R_AARCH64_RELATIVE 167f8c0 │ │ │ │ 0000000001982708 0000000000000403 R_AARCH64_RELATIVE 1668bc0 │ │ │ │ 0000000001982728 0000000000000403 R_AARCH64_RELATIVE 1668bd8 │ │ │ │ 0000000001982748 0000000000000403 R_AARCH64_RELATIVE 1668c10 │ │ │ │ -0000000001982768 0000000000000403 R_AARCH64_RELATIVE 1669710 │ │ │ │ -0000000001982788 0000000000000403 R_AARCH64_RELATIVE 1669720 │ │ │ │ +0000000001982768 0000000000000403 R_AARCH64_RELATIVE 1669718 │ │ │ │ +0000000001982788 0000000000000403 R_AARCH64_RELATIVE 1669710 │ │ │ │ 00000000019827a8 0000000000000403 R_AARCH64_RELATIVE 1669728 │ │ │ │ 00000000019827c8 0000000000000403 R_AARCH64_RELATIVE 1669740 │ │ │ │ -00000000019827e8 0000000000000403 R_AARCH64_RELATIVE 1669758 │ │ │ │ -0000000001982808 0000000000000403 R_AARCH64_RELATIVE 1669770 │ │ │ │ +00000000019827e8 0000000000000403 R_AARCH64_RELATIVE 1669768 │ │ │ │ +0000000001982808 0000000000000403 R_AARCH64_RELATIVE 1669758 │ │ │ │ 0000000001982828 0000000000000403 R_AARCH64_RELATIVE 1669780 │ │ │ │ 0000000001982848 0000000000000403 R_AARCH64_RELATIVE 1669798 │ │ │ │ 0000000001982868 0000000000000403 R_AARCH64_RELATIVE 16697b0 │ │ │ │ 0000000001982888 0000000000000403 R_AARCH64_RELATIVE 1669b08 │ │ │ │ 00000000019828a8 0000000000000403 R_AARCH64_RELATIVE 167f8e8 │ │ │ │ -00000000019828c8 0000000000000403 R_AARCH64_RELATIVE 166a790 │ │ │ │ -00000000019828e8 0000000000000403 R_AARCH64_RELATIVE 166a7a8 │ │ │ │ +00000000019828c8 0000000000000403 R_AARCH64_RELATIVE 166a7a0 │ │ │ │ +00000000019828e8 0000000000000403 R_AARCH64_RELATIVE 166a790 │ │ │ │ 0000000001982908 0000000000000403 R_AARCH64_RELATIVE 1669030 │ │ │ │ 0000000001982928 0000000000000403 R_AARCH64_RELATIVE 167f900 │ │ │ │ 0000000001982948 0000000000000403 R_AARCH64_RELATIVE 16690b0 │ │ │ │ 0000000001982968 0000000000000403 R_AARCH64_RELATIVE 1638cf0 │ │ │ │ 0000000001982988 0000000000000403 R_AARCH64_RELATIVE 167f918 │ │ │ │ 00000000019829a8 0000000000000403 R_AARCH64_RELATIVE 16690f0 │ │ │ │ 00000000019829c8 0000000000000403 R_AARCH64_RELATIVE 167f930 │ │ │ │ @@ -9774,15 +9774,15 @@ │ │ │ │ 00000000019872b0 0000000000000403 R_AARCH64_RELATIVE 16948f0 │ │ │ │ 00000000019872b8 0000000000000403 R_AARCH64_RELATIVE 168f7f8 │ │ │ │ 00000000019872d8 0000000000000403 R_AARCH64_RELATIVE 1695130 │ │ │ │ 00000000019872e0 0000000000000403 R_AARCH64_RELATIVE 168f800 │ │ │ │ 0000000001987300 0000000000000403 R_AARCH64_RELATIVE 1695110 │ │ │ │ 0000000001987308 0000000000000403 R_AARCH64_RELATIVE 168f810 │ │ │ │ 0000000001987328 0000000000000403 R_AARCH64_RELATIVE 16950f8 │ │ │ │ -0000000001987330 0000000000000403 R_AARCH64_RELATIVE 1669720 │ │ │ │ +0000000001987330 0000000000000403 R_AARCH64_RELATIVE 1669710 │ │ │ │ 0000000001987350 0000000000000403 R_AARCH64_RELATIVE 16950d8 │ │ │ │ 0000000001987358 0000000000000403 R_AARCH64_RELATIVE 168f820 │ │ │ │ 0000000001987378 0000000000000403 R_AARCH64_RELATIVE 16950b8 │ │ │ │ 0000000001987380 0000000000000403 R_AARCH64_RELATIVE 168f838 │ │ │ │ 00000000019873a0 0000000000000403 R_AARCH64_RELATIVE 1695098 │ │ │ │ 00000000019873a8 0000000000000403 R_AARCH64_RELATIVE 168f848 │ │ │ │ 00000000019873c8 0000000000000403 R_AARCH64_RELATIVE 1695078 │ │ │ │ @@ -10000,15 +10000,15 @@ │ │ │ │ 0000000001988458 0000000000000403 R_AARCH64_RELATIVE 1694558 │ │ │ │ 0000000001988460 0000000000000403 R_AARCH64_RELATIVE 168fdf0 │ │ │ │ 0000000001988480 0000000000000403 R_AARCH64_RELATIVE 1694538 │ │ │ │ 0000000001988488 0000000000000403 R_AARCH64_RELATIVE 168fdf8 │ │ │ │ 00000000019884a8 0000000000000403 R_AARCH64_RELATIVE 1694520 │ │ │ │ 00000000019884b0 0000000000000403 R_AARCH64_RELATIVE 168fe00 │ │ │ │ 00000000019884d0 0000000000000403 R_AARCH64_RELATIVE 1694508 │ │ │ │ -00000000019884d8 0000000000000403 R_AARCH64_RELATIVE 1669cd0 │ │ │ │ +00000000019884d8 0000000000000403 R_AARCH64_RELATIVE 1669ce0 │ │ │ │ 00000000019884f8 0000000000000403 R_AARCH64_RELATIVE 16944f8 │ │ │ │ 0000000001988500 0000000000000403 R_AARCH64_RELATIVE 168fe10 │ │ │ │ 0000000001988520 0000000000000403 R_AARCH64_RELATIVE 16944a8 │ │ │ │ 0000000001988528 0000000000000403 R_AARCH64_RELATIVE 168fe18 │ │ │ │ 0000000001988548 0000000000000403 R_AARCH64_RELATIVE 1694488 │ │ │ │ 0000000001988550 0000000000000403 R_AARCH64_RELATIVE 168fe28 │ │ │ │ 0000000001988570 0000000000000403 R_AARCH64_RELATIVE 1694470 │ │ │ │ @@ -10126,15 +10126,15 @@ │ │ │ │ 0000000001988e30 0000000000000403 R_AARCH64_RELATIVE 16948f0 │ │ │ │ 0000000001988e38 0000000000000403 R_AARCH64_RELATIVE 168f7f8 │ │ │ │ 0000000001988e58 0000000000000403 R_AARCH64_RELATIVE 1695130 │ │ │ │ 0000000001988e60 0000000000000403 R_AARCH64_RELATIVE 168f800 │ │ │ │ 0000000001988e80 0000000000000403 R_AARCH64_RELATIVE 1695110 │ │ │ │ 0000000001988e88 0000000000000403 R_AARCH64_RELATIVE 168f810 │ │ │ │ 0000000001988ea8 0000000000000403 R_AARCH64_RELATIVE 16950f8 │ │ │ │ -0000000001988eb0 0000000000000403 R_AARCH64_RELATIVE 1669720 │ │ │ │ +0000000001988eb0 0000000000000403 R_AARCH64_RELATIVE 1669710 │ │ │ │ 0000000001988ed0 0000000000000403 R_AARCH64_RELATIVE 16950d8 │ │ │ │ 0000000001988ed8 0000000000000403 R_AARCH64_RELATIVE 168f820 │ │ │ │ 0000000001988ef8 0000000000000403 R_AARCH64_RELATIVE 16950b8 │ │ │ │ 0000000001988f00 0000000000000403 R_AARCH64_RELATIVE 168f838 │ │ │ │ 0000000001988f20 0000000000000403 R_AARCH64_RELATIVE 1695098 │ │ │ │ 0000000001988f28 0000000000000403 R_AARCH64_RELATIVE 168f848 │ │ │ │ 0000000001988f48 0000000000000403 R_AARCH64_RELATIVE 1695078 │ │ │ │ @@ -10354,15 +10354,15 @@ │ │ │ │ 000000000198a000 0000000000000403 R_AARCH64_RELATIVE 1694558 │ │ │ │ 000000000198a008 0000000000000403 R_AARCH64_RELATIVE 168fdf0 │ │ │ │ 000000000198a028 0000000000000403 R_AARCH64_RELATIVE 1694538 │ │ │ │ 000000000198a030 0000000000000403 R_AARCH64_RELATIVE 168fdf8 │ │ │ │ 000000000198a050 0000000000000403 R_AARCH64_RELATIVE 1694520 │ │ │ │ 000000000198a058 0000000000000403 R_AARCH64_RELATIVE 168fe00 │ │ │ │ 000000000198a078 0000000000000403 R_AARCH64_RELATIVE 1694508 │ │ │ │ -000000000198a080 0000000000000403 R_AARCH64_RELATIVE 1669cd0 │ │ │ │ +000000000198a080 0000000000000403 R_AARCH64_RELATIVE 1669ce0 │ │ │ │ 000000000198a0a0 0000000000000403 R_AARCH64_RELATIVE 16944f8 │ │ │ │ 000000000198a0a8 0000000000000403 R_AARCH64_RELATIVE 168fe10 │ │ │ │ 000000000198a0c8 0000000000000403 R_AARCH64_RELATIVE 16944a8 │ │ │ │ 000000000198a0d0 0000000000000403 R_AARCH64_RELATIVE 168fe18 │ │ │ │ 000000000198a0f0 0000000000000403 R_AARCH64_RELATIVE 1694488 │ │ │ │ 000000000198a0f8 0000000000000403 R_AARCH64_RELATIVE 168fe28 │ │ │ │ 000000000198a118 0000000000000403 R_AARCH64_RELATIVE 1694470 │ │ │ ├── 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: e1abc348b3568472c2394b8717bfd6b0669b9e49 │ │ │ │ + GNU 0x00000014 NT_GNU_BUILD_ID (unique build ID bitstring) Build ID: 0895874279e2105b280f889ce61d8d626d71f8a1 │ │ │ │ │ │ │ │ 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 │ │ │ │ @@ -10395,16 +10395,16 @@ │ │ │ │ parse-only │ │ │ │ parse-skolem-definitions │ │ │ │ parsing-mode │ │ │ │ partial-triggers │ │ │ │ partition-check │ │ │ │ partition-conflict-size │ │ │ │ partition-start-time │ │ │ │ -partition-strategy │ │ │ │ partition │ │ │ │ +partition-strategy │ │ │ │ partition-time-interval │ │ │ │ partition-tlimit │ │ │ │ partition-when │ │ │ │ plugin-notify-sat-clause-in-solve │ │ │ │ plugin-share-skolems │ │ │ │ portfolio-dry-run │ │ │ │ portfolio-jobs │ │ │ │ @@ -10577,16 +10577,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, 1668000 │ │ │ │ add x0, x19, #0xd98 │ │ │ │ add x1, x1, #0xd18 │ │ │ │ str w2, [sp, #3504] │ │ │ │ bl 13c20e0 │ │ │ │ mov w2, #0x57 // #87 │ │ │ │ - adrp x1, 168e000 │ │ │ │ + adrp x1, 1668000 │ │ │ │ add x0, x19, #0xdc0 │ │ │ │ - add x1, x1, #0x230 │ │ │ │ + add x1, x1, #0xd30 │ │ │ │ str w2, [sp, #3544] │ │ │ │ bl 13c20e0 │ │ │ │ mov w2, #0x58 // #88 │ │ │ │ - adrp x1, 1668000 │ │ │ │ + adrp x1, 168e000 │ │ │ │ add x0, x19, #0xde8 │ │ │ │ - add x1, x1, #0xd30 │ │ │ │ + add x1, x1, #0x230 │ │ │ │ str w2, [sp, #3584] │ │ │ │ bl 13c20e0 │ │ │ │ mov w2, #0x58 // #88 │ │ │ │ adrp x1, 1638000 │ │ │ │ add x0, x19, #0xe10 │ │ │ │ add x1, x1, #0xee0 │ │ │ │ str w2, [sp, #3624] │ │ │ │ @@ -55364,25 +55364,25 @@ │ │ │ │ adrp x1, 1668000 │ │ │ │ mov x21, #0x1388 // #5000 │ │ │ │ add x1, x1, #0xf70 │ │ │ │ add x0, x19, x21 │ │ │ │ str w2, [sp, #5024] │ │ │ │ bl 13c20e0 │ │ │ │ mov w2, #0x7c // #124 │ │ │ │ - adrp x1, 162a000 │ │ │ │ + adrp x1, 1668000 │ │ │ │ mov x20, #0x13b0 // #5040 │ │ │ │ - add x1, x1, #0x4d8 │ │ │ │ + add x1, x1, #0xf80 │ │ │ │ add x0, x19, x20 │ │ │ │ str w2, [sp, #5064] │ │ │ │ bl 13c20e0 │ │ │ │ mov w2, #0x7d // #125 │ │ │ │ mov x18, #0x13d8 // #5080 │ │ │ │ - adrp x1, 1668000 │ │ │ │ + adrp x1, 162a000 │ │ │ │ add x0, x19, x18 │ │ │ │ - add x1, x1, #0xf80 │ │ │ │ + add x1, x1, #0x4d8 │ │ │ │ str w2, [sp, #5104] │ │ │ │ bl 13c20e0 │ │ │ │ mov w2, #0x7d // #125 │ │ │ │ mov x17, #0x1400 // #5120 │ │ │ │ adrp x1, 1668000 │ │ │ │ add x0, x19, x17 │ │ │ │ add x1, x1, #0xf88 │ │ │ │ @@ -55822,15 +55822,15 @@ │ │ │ │ add x1, x1, #0x260 │ │ │ │ str w2, [sp, #7624] │ │ │ │ bl 13c20e0 │ │ │ │ mov w2, #0xbc // #188 │ │ │ │ mov x8, #0x1dd8 // #7640 │ │ │ │ adrp x1, 1669000 │ │ │ │ add x0, x19, x8 │ │ │ │ - add x1, x1, #0x270 │ │ │ │ + add x1, x1, #0x268 │ │ │ │ str w2, [sp, #7664] │ │ │ │ bl 13c20e0 │ │ │ │ mov w2, #0xbc // #188 │ │ │ │ mov x7, #0x1e00 // #7680 │ │ │ │ adrp x1, 162c000 │ │ │ │ add x0, x19, x7 │ │ │ │ add x1, x1, #0xab0 │ │ │ │ @@ -56281,24 +56281,24 @@ │ │ │ │ adrp x1, 1669000 │ │ │ │ mov x25, #0x2800 // #10240 │ │ │ │ add x1, x1, #0x6a0 │ │ │ │ add x0, x19, x25 │ │ │ │ str w2, [sp, #10264] │ │ │ │ bl 13c20e0 │ │ │ │ mov w2, #0xfc // #252 │ │ │ │ - adrp x1, 163a000 │ │ │ │ + adrp x1, 1669000 │ │ │ │ mov x24, #0x2828 // #10280 │ │ │ │ - add x1, x1, #0xdc8 │ │ │ │ + add x1, x1, #0x6a8 │ │ │ │ add x0, x19, x24 │ │ │ │ str w2, [sp, #10304] │ │ │ │ bl 13c20e0 │ │ │ │ mov w2, #0xfd // #253 │ │ │ │ - adrp x1, 1669000 │ │ │ │ + adrp x1, 163a000 │ │ │ │ mov x23, #0x2850 // #10320 │ │ │ │ - add x1, x1, #0x6a8 │ │ │ │ + add x1, x1, #0xdc8 │ │ │ │ add x0, x19, x23 │ │ │ │ str w2, [sp, #10344] │ │ │ │ bl 13c20e0 │ │ │ │ mov w2, #0xfd // #253 │ │ │ │ adrp x1, 1669000 │ │ │ │ mov x22, #0x2878 // #10360 │ │ │ │ add x1, x1, #0x6b8 │ │ │ │ @@ -56333,15 +56333,15 @@ │ │ │ │ add x1, x1, #0x710 │ │ │ │ str w2, [sp, #10544] │ │ │ │ bl 13c20e0 │ │ │ │ mov w2, #0x102 // #258 │ │ │ │ mov x16, #0x2940 // #10560 │ │ │ │ adrp x1, 1669000 │ │ │ │ add x0, x19, x16 │ │ │ │ - add x1, x1, #0x720 │ │ │ │ + add x1, x1, #0x718 │ │ │ │ str w2, [sp, #10584] │ │ │ │ bl 13c20e0 │ │ │ │ mov w2, #0x102 // #258 │ │ │ │ mov x15, #0x2968 // #10600 │ │ │ │ adrp x1, 1669000 │ │ │ │ add x0, x19, x15 │ │ │ │ add x1, x1, #0x728 │ │ │ │ @@ -56361,15 +56361,15 @@ │ │ │ │ add x1, x1, #0x758 │ │ │ │ str w2, [sp, #10704] │ │ │ │ bl 13c20e0 │ │ │ │ mov w2, #0x105 // #261 │ │ │ │ mov x12, #0x29e0 // #10720 │ │ │ │ adrp x1, 1669000 │ │ │ │ add x0, x19, x12 │ │ │ │ - add x1, x1, #0x770 │ │ │ │ + add x1, x1, #0x768 │ │ │ │ str w2, [sp, #10744] │ │ │ │ bl 13c20e0 │ │ │ │ mov w2, #0x105 // #261 │ │ │ │ mov x11, #0x2a08 // #10760 │ │ │ │ adrp x1, 1669000 │ │ │ │ add x0, x19, x11 │ │ │ │ add x1, x1, #0x780 │ │ │ │ @@ -56961,24 +56961,24 @@ │ │ │ │ adrp x1, 1669000 │ │ │ │ add x0, x19, x8 │ │ │ │ add x1, x1, #0xc58 │ │ │ │ str w2, [sp, #14144] │ │ │ │ bl 13c20e0 │ │ │ │ mov w2, #0x158 // #344 │ │ │ │ mov x7, #0x3750 // #14160 │ │ │ │ - adrp x1, 1669000 │ │ │ │ + adrp x1, 162a000 │ │ │ │ add x0, x19, x7 │ │ │ │ - add x1, x1, #0xc60 │ │ │ │ + add x1, x1, #0x520 │ │ │ │ str w2, [sp, #14184] │ │ │ │ bl 13c20e0 │ │ │ │ mov w2, #0x159 // #345 │ │ │ │ mov x6, #0x3778 // #14200 │ │ │ │ - adrp x1, 162a000 │ │ │ │ + adrp x1, 1669000 │ │ │ │ add x0, x19, x6 │ │ │ │ - add x1, x1, #0x520 │ │ │ │ + add x1, x1, #0xc60 │ │ │ │ str w2, [sp, #14224] │ │ │ │ bl 13c20e0 │ │ │ │ mov w2, #0x159 // #345 │ │ │ │ mov x5, #0x37a0 // #14240 │ │ │ │ adrp x1, 1669000 │ │ │ │ add x0, x19, x5 │ │ │ │ add x1, x1, #0xc70 │ │ │ │ @@ -57032,15 +57032,15 @@ │ │ │ │ add x1, x1, #0xcd0 │ │ │ │ add x0, x19, x26 │ │ │ │ str w2, [sp, #14544] │ │ │ │ bl 13c20e0 │ │ │ │ mov w2, #0x161 // #353 │ │ │ │ adrp x1, 1669000 │ │ │ │ mov x25, #0x38e0 // #14560 │ │ │ │ - add x1, x1, #0xcd8 │ │ │ │ + add x1, x1, #0xce0 │ │ │ │ add x0, x19, x25 │ │ │ │ str w2, [sp, #14584] │ │ │ │ bl 13c20e0 │ │ │ │ mov w2, #0x161 // #353 │ │ │ │ adrp x1, 1669000 │ │ │ │ mov x24, #0x3908 // #14600 │ │ │ │ add x1, x1, #0xce8 │ │ │ │ @@ -58402,15 +58402,15 @@ │ │ │ │ bl 13c20e0 │ │ │ │ mov x7, #0x5248 // #21064 │ │ │ │ add x3, sp, x7 │ │ │ │ mov x6, #0x5250 // #21072 │ │ │ │ mov w2, #0x201 // #513 │ │ │ │ add x0, sp, x6 │ │ │ │ adrp x1, 166a000 │ │ │ │ - add x1, x1, #0x7a8 │ │ │ │ + add x1, x1, #0x7a0 │ │ │ │ str w2, [x3] │ │ │ │ str x0, [sp, #24] │ │ │ │ bl 13c20e0 │ │ │ │ adrp x26, 198d000 , 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, [sp] │ │ │ │ add x1, sp, #0x190 │ │ │ │ mov x8, x1 │ │ │ │ mov x2, x19 │ │ │ │ str x1, [sp, #56] │ │ │ │ mov x1, x28 │ │ │ │ bl 10e85e0 ::_M_gen_rand()@@Base+0x126740> │ │ │ │ -[ Too much input for diff (SHA256: 5c39289854ead47b180bbd7fcde5b7b00c972d9a5992ed06cc5cd6e0044f545c) ] │ │ │ │ +[ Too much input for diff (SHA256: dd121e487535db14d68713e9ae7612bb37cf2ae39021d208b90ac18cc01d27bc) ] │ │ │ ├── readelf --wide --decompress --hex-dump=.rodata {} │ │ │ │ @@ -18929,16 +18929,16 @@ │ │ │ │ 0x016691f0 6e2d7068 61736500 696e7465 72616374 n-phase.interact │ │ │ │ 0x01669200 69766500 00000000 696e7465 72706f6c ive.....interpol │ │ │ │ 0x01669210 616e7473 2d6d6f64 65000000 00000000 ants-mode....... │ │ │ │ 0x01669220 6974652d 73696d70 00000000 00000000 ite-simp........ │ │ │ │ 0x01669230 6a682d72 6c762d6f 72646572 00000000 jh-rlv-order.... │ │ │ │ 0x01669240 6a682d73 6b6f6c65 6d000000 00000000 jh-skolem....... │ │ │ │ 0x01669250 6a682d73 6b6f6c65 6d2d726c 76000000 jh-skolem-rlv... │ │ │ │ - 0x01669260 696e7075 742d6c61 6e677561 67650000 input-language.. │ │ │ │ - 0x01669270 6c616e67 00000000 6c656d6d 612d696e lang....lemma-in │ │ │ │ + 0x01669260 6c616e67 00000000 696e7075 742d6c61 lang....input-la │ │ │ │ + 0x01669270 6e677561 67650000 6c656d6d 612d696e nguage..lemma-in │ │ │ │ 0x01669280 70726f63 65737300 6c656d6d 612d696e process.lemma-in │ │ │ │ 0x01669290 70726f63 6573732d 696e6665 722d6571 process-infer-eq │ │ │ │ 0x016692a0 2d6c6974 00000000 6c656d6d 612d696e -lit....lemma-in │ │ │ │ 0x016692b0 70726f63 6573732d 73756273 00000000 process-subs.... │ │ │ │ 0x016692c0 6c656d6d 61732d6f 6e2d7265 706c6179 lemmas-on-replay │ │ │ │ 0x016692d0 2d666169 6c757265 00000000 00000000 -failure........ │ │ │ │ 0x016692e0 6c667363 2d657870 616e642d 74727573 lfsc-expand-trus │ │ │ │ @@ -19004,21 +19004,21 @@ │ │ │ │ 0x016696a0 6f757470 75740000 6f757470 75742d6c output..output-l │ │ │ │ 0x016696b0 616e6700 00000000 70617273 652d6f6e ang.....parse-on │ │ │ │ 0x016696c0 6c790000 00000000 70617273 652d736b ly......parse-sk │ │ │ │ 0x016696d0 6f6c656d 2d646566 696e6974 696f6e73 olem-definitions │ │ │ │ 0x016696e0 00000000 00000000 70617273 696e672d ........parsing- │ │ │ │ 0x016696f0 6d6f6465 00000000 70617274 69616c2d mode....partial- │ │ │ │ 0x01669700 74726967 67657273 00000000 00000000 triggers........ │ │ │ │ - 0x01669710 70617274 6974696f 6e2d6368 65636b00 partition-check. │ │ │ │ - 0x01669720 63686563 6b000000 70617274 6974696f check...partitio │ │ │ │ + 0x01669710 63686563 6b000000 70617274 6974696f check...partitio │ │ │ │ + 0x01669720 6e2d6368 65636b00 70617274 6974696f n-check.partitio │ │ │ │ 0x01669730 6e2d636f 6e666c69 63742d73 697a6500 n-conflict-size. │ │ │ │ 0x01669740 70617274 6974696f 6e2d7374 6172742d partition-start- │ │ │ │ 0x01669750 74696d65 00000000 70617274 6974696f time....partitio │ │ │ │ - 0x01669760 6e2d7374 72617465 67790000 00000000 n-strategy...... │ │ │ │ - 0x01669770 70617274 6974696f 6e000000 00000000 partition....... │ │ │ │ + 0x01669760 6e000000 00000000 70617274 6974696f n.......partitio │ │ │ │ + 0x01669770 6e2d7374 72617465 67790000 00000000 n-strategy...... │ │ │ │ 0x01669780 70617274 6974696f 6e2d7469 6d652d69 partition-time-i │ │ │ │ 0x01669790 6e746572 76616c00 70617274 6974696f nterval.partitio │ │ │ │ 0x016697a0 6e2d746c 696d6974 00000000 00000000 n-tlimit........ │ │ │ │ 0x016697b0 70617274 6974696f 6e2d7768 656e0000 partition-when.. │ │ │ │ 0x016697c0 706c7567 696e2d6e 6f746966 792d7361 plugin-notify-sa │ │ │ │ 0x016697d0 742d636c 61757365 2d696e2d 736f6c76 t-clause-in-solv │ │ │ │ 0x016697e0 65000000 00000000 706c7567 696e2d73 e.......plugin-s │ │ │ │ @@ -19096,16 +19096,16 @@ │ │ │ │ 0x01669c60 726c696d 69742d70 65720000 00000000 rlimit-per...... │ │ │ │ 0x01669c70 72722d74 75726e73 00000000 00000000 rr-turns........ │ │ │ │ 0x01669c80 72776569 67687400 7361742d 70726f6f rweight.sat-proo │ │ │ │ 0x01669c90 662d6d69 6e2d6469 6d616373 00000000 f-min-dimacs.... │ │ │ │ 0x01669ca0 7361742d 72616e64 6f6d2d73 65656400 sat-random-seed. │ │ │ │ 0x01669cb0 7361742d 736f6c76 65720000 00000000 sat-solver...... │ │ │ │ 0x01669cc0 73652d73 6f6c7665 2d696e74 00000000 se-solve-int.... │ │ │ │ - 0x01669cd0 73656564 00000000 72616e64 6f6d2d73 seed....random-s │ │ │ │ - 0x01669ce0 65656400 00000000 73656776 2d737069 eed.....segv-spi │ │ │ │ + 0x01669cd0 72616e64 6f6d2d73 65656400 00000000 random-seed..... │ │ │ │ + 0x01669ce0 73656564 00000000 73656776 2d737069 seed....segv-spi │ │ │ │ 0x01669cf0 6e000000 00000000 73656d61 6e746963 n.......semantic │ │ │ │ 0x01669d00 2d636865 636b7300 7365702d 6d696e2d -checks.sep-min- │ │ │ │ 0x01669d10 72656669 6e650000 7365702d 7072652d refine..sep-pre- │ │ │ │ 0x01669d20 736b6f6c 656d2d65 6d700000 00000000 skolem-emp...... │ │ │ │ 0x01669d30 7365712d 61727261 79000000 00000000 seq-array....... │ │ │ │ 0x01669d40 73657473 2d70726f 78792d6c 656d6d61 sets-proxy-lemma │ │ │ │ 0x01669d50 73000000 00000000 73686f77 2d636f6e s.......show-con │ │ │ │ @@ -19268,17 +19268,17 @@ │ │ │ │ 0x0166a720 666f6c69 6f000000 7573652d 736f6900 folio...use-soi. │ │ │ │ 0x0166a730 75736572 2d706174 00000000 00000000 user-pat........ │ │ │ │ 0x0166a740 75736572 2d706f6f 6c000000 00000000 user-pool....... │ │ │ │ 0x0166a750 7661722d 656c696d 2d717561 6e740000 var-elim-quant.. │ │ │ │ 0x0166a760 7661722d 696e6571 2d656c69 6d2d7175 var-ineq-elim-qu │ │ │ │ 0x0166a770 616e7400 00000000 76657262 6f736500 ant.....verbose. │ │ │ │ 0x0166a780 77662d63 6865636b 696e6700 00000000 wf-checking..... │ │ │ │ - 0x0166a790 77726974 652d7061 72746974 696f6e73 write-partitions │ │ │ │ - 0x0166a7a0 2d746f00 00000000 70617274 6974696f -to.....partitio │ │ │ │ - 0x0166a7b0 6e732d6f 75740000 75736167 653a2000 ns-out..usage: . │ │ │ │ + 0x0166a790 70617274 6974696f 6e732d6f 75740000 partitions-out.. │ │ │ │ + 0x0166a7a0 77726974 652d7061 72746974 696f6e73 write-partitions │ │ │ │ + 0x0166a7b0 2d746f00 00000000 75736167 653a2000 -to.....usage: . │ │ │ │ 0x0166a7c0 205b6f70 74696f6e 735d205b 696e7075 [options] [inpu │ │ │ │ 0x0166a7d0 742d6669 6c655d00 57697468 6f757420 t-file].Without │ │ │ │ 0x0166a7e0 616e2069 6e707574 2066696c 652c206f an input file, o │ │ │ │ 0x0166a7f0 72207769 74682060 2d272c20 63766335 r with `-', cvc5 │ │ │ │ 0x0166a800 20726561 64732066 726f6d20 7374616e reads from stan │ │ │ │ 0x0166a810 64617264 20696e70 75742e00 00000000 dard input...... │ │ │ │ 0x0166a820 63766335 206f7074 696f6e73 3a000000 cvc5 options:... │ │ │ ├── readelf --wide --decompress --hex-dump=.data.rel.ro {} │ │ │ │ @@ -2112,15 +2112,15 @@ │ │ │ │ 0x0196cf40 908a6601 00000000 b08a6601 00000000 ..f.......f..... │ │ │ │ 0x0196cf50 c08a6601 00000000 d88a6601 00000000 ..f.......f..... │ │ │ │ 0x0196cf60 38906301 00000000 a88d6301 00000000 8.c.......c..... │ │ │ │ 0x0196cf70 b88d6301 00000000 f08a6601 00000000 ..c.......f..... │ │ │ │ 0x0196cf80 988d6301 00000000 008b6601 00000000 ..c.......f..... │ │ │ │ 0x0196cf90 188b6601 00000000 d08e6301 00000000 ..f.......c..... │ │ │ │ 0x0196cfa0 308b6601 00000000 408b6601 00000000 0.f.....@.f..... │ │ │ │ - 0x0196cfb0 20976601 00000000 588b6601 00000000 .f.....X.f..... │ │ │ │ + 0x0196cfb0 10976601 00000000 588b6601 00000000 ..f.....X.f..... │ │ │ │ 0x0196cfc0 688b6601 00000000 808b6601 00000000 h.f.......f..... │ │ │ │ 0x0196cfd0 38926301 00000000 40936301 00000000 8.c.....@.c..... │ │ │ │ 0x0196cfe0 10926301 00000000 b0916301 00000000 ..c.......c..... │ │ │ │ 0x0196cff0 988b6601 00000000 a88b6601 00000000 ..f.......f..... │ │ │ │ 0x0196d000 c08b6601 00000000 d88b6601 00000000 ..f.......f..... │ │ │ │ 0x0196d010 f88b6601 00000000 108c6601 00000000 ..f.......f..... │ │ │ │ 0x0196d020 288c6601 00000000 408c6601 00000000 (.f.....@.f..... │ │ │ │ @@ -2169,23 +2169,23 @@ │ │ │ │ 0x0196d2d0 08c66201 00000000 78c46501 00000000 ..b.....x.e..... │ │ │ │ 0x0196d2e0 38916601 00000000 50916601 00000000 8.f.....P.f..... │ │ │ │ 0x0196d2f0 909a6301 00000000 18c66201 00000000 ..c.......b..... │ │ │ │ 0x0196d300 70966301 00000000 60916601 00000000 p.c.....`.f..... │ │ │ │ 0x0196d310 70916601 00000000 88916601 00000000 p.f.......f..... │ │ │ │ 0x0196d320 98916601 00000000 80f16301 00000000 ..f.......c..... │ │ │ │ 0x0196d330 a0916601 00000000 c05c6201 00000000 ..f......\b..... │ │ │ │ - 0x0196d340 60926601 00000000 b8916601 00000000 `.f.......f..... │ │ │ │ + 0x0196d340 68926601 00000000 b8916601 00000000 h.f.......f..... │ │ │ │ 0x0196d350 c8916601 00000000 d8916601 00000000 ..f.......f..... │ │ │ │ 0x0196d360 28906301 00000000 f8966301 00000000 (.c.......c..... │ │ │ │ 0x0196d370 e8916601 00000000 d0976301 00000000 ..f.......c..... │ │ │ │ 0x0196d380 f8916601 00000000 f0986601 00000000 ..f.......f..... │ │ │ │ 0x0196d390 08926601 00000000 e0976301 00000000 ..f.......c..... │ │ │ │ 0x0196d3a0 08986301 00000000 20926601 00000000 ..c..... .f..... │ │ │ │ 0x0196d3b0 30926601 00000000 40926601 00000000 0.f.....@.f..... │ │ │ │ - 0x0196d3c0 50926601 00000000 70926601 00000000 P.f.....p.f..... │ │ │ │ + 0x0196d3c0 50926601 00000000 60926601 00000000 P.f.....`.f..... │ │ │ │ 0x0196d3d0 b0ca6201 00000000 78926601 00000000 ..b.....x.f..... │ │ │ │ 0x0196d3e0 88926601 00000000 a8926601 00000000 ..f.......f..... │ │ │ │ 0x0196d3f0 c0926601 00000000 e0926601 00000000 ..f.......f..... │ │ │ │ 0x0196d400 f8926601 00000000 08936601 00000000 ..f.......f..... │ │ │ │ 0x0196d410 d0906301 00000000 20936601 00000000 ..c..... .f..... │ │ │ │ 0x0196d420 38936601 00000000 00966301 00000000 8.f.......c..... │ │ │ │ 0x0196d430 50936601 00000000 68936601 00000000 P.f.....h.f..... │ │ │ │ @@ -2213,19 +2213,19 @@ │ │ │ │ 0x0196d590 60966601 00000000 708c6301 00000000 `.f.....p.c..... │ │ │ │ 0x0196d5a0 509b6301 00000000 68966601 00000000 P.c.....h.f..... │ │ │ │ 0x0196d5b0 80966601 00000000 809a6201 00000000 ..f.......b..... │ │ │ │ 0x0196d5c0 f0b96501 00000000 a0966601 00000000 ..e.......f..... │ │ │ │ 0x0196d5d0 a8966601 00000000 c8ad6301 00000000 ..f.......c..... │ │ │ │ 0x0196d5e0 b8966601 00000000 c8966601 00000000 ..f.......f..... │ │ │ │ 0x0196d5f0 e8966601 00000000 f8966601 00000000 ..f.......f..... │ │ │ │ - 0x0196d600 70976601 00000000 10976601 00000000 p.f.......f..... │ │ │ │ + 0x0196d600 58976601 00000000 18976601 00000000 X.f.......f..... │ │ │ │ 0x0196d610 28976601 00000000 40976601 00000000 (.f.....@.f..... │ │ │ │ - 0x0196d620 58976601 00000000 80976601 00000000 X.f.......f..... │ │ │ │ + 0x0196d620 68976601 00000000 80976601 00000000 h.f.......f..... │ │ │ │ 0x0196d630 98976601 00000000 b0976601 00000000 ..f.......f..... │ │ │ │ - 0x0196d640 a8a76601 00000000 308f6301 00000000 ..f.....0.c..... │ │ │ │ + 0x0196d640 90a76601 00000000 308f6301 00000000 ..f.....0.c..... │ │ │ │ 0x0196d650 a89a6301 00000000 c0976601 00000000 ..c.......f..... │ │ │ │ 0x0196d660 e8976601 00000000 50e16401 00000000 ..f.....P.d..... │ │ │ │ 0x0196d670 00986601 00000000 18986601 00000000 ..f.......f..... │ │ │ │ 0x0196d680 28986601 00000000 e08f6301 00000000 (.f.......c..... │ │ │ │ 0x0196d690 08906301 00000000 48966301 00000000 ..c.....H.c..... │ │ │ │ 0x0196d6a0 88976301 00000000 40986601 00000000 ..c.....@.f..... │ │ │ │ 0x0196d6b0 50986601 00000000 68986601 00000000 P.f.....h.f..... │ │ │ │ @@ -2249,29 +2249,29 @@ │ │ │ │ 0x0196d7d0 489a6601 00000000 689a6601 00000000 H.f.....h.f..... │ │ │ │ 0x0196d7e0 e8946301 00000000 889a6601 00000000 ..c.......f..... │ │ │ │ 0x0196d7f0 18986301 00000000 989a6601 00000000 ..c.......f..... │ │ │ │ 0x0196d800 c8966301 00000000 b09a6601 00000000 ..c.......f..... │ │ │ │ 0x0196d810 c09a6601 00000000 d09a6601 00000000 ..f.......f..... │ │ │ │ 0x0196d820 c04f6301 00000000 e09a6601 00000000 .Oc.......f..... │ │ │ │ 0x0196d830 f09a6601 00000000 089b6601 00000000 ..f.......f..... │ │ │ │ - 0x0196d840 d89c6601 00000000 209b6601 00000000 ..f..... .f..... │ │ │ │ + 0x0196d840 d09c6601 00000000 209b6601 00000000 ..f..... .f..... │ │ │ │ 0x0196d850 289b6601 00000000 389b6601 00000000 (.f.....8.f..... │ │ │ │ 0x0196d860 489b6601 00000000 08a56201 00000000 H.f.......b..... │ │ │ │ 0x0196d870 689b6601 00000000 d89b6301 00000000 h.f.......c..... │ │ │ │ 0x0196d880 809b6601 00000000 38916301 00000000 ..f.....8.c..... │ │ │ │ 0x0196d890 f8996301 00000000 989b6601 00000000 ..c.......f..... │ │ │ │ 0x0196d8a0 b89b6601 00000000 d09b6601 00000000 ..f.......f..... │ │ │ │ 0x0196d8b0 e89b6601 00000000 20a56201 00000000 ..f..... .b..... │ │ │ │ 0x0196d8c0 009c6601 00000000 189c6601 00000000 ..f.......f..... │ │ │ │ 0x0196d8d0 289c6601 00000000 389c6601 00000000 (.f.....8.f..... │ │ │ │ 0x0196d8e0 589c6601 00000000 609c6601 00000000 X.f.....`.f..... │ │ │ │ 0x0196d8f0 709c6601 00000000 809c6601 00000000 p.f.......f..... │ │ │ │ 0x0196d900 70ac6201 00000000 889c6601 00000000 p.b.......f..... │ │ │ │ 0x0196d910 a09c6601 00000000 b09c6601 00000000 ..f.......f..... │ │ │ │ - 0x0196d920 c09c6601 00000000 d09c6601 00000000 ..f.......f..... │ │ │ │ + 0x0196d920 c09c6601 00000000 e09c6601 00000000 ..f.......f..... │ │ │ │ 0x0196d930 e89c6601 00000000 f89c6601 00000000 ..f.......f..... │ │ │ │ 0x0196d940 f8f96201 00000000 089d6601 00000000 ..b.......f..... │ │ │ │ 0x0196d950 189d6601 00000000 309d6601 00000000 ..f.....0.f..... │ │ │ │ 0x0196d960 48916301 00000000 70916301 00000000 H.c.....p.c..... │ │ │ │ 0x0196d970 409d6601 00000000 589d6601 00000000 @.f.....X.f..... │ │ │ │ 0x0196d980 689d6601 00000000 789d6601 00000000 h.f.....x.f..... │ │ │ │ 0x0196d990 d0996301 00000000 909d6601 00000000 ..c.......f..... │ │ │ │ @@ -2344,15 +2344,15 @@ │ │ │ │ 0x0196ddc0 e8926301 00000000 f8a66601 00000000 ..c.......f..... │ │ │ │ 0x0196ddd0 08a76601 00000000 18a76601 00000000 ..f.......f..... │ │ │ │ 0x0196dde0 28a76601 00000000 30a76601 00000000 (.f.....0.f..... │ │ │ │ 0x0196ddf0 40a76601 00000000 50a76601 00000000 @.f.....P.f..... │ │ │ │ 0x0196de00 98916301 00000000 60a76601 00000000 ..c.....`.f..... │ │ │ │ 0x0196de10 78a76601 00000000 b8636201 00000000 x.f......cb..... │ │ │ │ 0x0196de20 a8626201 00000000 80a76601 00000000 .bb.......f..... │ │ │ │ - 0x0196de30 90a76601 00000000 00000000 00000000 ..f............. │ │ │ │ + 0x0196de30 a0a76601 00000000 00000000 00000000 ..f............. │ │ │ │ 0x0196de40 f0a09701 00000000 80da5501 00000000 ..........U..... │ │ │ │ 0x0196de50 80db5501 00000000 80d85501 00000000 ..U.......U..... │ │ │ │ 0x0196de60 00015601 00000000 60d85501 00000000 ..V.....`.U..... │ │ │ │ 0x0196de70 c0dc5501 00000000 00000000 00000000 ..U............. │ │ │ │ 0x0196de80 20a19701 00000000 a0dd5501 00000000 .........U..... │ │ │ │ 0x0196de90 20e45501 00000000 a0d85501 00000000 .U.......U..... │ │ │ │ 0x0196dea0 e0ea5501 00000000 40f35501 00000000 ..U.....@.U..... │ │ │ ├── readelf --wide --decompress --hex-dump=.data {} │ │ │ │ @@ -316,17 +316,17 @@ │ │ │ │ 0x01981390 01000000 00000000 00000000 00000000 ................ │ │ │ │ 0x019813a0 75010000 00000000 80f16301 00000000 u.........c..... │ │ │ │ 0x019813b0 01000000 00000000 00000000 00000000 ................ │ │ │ │ 0x019813c0 76010000 00000000 c05c6201 00000000 v........\b..... │ │ │ │ 0x019813d0 00000000 00000000 00000000 00000000 ................ │ │ │ │ 0x019813e0 77010000 00000000 10f46701 00000000 w.........g..... │ │ │ │ 0x019813f0 00000000 00000000 00000000 00000000 ................ │ │ │ │ - 0x01981400 78010000 00000000 70926601 00000000 x.......p.f..... │ │ │ │ + 0x01981400 78010000 00000000 60926601 00000000 x.......`.f..... │ │ │ │ 0x01981410 01000000 00000000 00000000 00000000 ................ │ │ │ │ - 0x01981420 79010000 00000000 60926601 00000000 y.......`.f..... │ │ │ │ + 0x01981420 79010000 00000000 68926601 00000000 y.......h.f..... │ │ │ │ 0x01981430 01000000 00000000 00000000 00000000 ................ │ │ │ │ 0x01981440 7a010000 00000000 f0b96501 00000000 z.........e..... │ │ │ │ 0x01981450 01000000 00000000 00000000 00000000 ................ │ │ │ │ 0x01981460 7b010000 00000000 08a56201 00000000 {.........b..... │ │ │ │ 0x01981470 01000000 00000000 00000000 00000000 ................ │ │ │ │ 0x01981480 7c010000 00000000 a0966601 00000000 |.........f..... │ │ │ │ 0x01981490 01000000 00000000 00000000 00000000 ................ │ │ │ │ @@ -598,17 +598,17 @@ │ │ │ │ 0x01982530 00000000 00000000 00000000 00000000 ................ │ │ │ │ 0x01982540 02020000 00000000 18986601 00000000 ..........f..... │ │ │ │ 0x01982550 01000000 00000000 00000000 00000000 ................ │ │ │ │ 0x01982560 03020000 00000000 f8a46201 00000000 ..........b..... │ │ │ │ 0x01982570 00000000 00000000 00000000 00000000 ................ │ │ │ │ 0x01982580 04020000 00000000 80f86701 00000000 ..........g..... │ │ │ │ 0x01982590 00000000 00000000 00000000 00000000 ................ │ │ │ │ - 0x019825a0 05020000 00000000 d09c6601 00000000 ..........f..... │ │ │ │ + 0x019825a0 05020000 00000000 e09c6601 00000000 ..........f..... │ │ │ │ 0x019825b0 01000000 00000000 00000000 00000000 ................ │ │ │ │ - 0x019825c0 06020000 00000000 d89c6601 00000000 ..........f..... │ │ │ │ + 0x019825c0 06020000 00000000 d09c6601 00000000 ..........f..... │ │ │ │ 0x019825d0 01000000 00000000 00000000 00000000 ................ │ │ │ │ 0x019825e0 07020000 00000000 e89c6601 00000000 ..........f..... │ │ │ │ 0x019825f0 00000000 00000000 00000000 00000000 ................ │ │ │ │ 0x01982600 08020000 00000000 98f86701 00000000 ..........g..... │ │ │ │ 0x01982610 00000000 00000000 00000000 00000000 ................ │ │ │ │ 0x01982620 09020000 00000000 589d6601 00000000 ........X.f..... │ │ │ │ 0x01982630 00000000 00000000 00000000 00000000 ................ │ │ │ │ @@ -626,39 +626,39 @@ │ │ │ │ 0x019826f0 00000000 00000000 00000000 00000000 ................ │ │ │ │ 0x01982700 10020000 00000000 c08b6601 00000000 ..........f..... │ │ │ │ 0x01982710 01000000 00000000 00000000 00000000 ................ │ │ │ │ 0x01982720 11020000 00000000 d88b6601 00000000 ..........f..... │ │ │ │ 0x01982730 01000000 00000000 00000000 00000000 ................ │ │ │ │ 0x01982740 12020000 00000000 108c6601 00000000 ..........f..... │ │ │ │ 0x01982750 01000000 00000000 00000000 00000000 ................ │ │ │ │ - 0x01982760 13020000 00000000 10976601 00000000 ..........f..... │ │ │ │ + 0x01982760 13020000 00000000 18976601 00000000 ..........f..... │ │ │ │ 0x01982770 01000000 00000000 00000000 00000000 ................ │ │ │ │ - 0x01982780 14020000 00000000 20976601 00000000 ........ .f..... │ │ │ │ + 0x01982780 14020000 00000000 10976601 00000000 ..........f..... │ │ │ │ 0x01982790 01000000 00000000 00000000 00000000 ................ │ │ │ │ 0x019827a0 15020000 00000000 28976601 00000000 ........(.f..... │ │ │ │ 0x019827b0 01000000 00000000 00000000 00000000 ................ │ │ │ │ 0x019827c0 16020000 00000000 40976601 00000000 ........@.f..... │ │ │ │ 0x019827d0 01000000 00000000 00000000 00000000 ................ │ │ │ │ - 0x019827e0 17020000 00000000 58976601 00000000 ........X.f..... │ │ │ │ + 0x019827e0 17020000 00000000 68976601 00000000 ........h.f..... │ │ │ │ 0x019827f0 01000000 00000000 00000000 00000000 ................ │ │ │ │ - 0x01982800 18020000 00000000 70976601 00000000 ........p.f..... │ │ │ │ + 0x01982800 18020000 00000000 58976601 00000000 ........X.f..... │ │ │ │ 0x01982810 01000000 00000000 00000000 00000000 ................ │ │ │ │ 0x01982820 19020000 00000000 80976601 00000000 ..........f..... │ │ │ │ 0x01982830 01000000 00000000 00000000 00000000 ................ │ │ │ │ 0x01982840 1a020000 00000000 98976601 00000000 ..........f..... │ │ │ │ 0x01982850 01000000 00000000 00000000 00000000 ................ │ │ │ │ 0x01982860 1b020000 00000000 b0976601 00000000 ..........f..... │ │ │ │ 0x01982870 01000000 00000000 00000000 00000000 ................ │ │ │ │ 0x01982880 1c020000 00000000 089b6601 00000000 ..........f..... │ │ │ │ 0x01982890 00000000 00000000 00000000 00000000 ................ │ │ │ │ 0x019828a0 1d020000 00000000 e8f86701 00000000 ..........g..... │ │ │ │ 0x019828b0 00000000 00000000 00000000 00000000 ................ │ │ │ │ - 0x019828c0 1e020000 00000000 90a76601 00000000 ..........f..... │ │ │ │ + 0x019828c0 1e020000 00000000 a0a76601 00000000 ..........f..... │ │ │ │ 0x019828d0 01000000 00000000 00000000 00000000 ................ │ │ │ │ - 0x019828e0 1f020000 00000000 a8a76601 00000000 ..........f..... │ │ │ │ + 0x019828e0 1f020000 00000000 90a76601 00000000 ..........f..... │ │ │ │ 0x019828f0 01000000 00000000 00000000 00000000 ................ │ │ │ │ 0x01982900 20020000 00000000 30906601 00000000 .......0.f..... │ │ │ │ 0x01982910 00000000 00000000 00000000 00000000 ................ │ │ │ │ 0x01982920 21020000 00000000 00f96701 00000000 !.........g..... │ │ │ │ 0x01982930 00000000 00000000 00000000 00000000 ................ │ │ │ │ 0x01982940 22020000 00000000 b0906601 00000000 ".........f..... │ │ │ │ 0x01982950 01000000 00000000 00000000 00000000 ................ │ │ │ │ @@ -1839,15 +1839,15 @@ │ │ │ │ 0x019872c0 01000000 00000000 01000000 00000000 ................ │ │ │ │ 0x019872d0 00000000 00000000 30516901 00000000 ........0Qi..... │ │ │ │ 0x019872e0 00f86801 00000000 01000000 00000000 ..h............. │ │ │ │ 0x019872f0 01000000 00000000 00000000 00000000 ................ │ │ │ │ 0x01987300 10516901 00000000 10f86801 00000000 .Qi.......h..... │ │ │ │ 0x01987310 01000000 01000000 03000000 00000000 ................ │ │ │ │ 0x01987320 00000000 00000000 f8506901 00000000 .........Pi..... │ │ │ │ - 0x01987330 20976601 00000000 00000000 00000000 .f............. │ │ │ │ + 0x01987330 10976601 00000000 00000000 00000000 ..f............. │ │ │ │ 0x01987340 01000000 00000000 00000000 00000000 ................ │ │ │ │ 0x01987350 d8506901 00000000 20f86801 00000000 .Pi..... .h..... │ │ │ │ 0x01987360 01000000 00000000 01000000 00000000 ................ │ │ │ │ 0x01987370 00000000 00000000 b8506901 00000000 .........Pi..... │ │ │ │ 0x01987380 38f86801 00000000 01000000 00000000 8.h............. │ │ │ │ 0x01987390 01000000 00000000 00000000 00000000 ................ │ │ │ │ 0x019873a0 98506901 00000000 48f86801 00000000 .Pi.....H.h..... │ │ │ │ @@ -2121,15 +2121,15 @@ │ │ │ │ 0x01988460 f0fd6801 00000000 00000000 00000000 ..h............. │ │ │ │ 0x01988470 01000000 00000000 00000000 00000000 ................ │ │ │ │ 0x01988480 38456901 00000000 f8fd6801 00000000 8Ei.......h..... │ │ │ │ 0x01988490 01000000 00000000 01000000 00000000 ................ │ │ │ │ 0x019884a0 00000000 00000000 20456901 00000000 ........ Ei..... │ │ │ │ 0x019884b0 00fe6801 00000000 b6030000 f4010000 ..h............. │ │ │ │ 0x019884c0 e8030000 00000000 00000000 00000000 ................ │ │ │ │ - 0x019884d0 08456901 00000000 d09c6601 00000000 .Ei.......f..... │ │ │ │ + 0x019884d0 08456901 00000000 e09c6601 00000000 .Ei.......f..... │ │ │ │ 0x019884e0 00000000 00000000 00943577 00000000 ..........5w.... │ │ │ │ 0x019884f0 00000000 00000000 f8446901 00000000 .........Di..... │ │ │ │ 0x01988500 10fe6801 00000000 03000000 00000000 ..h............. │ │ │ │ 0x01988510 03000000 00000000 00000000 00000000 ................ │ │ │ │ 0x01988520 a8446901 00000000 18fe6801 00000000 .Di.......h..... │ │ │ │ 0x01988530 01000000 00000000 01000000 00000000 ................ │ │ │ │ 0x01988540 00000000 00000000 88446901 00000000 .........Di..... │ │ │ │ @@ -2279,15 +2279,15 @@ │ │ │ │ 0x01988e40 01000000 00000000 01000000 00000000 ................ │ │ │ │ 0x01988e50 00000000 00000000 30516901 00000000 ........0Qi..... │ │ │ │ 0x01988e60 00f86801 00000000 01000000 00000000 ..h............. │ │ │ │ 0x01988e70 01000000 00000000 00000000 00000000 ................ │ │ │ │ 0x01988e80 10516901 00000000 10f86801 00000000 .Qi.......h..... │ │ │ │ 0x01988e90 01000000 01000000 03000000 00000000 ................ │ │ │ │ 0x01988ea0 00000000 00000000 f8506901 00000000 .........Pi..... │ │ │ │ - 0x01988eb0 20976601 00000000 00000000 00000000 .f............. │ │ │ │ + 0x01988eb0 10976601 00000000 00000000 00000000 ..f............. │ │ │ │ 0x01988ec0 01000000 00000000 00000000 00000000 ................ │ │ │ │ 0x01988ed0 d8506901 00000000 20f86801 00000000 .Pi..... .h..... │ │ │ │ 0x01988ee0 01000000 00000000 01000000 00000000 ................ │ │ │ │ 0x01988ef0 00000000 00000000 b8506901 00000000 .........Pi..... │ │ │ │ 0x01988f00 38f86801 00000000 01000000 00000000 8.h............. │ │ │ │ 0x01988f10 01000000 00000000 00000000 00000000 ................ │ │ │ │ 0x01988f20 98506901 00000000 48f86801 00000000 .Pi.....H.h..... │ │ │ │ @@ -2564,15 +2564,15 @@ │ │ │ │ 0x0198a010 00000000 00000000 01000000 00000000 ................ │ │ │ │ 0x0198a020 00000000 00000000 38456901 00000000 ........8Ei..... │ │ │ │ 0x0198a030 f8fd6801 00000000 01000000 00000000 ..h............. │ │ │ │ 0x0198a040 01000000 00000000 00000000 00000000 ................ │ │ │ │ 0x0198a050 20456901 00000000 00fe6801 00000000 Ei.......h..... │ │ │ │ 0x0198a060 b6030000 f4010000 e8030000 00000000 ................ │ │ │ │ 0x0198a070 00000000 00000000 08456901 00000000 .........Ei..... │ │ │ │ - 0x0198a080 d09c6601 00000000 00000000 00000000 ..f............. │ │ │ │ + 0x0198a080 e09c6601 00000000 00000000 00000000 ..f............. │ │ │ │ 0x0198a090 00943577 00000000 00000000 00000000 ..5w............ │ │ │ │ 0x0198a0a0 f8446901 00000000 10fe6801 00000000 .Di.......h..... │ │ │ │ 0x0198a0b0 03000000 00000000 03000000 00000000 ................ │ │ │ │ 0x0198a0c0 00000000 00000000 a8446901 00000000 .........Di..... │ │ │ │ 0x0198a0d0 18fe6801 00000000 01000000 00000000 ..h............. │ │ │ │ 0x0198a0e0 01000000 00000000 00000000 00000000 ................ │ │ │ │ 0x0198a0f0 88446901 00000000 28fe6801 00000000 .Di.....(.h..... │ │ │ ├── readelf --wide --decompress --hex-dump=.gnu_debuglink {} │ │ │ │ @@ -1,7 +1,7 @@ │ │ │ │ │ │ │ │ Hex dump of section '.gnu_debuglink': │ │ │ │ - 0x00000000 61626333 34386233 35363834 37326332 abc348b3568472c2 │ │ │ │ - 0x00000010 33393462 38373137 62666436 62303636 394b8717bfd6b066 │ │ │ │ - 0x00000020 39623965 34392e64 65627567 00000000 9b9e49.debug.... │ │ │ │ - 0x00000030 4ba478d7 K.x. │ │ │ │ + 0x00000000 39353837 34323739 65323130 35623238 95874279e2105b28 │ │ │ │ + 0x00000010 30663838 39636536 31643864 36323664 0f889ce61d8d626d │ │ │ │ + 0x00000020 37316638 61312e64 65627567 00000000 71f8a1.debug.... │ │ │ │ + 0x00000030 c65f6c10 ._l.