--- /srv/rebuilderd/tmp/rebuilderd7Rq3Cp/inputs/libcvc5-1_1.3.2-1_arm64.deb +++ /srv/rebuilderd/tmp/rebuilderd7Rq3Cp/out/libcvc5-1_1.3.2-1_arm64.deb ├── file list │ @@ -1,3 +1,3 @@ │ -rw-r--r-- 0 0 0 4 2025-12-24 00:41:53.000000 debian-binary │ --rw-r--r-- 0 0 0 1276 2025-12-24 00:41:53.000000 control.tar.xz │ --rw-r--r-- 0 0 0 6621912 2025-12-24 00:41:53.000000 data.tar.xz │ +-rw-r--r-- 0 0 0 1280 2025-12-24 00:41:53.000000 control.tar.xz │ +-rw-r--r-- 0 0 0 6621800 2025-12-24 00:41:53.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 {} │ │ │ │ @@ -4318,15 +4318,15 @@ │ │ │ │ 000000000196d2b8 0000000000000403 R_AARCH64_RELATIVE 1662ac8 │ │ │ │ 000000000196d2c0 0000000000000403 R_AARCH64_RELATIVE 1662ad8 │ │ │ │ 000000000196d2c8 0000000000000403 R_AARCH64_RELATIVE 1662af0 │ │ │ │ 000000000196d2d0 0000000000000403 R_AARCH64_RELATIVE 1662b00 │ │ │ │ 000000000196d2d8 0000000000000403 R_AARCH64_RELATIVE 1638ae8 │ │ │ │ 000000000196d2e0 0000000000000403 R_AARCH64_RELATIVE 1662b08 │ │ │ │ 000000000196d2e8 0000000000000403 R_AARCH64_RELATIVE 161f640 │ │ │ │ -000000000196d2f0 0000000000000403 R_AARCH64_RELATIVE 1662bd0 │ │ │ │ +000000000196d2f0 0000000000000403 R_AARCH64_RELATIVE 1662bc8 │ │ │ │ 000000000196d2f8 0000000000000403 R_AARCH64_RELATIVE 1662b20 │ │ │ │ 000000000196d300 0000000000000403 R_AARCH64_RELATIVE 1662b30 │ │ │ │ 000000000196d308 0000000000000403 R_AARCH64_RELATIVE 1662b40 │ │ │ │ 000000000196d310 0000000000000403 R_AARCH64_RELATIVE 1632990 │ │ │ │ 000000000196d318 0000000000000403 R_AARCH64_RELATIVE 1633060 │ │ │ │ 000000000196d320 0000000000000403 R_AARCH64_RELATIVE 1662b50 │ │ │ │ 000000000196d328 0000000000000403 R_AARCH64_RELATIVE 1633138 │ │ │ │ @@ -4335,15 +4335,15 @@ │ │ │ │ 000000000196d340 0000000000000403 R_AARCH64_RELATIVE 1662b70 │ │ │ │ 000000000196d348 0000000000000403 R_AARCH64_RELATIVE 1633148 │ │ │ │ 000000000196d350 0000000000000403 R_AARCH64_RELATIVE 1633170 │ │ │ │ 000000000196d358 0000000000000403 R_AARCH64_RELATIVE 1662b88 │ │ │ │ 000000000196d360 0000000000000403 R_AARCH64_RELATIVE 1662b98 │ │ │ │ 000000000196d368 0000000000000403 R_AARCH64_RELATIVE 1662ba8 │ │ │ │ 000000000196d370 0000000000000403 R_AARCH64_RELATIVE 1662bb8 │ │ │ │ -000000000196d378 0000000000000403 R_AARCH64_RELATIVE 1662bc8 │ │ │ │ +000000000196d378 0000000000000403 R_AARCH64_RELATIVE 1662bd8 │ │ │ │ 000000000196d380 0000000000000403 R_AARCH64_RELATIVE 1626418 │ │ │ │ 000000000196d388 0000000000000403 R_AARCH64_RELATIVE 1662be0 │ │ │ │ 000000000196d390 0000000000000403 R_AARCH64_RELATIVE 1662bf0 │ │ │ │ 000000000196d398 0000000000000403 R_AARCH64_RELATIVE 1662c10 │ │ │ │ 000000000196d3a0 0000000000000403 R_AARCH64_RELATIVE 1662c28 │ │ │ │ 000000000196d3a8 0000000000000403 R_AARCH64_RELATIVE 1662c48 │ │ │ │ 000000000196d3b0 0000000000000403 R_AARCH64_RELATIVE 1662c60 │ │ │ │ @@ -4406,23 +4406,23 @@ │ │ │ │ 000000000196d578 0000000000000403 R_AARCH64_RELATIVE 1663008 │ │ │ │ 000000000196d580 0000000000000403 R_AARCH64_RELATIVE 1663010 │ │ │ │ 000000000196d588 0000000000000403 R_AARCH64_RELATIVE 1634730 │ │ │ │ 000000000196d590 0000000000000403 R_AARCH64_RELATIVE 1663020 │ │ │ │ 000000000196d598 0000000000000403 R_AARCH64_RELATIVE 1663030 │ │ │ │ 000000000196d5a0 0000000000000403 R_AARCH64_RELATIVE 1663050 │ │ │ │ 000000000196d5a8 0000000000000403 R_AARCH64_RELATIVE 1663060 │ │ │ │ -000000000196d5b0 0000000000000403 R_AARCH64_RELATIVE 16630c0 │ │ │ │ +000000000196d5b0 0000000000000403 R_AARCH64_RELATIVE 16630d8 │ │ │ │ 000000000196d5b8 0000000000000403 R_AARCH64_RELATIVE 1663080 │ │ │ │ 000000000196d5c0 0000000000000403 R_AARCH64_RELATIVE 1663090 │ │ │ │ 000000000196d5c8 0000000000000403 R_AARCH64_RELATIVE 16630a8 │ │ │ │ -000000000196d5d0 0000000000000403 R_AARCH64_RELATIVE 16630d0 │ │ │ │ +000000000196d5d0 0000000000000403 R_AARCH64_RELATIVE 16630c0 │ │ │ │ 000000000196d5d8 0000000000000403 R_AARCH64_RELATIVE 16630e8 │ │ │ │ 000000000196d5e0 0000000000000403 R_AARCH64_RELATIVE 1663100 │ │ │ │ 000000000196d5e8 0000000000000403 R_AARCH64_RELATIVE 1663118 │ │ │ │ -000000000196d5f0 0000000000000403 R_AARCH64_RELATIVE 16640f8 │ │ │ │ +000000000196d5f0 0000000000000403 R_AARCH64_RELATIVE 1664110 │ │ │ │ 000000000196d5f8 0000000000000403 R_AARCH64_RELATIVE 1632898 │ │ │ │ 000000000196d600 0000000000000403 R_AARCH64_RELATIVE 1633410 │ │ │ │ 000000000196d608 0000000000000403 R_AARCH64_RELATIVE 1663128 │ │ │ │ 000000000196d610 0000000000000403 R_AARCH64_RELATIVE 1663150 │ │ │ │ 000000000196d618 0000000000000403 R_AARCH64_RELATIVE 1647ab8 │ │ │ │ 000000000196d620 0000000000000403 R_AARCH64_RELATIVE 1663168 │ │ │ │ 000000000196d628 0000000000000403 R_AARCH64_RELATIVE 1663180 │ │ │ │ @@ -4475,18 +4475,18 @@ │ │ │ │ 000000000196d7a0 0000000000000403 R_AARCH64_RELATIVE 1633180 │ │ │ │ 000000000196d7a8 0000000000000403 R_AARCH64_RELATIVE 1663400 │ │ │ │ 000000000196d7b0 0000000000000403 R_AARCH64_RELATIVE 1633030 │ │ │ │ 000000000196d7b8 0000000000000403 R_AARCH64_RELATIVE 1663418 │ │ │ │ 000000000196d7c0 0000000000000403 R_AARCH64_RELATIVE 1663428 │ │ │ │ 000000000196d7c8 0000000000000403 R_AARCH64_RELATIVE 1663438 │ │ │ │ 000000000196d7d0 0000000000000403 R_AARCH64_RELATIVE 162e928 │ │ │ │ -000000000196d7d8 0000000000000403 R_AARCH64_RELATIVE 1663460 │ │ │ │ -000000000196d7e0 0000000000000403 R_AARCH64_RELATIVE 1663448 │ │ │ │ +000000000196d7d8 0000000000000403 R_AARCH64_RELATIVE 1663448 │ │ │ │ +000000000196d7e0 0000000000000403 R_AARCH64_RELATIVE 1663458 │ │ │ │ 000000000196d7e8 0000000000000403 R_AARCH64_RELATIVE 1663470 │ │ │ │ -000000000196d7f0 0000000000000403 R_AARCH64_RELATIVE 1663638 │ │ │ │ +000000000196d7f0 0000000000000403 R_AARCH64_RELATIVE 1663640 │ │ │ │ 000000000196d7f8 0000000000000403 R_AARCH64_RELATIVE 1663488 │ │ │ │ 000000000196d800 0000000000000403 R_AARCH64_RELATIVE 1663490 │ │ │ │ 000000000196d808 0000000000000403 R_AARCH64_RELATIVE 16634a0 │ │ │ │ 000000000196d810 0000000000000403 R_AARCH64_RELATIVE 16634b0 │ │ │ │ 000000000196d818 0000000000000403 R_AARCH64_RELATIVE 1623e88 │ │ │ │ 000000000196d820 0000000000000403 R_AARCH64_RELATIVE 16634d0 │ │ │ │ 000000000196d828 0000000000000403 R_AARCH64_RELATIVE 1633540 │ │ │ │ @@ -4507,15 +4507,15 @@ │ │ │ │ 000000000196d8a0 0000000000000403 R_AARCH64_RELATIVE 16635d8 │ │ │ │ 000000000196d8a8 0000000000000403 R_AARCH64_RELATIVE 16635e8 │ │ │ │ 000000000196d8b0 0000000000000403 R_AARCH64_RELATIVE 1624648 │ │ │ │ 000000000196d8b8 0000000000000403 R_AARCH64_RELATIVE 16635f0 │ │ │ │ 000000000196d8c0 0000000000000403 R_AARCH64_RELATIVE 1663608 │ │ │ │ 000000000196d8c8 0000000000000403 R_AARCH64_RELATIVE 1663618 │ │ │ │ 000000000196d8d0 0000000000000403 R_AARCH64_RELATIVE 1663628 │ │ │ │ -000000000196d8d8 0000000000000403 R_AARCH64_RELATIVE 1663648 │ │ │ │ +000000000196d8d8 0000000000000403 R_AARCH64_RELATIVE 1663638 │ │ │ │ 000000000196d8e0 0000000000000403 R_AARCH64_RELATIVE 1663650 │ │ │ │ 000000000196d8e8 0000000000000403 R_AARCH64_RELATIVE 1663660 │ │ │ │ 000000000196d8f0 0000000000000403 R_AARCH64_RELATIVE 1629360 │ │ │ │ 000000000196d8f8 0000000000000403 R_AARCH64_RELATIVE 1663670 │ │ │ │ 000000000196d900 0000000000000403 R_AARCH64_RELATIVE 1663680 │ │ │ │ 000000000196d908 0000000000000403 R_AARCH64_RELATIVE 1663698 │ │ │ │ 000000000196d910 0000000000000403 R_AARCH64_RELATIVE 1632ab0 │ │ │ │ @@ -4668,15 +4668,15 @@ │ │ │ │ 000000000196dda8 0000000000000403 R_AARCH64_RELATIVE 16640b8 │ │ │ │ 000000000196ddb0 0000000000000403 R_AARCH64_RELATIVE 1632b00 │ │ │ │ 000000000196ddb8 0000000000000403 R_AARCH64_RELATIVE 16640c8 │ │ │ │ 000000000196ddc0 0000000000000403 R_AARCH64_RELATIVE 16640e0 │ │ │ │ 000000000196ddc8 0000000000000403 R_AARCH64_RELATIVE 161fd38 │ │ │ │ 000000000196ddd0 0000000000000403 R_AARCH64_RELATIVE 161fc28 │ │ │ │ 000000000196ddd8 0000000000000403 R_AARCH64_RELATIVE 16640e8 │ │ │ │ -000000000196dde0 0000000000000403 R_AARCH64_RELATIVE 1664108 │ │ │ │ +000000000196dde0 0000000000000403 R_AARCH64_RELATIVE 16640f8 │ │ │ │ 000000000196ddf0 0000000000000403 R_AARCH64_RELATIVE 197a0a0 │ │ │ │ 000000000196ddf8 0000000000000403 R_AARCH64_RELATIVE 155dce0 │ │ │ │ 000000000196de00 0000000000000403 R_AARCH64_RELATIVE 155dde0 │ │ │ │ 000000000196de08 0000000000000403 R_AARCH64_RELATIVE 155dae0 │ │ │ │ 000000000196de10 0000000000000403 R_AARCH64_RELATIVE 1560360 │ │ │ │ 000000000196de18 0000000000000403 R_AARCH64_RELATIVE 155dac0 │ │ │ │ 000000000196de20 0000000000000403 R_AARCH64_RELATIVE 155df20 │ │ │ │ @@ -9002,16 +9002,16 @@ │ │ │ │ 0000000001981328 0000000000000403 R_AARCH64_RELATIVE 1632a58 │ │ │ │ 0000000001981348 0000000000000403 R_AARCH64_RELATIVE 1678d70 │ │ │ │ 0000000001981368 0000000000000403 R_AARCH64_RELATIVE 16628e8 │ │ │ │ 0000000001981388 0000000000000403 R_AARCH64_RELATIVE 1623e58 │ │ │ │ 00000000019813a8 0000000000000403 R_AARCH64_RELATIVE 1638ae8 │ │ │ │ 00000000019813c8 0000000000000403 R_AARCH64_RELATIVE 161f640 │ │ │ │ 00000000019813e8 0000000000000403 R_AARCH64_RELATIVE 1678d78 │ │ │ │ -0000000001981408 0000000000000403 R_AARCH64_RELATIVE 1662bc8 │ │ │ │ -0000000001981428 0000000000000403 R_AARCH64_RELATIVE 1662bd0 │ │ │ │ +0000000001981408 0000000000000403 R_AARCH64_RELATIVE 1662bd8 │ │ │ │ +0000000001981428 0000000000000403 R_AARCH64_RELATIVE 1662bc8 │ │ │ │ 0000000001981448 0000000000000403 R_AARCH64_RELATIVE 1655358 │ │ │ │ 0000000001981468 0000000000000403 R_AARCH64_RELATIVE 1623e88 │ │ │ │ 0000000001981488 0000000000000403 R_AARCH64_RELATIVE 1663008 │ │ │ │ 00000000019814a8 0000000000000403 R_AARCH64_RELATIVE 1663020 │ │ │ │ 00000000019814c8 0000000000000403 R_AARCH64_RELATIVE 1678d88 │ │ │ │ 00000000019814e8 0000000000000403 R_AARCH64_RELATIVE 1663128 │ │ │ │ 0000000001981508 0000000000000403 R_AARCH64_RELATIVE 1678d98 │ │ │ │ @@ -9143,16 +9143,16 @@ │ │ │ │ 00000000019824c8 0000000000000403 R_AARCH64_RELATIVE 1662b60 │ │ │ │ 00000000019824e8 0000000000000403 R_AARCH64_RELATIVE 16791c0 │ │ │ │ 0000000001982508 0000000000000403 R_AARCH64_RELATIVE 1663168 │ │ │ │ 0000000001982528 0000000000000403 R_AARCH64_RELATIVE 16791d0 │ │ │ │ 0000000001982548 0000000000000403 R_AARCH64_RELATIVE 1663180 │ │ │ │ 0000000001982568 0000000000000403 R_AARCH64_RELATIVE 1623e78 │ │ │ │ 0000000001982588 0000000000000403 R_AARCH64_RELATIVE 16791e8 │ │ │ │ -00000000019825a8 0000000000000403 R_AARCH64_RELATIVE 1663648 │ │ │ │ -00000000019825c8 0000000000000403 R_AARCH64_RELATIVE 1663638 │ │ │ │ +00000000019825a8 0000000000000403 R_AARCH64_RELATIVE 1663638 │ │ │ │ +00000000019825c8 0000000000000403 R_AARCH64_RELATIVE 1663640 │ │ │ │ 00000000019825e8 0000000000000403 R_AARCH64_RELATIVE 1663650 │ │ │ │ 0000000001982608 0000000000000403 R_AARCH64_RELATIVE 1679200 │ │ │ │ 0000000001982628 0000000000000403 R_AARCH64_RELATIVE 16636c0 │ │ │ │ 0000000001982648 0000000000000403 R_AARCH64_RELATIVE 16636d0 │ │ │ │ 0000000001982668 0000000000000403 R_AARCH64_RELATIVE 1664080 │ │ │ │ 0000000001982688 0000000000000403 R_AARCH64_RELATIVE 1679210 │ │ │ │ 00000000019826a8 0000000000000403 R_AARCH64_RELATIVE 161fc28 │ │ │ │ @@ -9161,23 +9161,23 @@ │ │ │ │ 0000000001982708 0000000000000403 R_AARCH64_RELATIVE 1662528 │ │ │ │ 0000000001982728 0000000000000403 R_AARCH64_RELATIVE 1662540 │ │ │ │ 0000000001982748 0000000000000403 R_AARCH64_RELATIVE 1662578 │ │ │ │ 0000000001982768 0000000000000403 R_AARCH64_RELATIVE 1663080 │ │ │ │ 0000000001982788 0000000000000403 R_AARCH64_RELATIVE 1663078 │ │ │ │ 00000000019827a8 0000000000000403 R_AARCH64_RELATIVE 1663090 │ │ │ │ 00000000019827c8 0000000000000403 R_AARCH64_RELATIVE 16630a8 │ │ │ │ -00000000019827e8 0000000000000403 R_AARCH64_RELATIVE 16630d0 │ │ │ │ -0000000001982808 0000000000000403 R_AARCH64_RELATIVE 16630c0 │ │ │ │ +00000000019827e8 0000000000000403 R_AARCH64_RELATIVE 16630c0 │ │ │ │ +0000000001982808 0000000000000403 R_AARCH64_RELATIVE 16630d8 │ │ │ │ 0000000001982828 0000000000000403 R_AARCH64_RELATIVE 16630e8 │ │ │ │ 0000000001982848 0000000000000403 R_AARCH64_RELATIVE 1663100 │ │ │ │ 0000000001982868 0000000000000403 R_AARCH64_RELATIVE 1663118 │ │ │ │ 0000000001982888 0000000000000403 R_AARCH64_RELATIVE 1663470 │ │ │ │ 00000000019828a8 0000000000000403 R_AARCH64_RELATIVE 1679250 │ │ │ │ -00000000019828c8 0000000000000403 R_AARCH64_RELATIVE 1664108 │ │ │ │ -00000000019828e8 0000000000000403 R_AARCH64_RELATIVE 16640f8 │ │ │ │ +00000000019828c8 0000000000000403 R_AARCH64_RELATIVE 16640f8 │ │ │ │ +00000000019828e8 0000000000000403 R_AARCH64_RELATIVE 1664110 │ │ │ │ 0000000001982908 0000000000000403 R_AARCH64_RELATIVE 1662998 │ │ │ │ 0000000001982928 0000000000000403 R_AARCH64_RELATIVE 1679268 │ │ │ │ 0000000001982948 0000000000000403 R_AARCH64_RELATIVE 1662a18 │ │ │ │ 0000000001982968 0000000000000403 R_AARCH64_RELATIVE 1632658 │ │ │ │ 0000000001982988 0000000000000403 R_AARCH64_RELATIVE 1679280 │ │ │ │ 00000000019829a8 0000000000000403 R_AARCH64_RELATIVE 1662a58 │ │ │ │ 00000000019829c8 0000000000000403 R_AARCH64_RELATIVE 1679298 │ │ │ │ @@ -9253,16 +9253,16 @@ │ │ │ │ 0000000001983288 0000000000000403 R_AARCH64_RELATIVE 1632e50 │ │ │ │ 00000000019832a8 0000000000000403 R_AARCH64_RELATIVE 16635f0 │ │ │ │ 00000000019832c8 0000000000000403 R_AARCH64_RELATIVE 1679598 │ │ │ │ 00000000019832e8 0000000000000403 R_AARCH64_RELATIVE 1662d98 │ │ │ │ 0000000001983308 0000000000000403 R_AARCH64_RELATIVE 16795b0 │ │ │ │ 0000000001983328 0000000000000403 R_AARCH64_RELATIVE 1632588 │ │ │ │ 0000000001983348 0000000000000403 R_AARCH64_RELATIVE 16631b8 │ │ │ │ -0000000001983368 0000000000000403 R_AARCH64_RELATIVE 1663460 │ │ │ │ -0000000001983388 0000000000000403 R_AARCH64_RELATIVE 1663448 │ │ │ │ +0000000001983368 0000000000000403 R_AARCH64_RELATIVE 1663448 │ │ │ │ +0000000001983388 0000000000000403 R_AARCH64_RELATIVE 1663458 │ │ │ │ 00000000019833a8 0000000000000403 R_AARCH64_RELATIVE 1663568 │ │ │ │ 00000000019833c8 0000000000000403 R_AARCH64_RELATIVE 1663580 │ │ │ │ 00000000019833e8 0000000000000403 R_AARCH64_RELATIVE 1663608 │ │ │ │ 0000000001983408 0000000000000403 R_AARCH64_RELATIVE 1663618 │ │ │ │ 0000000001983428 0000000000000403 R_AARCH64_RELATIVE 1632988 │ │ │ │ 0000000001983448 0000000000000403 R_AARCH64_RELATIVE 16795c8 │ │ │ │ 0000000001983468 0000000000000403 R_AARCH64_RELATIVE 1662358 │ │ │ │ @@ -10000,15 +10000,15 @@ │ │ │ │ 0000000001988458 0000000000000403 R_AARCH64_RELATIVE 168dec0 │ │ │ │ 0000000001988460 0000000000000403 R_AARCH64_RELATIVE 1689758 │ │ │ │ 0000000001988480 0000000000000403 R_AARCH64_RELATIVE 168dea0 │ │ │ │ 0000000001988488 0000000000000403 R_AARCH64_RELATIVE 1689760 │ │ │ │ 00000000019884a8 0000000000000403 R_AARCH64_RELATIVE 168de88 │ │ │ │ 00000000019884b0 0000000000000403 R_AARCH64_RELATIVE 1689768 │ │ │ │ 00000000019884d0 0000000000000403 R_AARCH64_RELATIVE 168de70 │ │ │ │ -00000000019884d8 0000000000000403 R_AARCH64_RELATIVE 1663648 │ │ │ │ +00000000019884d8 0000000000000403 R_AARCH64_RELATIVE 1663638 │ │ │ │ 00000000019884f8 0000000000000403 R_AARCH64_RELATIVE 168de60 │ │ │ │ 0000000001988500 0000000000000403 R_AARCH64_RELATIVE 1689778 │ │ │ │ 0000000001988520 0000000000000403 R_AARCH64_RELATIVE 168de10 │ │ │ │ 0000000001988528 0000000000000403 R_AARCH64_RELATIVE 1689780 │ │ │ │ 0000000001988548 0000000000000403 R_AARCH64_RELATIVE 168ddf0 │ │ │ │ 0000000001988550 0000000000000403 R_AARCH64_RELATIVE 1689790 │ │ │ │ 0000000001988570 0000000000000403 R_AARCH64_RELATIVE 168ddd8 │ │ │ │ @@ -10354,15 +10354,15 @@ │ │ │ │ 000000000198a000 0000000000000403 R_AARCH64_RELATIVE 168dec0 │ │ │ │ 000000000198a008 0000000000000403 R_AARCH64_RELATIVE 1689758 │ │ │ │ 000000000198a028 0000000000000403 R_AARCH64_RELATIVE 168dea0 │ │ │ │ 000000000198a030 0000000000000403 R_AARCH64_RELATIVE 1689760 │ │ │ │ 000000000198a050 0000000000000403 R_AARCH64_RELATIVE 168de88 │ │ │ │ 000000000198a058 0000000000000403 R_AARCH64_RELATIVE 1689768 │ │ │ │ 000000000198a078 0000000000000403 R_AARCH64_RELATIVE 168de70 │ │ │ │ -000000000198a080 0000000000000403 R_AARCH64_RELATIVE 1663648 │ │ │ │ +000000000198a080 0000000000000403 R_AARCH64_RELATIVE 1663638 │ │ │ │ 000000000198a0a0 0000000000000403 R_AARCH64_RELATIVE 168de60 │ │ │ │ 000000000198a0a8 0000000000000403 R_AARCH64_RELATIVE 1689778 │ │ │ │ 000000000198a0c8 0000000000000403 R_AARCH64_RELATIVE 168de10 │ │ │ │ 000000000198a0d0 0000000000000403 R_AARCH64_RELATIVE 1689780 │ │ │ │ 000000000198a0f0 0000000000000403 R_AARCH64_RELATIVE 168ddf0 │ │ │ │ 000000000198a0f8 0000000000000403 R_AARCH64_RELATIVE 1689790 │ │ │ │ 000000000198a118 0000000000000403 R_AARCH64_RELATIVE 168ddd8 │ │ │ ├── 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: b021423ef5f4cef902d1b89c7782f65ea4d8a995 │ │ │ │ + GNU 0x00000014 NT_GNU_BUILD_ID (unique build ID bitstring) Build ID: d8929be66a3a3ec80a3b4280a2ac04ee02da661e │ │ │ │ │ │ │ │ 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 │ │ │ │ @@ -10404,16 +10404,16 @@ │ │ │ │ parse-only │ │ │ │ parse-skolem-definitions │ │ │ │ parsing-mode │ │ │ │ partial-triggers │ │ │ │ partition-check │ │ │ │ partition-conflict-size │ │ │ │ partition-start-time │ │ │ │ -partition │ │ │ │ partition-strategy │ │ │ │ +partition │ │ │ │ partition-time-interval │ │ │ │ partition-tlimit │ │ │ │ partition-when │ │ │ │ plugin-notify-sat-clause-in-solve │ │ │ │ plugin-share-skolems │ │ │ │ portfolio-dry-run │ │ │ │ portfolio-jobs │ │ │ │ @@ -10444,16 +10444,16 @@ │ │ │ │ proof-rewrite-rcons-rec-limit │ │ │ │ proof-rewrite-rcons-step-limit │ │ │ │ prop-row-length │ │ │ │ quant-alpha-equiv │ │ │ │ quant-fun-wd │ │ │ │ quant-ind │ │ │ │ quant-rep-mode │ │ │ │ -random-frequency │ │ │ │ random-freq │ │ │ │ +random-frequency │ │ │ │ random-partitioning │ │ │ │ re-first-class │ │ │ │ re-inter-mode │ │ │ │ register-quant-body-terms │ │ │ │ relational-triggers │ │ │ │ relevant-triggers │ │ │ │ replay-early-close-depth │ │ │ │ @@ -10586,16 +10586,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 │ │ │ │ [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 {} │ │ │ │ @@ -55364,25 +55364,25 @@ │ │ │ │ adrp x1, 1662000 │ │ │ │ mov x21, #0x1388 // #5000 │ │ │ │ add x1, x1, #0x8d8 │ │ │ │ add x0, x19, x21 │ │ │ │ str w2, [sp, #5024] │ │ │ │ bl 13c5360 │ │ │ │ mov w2, #0x7c // #124 │ │ │ │ - adrp x1, 1623000 │ │ │ │ + adrp x1, 1662000 │ │ │ │ mov x20, #0x13b0 // #5040 │ │ │ │ - add x1, x1, #0xe58 │ │ │ │ + add x1, x1, #0x8e8 │ │ │ │ add x0, x19, x20 │ │ │ │ str w2, [sp, #5064] │ │ │ │ bl 13c5360 │ │ │ │ mov w2, #0x7d // #125 │ │ │ │ mov x18, #0x13d8 // #5080 │ │ │ │ - adrp x1, 1662000 │ │ │ │ + adrp x1, 1623000 │ │ │ │ add x0, x19, x18 │ │ │ │ - add x1, x1, #0x8e8 │ │ │ │ + add x1, x1, #0xe58 │ │ │ │ str w2, [sp, #5104] │ │ │ │ bl 13c5360 │ │ │ │ mov w2, #0x7d // #125 │ │ │ │ mov x17, #0x1400 // #5120 │ │ │ │ adrp x1, 1662000 │ │ │ │ add x0, x19, x17 │ │ │ │ add x1, x1, #0x8f0 │ │ │ │ @@ -55822,15 +55822,15 @@ │ │ │ │ add x1, x1, #0xbc8 │ │ │ │ str w2, [sp, #7624] │ │ │ │ bl 13c5360 │ │ │ │ mov w2, #0xbc // #188 │ │ │ │ mov x8, #0x1dd8 // #7640 │ │ │ │ adrp x1, 1662000 │ │ │ │ add x0, x19, x8 │ │ │ │ - add x1, x1, #0xbd0 │ │ │ │ + add x1, x1, #0xbd8 │ │ │ │ str w2, [sp, #7664] │ │ │ │ bl 13c5360 │ │ │ │ mov w2, #0xbc // #188 │ │ │ │ mov x7, #0x1e00 // #7680 │ │ │ │ adrp x1, 1626000 │ │ │ │ add x0, x19, x7 │ │ │ │ add x1, x1, #0x418 │ │ │ │ @@ -56260,24 +56260,24 @@ │ │ │ │ adrp x1, 1623000 │ │ │ │ mov x28, #0x2788 // #10120 │ │ │ │ add x1, x1, #0x400 │ │ │ │ add x0, x19, x28 │ │ │ │ str w2, [sp, #10144] │ │ │ │ bl 13c5360 │ │ │ │ mov w2, #0xfa // #250 │ │ │ │ - adrp x1, 1623000 │ │ │ │ + adrp x1, 1655000 │ │ │ │ mov x27, #0x27b0 // #10160 │ │ │ │ - add x1, x1, #0xe88 │ │ │ │ + add x1, x1, #0x358 │ │ │ │ add x0, x19, x27 │ │ │ │ str w2, [sp, #10184] │ │ │ │ bl 13c5360 │ │ │ │ mov w2, #0xfb // #251 │ │ │ │ - adrp x1, 1655000 │ │ │ │ + adrp x1, 1623000 │ │ │ │ mov x26, #0x27d8 // #10200 │ │ │ │ - add x1, x1, #0x358 │ │ │ │ + add x1, x1, #0xe88 │ │ │ │ add x0, x19, x26 │ │ │ │ str w2, [sp, #10224] │ │ │ │ bl 13c5360 │ │ │ │ mov w2, #0xfb // #251 │ │ │ │ adrp x1, 1663000 │ │ │ │ mov x25, #0x2800 // #10240 │ │ │ │ add x1, x1, #0x8 │ │ │ │ @@ -56361,15 +56361,15 @@ │ │ │ │ add x1, x1, #0xc0 │ │ │ │ str w2, [sp, #10704] │ │ │ │ bl 13c5360 │ │ │ │ mov w2, #0x105 // #261 │ │ │ │ mov x12, #0x29e0 // #10720 │ │ │ │ adrp x1, 1663000 │ │ │ │ add x0, x19, x12 │ │ │ │ - add x1, x1, #0xd0 │ │ │ │ + add x1, x1, #0xd8 │ │ │ │ str w2, [sp, #10744] │ │ │ │ bl 13c5360 │ │ │ │ mov w2, #0x105 // #261 │ │ │ │ mov x11, #0x2a08 // #10760 │ │ │ │ adrp x1, 1663000 │ │ │ │ add x0, x19, x11 │ │ │ │ add x1, x1, #0xe8 │ │ │ │ @@ -56822,15 +56822,15 @@ │ │ │ │ add x0, x19, x30 │ │ │ │ add x1, x1, #0x448 │ │ │ │ str w2, [sp, #13344] │ │ │ │ bl 13c5360 │ │ │ │ mov w2, #0x145 // #325 │ │ │ │ adrp x1, 1663000 │ │ │ │ mov x28, #0x3430 // #13360 │ │ │ │ - add x1, x1, #0x460 │ │ │ │ + add x1, x1, #0x458 │ │ │ │ add x0, x19, x28 │ │ │ │ str w2, [sp, #13384] │ │ │ │ bl 13c5360 │ │ │ │ mov w2, #0x145 // #325 │ │ │ │ adrp x1, 1663000 │ │ │ │ mov x27, #0x3458 // #13400 │ │ │ │ add x1, x1, #0x470 │ │ │ │ @@ -56961,24 +56961,24 @@ │ │ │ │ adrp x1, 1663000 │ │ │ │ add x0, x19, x8 │ │ │ │ add x1, x1, #0x5c0 │ │ │ │ str w2, [sp, #14144] │ │ │ │ bl 13c5360 │ │ │ │ mov w2, #0x158 // #344 │ │ │ │ mov x7, #0x3750 // #14160 │ │ │ │ - adrp x1, 1623000 │ │ │ │ + adrp x1, 1663000 │ │ │ │ add x0, x19, x7 │ │ │ │ - add x1, x1, #0xea0 │ │ │ │ + add x1, x1, #0x5c8 │ │ │ │ str w2, [sp, #14184] │ │ │ │ bl 13c5360 │ │ │ │ mov w2, #0x159 // #345 │ │ │ │ mov x6, #0x3778 // #14200 │ │ │ │ - adrp x1, 1663000 │ │ │ │ + adrp x1, 1623000 │ │ │ │ add x0, x19, x6 │ │ │ │ - add x1, x1, #0x5c8 │ │ │ │ + add x1, x1, #0xea0 │ │ │ │ str w2, [sp, #14224] │ │ │ │ bl 13c5360 │ │ │ │ mov w2, #0x159 // #345 │ │ │ │ mov x5, #0x37a0 // #14240 │ │ │ │ adrp x1, 1663000 │ │ │ │ add x0, x19, x5 │ │ │ │ add x1, x1, #0x5d8 │ │ │ │ @@ -57032,15 +57032,15 @@ │ │ │ │ add x1, x1, #0x638 │ │ │ │ add x0, x19, x26 │ │ │ │ str w2, [sp, #14544] │ │ │ │ bl 13c5360 │ │ │ │ mov w2, #0x161 // #353 │ │ │ │ adrp x1, 1663000 │ │ │ │ mov x25, #0x38e0 // #14560 │ │ │ │ - add x1, x1, #0x648 │ │ │ │ + add x1, x1, #0x640 │ │ │ │ add x0, x19, x25 │ │ │ │ str w2, [sp, #14584] │ │ │ │ bl 13c5360 │ │ │ │ mov w2, #0x161 // #353 │ │ │ │ adrp x1, 1663000 │ │ │ │ mov x24, #0x3908 // #14600 │ │ │ │ add x1, x1, #0x650 │ │ │ │ @@ -57136,24 +57136,24 @@ │ │ │ │ adrp x1, 1663000 │ │ │ │ add x0, x19, x10 │ │ │ │ add x1, x1, #0x6f8 │ │ │ │ str w2, [sp, #15144] │ │ │ │ bl 13c5360 │ │ │ │ mov w2, #0x16f // #367 │ │ │ │ mov x9, #0x3b38 // #15160 │ │ │ │ - adrp x1, 1632000 │ │ │ │ + adrp x1, 1663000 │ │ │ │ add x0, x19, x9 │ │ │ │ - add x1, x1, #0x590 │ │ │ │ + add x1, x1, #0x710 │ │ │ │ str w2, [sp, #15184] │ │ │ │ bl 13c5360 │ │ │ │ mov w2, #0x170 // #368 │ │ │ │ mov x8, #0x3b60 // #15200 │ │ │ │ - adrp x1, 1663000 │ │ │ │ + adrp x1, 1632000 │ │ │ │ add x0, x19, x8 │ │ │ │ - add x1, x1, #0x710 │ │ │ │ + add x1, x1, #0x590 │ │ │ │ str w2, [sp, #15224] │ │ │ │ bl 13c5360 │ │ │ │ mov w2, #0x170 // #368 │ │ │ │ mov x7, #0x3b88 // #15240 │ │ │ │ adrp x1, 1632000 │ │ │ │ add x0, x19, x7 │ │ │ │ add x1, x1, #0x628 │ │ │ │ @@ -58402,15 +58402,15 @@ │ │ │ │ bl 13c5360 │ │ │ │ mov x7, #0x5248 // #21064 │ │ │ │ add x3, sp, x7 │ │ │ │ mov x6, #0x5250 // #21072 │ │ │ │ mov w2, #0x201 // #513 │ │ │ │ add x0, sp, x6 │ │ │ │ adrp x1, 1664000 │ │ │ │ - add x1, x1, #0x108 │ │ │ │ + add x1, x1, #0x110 │ │ │ │ str w2, [x3] │ │ │ │ str x0, [sp, #24] │ │ │ │ bl 13c5360 │ │ │ │ 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, #48] │ │ │ │ str x0, [sp, #128] │ │ │ │ bl 221720 │ │ │ │ add x8, sp, #0x88 │ │ │ │ add x1, sp, #0x80 │ │ │ │ mov x0, x21 │ │ │ │ bl 1129360 ::_M_gen_rand()@@Base+0x164e80> │ │ │ │ -[ Too much input for diff (SHA256: 8f550548bb8b5158bd96fdd21d2588000e38f2b20602f7c6cdadfdcffb8ed3f2) ] │ │ │ │ +[ Too much input for diff (SHA256: 263cfecd085c205243dad3c1d4d999e7d8eaad0f37f564276a8dbbb96de57a87) ] │ │ │ ├── readelf --wide --decompress --hex-dump=.rodata {} │ │ │ │ @@ -18927,16 +18927,16 @@ │ │ │ │ 0x01662b50 696e7374 2d776865 6e2d7068 61736500 inst-when-phase. │ │ │ │ 0x01662b60 696e7465 72616374 69766500 00000000 interactive..... │ │ │ │ 0x01662b70 696e7465 72706f6c 616e7473 2d6d6f64 interpolants-mod │ │ │ │ 0x01662b80 65000000 00000000 6974652d 73696d70 e.......ite-simp │ │ │ │ 0x01662b90 00000000 00000000 6a682d72 6c762d6f ........jh-rlv-o │ │ │ │ 0x01662ba0 72646572 00000000 6a682d73 6b6f6c65 rder....jh-skole │ │ │ │ 0x01662bb0 6d000000 00000000 6a682d73 6b6f6c65 m.......jh-skole │ │ │ │ - 0x01662bc0 6d2d726c 76000000 6c616e67 00000000 m-rlv...lang.... │ │ │ │ - 0x01662bd0 696e7075 742d6c61 6e677561 67650000 input-language.. │ │ │ │ + 0x01662bc0 6d2d726c 76000000 696e7075 742d6c61 m-rlv...input-la │ │ │ │ + 0x01662bd0 6e677561 67650000 6c616e67 00000000 nguage..lang.... │ │ │ │ 0x01662be0 6c656d6d 612d696e 70726f63 65737300 lemma-inprocess. │ │ │ │ 0x01662bf0 6c656d6d 612d696e 70726f63 6573732d lemma-inprocess- │ │ │ │ 0x01662c00 696e6665 722d6571 2d6c6974 00000000 infer-eq-lit.... │ │ │ │ 0x01662c10 6c656d6d 612d696e 70726f63 6573732d lemma-inprocess- │ │ │ │ 0x01662c20 73756273 00000000 6c656d6d 61732d6f subs....lemmas-o │ │ │ │ 0x01662c30 6e2d7265 706c6179 2d666169 6c757265 n-replay-failure │ │ │ │ 0x01662c40 00000000 00000000 6c667363 2d657870 ........lfsc-exp │ │ │ │ @@ -19007,17 +19007,17 @@ │ │ │ │ 0x01663050 70617273 696e672d 6d6f6465 00000000 parsing-mode.... │ │ │ │ 0x01663060 70617274 69616c2d 74726967 67657273 partial-triggers │ │ │ │ 0x01663070 00000000 00000000 63686563 6b000000 ........check... │ │ │ │ 0x01663080 70617274 6974696f 6e2d6368 65636b00 partition-check. │ │ │ │ 0x01663090 70617274 6974696f 6e2d636f 6e666c69 partition-confli │ │ │ │ 0x016630a0 63742d73 697a6500 70617274 6974696f ct-size.partitio │ │ │ │ 0x016630b0 6e2d7374 6172742d 74696d65 00000000 n-start-time.... │ │ │ │ - 0x016630c0 70617274 6974696f 6e000000 00000000 partition....... │ │ │ │ - 0x016630d0 70617274 6974696f 6e2d7374 72617465 partition-strate │ │ │ │ - 0x016630e0 67790000 00000000 70617274 6974696f gy......partitio │ │ │ │ + 0x016630c0 70617274 6974696f 6e2d7374 72617465 partition-strate │ │ │ │ + 0x016630d0 67790000 00000000 70617274 6974696f gy......partitio │ │ │ │ + 0x016630e0 6e000000 00000000 70617274 6974696f n.......partitio │ │ │ │ 0x016630f0 6e2d7469 6d652d69 6e746572 76616c00 n-time-interval. │ │ │ │ 0x01663100 70617274 6974696f 6e2d746c 696d6974 partition-tlimit │ │ │ │ 0x01663110 00000000 00000000 70617274 6974696f ........partitio │ │ │ │ 0x01663120 6e2d7768 656e0000 706c7567 696e2d6e n-when..plugin-n │ │ │ │ 0x01663130 6f746966 792d7361 742d636c 61757365 otify-sat-clause │ │ │ │ 0x01663140 2d696e2d 736f6c76 65000000 00000000 -in-solve....... │ │ │ │ 0x01663150 706c7567 696e2d73 68617265 2d736b6f plugin-share-sko │ │ │ │ @@ -19064,16 +19064,16 @@ │ │ │ │ 0x016633e0 6f6e732d 73746570 2d6c696d 69740000 ons-step-limit.. │ │ │ │ 0x016633f0 70726f70 2d726f77 2d6c656e 67746800 prop-row-length. │ │ │ │ 0x01663400 7175616e 742d616c 7068612d 65717569 quant-alpha-equi │ │ │ │ 0x01663410 76000000 00000000 7175616e 742d6675 v.......quant-fu │ │ │ │ 0x01663420 6e2d7764 00000000 7175616e 742d696e n-wd....quant-in │ │ │ │ 0x01663430 64000000 00000000 7175616e 742d7265 d.......quant-re │ │ │ │ 0x01663440 702d6d6f 64650000 72616e64 6f6d2d66 p-mode..random-f │ │ │ │ - 0x01663450 72657175 656e6379 00000000 00000000 requency........ │ │ │ │ - 0x01663460 72616e64 6f6d2d66 72657100 00000000 random-freq..... │ │ │ │ + 0x01663450 72657100 00000000 72616e64 6f6d2d66 req.....random-f │ │ │ │ + 0x01663460 72657175 656e6379 00000000 00000000 requency........ │ │ │ │ 0x01663470 72616e64 6f6d2d70 61727469 74696f6e random-partition │ │ │ │ 0x01663480 696e6700 00000000 72652d65 6c696d00 ing.....re-elim. │ │ │ │ 0x01663490 72652d66 69727374 2d636c61 73730000 re-first-class.. │ │ │ │ 0x016634a0 72652d69 6e746572 2d6d6f64 65000000 re-inter-mode... │ │ │ │ 0x016634b0 72656769 73746572 2d717561 6e742d62 register-quant-b │ │ │ │ 0x016634c0 6f64792d 7465726d 73000000 00000000 ody-terms....... │ │ │ │ 0x016634d0 72656c61 74696f6e 616c2d74 72696767 relational-trigg │ │ │ │ @@ -19094,16 +19094,16 @@ │ │ │ │ 0x016635c0 726c696d 69740000 726c696d 69742d70 rlimit..rlimit-p │ │ │ │ 0x016635d0 65720000 00000000 72722d74 75726e73 er......rr-turns │ │ │ │ 0x016635e0 00000000 00000000 72776569 67687400 ........rweight. │ │ │ │ 0x016635f0 7361742d 70726f6f 662d6d69 6e2d6469 sat-proof-min-di │ │ │ │ 0x01663600 6d616373 00000000 7361742d 72616e64 macs....sat-rand │ │ │ │ 0x01663610 6f6d2d73 65656400 7361742d 736f6c76 om-seed.sat-solv │ │ │ │ 0x01663620 65720000 00000000 73652d73 6f6c7665 er......se-solve │ │ │ │ - 0x01663630 2d696e74 00000000 72616e64 6f6d2d73 -int....random-s │ │ │ │ - 0x01663640 65656400 00000000 73656564 00000000 eed.....seed.... │ │ │ │ + 0x01663630 2d696e74 00000000 73656564 00000000 -int....seed.... │ │ │ │ + 0x01663640 72616e64 6f6d2d73 65656400 00000000 random-seed..... │ │ │ │ 0x01663650 73656776 2d737069 6e000000 00000000 segv-spin....... │ │ │ │ 0x01663660 73656d61 6e746963 2d636865 636b7300 semantic-checks. │ │ │ │ 0x01663670 7365702d 6d696e2d 72656669 6e650000 sep-min-refine.. │ │ │ │ 0x01663680 7365702d 7072652d 736b6f6c 656d2d65 sep-pre-skolem-e │ │ │ │ 0x01663690 6d700000 00000000 7365712d 61727261 mp......seq-arra │ │ │ │ 0x016636a0 79000000 00000000 73657473 2d70726f y.......sets-pro │ │ │ │ 0x016636b0 78792d6c 656d6d61 73000000 00000000 xy-lemmas....... │ │ │ │ @@ -19266,17 +19266,17 @@ │ │ │ │ 0x01664080 7573652d 706f7274 666f6c69 6f000000 use-portfolio... │ │ │ │ 0x01664090 7573652d 736f6900 75736572 2d706174 use-soi.user-pat │ │ │ │ 0x016640a0 00000000 00000000 75736572 2d706f6f ........user-poo │ │ │ │ 0x016640b0 6c000000 00000000 7661722d 656c696d l.......var-elim │ │ │ │ 0x016640c0 2d717561 6e740000 7661722d 696e6571 -quant..var-ineq │ │ │ │ 0x016640d0 2d656c69 6d2d7175 616e7400 00000000 -elim-quant..... │ │ │ │ 0x016640e0 76657262 6f736500 77662d63 6865636b verbose.wf-check │ │ │ │ - 0x016640f0 696e6700 00000000 70617274 6974696f ing.....partitio │ │ │ │ - 0x01664100 6e732d6f 75740000 77726974 652d7061 ns-out..write-pa │ │ │ │ - 0x01664110 72746974 696f6e73 2d746f00 00000000 rtitions-to..... │ │ │ │ + 0x016640f0 696e6700 00000000 77726974 652d7061 ing.....write-pa │ │ │ │ + 0x01664100 72746974 696f6e73 2d746f00 00000000 rtitions-to..... │ │ │ │ + 0x01664110 70617274 6974696f 6e732d6f 75740000 partitions-out.. │ │ │ │ 0x01664120 75736167 653a2000 205b6f70 74696f6e usage: . [option │ │ │ │ 0x01664130 735d205b 696e7075 742d6669 6c655d00 s] [input-file]. │ │ │ │ 0x01664140 57697468 6f757420 616e2069 6e707574 Without an input │ │ │ │ 0x01664150 2066696c 652c206f 72207769 74682060 file, or with ` │ │ │ │ 0x01664160 2d272c20 63766335 20726561 64732066 -', cvc5 reads f │ │ │ │ 0x01664170 726f6d20 7374616e 64617264 20696e70 rom standard inp │ │ │ │ 0x01664180 75742e00 00000000 63766335 206f7074 ut......cvc5 opt │ │ │ ├── readelf --wide --decompress --hex-dump=.data.rel.ro {} │ │ │ │ @@ -2169,23 +2169,23 @@ │ │ │ │ 0x0196d280 705f6201 00000000 e05d6501 00000000 p_b......]e..... │ │ │ │ 0x0196d290 a02a6601 00000000 b82a6601 00000000 .*f......*f..... │ │ │ │ 0x0196d2a0 f8336301 00000000 805f6201 00000000 .3c......_b..... │ │ │ │ 0x0196d2b0 d82f6301 00000000 c82a6601 00000000 ./c......*f..... │ │ │ │ 0x0196d2c0 d82a6601 00000000 f02a6601 00000000 .*f......*f..... │ │ │ │ 0x0196d2d0 002b6601 00000000 e88a6301 00000000 .+f.......c..... │ │ │ │ 0x0196d2e0 082b6601 00000000 40f66101 00000000 .+f.....@.a..... │ │ │ │ - 0x0196d2f0 d02b6601 00000000 202b6601 00000000 .+f..... +f..... │ │ │ │ + 0x0196d2f0 c82b6601 00000000 202b6601 00000000 .+f..... +f..... │ │ │ │ 0x0196d300 302b6601 00000000 402b6601 00000000 0+f.....@+f..... │ │ │ │ 0x0196d310 90296301 00000000 60306301 00000000 .)c.....`0c..... │ │ │ │ 0x0196d320 502b6601 00000000 38316301 00000000 P+f.....81c..... │ │ │ │ 0x0196d330 602b6601 00000000 58326601 00000000 `+f.....X2f..... │ │ │ │ 0x0196d340 702b6601 00000000 48316301 00000000 p+f.....H1c..... │ │ │ │ 0x0196d350 70316301 00000000 882b6601 00000000 p1c......+f..... │ │ │ │ 0x0196d360 982b6601 00000000 a82b6601 00000000 .+f......+f..... │ │ │ │ - 0x0196d370 b82b6601 00000000 c82b6601 00000000 .+f......+f..... │ │ │ │ + 0x0196d370 b82b6601 00000000 d82b6601 00000000 .+f......+f..... │ │ │ │ 0x0196d380 18646201 00000000 e02b6601 00000000 .db......+f..... │ │ │ │ 0x0196d390 f02b6601 00000000 102c6601 00000000 .+f......,f..... │ │ │ │ 0x0196d3a0 282c6601 00000000 482c6601 00000000 (,f.....H,f..... │ │ │ │ 0x0196d3b0 602c6601 00000000 702c6601 00000000 `,f.....p,f..... │ │ │ │ 0x0196d3c0 382a6301 00000000 882c6601 00000000 8*c......,f..... │ │ │ │ 0x0196d3d0 a02c6601 00000000 682f6301 00000000 .,f.....h/c..... │ │ │ │ 0x0196d3e0 b82c6601 00000000 d02c6601 00000000 .,f......,f..... │ │ │ │ @@ -2213,19 +2213,19 @@ │ │ │ │ 0x0196d540 c82f6601 00000000 d8256301 00000000 ./f......%c..... │ │ │ │ 0x0196d550 b8346301 00000000 d02f6601 00000000 .4c....../f..... │ │ │ │ 0x0196d560 e82f6601 00000000 00346201 00000000 ./f......4b..... │ │ │ │ 0x0196d570 58536501 00000000 08306601 00000000 XSe......0f..... │ │ │ │ 0x0196d580 10306601 00000000 30476301 00000000 .0f.....0Gc..... │ │ │ │ 0x0196d590 20306601 00000000 30306601 00000000 0f.....00f..... │ │ │ │ 0x0196d5a0 50306601 00000000 60306601 00000000 P0f.....`0f..... │ │ │ │ - 0x0196d5b0 c0306601 00000000 80306601 00000000 .0f......0f..... │ │ │ │ + 0x0196d5b0 d8306601 00000000 80306601 00000000 .0f......0f..... │ │ │ │ 0x0196d5c0 90306601 00000000 a8306601 00000000 .0f......0f..... │ │ │ │ - 0x0196d5d0 d0306601 00000000 e8306601 00000000 .0f......0f..... │ │ │ │ + 0x0196d5d0 c0306601 00000000 e8306601 00000000 .0f......0f..... │ │ │ │ 0x0196d5e0 00316601 00000000 18316601 00000000 .1f......1f..... │ │ │ │ - 0x0196d5f0 f8406601 00000000 98286301 00000000 .@f......(c..... │ │ │ │ + 0x0196d5f0 10416601 00000000 98286301 00000000 .Af......(c..... │ │ │ │ 0x0196d600 10346301 00000000 28316601 00000000 .4c.....(1f..... │ │ │ │ 0x0196d610 50316601 00000000 b87a6401 00000000 P1f......zd..... │ │ │ │ 0x0196d620 68316601 00000000 80316601 00000000 h1f......1f..... │ │ │ │ 0x0196d630 90316601 00000000 48296301 00000000 .1f.....H)c..... │ │ │ │ 0x0196d640 70296301 00000000 b02f6301 00000000 p)c....../c..... │ │ │ │ 0x0196d650 f0306301 00000000 a8316601 00000000 .0c......1f..... │ │ │ │ 0x0196d660 b8316601 00000000 d0316601 00000000 .1f......1f..... │ │ │ │ @@ -2247,31 +2247,31 @@ │ │ │ │ 0x0196d760 48336601 00000000 68336601 00000000 H3f.....h3f..... │ │ │ │ 0x0196d770 80336601 00000000 98336601 00000000 .3f......3f..... │ │ │ │ 0x0196d780 b0336601 00000000 d0336601 00000000 .3f......3f..... │ │ │ │ 0x0196d790 502e6301 00000000 f0336601 00000000 P.c......3f..... │ │ │ │ 0x0196d7a0 80316301 00000000 00346601 00000000 .1c......4f..... │ │ │ │ 0x0196d7b0 30306301 00000000 18346601 00000000 00c......4f..... │ │ │ │ 0x0196d7c0 28346601 00000000 38346601 00000000 (4f.....84f..... │ │ │ │ - 0x0196d7d0 28e96201 00000000 60346601 00000000 (.b.....`4f..... │ │ │ │ - 0x0196d7e0 48346601 00000000 70346601 00000000 H4f.....p4f..... │ │ │ │ - 0x0196d7f0 38366601 00000000 88346601 00000000 86f......4f..... │ │ │ │ + 0x0196d7d0 28e96201 00000000 48346601 00000000 (.b.....H4f..... │ │ │ │ + 0x0196d7e0 58346601 00000000 70346601 00000000 X4f.....p4f..... │ │ │ │ + 0x0196d7f0 40366601 00000000 88346601 00000000 @6f......4f..... │ │ │ │ 0x0196d800 90346601 00000000 a0346601 00000000 .4f......4f..... │ │ │ │ 0x0196d810 b0346601 00000000 883e6201 00000000 .4f......>b..... │ │ │ │ 0x0196d820 d0346601 00000000 40356301 00000000 .4f.....@5c..... │ │ │ │ 0x0196d830 e8346601 00000000 a02a6301 00000000 .4f......*c..... │ │ │ │ 0x0196d840 60336301 00000000 00356601 00000000 `3c......5f..... │ │ │ │ 0x0196d850 20356601 00000000 38356601 00000000 5f.....85f..... │ │ │ │ 0x0196d860 50356601 00000000 a03e6201 00000000 P5f......>b..... │ │ │ │ 0x0196d870 68356601 00000000 80356601 00000000 h5f......5f..... │ │ │ │ 0x0196d880 90356601 00000000 a0356601 00000000 .5f......5f..... │ │ │ │ 0x0196d890 c0356601 00000000 c8356601 00000000 .5f......5f..... │ │ │ │ 0x0196d8a0 d8356601 00000000 e8356601 00000000 .5f......5f..... │ │ │ │ 0x0196d8b0 48466201 00000000 f0356601 00000000 HFb......5f..... │ │ │ │ 0x0196d8c0 08366601 00000000 18366601 00000000 .6f......6f..... │ │ │ │ - 0x0196d8d0 28366601 00000000 48366601 00000000 (6f.....H6f..... │ │ │ │ + 0x0196d8d0 28366601 00000000 38366601 00000000 (6f.....86f..... │ │ │ │ 0x0196d8e0 50366601 00000000 60366601 00000000 P6f.....`6f..... │ │ │ │ 0x0196d8f0 60936201 00000000 70366601 00000000 `.b.....p6f..... │ │ │ │ 0x0196d900 80366601 00000000 98366601 00000000 .6f......6f..... │ │ │ │ 0x0196d910 b02a6301 00000000 d82a6301 00000000 .*c......*c..... │ │ │ │ 0x0196d920 a8366601 00000000 c0366601 00000000 .6f......6f..... │ │ │ │ 0x0196d930 d0366601 00000000 e0366601 00000000 .6f......6f..... │ │ │ │ 0x0196d940 38336301 00000000 f8366601 00000000 83c......6f..... │ │ │ │ @@ -2344,15 +2344,15 @@ │ │ │ │ 0x0196dd70 502c6301 00000000 60406601 00000000 P,c.....`@f..... │ │ │ │ 0x0196dd80 70406601 00000000 80406601 00000000 p@f......@f..... │ │ │ │ 0x0196dd90 90406601 00000000 98406601 00000000 .@f......@f..... │ │ │ │ 0x0196dda0 a8406601 00000000 b8406601 00000000 .@f......@f..... │ │ │ │ 0x0196ddb0 002b6301 00000000 c8406601 00000000 .+c......@f..... │ │ │ │ 0x0196ddc0 e0406601 00000000 38fd6101 00000000 .@f.....8.a..... │ │ │ │ 0x0196ddd0 28fc6101 00000000 e8406601 00000000 (.a......@f..... │ │ │ │ - 0x0196dde0 08416601 00000000 00000000 00000000 .Af............. │ │ │ │ + 0x0196dde0 f8406601 00000000 00000000 00000000 .@f............. │ │ │ │ 0x0196ddf0 a0a09701 00000000 e0dc5501 00000000 ..........U..... │ │ │ │ 0x0196de00 e0dd5501 00000000 e0da5501 00000000 ..U.......U..... │ │ │ │ 0x0196de10 60035601 00000000 c0da5501 00000000 `.V.......U..... │ │ │ │ 0x0196de20 20df5501 00000000 00000000 00000000 .U............. │ │ │ │ 0x0196de30 d0a09701 00000000 00e05501 00000000 ..........U..... │ │ │ │ 0x0196de40 80e65501 00000000 00db5501 00000000 ..U.......U..... │ │ │ │ 0x0196de50 40ed5501 00000000 a0f55501 00000000 @.U.......U..... │ │ │ ├── readelf --wide --decompress --hex-dump=.data {} │ │ │ │ @@ -316,17 +316,17 @@ │ │ │ │ 0x01981390 01000000 00000000 00000000 00000000 ................ │ │ │ │ 0x019813a0 75010000 00000000 e88a6301 00000000 u.........c..... │ │ │ │ 0x019813b0 01000000 00000000 00000000 00000000 ................ │ │ │ │ 0x019813c0 76010000 00000000 40f66101 00000000 v.......@.a..... │ │ │ │ 0x019813d0 00000000 00000000 00000000 00000000 ................ │ │ │ │ 0x019813e0 77010000 00000000 788d6701 00000000 w.......x.g..... │ │ │ │ 0x019813f0 00000000 00000000 00000000 00000000 ................ │ │ │ │ - 0x01981400 78010000 00000000 c82b6601 00000000 x........+f..... │ │ │ │ + 0x01981400 78010000 00000000 d82b6601 00000000 x........+f..... │ │ │ │ 0x01981410 01000000 00000000 00000000 00000000 ................ │ │ │ │ - 0x01981420 79010000 00000000 d02b6601 00000000 y........+f..... │ │ │ │ + 0x01981420 79010000 00000000 c82b6601 00000000 y........+f..... │ │ │ │ 0x01981430 01000000 00000000 00000000 00000000 ................ │ │ │ │ 0x01981440 7a010000 00000000 58536501 00000000 z.......XSe..... │ │ │ │ 0x01981450 01000000 00000000 00000000 00000000 ................ │ │ │ │ 0x01981460 7b010000 00000000 883e6201 00000000 {........>b..... │ │ │ │ 0x01981470 01000000 00000000 00000000 00000000 ................ │ │ │ │ 0x01981480 7c010000 00000000 08306601 00000000 |........0f..... │ │ │ │ 0x01981490 01000000 00000000 00000000 00000000 ................ │ │ │ │ @@ -598,17 +598,17 @@ │ │ │ │ 0x01982530 00000000 00000000 00000000 00000000 ................ │ │ │ │ 0x01982540 02020000 00000000 80316601 00000000 .........1f..... │ │ │ │ 0x01982550 01000000 00000000 00000000 00000000 ................ │ │ │ │ 0x01982560 03020000 00000000 783e6201 00000000 ........x>b..... │ │ │ │ 0x01982570 00000000 00000000 00000000 00000000 ................ │ │ │ │ 0x01982580 04020000 00000000 e8916701 00000000 ..........g..... │ │ │ │ 0x01982590 00000000 00000000 00000000 00000000 ................ │ │ │ │ - 0x019825a0 05020000 00000000 48366601 00000000 ........H6f..... │ │ │ │ + 0x019825a0 05020000 00000000 38366601 00000000 ........86f..... │ │ │ │ 0x019825b0 01000000 00000000 00000000 00000000 ................ │ │ │ │ - 0x019825c0 06020000 00000000 38366601 00000000 ........86f..... │ │ │ │ + 0x019825c0 06020000 00000000 40366601 00000000 ........@6f..... │ │ │ │ 0x019825d0 01000000 00000000 00000000 00000000 ................ │ │ │ │ 0x019825e0 07020000 00000000 50366601 00000000 ........P6f..... │ │ │ │ 0x019825f0 00000000 00000000 00000000 00000000 ................ │ │ │ │ 0x01982600 08020000 00000000 00926701 00000000 ..........g..... │ │ │ │ 0x01982610 00000000 00000000 00000000 00000000 ................ │ │ │ │ 0x01982620 09020000 00000000 c0366601 00000000 .........6f..... │ │ │ │ 0x01982630 00000000 00000000 00000000 00000000 ................ │ │ │ │ @@ -634,31 +634,31 @@ │ │ │ │ 0x01982770 01000000 00000000 00000000 00000000 ................ │ │ │ │ 0x01982780 14020000 00000000 78306601 00000000 ........x0f..... │ │ │ │ 0x01982790 01000000 00000000 00000000 00000000 ................ │ │ │ │ 0x019827a0 15020000 00000000 90306601 00000000 .........0f..... │ │ │ │ 0x019827b0 01000000 00000000 00000000 00000000 ................ │ │ │ │ 0x019827c0 16020000 00000000 a8306601 00000000 .........0f..... │ │ │ │ 0x019827d0 01000000 00000000 00000000 00000000 ................ │ │ │ │ - 0x019827e0 17020000 00000000 d0306601 00000000 .........0f..... │ │ │ │ + 0x019827e0 17020000 00000000 c0306601 00000000 .........0f..... │ │ │ │ 0x019827f0 01000000 00000000 00000000 00000000 ................ │ │ │ │ - 0x01982800 18020000 00000000 c0306601 00000000 .........0f..... │ │ │ │ + 0x01982800 18020000 00000000 d8306601 00000000 .........0f..... │ │ │ │ 0x01982810 01000000 00000000 00000000 00000000 ................ │ │ │ │ 0x01982820 19020000 00000000 e8306601 00000000 .........0f..... │ │ │ │ 0x01982830 01000000 00000000 00000000 00000000 ................ │ │ │ │ 0x01982840 1a020000 00000000 00316601 00000000 .........1f..... │ │ │ │ 0x01982850 01000000 00000000 00000000 00000000 ................ │ │ │ │ 0x01982860 1b020000 00000000 18316601 00000000 .........1f..... │ │ │ │ 0x01982870 01000000 00000000 00000000 00000000 ................ │ │ │ │ 0x01982880 1c020000 00000000 70346601 00000000 ........p4f..... │ │ │ │ 0x01982890 00000000 00000000 00000000 00000000 ................ │ │ │ │ 0x019828a0 1d020000 00000000 50926701 00000000 ........P.g..... │ │ │ │ 0x019828b0 00000000 00000000 00000000 00000000 ................ │ │ │ │ - 0x019828c0 1e020000 00000000 08416601 00000000 .........Af..... │ │ │ │ + 0x019828c0 1e020000 00000000 f8406601 00000000 .........@f..... │ │ │ │ 0x019828d0 01000000 00000000 00000000 00000000 ................ │ │ │ │ - 0x019828e0 1f020000 00000000 f8406601 00000000 .........@f..... │ │ │ │ + 0x019828e0 1f020000 00000000 10416601 00000000 .........Af..... │ │ │ │ 0x019828f0 01000000 00000000 00000000 00000000 ................ │ │ │ │ 0x01982900 20020000 00000000 98296601 00000000 ........)f..... │ │ │ │ 0x01982910 00000000 00000000 00000000 00000000 ................ │ │ │ │ 0x01982920 21020000 00000000 68926701 00000000 !.......h.g..... │ │ │ │ 0x01982930 00000000 00000000 00000000 00000000 ................ │ │ │ │ 0x01982940 22020000 00000000 182a6601 00000000 "........*f..... │ │ │ │ 0x01982950 01000000 00000000 00000000 00000000 ................ │ │ │ │ @@ -818,17 +818,17 @@ │ │ │ │ 0x019832f0 00000000 00000000 00000000 00000000 ................ │ │ │ │ 0x01983300 70020000 00000000 b0956701 00000000 p.........g..... │ │ │ │ 0x01983310 00000000 00000000 00000000 00000000 ................ │ │ │ │ 0x01983320 71020000 00000000 88256301 00000000 q........%c..... │ │ │ │ 0x01983330 01000000 00000000 00000000 00000000 ................ │ │ │ │ 0x01983340 72020000 00000000 b8316601 00000000 r........1f..... │ │ │ │ 0x01983350 01000000 00000000 00000000 00000000 ................ │ │ │ │ - 0x01983360 73020000 00000000 60346601 00000000 s.......`4f..... │ │ │ │ + 0x01983360 73020000 00000000 48346601 00000000 s.......H4f..... │ │ │ │ 0x01983370 01000000 00000000 00000000 00000000 ................ │ │ │ │ - 0x01983380 74020000 00000000 48346601 00000000 t.......H4f..... │ │ │ │ + 0x01983380 74020000 00000000 58346601 00000000 t.......X4f..... │ │ │ │ 0x01983390 01000000 00000000 00000000 00000000 ................ │ │ │ │ 0x019833a0 75020000 00000000 68356601 00000000 u.......h5f..... │ │ │ │ 0x019833b0 01000000 00000000 00000000 00000000 ................ │ │ │ │ 0x019833c0 76020000 00000000 80356601 00000000 v........5f..... │ │ │ │ 0x019833d0 01000000 00000000 00000000 00000000 ................ │ │ │ │ 0x019833e0 77020000 00000000 08366601 00000000 w........6f..... │ │ │ │ 0x019833f0 01000000 00000000 00000000 00000000 ................ │ │ │ │ @@ -2121,15 +2121,15 @@ │ │ │ │ 0x01988460 58976801 00000000 00000000 00000000 X.h............. │ │ │ │ 0x01988470 01000000 00000000 00000000 00000000 ................ │ │ │ │ 0x01988480 a0de6801 00000000 60976801 00000000 ..h.....`.h..... │ │ │ │ 0x01988490 01000000 00000000 01000000 00000000 ................ │ │ │ │ 0x019884a0 00000000 00000000 88de6801 00000000 ..........h..... │ │ │ │ 0x019884b0 68976801 00000000 b6030000 f4010000 h.h............. │ │ │ │ 0x019884c0 e8030000 00000000 00000000 00000000 ................ │ │ │ │ - 0x019884d0 70de6801 00000000 48366601 00000000 p.h.....H6f..... │ │ │ │ + 0x019884d0 70de6801 00000000 38366601 00000000 p.h.....86f..... │ │ │ │ 0x019884e0 00000000 00000000 00943577 00000000 ..........5w.... │ │ │ │ 0x019884f0 00000000 00000000 60de6801 00000000 ........`.h..... │ │ │ │ 0x01988500 78976801 00000000 03000000 00000000 x.h............. │ │ │ │ 0x01988510 03000000 00000000 00000000 00000000 ................ │ │ │ │ 0x01988520 10de6801 00000000 80976801 00000000 ..h.......h..... │ │ │ │ 0x01988530 01000000 00000000 01000000 00000000 ................ │ │ │ │ 0x01988540 00000000 00000000 f0dd6801 00000000 ..........h..... │ │ │ │ @@ -2564,15 +2564,15 @@ │ │ │ │ 0x0198a010 00000000 00000000 01000000 00000000 ................ │ │ │ │ 0x0198a020 00000000 00000000 a0de6801 00000000 ..........h..... │ │ │ │ 0x0198a030 60976801 00000000 01000000 00000000 `.h............. │ │ │ │ 0x0198a040 01000000 00000000 00000000 00000000 ................ │ │ │ │ 0x0198a050 88de6801 00000000 68976801 00000000 ..h.....h.h..... │ │ │ │ 0x0198a060 b6030000 f4010000 e8030000 00000000 ................ │ │ │ │ 0x0198a070 00000000 00000000 70de6801 00000000 ........p.h..... │ │ │ │ - 0x0198a080 48366601 00000000 00000000 00000000 H6f............. │ │ │ │ + 0x0198a080 38366601 00000000 00000000 00000000 86f............. │ │ │ │ 0x0198a090 00943577 00000000 00000000 00000000 ..5w............ │ │ │ │ 0x0198a0a0 60de6801 00000000 78976801 00000000 `.h.....x.h..... │ │ │ │ 0x0198a0b0 03000000 00000000 03000000 00000000 ................ │ │ │ │ 0x0198a0c0 00000000 00000000 10de6801 00000000 ..........h..... │ │ │ │ 0x0198a0d0 80976801 00000000 01000000 00000000 ..h............. │ │ │ │ 0x0198a0e0 01000000 00000000 00000000 00000000 ................ │ │ │ │ 0x0198a0f0 f0dd6801 00000000 90976801 00000000 ..h.......h..... │ │ │ ├── readelf --wide --decompress --hex-dump=.gnu_debuglink {} │ │ │ │ @@ -1,7 +1,7 @@ │ │ │ │ │ │ │ │ Hex dump of section '.gnu_debuglink': │ │ │ │ - 0x00000000 32313432 33656635 66346365 66393032 21423ef5f4cef902 │ │ │ │ - 0x00000010 64316238 39633737 38326636 35656134 d1b89c7782f65ea4 │ │ │ │ - 0x00000020 64386139 39352e64 65627567 00000000 d8a995.debug.... │ │ │ │ - 0x00000030 b5ff64d1 ..d. │ │ │ │ + 0x00000000 39323962 65363661 33613365 63383061 929be66a3a3ec80a │ │ │ │ + 0x00000010 33623432 38306132 61633034 65653032 3b4280a2ac04ee02 │ │ │ │ + 0x00000020 64613636 31652e64 65627567 00000000 da661e.debug.... │ │ │ │ + 0x00000030 4e11b07d N..}