--- /srv/rebuilderd/tmp/rebuilderdwWfOXP/inputs/libcvc5-1_1.3.2-1+b1_riscv64.deb +++ /srv/rebuilderd/tmp/rebuilderdwWfOXP/out/libcvc5-1_1.3.2-1+b1_riscv64.deb ├── file list │ @@ -1,3 +1,3 @@ │ -rw-r--r-- 0 0 0 4 2026-05-17 07:26:29.000000 debian-binary │ -rw-r--r-- 0 0 0 1308 2026-05-17 07:26:29.000000 control.tar.xz │ --rw-r--r-- 0 0 0 7818284 2026-05-17 07:26:29.000000 data.tar.xz │ +-rw-r--r-- 0 0 0 7817720 2026-05-17 07:26:29.000000 data.tar.xz ├── control.tar.xz │ ├── control.tar │ │ ├── ./md5sums │ │ │ ├── ./md5sums │ │ │ │┄ Files differ ├── data.tar.xz │ ├── data.tar │ │ ├── ./usr/lib/riscv64-linux-gnu/libcvc5.so.1 │ │ │ ├── readelf --wide --relocs {} │ │ │ │ @@ -4203,15 +4203,15 @@ │ │ │ │ 0000000001733fe0 0000000000000003 R_RISCV_RELATIVE 14012c0 │ │ │ │ 0000000001733fe8 0000000000000003 R_RISCV_RELATIVE 13d1558 │ │ │ │ 0000000001733ff0 0000000000000003 R_RISCV_RELATIVE 14012d0 │ │ │ │ 0000000001733ff8 0000000000000003 R_RISCV_RELATIVE 14012e8 │ │ │ │ 0000000001734000 0000000000000003 R_RISCV_RELATIVE 13d1690 │ │ │ │ 0000000001734008 0000000000000003 R_RISCV_RELATIVE 1401300 │ │ │ │ 0000000001734010 0000000000000003 R_RISCV_RELATIVE 1401310 │ │ │ │ -0000000001734018 0000000000000003 R_RISCV_RELATIVE 1401ee8 │ │ │ │ +0000000001734018 0000000000000003 R_RISCV_RELATIVE 1401ed8 │ │ │ │ 0000000001734020 0000000000000003 R_RISCV_RELATIVE 1401328 │ │ │ │ 0000000001734028 0000000000000003 R_RISCV_RELATIVE 1401338 │ │ │ │ 0000000001734030 0000000000000003 R_RISCV_RELATIVE 1401350 │ │ │ │ 0000000001734038 0000000000000003 R_RISCV_RELATIVE 13d19f8 │ │ │ │ 0000000001734040 0000000000000003 R_RISCV_RELATIVE 13d1b00 │ │ │ │ 0000000001734048 0000000000000003 R_RISCV_RELATIVE 13d19d0 │ │ │ │ 0000000001734050 0000000000000003 R_RISCV_RELATIVE 13d1970 │ │ │ │ @@ -4317,15 +4317,15 @@ │ │ │ │ 0000000001734370 0000000000000003 R_RISCV_RELATIVE 1401938 │ │ │ │ 0000000001734378 0000000000000003 R_RISCV_RELATIVE 1401948 │ │ │ │ 0000000001734380 0000000000000003 R_RISCV_RELATIVE 1401960 │ │ │ │ 0000000001734388 0000000000000003 R_RISCV_RELATIVE 1401970 │ │ │ │ 0000000001734390 0000000000000003 R_RISCV_RELATIVE 13d7948 │ │ │ │ 0000000001734398 0000000000000003 R_RISCV_RELATIVE 1401978 │ │ │ │ 00000000017343a0 0000000000000003 R_RISCV_RELATIVE 13be480 │ │ │ │ -00000000017343a8 0000000000000003 R_RISCV_RELATIVE 1401a28 │ │ │ │ +00000000017343a8 0000000000000003 R_RISCV_RELATIVE 1401a30 │ │ │ │ 00000000017343b0 0000000000000003 R_RISCV_RELATIVE 1401990 │ │ │ │ 00000000017343b8 0000000000000003 R_RISCV_RELATIVE 14019a0 │ │ │ │ 00000000017343c0 0000000000000003 R_RISCV_RELATIVE 14019b0 │ │ │ │ 00000000017343c8 0000000000000003 R_RISCV_RELATIVE 13d17f8 │ │ │ │ 00000000017343d0 0000000000000003 R_RISCV_RELATIVE 13d1eb8 │ │ │ │ 00000000017343d8 0000000000000003 R_RISCV_RELATIVE 14019c0 │ │ │ │ 00000000017343e0 0000000000000003 R_RISCV_RELATIVE 13d1f90 │ │ │ │ @@ -4334,15 +4334,15 @@ │ │ │ │ 00000000017343f8 0000000000000003 R_RISCV_RELATIVE 14019e0 │ │ │ │ 0000000001734400 0000000000000003 R_RISCV_RELATIVE 13d1fa0 │ │ │ │ 0000000001734408 0000000000000003 R_RISCV_RELATIVE 13d1fc8 │ │ │ │ 0000000001734410 0000000000000003 R_RISCV_RELATIVE 13c5230 │ │ │ │ 0000000001734418 0000000000000003 R_RISCV_RELATIVE 14019f8 │ │ │ │ 0000000001734420 0000000000000003 R_RISCV_RELATIVE 1401a08 │ │ │ │ 0000000001734428 0000000000000003 R_RISCV_RELATIVE 1401a18 │ │ │ │ -0000000001734430 0000000000000003 R_RISCV_RELATIVE 1401a38 │ │ │ │ +0000000001734430 0000000000000003 R_RISCV_RELATIVE 1401a28 │ │ │ │ 0000000001734438 0000000000000003 R_RISCV_RELATIVE 13c52a8 │ │ │ │ 0000000001734440 0000000000000003 R_RISCV_RELATIVE 1401a40 │ │ │ │ 0000000001734448 0000000000000003 R_RISCV_RELATIVE 1401a50 │ │ │ │ 0000000001734450 0000000000000003 R_RISCV_RELATIVE 1401a70 │ │ │ │ 0000000001734458 0000000000000003 R_RISCV_RELATIVE 1401a88 │ │ │ │ 0000000001734460 0000000000000003 R_RISCV_RELATIVE 1401aa8 │ │ │ │ 0000000001734468 0000000000000003 R_RISCV_RELATIVE 1401ac0 │ │ │ │ @@ -4405,19 +4405,19 @@ │ │ │ │ 0000000001734630 0000000000000003 R_RISCV_RELATIVE 1401e68 │ │ │ │ 0000000001734638 0000000000000003 R_RISCV_RELATIVE 1401e70 │ │ │ │ 0000000001734640 0000000000000003 R_RISCV_RELATIVE 13d3588 │ │ │ │ 0000000001734648 0000000000000003 R_RISCV_RELATIVE 1401e80 │ │ │ │ 0000000001734650 0000000000000003 R_RISCV_RELATIVE 1401e90 │ │ │ │ 0000000001734658 0000000000000003 R_RISCV_RELATIVE 1401eb0 │ │ │ │ 0000000001734660 0000000000000003 R_RISCV_RELATIVE 1401ec0 │ │ │ │ -0000000001734668 0000000000000003 R_RISCV_RELATIVE 1401f38 │ │ │ │ -0000000001734670 0000000000000003 R_RISCV_RELATIVE 1401ed8 │ │ │ │ +0000000001734668 0000000000000003 R_RISCV_RELATIVE 1401f20 │ │ │ │ +0000000001734670 0000000000000003 R_RISCV_RELATIVE 1401ee0 │ │ │ │ 0000000001734678 0000000000000003 R_RISCV_RELATIVE 1401ef0 │ │ │ │ 0000000001734680 0000000000000003 R_RISCV_RELATIVE 1401f08 │ │ │ │ -0000000001734688 0000000000000003 R_RISCV_RELATIVE 1401f20 │ │ │ │ +0000000001734688 0000000000000003 R_RISCV_RELATIVE 1401f30 │ │ │ │ 0000000001734690 0000000000000003 R_RISCV_RELATIVE 1401f48 │ │ │ │ 0000000001734698 0000000000000003 R_RISCV_RELATIVE 1401f60 │ │ │ │ 00000000017346a0 0000000000000003 R_RISCV_RELATIVE 1401f78 │ │ │ │ 00000000017346a8 0000000000000003 R_RISCV_RELATIVE 1402f48 │ │ │ │ 00000000017346b0 0000000000000003 R_RISCV_RELATIVE 13d16f0 │ │ │ │ 00000000017346b8 0000000000000003 R_RISCV_RELATIVE 13d2268 │ │ │ │ 00000000017346c0 0000000000000003 R_RISCV_RELATIVE 1401f88 │ │ │ │ @@ -4474,16 +4474,16 @@ │ │ │ │ 0000000001734858 0000000000000003 R_RISCV_RELATIVE 13d1fd8 │ │ │ │ 0000000001734860 0000000000000003 R_RISCV_RELATIVE 1402260 │ │ │ │ 0000000001734868 0000000000000003 R_RISCV_RELATIVE 13d1e88 │ │ │ │ 0000000001734870 0000000000000003 R_RISCV_RELATIVE 1402278 │ │ │ │ 0000000001734878 0000000000000003 R_RISCV_RELATIVE 1402288 │ │ │ │ 0000000001734880 0000000000000003 R_RISCV_RELATIVE 1402298 │ │ │ │ 0000000001734888 0000000000000003 R_RISCV_RELATIVE 13cd780 │ │ │ │ -0000000001734890 0000000000000003 R_RISCV_RELATIVE 14022a8 │ │ │ │ -0000000001734898 0000000000000003 R_RISCV_RELATIVE 14022b8 │ │ │ │ +0000000001734890 0000000000000003 R_RISCV_RELATIVE 14022c0 │ │ │ │ +0000000001734898 0000000000000003 R_RISCV_RELATIVE 14022a8 │ │ │ │ 00000000017348a0 0000000000000003 R_RISCV_RELATIVE 14022d0 │ │ │ │ 00000000017348a8 0000000000000003 R_RISCV_RELATIVE 1402498 │ │ │ │ 00000000017348b0 0000000000000003 R_RISCV_RELATIVE 14022e8 │ │ │ │ 00000000017348b8 0000000000000003 R_RISCV_RELATIVE 14022f0 │ │ │ │ 00000000017348c0 0000000000000003 R_RISCV_RELATIVE 1402300 │ │ │ │ 00000000017348c8 0000000000000003 R_RISCV_RELATIVE 1402310 │ │ │ │ 00000000017348d0 0000000000000003 R_RISCV_RELATIVE 13c2cd8 │ │ │ │ @@ -9002,16 +9002,16 @@ │ │ │ │ 0000000001748328 0000000000000003 R_RISCV_RELATIVE 13d18b0 │ │ │ │ 0000000001748348 0000000000000003 R_RISCV_RELATIVE 1417bc0 │ │ │ │ 0000000001748368 0000000000000003 R_RISCV_RELATIVE 1401750 │ │ │ │ 0000000001748388 0000000000000003 R_RISCV_RELATIVE 13c2ca8 │ │ │ │ 00000000017483a8 0000000000000003 R_RISCV_RELATIVE 13d7948 │ │ │ │ 00000000017483c8 0000000000000003 R_RISCV_RELATIVE 13be480 │ │ │ │ 00000000017483e8 0000000000000003 R_RISCV_RELATIVE 1417bc8 │ │ │ │ -0000000001748408 0000000000000003 R_RISCV_RELATIVE 1401a38 │ │ │ │ -0000000001748428 0000000000000003 R_RISCV_RELATIVE 1401a28 │ │ │ │ +0000000001748408 0000000000000003 R_RISCV_RELATIVE 1401a28 │ │ │ │ +0000000001748428 0000000000000003 R_RISCV_RELATIVE 1401a30 │ │ │ │ 0000000001748448 0000000000000003 R_RISCV_RELATIVE 13f41b8 │ │ │ │ 0000000001748468 0000000000000003 R_RISCV_RELATIVE 13c2cd8 │ │ │ │ 0000000001748488 0000000000000003 R_RISCV_RELATIVE 1401e68 │ │ │ │ 00000000017484a8 0000000000000003 R_RISCV_RELATIVE 1401e80 │ │ │ │ 00000000017484c8 0000000000000003 R_RISCV_RELATIVE 1417bd8 │ │ │ │ 00000000017484e8 0000000000000003 R_RISCV_RELATIVE 1401f88 │ │ │ │ 0000000001748508 0000000000000003 R_RISCV_RELATIVE 1417be8 │ │ │ │ @@ -9157,20 +9157,20 @@ │ │ │ │ 0000000001749688 0000000000000003 R_RISCV_RELATIVE 1418060 │ │ │ │ 00000000017496a8 0000000000000003 R_RISCV_RELATIVE 13bea78 │ │ │ │ 00000000017496c8 0000000000000003 R_RISCV_RELATIVE 1401030 │ │ │ │ 00000000017496e8 0000000000000003 R_RISCV_RELATIVE 1418078 │ │ │ │ 0000000001749708 0000000000000003 R_RISCV_RELATIVE 1401390 │ │ │ │ 0000000001749728 0000000000000003 R_RISCV_RELATIVE 14013a8 │ │ │ │ 0000000001749748 0000000000000003 R_RISCV_RELATIVE 14013e0 │ │ │ │ -0000000001749768 0000000000000003 R_RISCV_RELATIVE 1401ed8 │ │ │ │ -0000000001749788 0000000000000003 R_RISCV_RELATIVE 1401ee8 │ │ │ │ +0000000001749768 0000000000000003 R_RISCV_RELATIVE 1401ee0 │ │ │ │ +0000000001749788 0000000000000003 R_RISCV_RELATIVE 1401ed8 │ │ │ │ 00000000017497a8 0000000000000003 R_RISCV_RELATIVE 1401ef0 │ │ │ │ 00000000017497c8 0000000000000003 R_RISCV_RELATIVE 1401f08 │ │ │ │ -00000000017497e8 0000000000000003 R_RISCV_RELATIVE 1401f20 │ │ │ │ -0000000001749808 0000000000000003 R_RISCV_RELATIVE 1401f38 │ │ │ │ +00000000017497e8 0000000000000003 R_RISCV_RELATIVE 1401f30 │ │ │ │ +0000000001749808 0000000000000003 R_RISCV_RELATIVE 1401f20 │ │ │ │ 0000000001749828 0000000000000003 R_RISCV_RELATIVE 1401f48 │ │ │ │ 0000000001749848 0000000000000003 R_RISCV_RELATIVE 1401f60 │ │ │ │ 0000000001749868 0000000000000003 R_RISCV_RELATIVE 1401f78 │ │ │ │ 0000000001749888 0000000000000003 R_RISCV_RELATIVE 14022d0 │ │ │ │ 00000000017498a8 0000000000000003 R_RISCV_RELATIVE 14180a0 │ │ │ │ 00000000017498c8 0000000000000003 R_RISCV_RELATIVE 1402f58 │ │ │ │ 00000000017498e8 0000000000000003 R_RISCV_RELATIVE 1402f48 │ │ │ │ @@ -9253,16 +9253,16 @@ │ │ │ │ 000000000174a288 0000000000000003 R_RISCV_RELATIVE 13d1ca8 │ │ │ │ 000000000174a2a8 0000000000000003 R_RISCV_RELATIVE 1402450 │ │ │ │ 000000000174a2c8 0000000000000003 R_RISCV_RELATIVE 14183e8 │ │ │ │ 000000000174a2e8 0000000000000003 R_RISCV_RELATIVE 1401bf8 │ │ │ │ 000000000174a308 0000000000000003 R_RISCV_RELATIVE 1418400 │ │ │ │ 000000000174a328 0000000000000003 R_RISCV_RELATIVE 13d13e0 │ │ │ │ 000000000174a348 0000000000000003 R_RISCV_RELATIVE 1402018 │ │ │ │ -000000000174a368 0000000000000003 R_RISCV_RELATIVE 14022a8 │ │ │ │ -000000000174a388 0000000000000003 R_RISCV_RELATIVE 14022b8 │ │ │ │ +000000000174a368 0000000000000003 R_RISCV_RELATIVE 14022c0 │ │ │ │ +000000000174a388 0000000000000003 R_RISCV_RELATIVE 14022a8 │ │ │ │ 000000000174a3a8 0000000000000003 R_RISCV_RELATIVE 14023c8 │ │ │ │ 000000000174a3c8 0000000000000003 R_RISCV_RELATIVE 14023e0 │ │ │ │ 000000000174a3e8 0000000000000003 R_RISCV_RELATIVE 1402468 │ │ │ │ 000000000174a408 0000000000000003 R_RISCV_RELATIVE 1402478 │ │ │ │ 000000000174a428 0000000000000003 R_RISCV_RELATIVE 13d17f0 │ │ │ │ 000000000174a448 0000000000000003 R_RISCV_RELATIVE 1418418 │ │ │ │ 000000000174a468 0000000000000003 R_RISCV_RELATIVE 14011c0 │ │ │ │ @@ -9774,15 +9774,15 @@ │ │ │ │ 000000000174e2a8 0000000000000003 R_RISCV_RELATIVE 142ce38 │ │ │ │ 000000000174e2b0 0000000000000003 R_RISCV_RELATIVE 1427d40 │ │ │ │ 000000000174e2d0 0000000000000003 R_RISCV_RELATIVE 142d678 │ │ │ │ 000000000174e2d8 0000000000000003 R_RISCV_RELATIVE 1427d48 │ │ │ │ 000000000174e2f8 0000000000000003 R_RISCV_RELATIVE 142d658 │ │ │ │ 000000000174e300 0000000000000003 R_RISCV_RELATIVE 1427d58 │ │ │ │ 000000000174e320 0000000000000003 R_RISCV_RELATIVE 142d640 │ │ │ │ -000000000174e328 0000000000000003 R_RISCV_RELATIVE 1401ee8 │ │ │ │ +000000000174e328 0000000000000003 R_RISCV_RELATIVE 1401ed8 │ │ │ │ 000000000174e348 0000000000000003 R_RISCV_RELATIVE 142d620 │ │ │ │ 000000000174e350 0000000000000003 R_RISCV_RELATIVE 1427d68 │ │ │ │ 000000000174e370 0000000000000003 R_RISCV_RELATIVE 142d600 │ │ │ │ 000000000174e378 0000000000000003 R_RISCV_RELATIVE 1427d80 │ │ │ │ 000000000174e398 0000000000000003 R_RISCV_RELATIVE 142d5e0 │ │ │ │ 000000000174e3a0 0000000000000003 R_RISCV_RELATIVE 1427d90 │ │ │ │ 000000000174e3c0 0000000000000003 R_RISCV_RELATIVE 142d5c0 │ │ │ │ @@ -10126,15 +10126,15 @@ │ │ │ │ 000000000174fe28 0000000000000003 R_RISCV_RELATIVE 142ce38 │ │ │ │ 000000000174fe30 0000000000000003 R_RISCV_RELATIVE 1427d40 │ │ │ │ 000000000174fe50 0000000000000003 R_RISCV_RELATIVE 142d678 │ │ │ │ 000000000174fe58 0000000000000003 R_RISCV_RELATIVE 1427d48 │ │ │ │ 000000000174fe78 0000000000000003 R_RISCV_RELATIVE 142d658 │ │ │ │ 000000000174fe80 0000000000000003 R_RISCV_RELATIVE 1427d58 │ │ │ │ 000000000174fea0 0000000000000003 R_RISCV_RELATIVE 142d640 │ │ │ │ -000000000174fea8 0000000000000003 R_RISCV_RELATIVE 1401ee8 │ │ │ │ +000000000174fea8 0000000000000003 R_RISCV_RELATIVE 1401ed8 │ │ │ │ 000000000174fec8 0000000000000003 R_RISCV_RELATIVE 142d620 │ │ │ │ 000000000174fed0 0000000000000003 R_RISCV_RELATIVE 1427d68 │ │ │ │ 000000000174fef0 0000000000000003 R_RISCV_RELATIVE 142d600 │ │ │ │ 000000000174fef8 0000000000000003 R_RISCV_RELATIVE 1427d80 │ │ │ │ 000000000174ff18 0000000000000003 R_RISCV_RELATIVE 142d5e0 │ │ │ │ 000000000174ff20 0000000000000003 R_RISCV_RELATIVE 1427d90 │ │ │ │ 000000000174ff40 0000000000000003 R_RISCV_RELATIVE 142d5c0 │ │ │ ├── readelf --wide --notes {} │ │ │ │ @@ -1,4 +1,4 @@ │ │ │ │ │ │ │ │ Displaying notes found in: .note.gnu.build-id │ │ │ │ Owner Data size Description │ │ │ │ - GNU 0x00000014 NT_GNU_BUILD_ID (unique build ID bitstring) Build ID: 0ad1655aa35c86d52804e2c950eea2d8295d290b │ │ │ │ + GNU 0x00000014 NT_GNU_BUILD_ID (unique build ID bitstring) Build ID: bfafcc47c0c194976174d70861b3911e743d6341 │ │ │ ├── strings --all --bytes=8 {} │ │ │ │┄ Ordering differences only │ │ │ │ @@ -12849,16 +12849,16 @@ │ │ │ │ parse-only │ │ │ │ parse-skolem-definitions │ │ │ │ parsing-mode │ │ │ │ partial-triggers │ │ │ │ partition-check │ │ │ │ partition-conflict-size │ │ │ │ partition-start-time │ │ │ │ -partition-strategy │ │ │ │ partition │ │ │ │ +partition-strategy │ │ │ │ partition-time-interval │ │ │ │ partition-tlimit │ │ │ │ partition-when │ │ │ │ plugin-notify-sat-clause-in-solve │ │ │ │ plugin-share-skolems │ │ │ │ portfolio-dry-run │ │ │ │ portfolio-jobs │ │ │ │ @@ -12889,16 +12889,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-freq │ │ │ │ random-frequency │ │ │ │ +random-freq │ │ │ │ random-partitioning │ │ │ │ re-first-class │ │ │ │ re-inter-mode │ │ │ │ register-quant-body-terms │ │ │ │ relational-triggers │ │ │ │ relevant-triggers │ │ │ │ replay-early-close-depth │ │ │ ├── objdump --line-numbers --disassemble --demangle --reloc --no-show-raw-insn --section=.text {} │ │ │ │ @@ -62483,15 +62483,15 @@ │ │ │ │ lui a5,0x2 │ │ │ │ addi a4,a4,-520 │ │ │ │ addi a5,a5,640 │ │ │ │ add a0,a4,sp │ │ │ │ add a5,a5,sp │ │ │ │ li a4,188 │ │ │ │ auipc a1,0x1326 │ │ │ │ - addi a1,a1,-792 │ │ │ │ + addi a1,a1,-800 │ │ │ │ sw a4,-1168(a5) │ │ │ │ auipc ra,0x1066 │ │ │ │ jalr -1738(ra) │ │ │ │ lui a4,0x2 │ │ │ │ lui a5,0x2 │ │ │ │ addi a4,a4,-480 │ │ │ │ addi a5,a5,640 │ │ │ │ @@ -63270,28 +63270,28 @@ │ │ │ │ lui a5,0x3 │ │ │ │ addi a5,a5,-1976 │ │ │ │ add a0,a5,sp │ │ │ │ lui a5,0x2 │ │ │ │ addi a5,a5,640 │ │ │ │ add a5,a5,sp │ │ │ │ li a4,252 │ │ │ │ - auipc a1,0x12f7 │ │ │ │ - addi a1,a1,-650 │ │ │ │ + auipc a1,0x1325 │ │ │ │ + addi a1,a1,1630 │ │ │ │ sw a4,1472(a5) │ │ │ │ auipc ra,0x1065 │ │ │ │ jalr -396(ra) │ │ │ │ lui a5,0x3 │ │ │ │ addi a5,a5,-1936 │ │ │ │ add a0,a5,sp │ │ │ │ lui a5,0x2 │ │ │ │ addi a5,a5,640 │ │ │ │ add a5,a5,sp │ │ │ │ li a4,253 │ │ │ │ - auipc a1,0x1325 │ │ │ │ - addi a1,a1,1588 │ │ │ │ + auipc a1,0x12f7 │ │ │ │ + addi a1,a1,-692 │ │ │ │ sw a4,1512(a5) │ │ │ │ auipc ra,0x1065 │ │ │ │ jalr -438(ra) │ │ │ │ lui a5,0x3 │ │ │ │ addi a5,a5,-1896 │ │ │ │ add a0,a5,sp │ │ │ │ lui a5,0x2 │ │ │ │ @@ -63355,15 +63355,15 @@ │ │ │ │ addi a5,a5,-1696 │ │ │ │ add a0,a5,sp │ │ │ │ lui a5,0x2 │ │ │ │ addi a5,a5,640 │ │ │ │ add a5,a5,sp │ │ │ │ li a4,258 │ │ │ │ auipc a1,0x1325 │ │ │ │ - addi a1,a1,1456 │ │ │ │ + addi a1,a1,1448 │ │ │ │ sw a4,1752(a5) │ │ │ │ auipc ra,0x1065 │ │ │ │ jalr -690(ra) │ │ │ │ lui a5,0x3 │ │ │ │ addi a5,a5,-1656 │ │ │ │ add a0,a5,sp │ │ │ │ lui a5,0x2 │ │ │ │ @@ -63403,15 +63403,15 @@ │ │ │ │ addi a5,a5,-1536 │ │ │ │ add a0,a5,sp │ │ │ │ lui a5,0x2 │ │ │ │ addi a5,a5,640 │ │ │ │ add a5,a5,sp │ │ │ │ li a4,261 │ │ │ │ auipc a1,0x1325 │ │ │ │ - addi a1,a1,1368 │ │ │ │ + addi a1,a1,1360 │ │ │ │ sw a4,1912(a5) │ │ │ │ auipc ra,0x1065 │ │ │ │ jalr -858(ra) │ │ │ │ lui a5,0x3 │ │ │ │ addi a5,a5,-1496 │ │ │ │ add a0,a5,sp │ │ │ │ lui a5,0x2 │ │ │ │ @@ -64195,15 +64195,15 @@ │ │ │ │ lui a5,0x3 │ │ │ │ addi a4,a4,1104 │ │ │ │ addi a5,a5,640 │ │ │ │ add a0,a4,sp │ │ │ │ add a5,a5,sp │ │ │ │ li a4,325 │ │ │ │ auipc a1,0x1325 │ │ │ │ - addi a1,a1,-498 │ │ │ │ + addi a1,a1,-490 │ │ │ │ sw a4,456(a5) │ │ │ │ auipc ra,0x1064 │ │ │ │ jalr 476(ra) │ │ │ │ lui a4,0x3 │ │ │ │ lui a5,0x3 │ │ │ │ addi a4,a4,1144 │ │ │ │ addi a5,a5,640 │ │ │ │ @@ -64434,28 +64434,28 @@ │ │ │ │ lui a4,0x3 │ │ │ │ lui a5,0x3 │ │ │ │ addi a4,a4,1904 │ │ │ │ addi a5,a5,640 │ │ │ │ add a0,a4,sp │ │ │ │ add a5,a5,sp │ │ │ │ li a4,344 │ │ │ │ - auipc a1,0x1325 │ │ │ │ - addi a1,a1,-970 │ │ │ │ + auipc a1,0x12e5 │ │ │ │ + addi a1,a1,1278 │ │ │ │ sw a4,1256(a5) │ │ │ │ auipc ra,0x1064 │ │ │ │ jalr -364(ra) │ │ │ │ lui a4,0x3 │ │ │ │ lui a5,0x3 │ │ │ │ addi a4,a4,1944 │ │ │ │ addi a5,a5,640 │ │ │ │ add a0,a4,sp │ │ │ │ add a5,a5,sp │ │ │ │ li a4,345 │ │ │ │ - auipc a1,0x12e5 │ │ │ │ - addi a1,a1,1236 │ │ │ │ + auipc a1,0x1325 │ │ │ │ + addi a1,a1,-1012 │ │ │ │ sw a4,1296(a5) │ │ │ │ auipc ra,0x1064 │ │ │ │ jalr -406(ra) │ │ │ │ lui a4,0x3 │ │ │ │ lui a5,0x3 │ │ │ │ addi a4,a4,1984 │ │ │ │ addi a5,a5,640 │ │ │ │ @@ -64740,29 +64740,29 @@ │ │ │ │ addi a5,a5,-1408 │ │ │ │ lui a4,0x4 │ │ │ │ addi a4,a4,-1192 │ │ │ │ add a5,a5,sp │ │ │ │ add a0,a4,sp │ │ │ │ addi a5,a5,-2048 │ │ │ │ li a4,367 │ │ │ │ - auipc a1,0x1325 │ │ │ │ - addi a1,a1,-1716 │ │ │ │ + auipc a1,0x12f3 │ │ │ │ + addi a1,a1,1988 │ │ │ │ sw a4,-1840(a5) │ │ │ │ auipc ra,0x1064 │ │ │ │ jalr -1438(ra) │ │ │ │ lui a5,0x5 │ │ │ │ addi a5,a5,-1408 │ │ │ │ lui a4,0x4 │ │ │ │ addi a4,a4,-1152 │ │ │ │ add a5,a5,sp │ │ │ │ add a0,a4,sp │ │ │ │ addi a5,a5,-2048 │ │ │ │ li a4,368 │ │ │ │ - auipc a1,0x12f3 │ │ │ │ - addi a1,a1,1942 │ │ │ │ + auipc a1,0x1325 │ │ │ │ + addi a1,a1,-1762 │ │ │ │ sw a4,-1800(a5) │ │ │ │ auipc ra,0x1064 │ │ │ │ jalr -1484(ra) │ │ │ │ lui a5,0x5 │ │ │ │ addi a5,a5,-1408 │ │ │ │ lui a4,0x4 │ │ │ │ addi a4,a4,-1112 │ │ │ │ @@ -4194296,8 +4194296,8 @@ │ │ │ │ addw a4,a4,a1 │ │ │ │ slli a2,a2,0x28 │ │ │ │ and a4,a4,a1 │ │ │ │ addi a2,a2,-1 │ │ │ │ slli a4,a4,0x28 │ │ │ │ and a3,a3,a2 │ │ │ │ or a3,a3,a4 │ │ │ │ -[ Too much input for diff (SHA256: 5a953b20dca97eadbb1f5da6050cfb4c4fac99e25899847f3ad9ef2543ddf714) ] │ │ │ │ +[ Too much input for diff (SHA256: 4541d5844d8e3998bab36af7cc7ea7b9f2b40164f4d25ae01782f7f4e9b29a30) ] │ │ │ ├── readelf --wide --decompress --hex-dump=.rodata {} │ │ │ │ @@ -18930,16 +18930,16 @@ │ │ │ │ 0x014019b0 696e7374 2d6d6178 2d726f75 6e647300 inst-max-rounds. │ │ │ │ 0x014019c0 696e7374 2d776865 6e2d7068 61736500 inst-when-phase. │ │ │ │ 0x014019d0 696e7465 72616374 69766500 00000000 interactive..... │ │ │ │ 0x014019e0 696e7465 72706f6c 616e7473 2d6d6f64 interpolants-mod │ │ │ │ 0x014019f0 65000000 00000000 6a682d72 6c762d6f e.......jh-rlv-o │ │ │ │ 0x01401a00 72646572 00000000 6a682d73 6b6f6c65 rder....jh-skole │ │ │ │ 0x01401a10 6d000000 00000000 6a682d73 6b6f6c65 m.......jh-skole │ │ │ │ - 0x01401a20 6d2d726c 76000000 696e7075 742d6c61 m-rlv...input-la │ │ │ │ - 0x01401a30 6e677561 67650000 6c616e67 00000000 nguage..lang.... │ │ │ │ + 0x01401a20 6d2d726c 76000000 6c616e67 00000000 m-rlv...lang.... │ │ │ │ + 0x01401a30 696e7075 742d6c61 6e677561 67650000 input-language.. │ │ │ │ 0x01401a40 6c656d6d 612d696e 70726f63 65737300 lemma-inprocess. │ │ │ │ 0x01401a50 6c656d6d 612d696e 70726f63 6573732d lemma-inprocess- │ │ │ │ 0x01401a60 696e6665 722d6571 2d6c6974 00000000 infer-eq-lit.... │ │ │ │ 0x01401a70 6c656d6d 612d696e 70726f63 6573732d lemma-inprocess- │ │ │ │ 0x01401a80 73756273 00000000 6c656d6d 61732d6f subs....lemmas-o │ │ │ │ 0x01401a90 6e2d7265 706c6179 2d666169 6c757265 n-replay-failure │ │ │ │ 0x01401aa0 00000000 00000000 6c667363 2d657870 ........lfsc-exp │ │ │ │ @@ -19005,22 +19005,22 @@ │ │ │ │ 0x01401e60 697a6500 00000000 6f757470 75740000 ize.....output.. │ │ │ │ 0x01401e70 6f757470 75742d6c 616e6700 00000000 output-lang..... │ │ │ │ 0x01401e80 70617273 652d6f6e 6c790000 00000000 parse-only...... │ │ │ │ 0x01401e90 70617273 652d736b 6f6c656d 2d646566 parse-skolem-def │ │ │ │ 0x01401ea0 696e6974 696f6e73 00000000 00000000 initions........ │ │ │ │ 0x01401eb0 70617273 696e672d 6d6f6465 00000000 parsing-mode.... │ │ │ │ 0x01401ec0 70617274 69616c2d 74726967 67657273 partial-triggers │ │ │ │ - 0x01401ed0 00000000 00000000 70617274 6974696f ........partitio │ │ │ │ - 0x01401ee0 6e2d6368 65636b00 63686563 6b000000 n-check.check... │ │ │ │ + 0x01401ed0 00000000 00000000 63686563 6b000000 ........check... │ │ │ │ + 0x01401ee0 70617274 6974696f 6e2d6368 65636b00 partition-check. │ │ │ │ 0x01401ef0 70617274 6974696f 6e2d636f 6e666c69 partition-confli │ │ │ │ 0x01401f00 63742d73 697a6500 70617274 6974696f ct-size.partitio │ │ │ │ 0x01401f10 6e2d7374 6172742d 74696d65 00000000 n-start-time.... │ │ │ │ - 0x01401f20 70617274 6974696f 6e2d7374 72617465 partition-strate │ │ │ │ - 0x01401f30 67790000 00000000 70617274 6974696f gy......partitio │ │ │ │ - 0x01401f40 6e000000 00000000 70617274 6974696f n.......partitio │ │ │ │ + 0x01401f20 70617274 6974696f 6e000000 00000000 partition....... │ │ │ │ + 0x01401f30 70617274 6974696f 6e2d7374 72617465 partition-strate │ │ │ │ + 0x01401f40 67790000 00000000 70617274 6974696f gy......partitio │ │ │ │ 0x01401f50 6e2d7469 6d652d69 6e746572 76616c00 n-time-interval. │ │ │ │ 0x01401f60 70617274 6974696f 6e2d746c 696d6974 partition-tlimit │ │ │ │ 0x01401f70 00000000 00000000 70617274 6974696f ........partitio │ │ │ │ 0x01401f80 6e2d7768 656e0000 706c7567 696e2d6e n-when..plugin-n │ │ │ │ 0x01401f90 6f746966 792d7361 742d636c 61757365 otify-sat-clause │ │ │ │ 0x01401fa0 2d696e2d 736f6c76 65000000 00000000 -in-solve....... │ │ │ │ 0x01401fb0 706c7567 696e2d73 68617265 2d736b6f plugin-share-sko │ │ │ │ @@ -19067,16 +19067,16 @@ │ │ │ │ 0x01402240 6f6e732d 73746570 2d6c696d 69740000 ons-step-limit.. │ │ │ │ 0x01402250 70726f70 2d726f77 2d6c656e 67746800 prop-row-length. │ │ │ │ 0x01402260 7175616e 742d616c 7068612d 65717569 quant-alpha-equi │ │ │ │ 0x01402270 76000000 00000000 7175616e 742d6675 v.......quant-fu │ │ │ │ 0x01402280 6e2d7764 00000000 7175616e 742d696e n-wd....quant-in │ │ │ │ 0x01402290 64000000 00000000 7175616e 742d7265 d.......quant-re │ │ │ │ 0x014022a0 702d6d6f 64650000 72616e64 6f6d2d66 p-mode..random-f │ │ │ │ - 0x014022b0 72657100 00000000 72616e64 6f6d2d66 req.....random-f │ │ │ │ - 0x014022c0 72657175 656e6379 00000000 00000000 requency........ │ │ │ │ + 0x014022b0 72657175 656e6379 00000000 00000000 requency........ │ │ │ │ + 0x014022c0 72616e64 6f6d2d66 72657100 00000000 random-freq..... │ │ │ │ 0x014022d0 72616e64 6f6d2d70 61727469 74696f6e random-partition │ │ │ │ 0x014022e0 696e6700 00000000 72652d65 6c696d00 ing.....re-elim. │ │ │ │ 0x014022f0 72652d66 69727374 2d636c61 73730000 re-first-class.. │ │ │ │ 0x01402300 72652d69 6e746572 2d6d6f64 65000000 re-inter-mode... │ │ │ │ 0x01402310 72656769 73746572 2d717561 6e742d62 register-quant-b │ │ │ │ 0x01402320 6f64792d 7465726d 73000000 00000000 ody-terms....... │ │ │ │ 0x01402330 72656c61 74696f6e 616c2d74 72696767 relational-trigg │ │ │ ├── readelf --wide --decompress --hex-dump=.gnu_debuglink {} │ │ │ │ @@ -1,7 +1,7 @@ │ │ │ │ │ │ │ │ Hex dump of section '.gnu_debuglink': │ │ │ │ - 0x00000000 64313635 35616133 35633836 64353238 d1655aa35c86d528 │ │ │ │ - 0x00000010 30346532 63393530 65656132 64383239 04e2c950eea2d829 │ │ │ │ - 0x00000020 35643239 30622e64 65627567 00000000 5d290b.debug.... │ │ │ │ - 0x00000030 a1b7a9f7 .... │ │ │ │ + 0x00000000 61666363 34376330 63313934 39373631 afcc47c0c1949761 │ │ │ │ + 0x00000010 37346437 30383631 62333931 31653734 74d70861b3911e74 │ │ │ │ + 0x00000020 33643633 34312e64 65627567 00000000 3d6341.debug.... │ │ │ │ + 0x00000030 9535be91 .5..