--- /srv/rebuilderd/tmp/rebuilderdKAzDDF/inputs/libcvc5-1_1.1.2-2+b3_arm64.deb +++ /srv/rebuilderd/tmp/rebuilderdKAzDDF/out/libcvc5-1_1.1.2-2+b3_arm64.deb ├── file list │ @@ -1,3 +1,3 @@ │ -rw-r--r-- 0 0 0 4 2025-01-09 11:11:22.000000 debian-binary │ -rw-r--r-- 0 0 0 1308 2025-01-09 11:11:22.000000 control.tar.xz │ --rw-r--r-- 0 0 0 5707248 2025-01-09 11:11:22.000000 data.tar.xz │ +-rw-r--r-- 0 0 0 5707680 2025-01-09 11:11:22.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 {} │ │ │ │ @@ -3687,15 +3687,15 @@ │ │ │ │ 00000000015cf6d8 0000000000000403 R_AARCH64_RELATIVE 1316cc8 │ │ │ │ 00000000015cf6e0 0000000000000403 R_AARCH64_RELATIVE 1316cd8 │ │ │ │ 00000000015cf6e8 0000000000000403 R_AARCH64_RELATIVE 1316ce8 │ │ │ │ 00000000015cf6f0 0000000000000403 R_AARCH64_RELATIVE 1316d00 │ │ │ │ 00000000015cf6f8 0000000000000403 R_AARCH64_RELATIVE 1316d18 │ │ │ │ 00000000015cf700 0000000000000403 R_AARCH64_RELATIVE 1316d28 │ │ │ │ 00000000015cf708 0000000000000403 R_AARCH64_RELATIVE 1316d38 │ │ │ │ -00000000015cf710 0000000000000403 R_AARCH64_RELATIVE 13178f8 │ │ │ │ +00000000015cf710 0000000000000403 R_AARCH64_RELATIVE 1317908 │ │ │ │ 00000000015cf718 0000000000000403 R_AARCH64_RELATIVE 1316d50 │ │ │ │ 00000000015cf720 0000000000000403 R_AARCH64_RELATIVE 1316d60 │ │ │ │ 00000000015cf728 0000000000000403 R_AARCH64_RELATIVE 1316d78 │ │ │ │ 00000000015cf730 0000000000000403 R_AARCH64_RELATIVE 12e9618 │ │ │ │ 00000000015cf738 0000000000000403 R_AARCH64_RELATIVE 1316d88 │ │ │ │ 00000000015cf740 0000000000000403 R_AARCH64_RELATIVE 1316d98 │ │ │ │ 00000000015cf748 0000000000000403 R_AARCH64_RELATIVE 1316da8 │ │ │ │ @@ -3790,31 +3790,31 @@ │ │ │ │ 00000000015cfa10 0000000000000403 R_AARCH64_RELATIVE 13173a8 │ │ │ │ 00000000015cfa18 0000000000000403 R_AARCH64_RELATIVE 13173b8 │ │ │ │ 00000000015cfa20 0000000000000403 R_AARCH64_RELATIVE 13173d0 │ │ │ │ 00000000015cfa28 0000000000000403 R_AARCH64_RELATIVE 13173e0 │ │ │ │ 00000000015cfa30 0000000000000403 R_AARCH64_RELATIVE 12ef148 │ │ │ │ 00000000015cfa38 0000000000000403 R_AARCH64_RELATIVE 13173e8 │ │ │ │ 00000000015cfa40 0000000000000403 R_AARCH64_RELATIVE 1317400 │ │ │ │ -00000000015cfa48 0000000000000403 R_AARCH64_RELATIVE 1317508 │ │ │ │ +00000000015cfa48 0000000000000403 R_AARCH64_RELATIVE 1317500 │ │ │ │ 00000000015cfa50 0000000000000403 R_AARCH64_RELATIVE 1317410 │ │ │ │ 00000000015cfa58 0000000000000403 R_AARCH64_RELATIVE 1317420 │ │ │ │ 00000000015cfa60 0000000000000403 R_AARCH64_RELATIVE 1317430 │ │ │ │ 00000000015cfa68 0000000000000403 R_AARCH64_RELATIVE 1317440 │ │ │ │ 00000000015cfa70 0000000000000403 R_AARCH64_RELATIVE 1317450 │ │ │ │ 00000000015cfa78 0000000000000403 R_AARCH64_RELATIVE 1317460 │ │ │ │ 00000000015cfa80 0000000000000403 R_AARCH64_RELATIVE 1317470 │ │ │ │ -00000000015cfa88 0000000000000403 R_AARCH64_RELATIVE 1317ae0 │ │ │ │ +00000000015cfa88 0000000000000403 R_AARCH64_RELATIVE 1317af8 │ │ │ │ 00000000015cfa90 0000000000000403 R_AARCH64_RELATIVE 1317480 │ │ │ │ 00000000015cfa98 0000000000000403 R_AARCH64_RELATIVE 1317498 │ │ │ │ 00000000015cfaa0 0000000000000403 R_AARCH64_RELATIVE 13174b0 │ │ │ │ 00000000015cfaa8 0000000000000403 R_AARCH64_RELATIVE 13174c0 │ │ │ │ 00000000015cfab0 0000000000000403 R_AARCH64_RELATIVE 13174d0 │ │ │ │ 00000000015cfab8 0000000000000403 R_AARCH64_RELATIVE 13174e0 │ │ │ │ 00000000015cfac0 0000000000000403 R_AARCH64_RELATIVE 13174f0 │ │ │ │ -00000000015cfac8 0000000000000403 R_AARCH64_RELATIVE 1317500 │ │ │ │ +00000000015cfac8 0000000000000403 R_AARCH64_RELATIVE 1317510 │ │ │ │ 00000000015cfad0 0000000000000403 R_AARCH64_RELATIVE 12defd8 │ │ │ │ 00000000015cfad8 0000000000000403 R_AARCH64_RELATIVE 1317518 │ │ │ │ 00000000015cfae0 0000000000000403 R_AARCH64_RELATIVE 1317528 │ │ │ │ 00000000015cfae8 0000000000000403 R_AARCH64_RELATIVE 1317548 │ │ │ │ 00000000015cfaf0 0000000000000403 R_AARCH64_RELATIVE 1317560 │ │ │ │ 00000000015cfaf8 0000000000000403 R_AARCH64_RELATIVE 1317580 │ │ │ │ 00000000015cfb00 0000000000000403 R_AARCH64_RELATIVE 1317598 │ │ │ │ @@ -3867,22 +3867,22 @@ │ │ │ │ 00000000015cfc78 0000000000000403 R_AARCH64_RELATIVE 130ad80 │ │ │ │ 00000000015cfc80 0000000000000403 R_AARCH64_RELATIVE 13178b8 │ │ │ │ 00000000015cfc88 0000000000000403 R_AARCH64_RELATIVE 13178c0 │ │ │ │ 00000000015cfc90 0000000000000403 R_AARCH64_RELATIVE 12eafc0 │ │ │ │ 00000000015cfc98 0000000000000403 R_AARCH64_RELATIVE 13178d0 │ │ │ │ 00000000015cfca0 0000000000000403 R_AARCH64_RELATIVE 13178e0 │ │ │ │ 00000000015cfca8 0000000000000403 R_AARCH64_RELATIVE 1317958 │ │ │ │ -00000000015cfcb0 0000000000000403 R_AARCH64_RELATIVE 1317900 │ │ │ │ +00000000015cfcb0 0000000000000403 R_AARCH64_RELATIVE 13178f8 │ │ │ │ 00000000015cfcb8 0000000000000403 R_AARCH64_RELATIVE 1317910 │ │ │ │ 00000000015cfcc0 0000000000000403 R_AARCH64_RELATIVE 1317928 │ │ │ │ 00000000015cfcc8 0000000000000403 R_AARCH64_RELATIVE 1317940 │ │ │ │ 00000000015cfcd0 0000000000000403 R_AARCH64_RELATIVE 1317968 │ │ │ │ 00000000015cfcd8 0000000000000403 R_AARCH64_RELATIVE 1317980 │ │ │ │ 00000000015cfce0 0000000000000403 R_AARCH64_RELATIVE 1317998 │ │ │ │ -00000000015cfce8 0000000000000403 R_AARCH64_RELATIVE 1318b28 │ │ │ │ +00000000015cfce8 0000000000000403 R_AARCH64_RELATIVE 1318b40 │ │ │ │ 00000000015cfcf0 0000000000000403 R_AARCH64_RELATIVE 13179a8 │ │ │ │ 00000000015cfcf8 0000000000000403 R_AARCH64_RELATIVE 13179b8 │ │ │ │ 00000000015cfd00 0000000000000403 R_AARCH64_RELATIVE 13179c8 │ │ │ │ 00000000015cfd08 0000000000000403 R_AARCH64_RELATIVE 13179d8 │ │ │ │ 00000000015cfd10 0000000000000403 R_AARCH64_RELATIVE 13179e8 │ │ │ │ 00000000015cfd18 0000000000000403 R_AARCH64_RELATIVE 1317a00 │ │ │ │ 00000000015cfd20 0000000000000403 R_AARCH64_RELATIVE 1317a18 │ │ │ │ @@ -3892,15 +3892,15 @@ │ │ │ │ 00000000015cfd40 0000000000000403 R_AARCH64_RELATIVE 1317a68 │ │ │ │ 00000000015cfd48 0000000000000403 R_AARCH64_RELATIVE 1317a80 │ │ │ │ 00000000015cfd50 0000000000000403 R_AARCH64_RELATIVE 1317a98 │ │ │ │ 00000000015cfd58 0000000000000403 R_AARCH64_RELATIVE 1317ab0 │ │ │ │ 00000000015cfd60 0000000000000403 R_AARCH64_RELATIVE 1317ac0 │ │ │ │ 00000000015cfd68 0000000000000403 R_AARCH64_RELATIVE 12d8b70 │ │ │ │ 00000000015cfd70 0000000000000403 R_AARCH64_RELATIVE 1317ad0 │ │ │ │ -00000000015cfd78 0000000000000403 R_AARCH64_RELATIVE 1317af8 │ │ │ │ +00000000015cfd78 0000000000000403 R_AARCH64_RELATIVE 1317ae0 │ │ │ │ 00000000015cfd80 0000000000000403 R_AARCH64_RELATIVE 1317b10 │ │ │ │ 00000000015cfd88 0000000000000403 R_AARCH64_RELATIVE 1317b28 │ │ │ │ 00000000015cfd90 0000000000000403 R_AARCH64_RELATIVE 1317b40 │ │ │ │ 00000000015cfd98 0000000000000403 R_AARCH64_RELATIVE 1317b58 │ │ │ │ 00000000015cfda0 0000000000000403 R_AARCH64_RELATIVE 12ec010 │ │ │ │ 00000000015cfda8 0000000000000403 R_AARCH64_RELATIVE 1317b78 │ │ │ │ 00000000015cfdb0 0000000000000403 R_AARCH64_RELATIVE 1317b88 │ │ │ │ @@ -4104,15 +4104,15 @@ │ │ │ │ 00000000015d03e0 0000000000000403 R_AARCH64_RELATIVE 1318ad8 │ │ │ │ 00000000015d03e8 0000000000000403 R_AARCH64_RELATIVE 1318ae8 │ │ │ │ 00000000015d03f0 0000000000000403 R_AARCH64_RELATIVE 1318af8 │ │ │ │ 00000000015d03f8 0000000000000403 R_AARCH64_RELATIVE 1318b10 │ │ │ │ 00000000015d0400 0000000000000403 R_AARCH64_RELATIVE 12d8b28 │ │ │ │ 00000000015d0408 0000000000000403 R_AARCH64_RELATIVE 12d8a28 │ │ │ │ 00000000015d0410 0000000000000403 R_AARCH64_RELATIVE 1318b18 │ │ │ │ -00000000015d0418 0000000000000403 R_AARCH64_RELATIVE 1318b38 │ │ │ │ +00000000015d0418 0000000000000403 R_AARCH64_RELATIVE 1318b28 │ │ │ │ 00000000015d0420 0000000000000403 R_AARCH64_RELATIVE 130b4a0 │ │ │ │ 00000000015d0428 0000000000000403 R_AARCH64_RELATIVE 130b4a8 │ │ │ │ 00000000015d0430 0000000000000403 R_AARCH64_RELATIVE 12dc250 │ │ │ │ 00000000015d0438 0000000000000403 R_AARCH64_RELATIVE 130b498 │ │ │ │ 00000000015d0440 0000000000000403 R_AARCH64_RELATIVE 13182d0 │ │ │ │ 00000000015d0448 0000000000000403 R_AARCH64_RELATIVE 13188a0 │ │ │ │ 00000000015d0450 0000000000000403 R_AARCH64_RELATIVE 130b7b8 │ │ │ │ @@ -8171,16 +8171,16 @@ │ │ │ │ 00000000015e12a0 0000000000000403 R_AARCH64_RELATIVE 12e8f58 │ │ │ │ 00000000015e12c0 0000000000000403 R_AARCH64_RELATIVE 132ca78 │ │ │ │ 00000000015e12e0 0000000000000403 R_AARCH64_RELATIVE 1317198 │ │ │ │ 00000000015e1300 0000000000000403 R_AARCH64_RELATIVE 12d8b50 │ │ │ │ 00000000015e1320 0000000000000403 R_AARCH64_RELATIVE 12ef148 │ │ │ │ 00000000015e1340 0000000000000403 R_AARCH64_RELATIVE 1317400 │ │ │ │ 00000000015e1360 0000000000000403 R_AARCH64_RELATIVE 132ca90 │ │ │ │ -00000000015e1380 0000000000000403 R_AARCH64_RELATIVE 1317500 │ │ │ │ -00000000015e13a0 0000000000000403 R_AARCH64_RELATIVE 1317508 │ │ │ │ +00000000015e1380 0000000000000403 R_AARCH64_RELATIVE 1317510 │ │ │ │ +00000000015e13a0 0000000000000403 R_AARCH64_RELATIVE 1317500 │ │ │ │ 00000000015e13c0 0000000000000403 R_AARCH64_RELATIVE 130ad80 │ │ │ │ 00000000015e13e0 0000000000000403 R_AARCH64_RELATIVE 12d8b80 │ │ │ │ 00000000015e1400 0000000000000403 R_AARCH64_RELATIVE 13178b8 │ │ │ │ 00000000015e1420 0000000000000403 R_AARCH64_RELATIVE 13178d0 │ │ │ │ 00000000015e1440 0000000000000403 R_AARCH64_RELATIVE 132caa0 │ │ │ │ 00000000015e1460 0000000000000403 R_AARCH64_RELATIVE 1317a58 │ │ │ │ 00000000015e1480 0000000000000403 R_AARCH64_RELATIVE 132cab0 │ │ │ │ @@ -8313,27 +8313,27 @@ │ │ │ │ 00000000015e2460 0000000000000403 R_AARCH64_RELATIVE 132ceb0 │ │ │ │ 00000000015e2480 0000000000000403 R_AARCH64_RELATIVE 12d8a28 │ │ │ │ 00000000015e24a0 0000000000000403 R_AARCH64_RELATIVE 1316918 │ │ │ │ 00000000015e24c0 0000000000000403 R_AARCH64_RELATIVE 132cec8 │ │ │ │ 00000000015e24e0 0000000000000403 R_AARCH64_RELATIVE 1316dc0 │ │ │ │ 00000000015e2500 0000000000000403 R_AARCH64_RELATIVE 1316dd8 │ │ │ │ 00000000015e2520 0000000000000403 R_AARCH64_RELATIVE 1316e10 │ │ │ │ -00000000015e2540 0000000000000403 R_AARCH64_RELATIVE 1317900 │ │ │ │ -00000000015e2560 0000000000000403 R_AARCH64_RELATIVE 13178f8 │ │ │ │ +00000000015e2540 0000000000000403 R_AARCH64_RELATIVE 13178f8 │ │ │ │ +00000000015e2560 0000000000000403 R_AARCH64_RELATIVE 1317908 │ │ │ │ 00000000015e2580 0000000000000403 R_AARCH64_RELATIVE 1317910 │ │ │ │ 00000000015e25a0 0000000000000403 R_AARCH64_RELATIVE 1317928 │ │ │ │ 00000000015e25c0 0000000000000403 R_AARCH64_RELATIVE 1317940 │ │ │ │ 00000000015e25e0 0000000000000403 R_AARCH64_RELATIVE 1317958 │ │ │ │ 00000000015e2600 0000000000000403 R_AARCH64_RELATIVE 1317968 │ │ │ │ 00000000015e2620 0000000000000403 R_AARCH64_RELATIVE 1317980 │ │ │ │ 00000000015e2640 0000000000000403 R_AARCH64_RELATIVE 1317998 │ │ │ │ 00000000015e2660 0000000000000403 R_AARCH64_RELATIVE 1317d90 │ │ │ │ 00000000015e2680 0000000000000403 R_AARCH64_RELATIVE 132cef0 │ │ │ │ -00000000015e26a0 0000000000000403 R_AARCH64_RELATIVE 1318b38 │ │ │ │ -00000000015e26c0 0000000000000403 R_AARCH64_RELATIVE 1318b28 │ │ │ │ +00000000015e26a0 0000000000000403 R_AARCH64_RELATIVE 1318b28 │ │ │ │ +00000000015e26c0 0000000000000403 R_AARCH64_RELATIVE 1318b40 │ │ │ │ 00000000015e26e0 0000000000000403 R_AARCH64_RELATIVE 1317230 │ │ │ │ 00000000015e2700 0000000000000403 R_AARCH64_RELATIVE 132cf08 │ │ │ │ 00000000015e2720 0000000000000403 R_AARCH64_RELATIVE 13172f0 │ │ │ │ 00000000015e2740 0000000000000403 R_AARCH64_RELATIVE 1317338 │ │ │ │ 00000000015e2760 0000000000000403 R_AARCH64_RELATIVE 132cf20 │ │ │ │ 00000000015e2780 0000000000000403 R_AARCH64_RELATIVE 1317350 │ │ │ │ 00000000015e27a0 0000000000000403 R_AARCH64_RELATIVE 132cf38 │ │ │ │ @@ -8719,16 +8719,16 @@ │ │ │ │ 00000000015e5720 0000000000000403 R_AARCH64_RELATIVE 132dcd0 │ │ │ │ 00000000015e5740 0000000000000403 R_AARCH64_RELATIVE 1317880 │ │ │ │ 00000000015e5760 0000000000000403 R_AARCH64_RELATIVE 132dcf0 │ │ │ │ 00000000015e5780 0000000000000403 R_AARCH64_RELATIVE 1317a80 │ │ │ │ 00000000015e57a0 0000000000000403 R_AARCH64_RELATIVE 132dd08 │ │ │ │ 00000000015e57c0 0000000000000403 R_AARCH64_RELATIVE 1317ad0 │ │ │ │ 00000000015e57e0 0000000000000403 R_AARCH64_RELATIVE 132dd20 │ │ │ │ -00000000015e5800 0000000000000403 R_AARCH64_RELATIVE 1317af8 │ │ │ │ -00000000015e5820 0000000000000403 R_AARCH64_RELATIVE 1317ae0 │ │ │ │ +00000000015e5800 0000000000000403 R_AARCH64_RELATIVE 1317ae0 │ │ │ │ +00000000015e5820 0000000000000403 R_AARCH64_RELATIVE 1317af8 │ │ │ │ 00000000015e5840 0000000000000403 R_AARCH64_RELATIVE 132dd38 │ │ │ │ 00000000015e5860 0000000000000403 R_AARCH64_RELATIVE 132dd50 │ │ │ │ 00000000015e5880 0000000000000403 R_AARCH64_RELATIVE 1317b10 │ │ │ │ 00000000015e58a0 0000000000000403 R_AARCH64_RELATIVE 132dd68 │ │ │ │ 00000000015e58c0 0000000000000403 R_AARCH64_RELATIVE 1317b28 │ │ │ │ 00000000015e58e0 0000000000000403 R_AARCH64_RELATIVE 132dd80 │ │ │ │ 00000000015e5900 0000000000000403 R_AARCH64_RELATIVE 1317b40 │ │ │ │ @@ -8865,15 +8865,15 @@ │ │ │ │ 00000000015e6870 0000000000000403 R_AARCH64_RELATIVE 133b3b0 │ │ │ │ 00000000015e6878 0000000000000403 R_AARCH64_RELATIVE 1336510 │ │ │ │ 00000000015e6898 0000000000000403 R_AARCH64_RELATIVE 133bae0 │ │ │ │ 00000000015e68a0 0000000000000403 R_AARCH64_RELATIVE 1336518 │ │ │ │ 00000000015e68c0 0000000000000403 R_AARCH64_RELATIVE 133bac0 │ │ │ │ 00000000015e68c8 0000000000000403 R_AARCH64_RELATIVE 1336528 │ │ │ │ 00000000015e68e8 0000000000000403 R_AARCH64_RELATIVE 133baa8 │ │ │ │ -00000000015e68f0 0000000000000403 R_AARCH64_RELATIVE 13178f8 │ │ │ │ +00000000015e68f0 0000000000000403 R_AARCH64_RELATIVE 1317908 │ │ │ │ 00000000015e6910 0000000000000403 R_AARCH64_RELATIVE 133ba88 │ │ │ │ 00000000015e6918 0000000000000403 R_AARCH64_RELATIVE 1336538 │ │ │ │ 00000000015e6938 0000000000000403 R_AARCH64_RELATIVE 133ba68 │ │ │ │ 00000000015e6940 0000000000000403 R_AARCH64_RELATIVE 1336550 │ │ │ │ 00000000015e6960 0000000000000403 R_AARCH64_RELATIVE 133ba48 │ │ │ │ 00000000015e6968 0000000000000403 R_AARCH64_RELATIVE 1336560 │ │ │ │ 00000000015e6988 0000000000000403 R_AARCH64_RELATIVE 133ba28 │ │ │ │ @@ -9207,15 +9207,15 @@ │ │ │ │ 00000000015e8328 0000000000000403 R_AARCH64_RELATIVE 133b3b0 │ │ │ │ 00000000015e8330 0000000000000403 R_AARCH64_RELATIVE 1336510 │ │ │ │ 00000000015e8350 0000000000000403 R_AARCH64_RELATIVE 133bae0 │ │ │ │ 00000000015e8358 0000000000000403 R_AARCH64_RELATIVE 1336518 │ │ │ │ 00000000015e8378 0000000000000403 R_AARCH64_RELATIVE 133bac0 │ │ │ │ 00000000015e8380 0000000000000403 R_AARCH64_RELATIVE 1336528 │ │ │ │ 00000000015e83a0 0000000000000403 R_AARCH64_RELATIVE 133baa8 │ │ │ │ -00000000015e83a8 0000000000000403 R_AARCH64_RELATIVE 13178f8 │ │ │ │ +00000000015e83a8 0000000000000403 R_AARCH64_RELATIVE 1317908 │ │ │ │ 00000000015e83c8 0000000000000403 R_AARCH64_RELATIVE 133ba88 │ │ │ │ 00000000015e83d0 0000000000000403 R_AARCH64_RELATIVE 1336538 │ │ │ │ 00000000015e83f0 0000000000000403 R_AARCH64_RELATIVE 133ba68 │ │ │ │ 00000000015e83f8 0000000000000403 R_AARCH64_RELATIVE 1336550 │ │ │ │ 00000000015e8418 0000000000000403 R_AARCH64_RELATIVE 133ba48 │ │ │ │ 00000000015e8420 0000000000000403 R_AARCH64_RELATIVE 1336560 │ │ │ │ 00000000015e8440 0000000000000403 R_AARCH64_RELATIVE 133ba28 │ │ │ ├── readelf --wide --notes {} │ │ │ │ @@ -1,8 +1,8 @@ │ │ │ │ │ │ │ │ Displaying notes found in: .note.gnu.property │ │ │ │ Owner Data size Description │ │ │ │ GNU 0x00000010 NT_GNU_PROPERTY_TYPE_0 Properties: AArch64 feature: BTI, PAC │ │ │ │ │ │ │ │ Displaying notes found in: .note.gnu.build-id │ │ │ │ Owner Data size Description │ │ │ │ - GNU 0x00000014 NT_GNU_BUILD_ID (unique build ID bitstring) Build ID: 3db222f9f65e245f46614280b13769be1e660961 │ │ │ │ + GNU 0x00000014 NT_GNU_BUILD_ID (unique build ID bitstring) Build ID: f23f8b0998755b959b7133f13facc6181ce5885f │ │ │ ├── strings --all --bytes=8 {} │ │ │ │┄ Ordering differences only │ │ │ │ @@ -8926,16 +8926,16 @@ │ │ │ │ preprocess-only │ │ │ │ preregister-mode │ │ │ │ print-cores-full │ │ │ │ print-dot-clusters │ │ │ │ print-inst │ │ │ │ print-inst-full │ │ │ │ produce-abducts │ │ │ │ -interactive-mode │ │ │ │ produce-assertions │ │ │ │ +interactive-mode │ │ │ │ produce-assignments │ │ │ │ produce-difficulty │ │ │ │ produce-interpolants │ │ │ │ produce-learned-literals │ │ │ │ produce-proofs │ │ │ │ produce-unsat-assumptions │ │ │ │ proof-alethe-res-pivots │ │ │ │ @@ -9111,16 +9111,16 @@ │ │ │ │ use-fcsimplex │ │ │ │ use-portfolio │ │ │ │ user-pat │ │ │ │ user-pool │ │ │ │ var-elim-quant │ │ │ │ var-ineq-elim-quant │ │ │ │ wf-checking │ │ │ │ -partitions-out │ │ │ │ write-partitions-to │ │ │ │ +partitions-out │ │ │ │ Argument ' │ │ │ │ ' for bool option │ │ │ │ is not a bool constant │ │ │ │ Unrecognized option key or setting: │ │ │ │ Ungettable option key or setting: │ │ │ │ is not a legal setting, value should be at least │ │ │ │ is not a legal setting, value should be at most │ │ │ ├── objdump --line-numbers --disassemble --demangle --reloc --no-show-raw-insn --section=.text {} │ │ │ │ @@ -53675,15 +53675,15 @@ │ │ │ │ add x0, x19, x3 │ │ │ │ add x1, x1, #0x500 │ │ │ │ str w2, [sp, #7200] │ │ │ │ bl 1194670 │ │ │ │ mov w2, #0xb1 // #177 │ │ │ │ adrp x1, 1317000 │ │ │ │ mov x0, #0x1c20 // #7200 │ │ │ │ - add x1, x1, #0x508 │ │ │ │ + add x1, x1, #0x510 │ │ │ │ add x0, x19, x0 │ │ │ │ str w2, [sp, #7240] │ │ │ │ bl 1194670 │ │ │ │ mov w2, #0xb1 // #177 │ │ │ │ mov x30, #0x1c48 // #7240 │ │ │ │ adrp x1, 12de000 │ │ │ │ add x0, x19, x30 │ │ │ │ @@ -54051,45 +54051,45 @@ │ │ │ │ mov x3, #0x2468 // #9320 │ │ │ │ adrp x1, 130c000 │ │ │ │ add x0, x19, x3 │ │ │ │ add x1, x1, #0x3e0 │ │ │ │ str w2, [sp, #9360] │ │ │ │ bl 1194670 │ │ │ │ mov w2, #0xe6 // #230 │ │ │ │ - adrp x1, 130a000 │ │ │ │ + adrp x1, 12d8000 │ │ │ │ mov x0, #0x2490 // #9360 │ │ │ │ - add x1, x1, #0xd80 │ │ │ │ + add x1, x1, #0xb80 │ │ │ │ add x0, x19, x0 │ │ │ │ str w2, [sp, #9400] │ │ │ │ bl 1194670 │ │ │ │ mov w2, #0xe7 // #231 │ │ │ │ mov x30, #0x24b8 // #9400 │ │ │ │ - adrp x1, 12d8000 │ │ │ │ + adrp x1, 130a000 │ │ │ │ add x0, x19, x30 │ │ │ │ - add x1, x1, #0xb80 │ │ │ │ + add x1, x1, #0xd80 │ │ │ │ str w2, [sp, #9440] │ │ │ │ bl 1194670 │ │ │ │ mov w2, #0xe7 // #231 │ │ │ │ adrp x1, 1317000 │ │ │ │ mov x28, #0x24e0 // #9440 │ │ │ │ add x1, x1, #0x8b8 │ │ │ │ add x0, x19, x28 │ │ │ │ str w2, [sp, #9480] │ │ │ │ bl 1194670 │ │ │ │ mov w2, #0xe8 // #232 │ │ │ │ - adrp x1, 12ea000 │ │ │ │ + adrp x1, 1317000 │ │ │ │ mov x27, #0x2508 // #9480 │ │ │ │ - add x1, x1, #0xfc0 │ │ │ │ + add x1, x1, #0x8c0 │ │ │ │ add x0, x19, x27 │ │ │ │ str w2, [sp, #9520] │ │ │ │ bl 1194670 │ │ │ │ mov w2, #0xe9 // #233 │ │ │ │ - adrp x1, 1317000 │ │ │ │ + adrp x1, 12ea000 │ │ │ │ mov x26, #0x2530 // #9520 │ │ │ │ - add x1, x1, #0x8c0 │ │ │ │ + add x1, x1, #0xfc0 │ │ │ │ add x0, x19, x26 │ │ │ │ str w2, [sp, #9560] │ │ │ │ bl 1194670 │ │ │ │ mov w2, #0xe9 // #233 │ │ │ │ adrp x1, 1317000 │ │ │ │ mov x25, #0x2558 // #9560 │ │ │ │ add x1, x1, #0x8d0 │ │ │ │ @@ -54109,15 +54109,15 @@ │ │ │ │ add x1, x1, #0x8f8 │ │ │ │ add x0, x19, x23 │ │ │ │ str w2, [sp, #9680] │ │ │ │ bl 1194670 │ │ │ │ mov w2, #0xec // #236 │ │ │ │ adrp x1, 1317000 │ │ │ │ mov x22, #0x25d0 // #9680 │ │ │ │ - add x1, x1, #0x900 │ │ │ │ + add x1, x1, #0x908 │ │ │ │ add x0, x19, x22 │ │ │ │ str w2, [sp, #9720] │ │ │ │ bl 1194670 │ │ │ │ mov w2, #0xec // #236 │ │ │ │ adrp x1, 1317000 │ │ │ │ mov x21, #0x25f8 // #9720 │ │ │ │ add x1, x1, #0x910 │ │ │ │ @@ -54646,24 +54646,24 @@ │ │ │ │ adrp x1, 1317000 │ │ │ │ mov x27, #0x31b0 // #12720 │ │ │ │ add x1, x1, #0xef8 │ │ │ │ add x0, x19, x27 │ │ │ │ str w2, [sp, #12760] │ │ │ │ bl 1194670 │ │ │ │ mov w2, #0x135 // #309 │ │ │ │ - adrp x1, 1317000 │ │ │ │ + adrp x1, 12d8000 │ │ │ │ mov x26, #0x31d8 // #12760 │ │ │ │ - add x1, x1, #0xf00 │ │ │ │ + add x1, x1, #0xb98 │ │ │ │ add x0, x19, x26 │ │ │ │ str w2, [sp, #12800] │ │ │ │ bl 1194670 │ │ │ │ mov w2, #0x136 // #310 │ │ │ │ - adrp x1, 12d8000 │ │ │ │ + adrp x1, 1317000 │ │ │ │ mov x25, #0x3200 // #12800 │ │ │ │ - add x1, x1, #0xb98 │ │ │ │ + add x1, x1, #0xf00 │ │ │ │ add x0, x19, x25 │ │ │ │ str w2, [sp, #12840] │ │ │ │ bl 1194670 │ │ │ │ mov w2, #0x136 // #310 │ │ │ │ adrp x1, 1317000 │ │ │ │ mov x24, #0x3228 // #12840 │ │ │ │ add x1, x1, #0xf10 │ │ │ │ @@ -54801,23 +54801,23 @@ │ │ │ │ adrp x1, 1318000 │ │ │ │ add x0, x19, x4 │ │ │ │ add x1, x1, #0x50 │ │ │ │ str w2, [sp, #13640] │ │ │ │ bl 1194670 │ │ │ │ mov w2, #0x14a // #330 │ │ │ │ mov x3, #0x3548 // #13640 │ │ │ │ - adrp x1, 1318000 │ │ │ │ + adrp x1, 12e8000 │ │ │ │ add x0, x19, x3 │ │ │ │ - add x1, x1, #0x68 │ │ │ │ + add x1, x1, #0xf48 │ │ │ │ str w2, [sp, #13680] │ │ │ │ bl 1194670 │ │ │ │ mov w2, #0x14b // #331 │ │ │ │ - adrp x1, 12e8000 │ │ │ │ + adrp x1, 1318000 │ │ │ │ mov x0, #0x3570 // #13680 │ │ │ │ - add x1, x1, #0xf48 │ │ │ │ + add x1, x1, #0x68 │ │ │ │ add x0, x19, x0 │ │ │ │ str w2, [sp, #13720] │ │ │ │ bl 1194670 │ │ │ │ mov w2, #0x14b // #331 │ │ │ │ mov x30, #0x3598 // #13720 │ │ │ │ adrp x1, 1318000 │ │ │ │ add x0, x19, x30 │ │ │ │ @@ -55919,15 +55919,15 @@ │ │ │ │ bl 1194670 │ │ │ │ mov x6, #0x4020 // #16416 │ │ │ │ add x3, sp, x6 │ │ │ │ mov x5, #0x4b30 // #19248 │ │ │ │ mov w2, #0x1d4 // #468 │ │ │ │ add x0, sp, x5 │ │ │ │ adrp x1, 1318000 │ │ │ │ - add x1, x1, #0xb38 │ │ │ │ + add x1, x1, #0xb40 │ │ │ │ str x0, [sp, #24] │ │ │ │ str w2, [x3, #2824] │ │ │ │ bl 1194670 │ │ │ │ adrp x27, 15ec000 │ │ │ │ add x2, x27, #0xbb0 │ │ │ │ mov x4, #0x4020 // #16416 │ │ │ │ add x4, sp, x4 │ │ │ │ @@ -301179,15 +301179,15 @@ │ │ │ │ adrp x2, 12dd000 │ │ │ │ mov w1, w0 │ │ │ │ add x0, x2, #0x4e0 │ │ │ │ bl 1b3ad0 , std::allocator > const&)@@Base+0x2b70> │ │ │ │ bl 8ede0 │ │ │ │ adrp x2, 1317000 │ │ │ │ mov w1, w0 │ │ │ │ - add x0, x2, #0xb00 │ │ │ │ + add x0, x2, #0xae8 │ │ │ │ bl 1b3ad0 , std::allocator > const&)@@Base+0x2b70> │ │ │ │ bl 89020 │ │ │ │ adrp x2, 12dd000 │ │ │ │ mov w1, w0 │ │ │ │ add x0, x2, #0x4e8 │ │ │ │ bl 1b3ad0 , std::allocator > const&)@@Base+0x2b70> │ │ │ │ bl 8bd00 │ │ │ │ @@ -4194296,8 +4194296,8 @@ │ │ │ │ add w2, w2, #0x1 │ │ │ │ bfi w1, w2, #8, #20 │ │ │ │ str w1, [x0, #4] │ │ │ │ bl 8a4a0 │ │ │ │ ldr x0, [sp, #144] │ │ │ │ ldr x1, [x0] │ │ │ │ and x1, x1, #0xfffff0000000000 │ │ │ │ -[ Too much input for diff (SHA256: 7e23b00eceff5e3954a3dfa916169c73d66dee6cf56094235e0ceb08e9cef51b) ] │ │ │ │ +[ Too much input for diff (SHA256: a66771b7c1de5db46c3335dcfef9e8cd782b8d38c63fe4727043e266d50b0b83) ] │ │ │ ├── readelf --wide --decompress --hex-dump=.rodata {} │ │ │ │ @@ -17079,16 +17079,16 @@ │ │ │ │ 0x01317490 65000000 00000000 6974652d 6474742d e.......ite-dtt- │ │ │ │ 0x013174a0 73706c69 742d7175 616e7400 00000000 split-quant..... │ │ │ │ 0x013174b0 6974652d 6c696674 2d717561 6e740000 ite-lift-quant.. │ │ │ │ 0x013174c0 6974652d 73696d70 00000000 00000000 ite-simp........ │ │ │ │ 0x013174d0 6a682d72 6c762d6f 72646572 00000000 jh-rlv-order.... │ │ │ │ 0x013174e0 6a682d73 6b6f6c65 6d000000 00000000 jh-skolem....... │ │ │ │ 0x013174f0 6a682d73 6b6f6c65 6d2d726c 76000000 jh-skolem-rlv... │ │ │ │ - 0x01317500 6c616e67 00000000 696e7075 742d6c61 lang....input-la │ │ │ │ - 0x01317510 6e677561 67650000 6c656d6d 612d696e nguage..lemma-in │ │ │ │ + 0x01317500 696e7075 742d6c61 6e677561 67650000 input-language.. │ │ │ │ + 0x01317510 6c616e67 00000000 6c656d6d 612d696e lang....lemma-in │ │ │ │ 0x01317520 70726f63 65737300 6c656d6d 612d696e process.lemma-in │ │ │ │ 0x01317530 70726f63 6573732d 696e6665 722d6571 process-infer-eq │ │ │ │ 0x01317540 2d6c6974 00000000 6c656d6d 612d696e -lit....lemma-in │ │ │ │ 0x01317550 70726f63 6573732d 73756273 00000000 process-subs.... │ │ │ │ 0x01317560 6c656d6d 61732d6f 6e2d7265 706c6179 lemmas-on-replay │ │ │ │ 0x01317570 2d666169 6c757265 00000000 00000000 -failure........ │ │ │ │ 0x01317580 6c667363 2d657870 616e642d 74727573 lfsc-expand-trus │ │ │ │ @@ -17142,16 +17142,16 @@ │ │ │ │ 0x01317880 6f6e2d72 65706561 742d6974 652d7369 on-repeat-ite-si │ │ │ │ 0x01317890 6d700000 00000000 6f70742d 7265732d mp......opt-res- │ │ │ │ 0x013178a0 7265636f 6e737472 75637469 6f6e2d73 reconstruction-s │ │ │ │ 0x013178b0 697a6500 00000000 6f757470 75740000 ize.....output.. │ │ │ │ 0x013178c0 6f757470 75742d6c 616e6700 00000000 output-lang..... │ │ │ │ 0x013178d0 70617273 652d6f6e 6c790000 00000000 parse-only...... │ │ │ │ 0x013178e0 70617274 69616c2d 74726967 67657273 partial-triggers │ │ │ │ - 0x013178f0 00000000 00000000 63686563 6b000000 ........check... │ │ │ │ - 0x01317900 70617274 6974696f 6e2d6368 65636b00 partition-check. │ │ │ │ + 0x013178f0 00000000 00000000 70617274 6974696f ........partitio │ │ │ │ + 0x01317900 6e2d6368 65636b00 63686563 6b000000 n-check.check... │ │ │ │ 0x01317910 70617274 6974696f 6e2d636f 6e666c69 partition-confli │ │ │ │ 0x01317920 63742d73 697a6500 70617274 6974696f ct-size.partitio │ │ │ │ 0x01317930 6e2d7374 6172742d 74696d65 00000000 n-start-time.... │ │ │ │ 0x01317940 70617274 6974696f 6e2d7374 72617465 partition-strate │ │ │ │ 0x01317950 67790000 00000000 70617274 6974696f gy......partitio │ │ │ │ 0x01317960 6e000000 00000000 70617274 6974696f n.......partitio │ │ │ │ 0x01317970 6e2d7469 6d652d69 6e746572 76616c00 n-time-interval. │ │ │ │ @@ -17173,17 +17173,17 @@ │ │ │ │ 0x01317a70 7465722d 6d6f6465 00000000 00000000 ter-mode........ │ │ │ │ 0x01317a80 7072696e 742d636f 7265732d 66756c6c print-cores-full │ │ │ │ 0x01317a90 00000000 00000000 7072696e 742d646f ........print-do │ │ │ │ 0x01317aa0 742d636c 75737465 72730000 00000000 t-clusters...... │ │ │ │ 0x01317ab0 7072696e 742d696e 73740000 00000000 print-inst...... │ │ │ │ 0x01317ac0 7072696e 742d696e 73742d66 756c6c00 print-inst-full. │ │ │ │ 0x01317ad0 70726f64 7563652d 61626475 63747300 produce-abducts. │ │ │ │ - 0x01317ae0 696e7465 72616374 6976652d 6d6f6465 interactive-mode │ │ │ │ - 0x01317af0 00000000 00000000 70726f64 7563652d ........produce- │ │ │ │ - 0x01317b00 61737365 7274696f 6e730000 00000000 assertions...... │ │ │ │ + 0x01317ae0 70726f64 7563652d 61737365 7274696f produce-assertio │ │ │ │ + 0x01317af0 6e730000 00000000 696e7465 72616374 ns......interact │ │ │ │ + 0x01317b00 6976652d 6d6f6465 00000000 00000000 ive-mode........ │ │ │ │ 0x01317b10 70726f64 7563652d 61737369 676e6d65 produce-assignme │ │ │ │ 0x01317b20 6e747300 00000000 70726f64 7563652d nts.....produce- │ │ │ │ 0x01317b30 64696666 6963756c 74790000 00000000 difficulty...... │ │ │ │ 0x01317b40 70726f64 7563652d 696e7465 72706f6c produce-interpol │ │ │ │ 0x01317b50 616e7473 00000000 70726f64 7563652d ants....produce- │ │ │ │ 0x01317b60 6c656172 6e65642d 6c697465 72616c73 learned-literals │ │ │ │ 0x01317b70 00000000 00000000 70726f64 7563652d ........produce- │ │ │ │ @@ -17433,17 +17433,17 @@ │ │ │ │ 0x01318ab0 7573652d 706f7274 666f6c69 6f000000 use-portfolio... │ │ │ │ 0x01318ac0 7573652d 736f6900 75736572 2d706174 use-soi.user-pat │ │ │ │ 0x01318ad0 00000000 00000000 75736572 2d706f6f ........user-poo │ │ │ │ 0x01318ae0 6c000000 00000000 7661722d 656c696d l.......var-elim │ │ │ │ 0x01318af0 2d717561 6e740000 7661722d 696e6571 -quant..var-ineq │ │ │ │ 0x01318b00 2d656c69 6d2d7175 616e7400 00000000 -elim-quant..... │ │ │ │ 0x01318b10 76657262 6f736500 77662d63 6865636b verbose.wf-check │ │ │ │ - 0x01318b20 696e6700 00000000 70617274 6974696f ing.....partitio │ │ │ │ - 0x01318b30 6e732d6f 75740000 77726974 652d7061 ns-out..write-pa │ │ │ │ - 0x01318b40 72746974 696f6e73 2d746f00 00000000 rtitions-to..... │ │ │ │ + 0x01318b20 696e6700 00000000 77726974 652d7061 ing.....write-pa │ │ │ │ + 0x01318b30 72746974 696f6e73 2d746f00 00000000 rtitions-to..... │ │ │ │ + 0x01318b40 70617274 6974696f 6e732d6f 75740000 partitions-out.. │ │ │ │ 0x01318b50 41726775 6d656e74 20270000 00000000 Argument '...... │ │ │ │ 0x01318b60 2720666f 7220626f 6f6c206f 7074696f ' for bool optio │ │ │ │ 0x01318b70 6e200000 00000000 20697320 6e6f7420 n ...... is not │ │ │ │ 0x01318b80 6120626f 6f6c2063 6f6e7374 616e7400 a bool constant. │ │ │ │ 0x01318b90 556e7265 636f676e 697a6564 206f7074 Unrecognized opt │ │ │ │ 0x01318ba0 696f6e20 6b657920 6f722073 65747469 ion key or setti │ │ │ │ 0x01318bb0 6e673a20 00000000 25660000 00000000 ng: ....%f...... │ │ │ ├── readelf --wide --decompress --hex-dump=.data.rel.ro {} │ │ │ │ @@ -1860,15 +1860,15 @@ │ │ │ │ 0x015cf698 286c3101 00000000 386c3101 00000000 (l1.....8l1..... │ │ │ │ 0x015cf6a8 586c3101 00000000 686c3101 00000000 Xl1.....hl1..... │ │ │ │ 0x015cf6b8 806c3101 00000000 986c3101 00000000 .l1......l1..... │ │ │ │ 0x015cf6c8 a86c3101 00000000 b86c3101 00000000 .l1......l1..... │ │ │ │ 0x015cf6d8 c86c3101 00000000 d86c3101 00000000 .l1......l1..... │ │ │ │ 0x015cf6e8 e86c3101 00000000 006d3101 00000000 .l1......m1..... │ │ │ │ 0x015cf6f8 186d3101 00000000 286d3101 00000000 .m1.....(m1..... │ │ │ │ - 0x015cf708 386d3101 00000000 f8783101 00000000 8m1......x1..... │ │ │ │ + 0x015cf708 386d3101 00000000 08793101 00000000 8m1......y1..... │ │ │ │ 0x015cf718 506d3101 00000000 606d3101 00000000 Pm1.....`m1..... │ │ │ │ 0x015cf728 786d3101 00000000 18962e01 00000000 xm1............. │ │ │ │ 0x015cf738 886d3101 00000000 986d3101 00000000 .m1......m1..... │ │ │ │ 0x015cf748 a86d3101 00000000 c06d3101 00000000 .m1......m1..... │ │ │ │ 0x015cf758 d86d3101 00000000 f86d3101 00000000 .m1......m1..... │ │ │ │ 0x015cf768 106e3101 00000000 286e3101 00000000 .n1.....(n1..... │ │ │ │ 0x015cf778 406e3101 00000000 606e3101 00000000 @n1.....`n1..... │ │ │ │ @@ -1912,23 +1912,23 @@ │ │ │ │ 0x015cf9d8 50733101 00000000 50eb2d01 00000000 Ps1.....P.-..... │ │ │ │ 0x015cf9e8 28b83001 00000000 68733101 00000000 (.0.....hs1..... │ │ │ │ 0x015cf9f8 78733101 00000000 60eb2d01 00000000 xs1.....`.-..... │ │ │ │ 0x015cfa08 90733101 00000000 a8733101 00000000 .s1......s1..... │ │ │ │ 0x015cfa18 b8733101 00000000 d0733101 00000000 .s1......s1..... │ │ │ │ 0x015cfa28 e0733101 00000000 48f12e01 00000000 .s1.....H....... │ │ │ │ 0x015cfa38 e8733101 00000000 00743101 00000000 .s1......t1..... │ │ │ │ - 0x015cfa48 08753101 00000000 10743101 00000000 .u1......t1..... │ │ │ │ + 0x015cfa48 00753101 00000000 10743101 00000000 .u1......t1..... │ │ │ │ 0x015cfa58 20743101 00000000 30743101 00000000 t1.....0t1..... │ │ │ │ 0x015cfa68 40743101 00000000 50743101 00000000 @t1.....Pt1..... │ │ │ │ 0x015cfa78 60743101 00000000 70743101 00000000 `t1.....pt1..... │ │ │ │ - 0x015cfa88 e07a3101 00000000 80743101 00000000 .z1......t1..... │ │ │ │ + 0x015cfa88 f87a3101 00000000 80743101 00000000 .z1......t1..... │ │ │ │ 0x015cfa98 98743101 00000000 b0743101 00000000 .t1......t1..... │ │ │ │ 0x015cfaa8 c0743101 00000000 d0743101 00000000 .t1......t1..... │ │ │ │ 0x015cfab8 e0743101 00000000 f0743101 00000000 .t1......t1..... │ │ │ │ - 0x015cfac8 00753101 00000000 d8ef2d01 00000000 .u1.......-..... │ │ │ │ + 0x015cfac8 10753101 00000000 d8ef2d01 00000000 .u1.......-..... │ │ │ │ 0x015cfad8 18753101 00000000 28753101 00000000 .u1.....(u1..... │ │ │ │ 0x015cfae8 48753101 00000000 60753101 00000000 Hu1.....`u1..... │ │ │ │ 0x015cfaf8 80753101 00000000 98753101 00000000 .u1......u1..... │ │ │ │ 0x015cfb08 a8753101 00000000 c0753101 00000000 .u1......u1..... │ │ │ │ 0x015cfb18 d0753101 00000000 e8753101 00000000 .u1......u1..... │ │ │ │ 0x015cfb28 c0982e01 00000000 00763101 00000000 .........v1..... │ │ │ │ 0x015cfb38 10763101 00000000 28763101 00000000 .v1.....(v1..... │ │ │ │ @@ -1950,28 +1950,28 @@ │ │ │ │ 0x015cfc38 28783101 00000000 38783101 00000000 (x1.....8x1..... │ │ │ │ 0x015cfc48 58783101 00000000 60783101 00000000 Xx1.....`x1..... │ │ │ │ 0x015cfc58 68783101 00000000 80783101 00000000 hx1......x1..... │ │ │ │ 0x015cfc68 98783101 00000000 e0c33001 00000000 .x1.......0..... │ │ │ │ 0x015cfc78 80ad3001 00000000 b8783101 00000000 ..0......x1..... │ │ │ │ 0x015cfc88 c0783101 00000000 c0af2e01 00000000 .x1............. │ │ │ │ 0x015cfc98 d0783101 00000000 e0783101 00000000 .x1......x1..... │ │ │ │ - 0x015cfca8 58793101 00000000 00793101 00000000 Xy1......y1..... │ │ │ │ + 0x015cfca8 58793101 00000000 f8783101 00000000 Xy1......x1..... │ │ │ │ 0x015cfcb8 10793101 00000000 28793101 00000000 .y1.....(y1..... │ │ │ │ 0x015cfcc8 40793101 00000000 68793101 00000000 @y1.....hy1..... │ │ │ │ 0x015cfcd8 80793101 00000000 98793101 00000000 .y1......y1..... │ │ │ │ - 0x015cfce8 288b3101 00000000 a8793101 00000000 (.1......y1..... │ │ │ │ + 0x015cfce8 408b3101 00000000 a8793101 00000000 @.1......y1..... │ │ │ │ 0x015cfcf8 b8793101 00000000 c8793101 00000000 .y1......y1..... │ │ │ │ 0x015cfd08 d8793101 00000000 e8793101 00000000 .y1......y1..... │ │ │ │ 0x015cfd18 007a3101 00000000 187a3101 00000000 .z1......z1..... │ │ │ │ 0x015cfd28 307a3101 00000000 407a3101 00000000 0z1.....@z1..... │ │ │ │ 0x015cfd38 587a3101 00000000 687a3101 00000000 Xz1.....hz1..... │ │ │ │ 0x015cfd48 807a3101 00000000 987a3101 00000000 .z1......z1..... │ │ │ │ 0x015cfd58 b07a3101 00000000 c07a3101 00000000 .z1......z1..... │ │ │ │ 0x015cfd68 708b2d01 00000000 d07a3101 00000000 p.-......z1..... │ │ │ │ - 0x015cfd78 f87a3101 00000000 107b3101 00000000 .z1......{1..... │ │ │ │ + 0x015cfd78 e07a3101 00000000 107b3101 00000000 .z1......{1..... │ │ │ │ 0x015cfd88 287b3101 00000000 407b3101 00000000 ({1.....@{1..... │ │ │ │ 0x015cfd98 587b3101 00000000 10c02e01 00000000 X{1............. │ │ │ │ 0x015cfda8 787b3101 00000000 887b3101 00000000 x{1......{1..... │ │ │ │ 0x015cfdb8 88f72f01 00000000 a87b3101 00000000 ../......{1..... │ │ │ │ 0x015cfdc8 c07b3101 00000000 d07b3101 00000000 .{1......{1..... │ │ │ │ 0x015cfdd8 e07b3101 00000000 f87b3101 00000000 .{1......{1..... │ │ │ │ 0x015cfde8 087c3101 00000000 207c3101 00000000 .|1..... |1..... │ │ │ │ @@ -2069,15 +2069,15 @@ │ │ │ │ 0x015d03a8 288f2e01 00000000 788a3101 00000000 (.......x.1..... │ │ │ │ 0x015d03b8 908a3101 00000000 a08a3101 00000000 ..1.......1..... │ │ │ │ 0x015d03c8 b08a3101 00000000 c08a3101 00000000 ..1.......1..... │ │ │ │ 0x015d03d8 c88a3101 00000000 d88a3101 00000000 ..1.......1..... │ │ │ │ 0x015d03e8 e88a3101 00000000 f88a3101 00000000 ..1.......1..... │ │ │ │ 0x015d03f8 108b3101 00000000 288b2d01 00000000 ..1.....(.-..... │ │ │ │ 0x015d0408 288a2d01 00000000 188b3101 00000000 (.-.......1..... │ │ │ │ - 0x015d0418 388b3101 00000000 a0b43001 00000000 8.1.......0..... │ │ │ │ + 0x015d0418 288b3101 00000000 a0b43001 00000000 (.1.......0..... │ │ │ │ 0x015d0428 a8b43001 00000000 50c22d01 00000000 ..0.....P.-..... │ │ │ │ 0x015d0438 98b43001 00000000 d0823101 00000000 ..0.......1..... │ │ │ │ 0x015d0448 a0883101 00000000 b8b73001 00000000 ..1.......0..... │ │ │ │ 0x015d0458 28ea3001 00000000 c8622e01 00000000 (.0......b...... │ │ │ │ 0x015d0468 e0cc3001 00000000 40d52d01 00000000 ..0.....@.-..... │ │ │ │ 0x015d0478 58d52d01 00000000 d8cc3001 00000000 X.-.......0..... │ │ │ │ 0x015d0488 40cd3001 00000000 50cd3001 00000000 @.0.....P.0..... │ │ │ ├── readelf --wide --decompress --hex-dump=.data {} │ │ │ │ @@ -308,17 +308,17 @@ │ │ │ │ 0x015e1310 00000000 00000000 71010000 00000000 ........q....... │ │ │ │ 0x015e1320 48f12e01 00000000 01000000 00000000 H............... │ │ │ │ 0x015e1330 00000000 00000000 72010000 00000000 ........r....... │ │ │ │ 0x015e1340 00743101 00000000 00000000 00000000 .t1............. │ │ │ │ 0x015e1350 00000000 00000000 73010000 00000000 ........s....... │ │ │ │ 0x015e1360 90ca3201 00000000 00000000 00000000 ..2............. │ │ │ │ 0x015e1370 00000000 00000000 74010000 00000000 ........t....... │ │ │ │ - 0x015e1380 00753101 00000000 01000000 00000000 .u1............. │ │ │ │ + 0x015e1380 10753101 00000000 01000000 00000000 .u1............. │ │ │ │ 0x015e1390 00000000 00000000 75010000 00000000 ........u....... │ │ │ │ - 0x015e13a0 08753101 00000000 01000000 00000000 .u1............. │ │ │ │ + 0x015e13a0 00753101 00000000 01000000 00000000 .u1............. │ │ │ │ 0x015e13b0 00000000 00000000 76010000 00000000 ........v....... │ │ │ │ 0x015e13c0 80ad3001 00000000 01000000 00000000 ..0............. │ │ │ │ 0x015e13d0 00000000 00000000 77010000 00000000 ........w....... │ │ │ │ 0x015e13e0 808b2d01 00000000 01000000 00000000 ..-............. │ │ │ │ 0x015e13f0 00000000 00000000 78010000 00000000 ........x....... │ │ │ │ 0x015e1400 b8783101 00000000 01000000 00000000 .x1............. │ │ │ │ 0x015e1410 00000000 00000000 79010000 00000000 ........y....... │ │ │ │ @@ -592,17 +592,17 @@ │ │ │ │ 0x015e24d0 00000000 00000000 ff010000 00000000 ................ │ │ │ │ 0x015e24e0 c06d3101 00000000 01000000 00000000 .m1............. │ │ │ │ 0x015e24f0 00000000 00000000 00020000 00000000 ................ │ │ │ │ 0x015e2500 d86d3101 00000000 01000000 00000000 .m1............. │ │ │ │ 0x015e2510 00000000 00000000 01020000 00000000 ................ │ │ │ │ 0x015e2520 106e3101 00000000 01000000 00000000 .n1............. │ │ │ │ 0x015e2530 00000000 00000000 02020000 00000000 ................ │ │ │ │ - 0x015e2540 00793101 00000000 01000000 00000000 .y1............. │ │ │ │ + 0x015e2540 f8783101 00000000 01000000 00000000 .x1............. │ │ │ │ 0x015e2550 00000000 00000000 03020000 00000000 ................ │ │ │ │ - 0x015e2560 f8783101 00000000 01000000 00000000 .x1............. │ │ │ │ + 0x015e2560 08793101 00000000 01000000 00000000 .y1............. │ │ │ │ 0x015e2570 00000000 00000000 04020000 00000000 ................ │ │ │ │ 0x015e2580 10793101 00000000 01000000 00000000 .y1............. │ │ │ │ 0x015e2590 00000000 00000000 05020000 00000000 ................ │ │ │ │ 0x015e25a0 28793101 00000000 01000000 00000000 (y1............. │ │ │ │ 0x015e25b0 00000000 00000000 06020000 00000000 ................ │ │ │ │ 0x015e25c0 40793101 00000000 01000000 00000000 @y1............. │ │ │ │ 0x015e25d0 00000000 00000000 07020000 00000000 ................ │ │ │ │ @@ -614,17 +614,17 @@ │ │ │ │ 0x015e2630 00000000 00000000 0a020000 00000000 ................ │ │ │ │ 0x015e2640 98793101 00000000 01000000 00000000 .y1............. │ │ │ │ 0x015e2650 00000000 00000000 0b020000 00000000 ................ │ │ │ │ 0x015e2660 907d3101 00000000 00000000 00000000 .}1............. │ │ │ │ 0x015e2670 00000000 00000000 0c020000 00000000 ................ │ │ │ │ 0x015e2680 f0ce3201 00000000 00000000 00000000 ..2............. │ │ │ │ 0x015e2690 00000000 00000000 0d020000 00000000 ................ │ │ │ │ - 0x015e26a0 388b3101 00000000 01000000 00000000 8.1............. │ │ │ │ + 0x015e26a0 288b3101 00000000 01000000 00000000 (.1............. │ │ │ │ 0x015e26b0 00000000 00000000 0e020000 00000000 ................ │ │ │ │ - 0x015e26c0 288b3101 00000000 01000000 00000000 (.1............. │ │ │ │ + 0x015e26c0 408b3101 00000000 01000000 00000000 @.1............. │ │ │ │ 0x015e26d0 00000000 00000000 0f020000 00000000 ................ │ │ │ │ 0x015e26e0 30723101 00000000 00000000 00000000 0r1............. │ │ │ │ 0x015e26f0 00000000 00000000 10020000 00000000 ................ │ │ │ │ 0x015e2700 08cf3201 00000000 00000000 00000000 ..2............. │ │ │ │ 0x015e2710 00000000 00000000 11020000 00000000 ................ │ │ │ │ 0x015e2720 f0723101 00000000 01000000 00000000 .r1............. │ │ │ │ 0x015e2730 00000000 00000000 12020000 00000000 ................ │ │ │ │ @@ -1404,17 +1404,17 @@ │ │ │ │ 0x015e5790 00000000 00000000 95030000 00000000 ................ │ │ │ │ 0x015e57a0 08dd3201 00000000 00000000 00000000 ..2............. │ │ │ │ 0x015e57b0 00000000 00000000 96030000 00000000 ................ │ │ │ │ 0x015e57c0 d07a3101 00000000 00000000 00000000 .z1............. │ │ │ │ 0x015e57d0 00000000 00000000 97030000 00000000 ................ │ │ │ │ 0x015e57e0 20dd3201 00000000 00000000 00000000 .2............. │ │ │ │ 0x015e57f0 00000000 00000000 98030000 00000000 ................ │ │ │ │ - 0x015e5800 f87a3101 00000000 00000000 00000000 .z1............. │ │ │ │ + 0x015e5800 e07a3101 00000000 00000000 00000000 .z1............. │ │ │ │ 0x015e5810 00000000 00000000 99030000 00000000 ................ │ │ │ │ - 0x015e5820 e07a3101 00000000 00000000 00000000 .z1............. │ │ │ │ + 0x015e5820 f87a3101 00000000 00000000 00000000 .z1............. │ │ │ │ 0x015e5830 00000000 00000000 9a030000 00000000 ................ │ │ │ │ 0x015e5840 38dd3201 00000000 00000000 00000000 8.2............. │ │ │ │ 0x015e5850 00000000 00000000 9b030000 00000000 ................ │ │ │ │ 0x015e5860 50dd3201 00000000 00000000 00000000 P.2............. │ │ │ │ 0x015e5870 00000000 00000000 9c030000 00000000 ................ │ │ │ │ 0x015e5880 107b3101 00000000 00000000 00000000 .{1............. │ │ │ │ 0x015e5890 00000000 00000000 9d030000 00000000 ................ │ │ │ │ @@ -1675,15 +1675,15 @@ │ │ │ │ 0x015e6880 01000000 00000000 01000000 00000000 ................ │ │ │ │ 0x015e6890 00000000 00000000 e0ba3301 00000000 ..........3..... │ │ │ │ 0x015e68a0 18653301 00000000 01000000 00000000 .e3............. │ │ │ │ 0x015e68b0 01000000 00000000 00000000 00000000 ................ │ │ │ │ 0x015e68c0 c0ba3301 00000000 28653301 00000000 ..3.....(e3..... │ │ │ │ 0x015e68d0 01000000 01000000 03000000 00000000 ................ │ │ │ │ 0x015e68e0 00000000 00000000 a8ba3301 00000000 ..........3..... │ │ │ │ - 0x015e68f0 f8783101 00000000 00000000 00000000 .x1............. │ │ │ │ + 0x015e68f0 08793101 00000000 00000000 00000000 .y1............. │ │ │ │ 0x015e6900 01000000 00000000 00000000 00000000 ................ │ │ │ │ 0x015e6910 88ba3301 00000000 38653301 00000000 ..3.....8e3..... │ │ │ │ 0x015e6920 01000000 00000000 01000000 00000000 ................ │ │ │ │ 0x015e6930 00000000 00000000 68ba3301 00000000 ........h.3..... │ │ │ │ 0x015e6940 50653301 00000000 01000000 00000000 Pe3............. │ │ │ │ 0x015e6950 01000000 00000000 00000000 00000000 ................ │ │ │ │ 0x015e6960 48ba3301 00000000 60653301 00000000 H.3.....`e3..... │ │ │ │ @@ -2102,15 +2102,15 @@ │ │ │ │ 0x015e8330 10653301 00000000 01000000 00000000 .e3............. │ │ │ │ 0x015e8340 01000000 00000000 00000000 00000000 ................ │ │ │ │ 0x015e8350 e0ba3301 00000000 18653301 00000000 ..3......e3..... │ │ │ │ 0x015e8360 01000000 00000000 01000000 00000000 ................ │ │ │ │ 0x015e8370 00000000 00000000 c0ba3301 00000000 ..........3..... │ │ │ │ 0x015e8380 28653301 00000000 01000000 01000000 (e3............. │ │ │ │ 0x015e8390 03000000 00000000 00000000 00000000 ................ │ │ │ │ - 0x015e83a0 a8ba3301 00000000 f8783101 00000000 ..3......x1..... │ │ │ │ + 0x015e83a0 a8ba3301 00000000 08793101 00000000 ..3......y1..... │ │ │ │ 0x015e83b0 00000000 00000000 01000000 00000000 ................ │ │ │ │ 0x015e83c0 00000000 00000000 88ba3301 00000000 ..........3..... │ │ │ │ 0x015e83d0 38653301 00000000 01000000 00000000 8e3............. │ │ │ │ 0x015e83e0 01000000 00000000 00000000 00000000 ................ │ │ │ │ 0x015e83f0 68ba3301 00000000 50653301 00000000 h.3.....Pe3..... │ │ │ │ 0x015e8400 01000000 00000000 01000000 00000000 ................ │ │ │ │ 0x015e8410 00000000 00000000 48ba3301 00000000 ........H.3..... │ │ │ ├── readelf --wide --decompress --hex-dump=.gnu_debuglink {} │ │ │ │ @@ -1,7 +1,7 @@ │ │ │ │ │ │ │ │ Hex dump of section '.gnu_debuglink': │ │ │ │ - 0x00000000 62323232 66396636 35653234 35663436 b222f9f65e245f46 │ │ │ │ - 0x00000010 36313432 38306231 33373639 62653165 614280b13769be1e │ │ │ │ - 0x00000020 36363039 36312e64 65627567 00000000 660961.debug.... │ │ │ │ - 0x00000030 6fba6b47 o.kG │ │ │ │ + 0x00000000 33663862 30393938 37353562 39353962 3f8b0998755b959b │ │ │ │ + 0x00000010 37313333 66313366 61636336 31383163 7133f13facc6181c │ │ │ │ + 0x00000020 65353838 35662e64 65627567 00000000 e5885f.debug.... │ │ │ │ + 0x00000030 1de83db9 ..=.