--- /srv/rebuilderd/tmp/rebuilderdvRJsj7/inputs/libcvc5-1_1.3.2-1_riscv64.deb +++ /srv/rebuilderd/tmp/rebuilderdvRJsj7/out/libcvc5-1_1.3.2-1_riscv64.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 7798088 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 7798788 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/riscv64-linux-gnu/libcvc5.so.1 │ │ │┄ File has been modified after NT_GNU_BUILD_ID has been applied. │ │ │ ├── readelf --wide --relocs {} │ │ │ │ @@ -4317,15 +4317,15 @@ │ │ │ │ 000000000172d320 0000000000000003 R_RISCV_RELATIVE 13facc0 │ │ │ │ 000000000172d328 0000000000000003 R_RISCV_RELATIVE 13facd0 │ │ │ │ 000000000172d330 0000000000000003 R_RISCV_RELATIVE 13face8 │ │ │ │ 000000000172d338 0000000000000003 R_RISCV_RELATIVE 13facf8 │ │ │ │ 000000000172d340 0000000000000003 R_RISCV_RELATIVE 13d0cd0 │ │ │ │ 000000000172d348 0000000000000003 R_RISCV_RELATIVE 13fad00 │ │ │ │ 000000000172d350 0000000000000003 R_RISCV_RELATIVE 13b7820 │ │ │ │ -000000000172d358 0000000000000003 R_RISCV_RELATIVE 13fadb0 │ │ │ │ +000000000172d358 0000000000000003 R_RISCV_RELATIVE 13fadb8 │ │ │ │ 000000000172d360 0000000000000003 R_RISCV_RELATIVE 13fad18 │ │ │ │ 000000000172d368 0000000000000003 R_RISCV_RELATIVE 13fad28 │ │ │ │ 000000000172d370 0000000000000003 R_RISCV_RELATIVE 13fad38 │ │ │ │ 000000000172d378 0000000000000003 R_RISCV_RELATIVE 13cab80 │ │ │ │ 000000000172d380 0000000000000003 R_RISCV_RELATIVE 13cb240 │ │ │ │ 000000000172d388 0000000000000003 R_RISCV_RELATIVE 13fad48 │ │ │ │ 000000000172d390 0000000000000003 R_RISCV_RELATIVE 13cb318 │ │ │ │ @@ -4334,15 +4334,15 @@ │ │ │ │ 000000000172d3a8 0000000000000003 R_RISCV_RELATIVE 13fad68 │ │ │ │ 000000000172d3b0 0000000000000003 R_RISCV_RELATIVE 13cb328 │ │ │ │ 000000000172d3b8 0000000000000003 R_RISCV_RELATIVE 13cb350 │ │ │ │ 000000000172d3c0 0000000000000003 R_RISCV_RELATIVE 13be5b8 │ │ │ │ 000000000172d3c8 0000000000000003 R_RISCV_RELATIVE 13fad80 │ │ │ │ 000000000172d3d0 0000000000000003 R_RISCV_RELATIVE 13fad90 │ │ │ │ 000000000172d3d8 0000000000000003 R_RISCV_RELATIVE 13fada0 │ │ │ │ -000000000172d3e0 0000000000000003 R_RISCV_RELATIVE 13fadc0 │ │ │ │ +000000000172d3e0 0000000000000003 R_RISCV_RELATIVE 13fadb0 │ │ │ │ 000000000172d3e8 0000000000000003 R_RISCV_RELATIVE 13be630 │ │ │ │ 000000000172d3f0 0000000000000003 R_RISCV_RELATIVE 13fadc8 │ │ │ │ 000000000172d3f8 0000000000000003 R_RISCV_RELATIVE 13fadd8 │ │ │ │ 000000000172d400 0000000000000003 R_RISCV_RELATIVE 13fadf8 │ │ │ │ 000000000172d408 0000000000000003 R_RISCV_RELATIVE 13fae10 │ │ │ │ 000000000172d410 0000000000000003 R_RISCV_RELATIVE 13fae30 │ │ │ │ 000000000172d418 0000000000000003 R_RISCV_RELATIVE 13fae48 │ │ │ │ @@ -4405,23 +4405,23 @@ │ │ │ │ 000000000172d5e0 0000000000000003 R_RISCV_RELATIVE 13fb1f0 │ │ │ │ 000000000172d5e8 0000000000000003 R_RISCV_RELATIVE 13fb1f8 │ │ │ │ 000000000172d5f0 0000000000000003 R_RISCV_RELATIVE 13cc910 │ │ │ │ 000000000172d5f8 0000000000000003 R_RISCV_RELATIVE 13fb208 │ │ │ │ 000000000172d600 0000000000000003 R_RISCV_RELATIVE 13fb218 │ │ │ │ 000000000172d608 0000000000000003 R_RISCV_RELATIVE 13fb238 │ │ │ │ 000000000172d610 0000000000000003 R_RISCV_RELATIVE 13fb248 │ │ │ │ -000000000172d618 0000000000000003 R_RISCV_RELATIVE 13fb2c0 │ │ │ │ +000000000172d618 0000000000000003 R_RISCV_RELATIVE 13fb2a8 │ │ │ │ 000000000172d620 0000000000000003 R_RISCV_RELATIVE 13fb268 │ │ │ │ 000000000172d628 0000000000000003 R_RISCV_RELATIVE 13fb278 │ │ │ │ 000000000172d630 0000000000000003 R_RISCV_RELATIVE 13fb290 │ │ │ │ -000000000172d638 0000000000000003 R_RISCV_RELATIVE 13fb2a8 │ │ │ │ +000000000172d638 0000000000000003 R_RISCV_RELATIVE 13fb2b8 │ │ │ │ 000000000172d640 0000000000000003 R_RISCV_RELATIVE 13fb2d0 │ │ │ │ 000000000172d648 0000000000000003 R_RISCV_RELATIVE 13fb2e8 │ │ │ │ 000000000172d650 0000000000000003 R_RISCV_RELATIVE 13fb300 │ │ │ │ -000000000172d658 0000000000000003 R_RISCV_RELATIVE 13fc2e8 │ │ │ │ +000000000172d658 0000000000000003 R_RISCV_RELATIVE 13fc2d0 │ │ │ │ 000000000172d660 0000000000000003 R_RISCV_RELATIVE 13caa78 │ │ │ │ 000000000172d668 0000000000000003 R_RISCV_RELATIVE 13cb5f0 │ │ │ │ 000000000172d670 0000000000000003 R_RISCV_RELATIVE 13fb310 │ │ │ │ 000000000172d678 0000000000000003 R_RISCV_RELATIVE 13fb338 │ │ │ │ 000000000172d680 0000000000000003 R_RISCV_RELATIVE 13dfcc0 │ │ │ │ 000000000172d688 0000000000000003 R_RISCV_RELATIVE 13fb350 │ │ │ │ 000000000172d690 0000000000000003 R_RISCV_RELATIVE 13fb368 │ │ │ │ @@ -4667,15 +4667,15 @@ │ │ │ │ 000000000172de10 0000000000000003 R_RISCV_RELATIVE 13fc290 │ │ │ │ 000000000172de18 0000000000000003 R_RISCV_RELATIVE 13cace0 │ │ │ │ 000000000172de20 0000000000000003 R_RISCV_RELATIVE 13fc2a0 │ │ │ │ 000000000172de28 0000000000000003 R_RISCV_RELATIVE 13fc2b8 │ │ │ │ 000000000172de30 0000000000000003 R_RISCV_RELATIVE 13b7f28 │ │ │ │ 000000000172de38 0000000000000003 R_RISCV_RELATIVE 13b7e18 │ │ │ │ 000000000172de40 0000000000000003 R_RISCV_RELATIVE 13fc2c0 │ │ │ │ -000000000172de48 0000000000000003 R_RISCV_RELATIVE 13fc2d0 │ │ │ │ +000000000172de48 0000000000000003 R_RISCV_RELATIVE 13fc2e0 │ │ │ │ 000000000172de58 0000000000000003 R_RISCV_RELATIVE 173a130 │ │ │ │ 000000000172de60 0000000000000003 R_RISCV_RELATIVE 13151ae │ │ │ │ 000000000172de68 0000000000000003 R_RISCV_RELATIVE 131526a │ │ │ │ 000000000172de70 0000000000000003 R_RISCV_RELATIVE 13150aa │ │ │ │ 000000000172de78 0000000000000003 R_RISCV_RELATIVE 1316f04 │ │ │ │ 000000000172de80 0000000000000003 R_RISCV_RELATIVE 131509e │ │ │ │ 000000000172de88 0000000000000003 R_RISCV_RELATIVE 1315356 │ │ │ │ @@ -9002,16 +9002,16 @@ │ │ │ │ 0000000001741328 0000000000000003 R_RISCV_RELATIVE 13cac38 │ │ │ │ 0000000001741348 0000000000000003 R_RISCV_RELATIVE 1410f48 │ │ │ │ 0000000001741368 0000000000000003 R_RISCV_RELATIVE 13faad8 │ │ │ │ 0000000001741388 0000000000000003 R_RISCV_RELATIVE 13bc048 │ │ │ │ 00000000017413a8 0000000000000003 R_RISCV_RELATIVE 13d0cd0 │ │ │ │ 00000000017413c8 0000000000000003 R_RISCV_RELATIVE 13b7820 │ │ │ │ 00000000017413e8 0000000000000003 R_RISCV_RELATIVE 1410f50 │ │ │ │ -0000000001741408 0000000000000003 R_RISCV_RELATIVE 13fadc0 │ │ │ │ -0000000001741428 0000000000000003 R_RISCV_RELATIVE 13fadb0 │ │ │ │ +0000000001741408 0000000000000003 R_RISCV_RELATIVE 13fadb0 │ │ │ │ +0000000001741428 0000000000000003 R_RISCV_RELATIVE 13fadb8 │ │ │ │ 0000000001741448 0000000000000003 R_RISCV_RELATIVE 13ed540 │ │ │ │ 0000000001741468 0000000000000003 R_RISCV_RELATIVE 13bc078 │ │ │ │ 0000000001741488 0000000000000003 R_RISCV_RELATIVE 13fb1f0 │ │ │ │ 00000000017414a8 0000000000000003 R_RISCV_RELATIVE 13fb208 │ │ │ │ 00000000017414c8 0000000000000003 R_RISCV_RELATIVE 1410f60 │ │ │ │ 00000000017414e8 0000000000000003 R_RISCV_RELATIVE 13fb310 │ │ │ │ 0000000001741508 0000000000000003 R_RISCV_RELATIVE 1410f70 │ │ │ │ @@ -9161,23 +9161,23 @@ │ │ │ │ 0000000001742708 0000000000000003 R_RISCV_RELATIVE 13fa718 │ │ │ │ 0000000001742728 0000000000000003 R_RISCV_RELATIVE 13fa730 │ │ │ │ 0000000001742748 0000000000000003 R_RISCV_RELATIVE 13fa768 │ │ │ │ 0000000001742768 0000000000000003 R_RISCV_RELATIVE 13fb268 │ │ │ │ 0000000001742788 0000000000000003 R_RISCV_RELATIVE 13fb260 │ │ │ │ 00000000017427a8 0000000000000003 R_RISCV_RELATIVE 13fb278 │ │ │ │ 00000000017427c8 0000000000000003 R_RISCV_RELATIVE 13fb290 │ │ │ │ -00000000017427e8 0000000000000003 R_RISCV_RELATIVE 13fb2a8 │ │ │ │ -0000000001742808 0000000000000003 R_RISCV_RELATIVE 13fb2c0 │ │ │ │ +00000000017427e8 0000000000000003 R_RISCV_RELATIVE 13fb2b8 │ │ │ │ +0000000001742808 0000000000000003 R_RISCV_RELATIVE 13fb2a8 │ │ │ │ 0000000001742828 0000000000000003 R_RISCV_RELATIVE 13fb2d0 │ │ │ │ 0000000001742848 0000000000000003 R_RISCV_RELATIVE 13fb2e8 │ │ │ │ 0000000001742868 0000000000000003 R_RISCV_RELATIVE 13fb300 │ │ │ │ 0000000001742888 0000000000000003 R_RISCV_RELATIVE 13fb658 │ │ │ │ 00000000017428a8 0000000000000003 R_RISCV_RELATIVE 1411428 │ │ │ │ -00000000017428c8 0000000000000003 R_RISCV_RELATIVE 13fc2d0 │ │ │ │ -00000000017428e8 0000000000000003 R_RISCV_RELATIVE 13fc2e8 │ │ │ │ +00000000017428c8 0000000000000003 R_RISCV_RELATIVE 13fc2e0 │ │ │ │ +00000000017428e8 0000000000000003 R_RISCV_RELATIVE 13fc2d0 │ │ │ │ 0000000001742908 0000000000000003 R_RISCV_RELATIVE 13fab88 │ │ │ │ 0000000001742928 0000000000000003 R_RISCV_RELATIVE 1411440 │ │ │ │ 0000000001742948 0000000000000003 R_RISCV_RELATIVE 13fac08 │ │ │ │ 0000000001742968 0000000000000003 R_RISCV_RELATIVE 13ca838 │ │ │ │ 0000000001742988 0000000000000003 R_RISCV_RELATIVE 1411458 │ │ │ │ 00000000017429a8 0000000000000003 R_RISCV_RELATIVE 13fac48 │ │ │ │ 00000000017429c8 0000000000000003 R_RISCV_RELATIVE 1411470 │ │ │ ├── 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: 7e2ea94d9c5d18a32a5a8d832215af3e941c5fb8 │ │ │ │ + GNU 0x00000014 NT_GNU_BUILD_ID (unique build ID bitstring) Build ID: 724aa286524396fe6ffcd36875829df0616c050f │ │ │ ├── strings --all --bytes=8 {} │ │ │ │┄ Ordering differences only │ │ │ │ @@ -12792,16 +12792,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 │ │ │ │ @@ -12973,16 +12973,16 @@ │ │ │ │ use-fcsimplex │ │ │ │ use-portfolio │ │ │ │ user-pat │ │ │ │ user-pool │ │ │ │ var-elim-quant │ │ │ │ var-ineq-elim-quant │ │ │ │ wf-checking │ │ │ │ -write-partitions-to │ │ │ │ partitions-out │ │ │ │ +write-partitions-to │ │ │ │ [options] [input-file] │ │ │ │ Without an input file, or with `-', cvc5 reads from standard input. │ │ │ │ cvc5 options: │ │ │ │ +:iL:o:qt:vhHs:Vm │ │ │ │ ' missing its required argument │ │ │ │ can't understand option ` │ │ │ │ Common options: │ │ │ ├── objdump --line-numbers --disassemble --demangle --reloc --no-show-raw-insn --section=.text {} │ │ │ │ @@ -61258,27 +61258,27 @@ │ │ │ │ jalr 1776(ra) │ │ │ │ lui a5,0x1 │ │ │ │ addi a0,sp,2047 │ │ │ │ addi a5,a5,640 │ │ │ │ add a5,a5,sp │ │ │ │ li a4,87 │ │ │ │ addi a0,a0,1505 │ │ │ │ - auipc a1,0x1344 │ │ │ │ - addi a1,a1,2024 │ │ │ │ + auipc a1,0x131f │ │ │ │ + addi a1,a1,1392 │ │ │ │ sw a4,-1192(a5) │ │ │ │ auipc ra,0x1064 │ │ │ │ jalr 1736(ra) │ │ │ │ lui a5,0x1 │ │ │ │ addi a0,sp,2047 │ │ │ │ addi a5,a5,640 │ │ │ │ add a5,a5,sp │ │ │ │ li a4,88 │ │ │ │ addi a0,a0,1545 │ │ │ │ - auipc a1,0x131f │ │ │ │ - addi a1,a1,1352 │ │ │ │ + auipc a1,0x1344 │ │ │ │ + addi a1,a1,1984 │ │ │ │ sw a4,-1152(a5) │ │ │ │ auipc ra,0x1064 │ │ │ │ jalr 1696(ra) │ │ │ │ lui a5,0x1 │ │ │ │ addi a0,sp,2047 │ │ │ │ addi a5,a5,640 │ │ │ │ add a5,a5,sp │ │ │ │ @@ -61701,28 +61701,28 @@ │ │ │ │ lui a4,0x1 │ │ │ │ lui a5,0x1 │ │ │ │ addi a4,a4,976 │ │ │ │ addi a5,a5,640 │ │ │ │ add a0,a4,sp │ │ │ │ add a5,a5,sp │ │ │ │ li a4,124 │ │ │ │ - auipc a1,0x12e0 │ │ │ │ - addi a1,a1,1814 │ │ │ │ + auipc a1,0x131f │ │ │ │ + addi a1,a1,422 │ │ │ │ sw a4,328(a5) │ │ │ │ auipc ra,0x1064 │ │ │ │ jalr 174(ra) │ │ │ │ lui a4,0x1 │ │ │ │ lui a5,0x1 │ │ │ │ addi a4,a4,1016 │ │ │ │ addi a5,a5,640 │ │ │ │ add a0,a4,sp │ │ │ │ add a5,a5,sp │ │ │ │ li a4,125 │ │ │ │ - auipc a1,0x131f │ │ │ │ - addi a1,a1,380 │ │ │ │ + auipc a1,0x12e0 │ │ │ │ + addi a1,a1,1772 │ │ │ │ sw a4,368(a5) │ │ │ │ auipc ra,0x1064 │ │ │ │ jalr 132(ra) │ │ │ │ lui a4,0x1 │ │ │ │ lui a5,0x1 │ │ │ │ addi a4,a4,1056 │ │ │ │ addi a5,a5,640 │ │ │ │ @@ -62482,15 +62482,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,0x131f │ │ │ │ - addi a1,a1,-1564 │ │ │ │ + addi a1,a1,-1572 │ │ │ │ sw a4,-1168(a5) │ │ │ │ auipc ra,0x1063 │ │ │ │ jalr 1540(ra) │ │ │ │ lui a4,0x2 │ │ │ │ lui a5,0x2 │ │ │ │ addi a4,a4,-480 │ │ │ │ addi a5,a5,640 │ │ │ │ @@ -63233,28 +63233,28 @@ │ │ │ │ lui a4,0x2 │ │ │ │ lui a5,0x2 │ │ │ │ addi a4,a4,2000 │ │ │ │ addi a5,a5,640 │ │ │ │ add a0,a4,sp │ │ │ │ add a5,a5,sp │ │ │ │ li a4,250 │ │ │ │ - auipc a1,0x1310 │ │ │ │ - addi a1,a1,1824 │ │ │ │ + auipc a1,0x12df │ │ │ │ + addi a1,a1,600 │ │ │ │ sw a4,1352(a5) │ │ │ │ auipc ra,0x1063 │ │ │ │ jalr -1088(ra) │ │ │ │ lui a4,0x2 │ │ │ │ lui a5,0x2 │ │ │ │ addi a4,a4,2040 │ │ │ │ addi a5,a5,640 │ │ │ │ add a0,a4,sp │ │ │ │ add a5,a5,sp │ │ │ │ li a4,251 │ │ │ │ - auipc a1,0x12df │ │ │ │ - addi a1,a1,558 │ │ │ │ + auipc a1,0x1310 │ │ │ │ + addi a1,a1,1782 │ │ │ │ sw a4,1392(a5) │ │ │ │ auipc ra,0x1063 │ │ │ │ jalr -1130(ra) │ │ │ │ lui a5,0x3 │ │ │ │ addi a5,a5,-2016 │ │ │ │ add a0,a5,sp │ │ │ │ lui a5,0x2 │ │ │ │ @@ -63402,15 +63402,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,0x131e │ │ │ │ - addi a1,a1,596 │ │ │ │ + addi a1,a1,588 │ │ │ │ sw a4,1912(a5) │ │ │ │ auipc ra,0x1063 │ │ │ │ jalr -1676(ra) │ │ │ │ lui a5,0x3 │ │ │ │ addi a5,a5,-1496 │ │ │ │ add a0,a5,sp │ │ │ │ lui a5,0x2 │ │ │ │ @@ -63713,28 +63713,28 @@ │ │ │ │ lui a4,0x3 │ │ │ │ lui a5,0x3 │ │ │ │ addi a4,a4,-496 │ │ │ │ addi a5,a5,640 │ │ │ │ add a0,a4,sp │ │ │ │ add a5,a5,sp │ │ │ │ li a4,286 │ │ │ │ - auipc a1,0x12ee │ │ │ │ - addi a1,a1,-224 │ │ │ │ + auipc a1,0x131e │ │ │ │ + addi a1,a1,-112 │ │ │ │ sw a4,-1144(a5) │ │ │ │ auipc ra,0x1062 │ │ │ │ jalr 1328(ra) │ │ │ │ lui a4,0x3 │ │ │ │ lui a5,0x3 │ │ │ │ addi a4,a4,-456 │ │ │ │ addi a5,a5,640 │ │ │ │ add a0,a4,sp │ │ │ │ add a5,a5,sp │ │ │ │ li a4,287 │ │ │ │ - auipc a1,0x131e │ │ │ │ - addi a1,a1,-154 │ │ │ │ + auipc a1,0x12ee │ │ │ │ + addi a1,a1,-266 │ │ │ │ sw a4,-1104(a5) │ │ │ │ auipc ra,0x1062 │ │ │ │ jalr 1286(ra) │ │ │ │ lui a4,0x3 │ │ │ │ lui a5,0x3 │ │ │ │ addi a4,a4,-416 │ │ │ │ addi a5,a5,640 │ │ │ │ @@ -64433,28 +64433,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,0x12de │ │ │ │ - addi a1,a1,530 │ │ │ │ + auipc a1,0x131e │ │ │ │ + addi a1,a1,-1742 │ │ │ │ sw a4,1256(a5) │ │ │ │ auipc ra,0x1062 │ │ │ │ jalr -1182(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,0x131e │ │ │ │ - addi a1,a1,-1784 │ │ │ │ + auipc a1,0x12de │ │ │ │ + addi a1,a1,488 │ │ │ │ sw a4,1296(a5) │ │ │ │ auipc ra,0x1062 │ │ │ │ jalr -1224(ra) │ │ │ │ lui a4,0x3 │ │ │ │ lui a5,0x3 │ │ │ │ addi a4,a4,1984 │ │ │ │ addi a5,a5,640 │ │ │ │ @@ -64739,29 +64739,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,0x12ec │ │ │ │ - addi a1,a1,1216 │ │ │ │ + auipc a1,0x131d │ │ │ │ + addi a1,a1,1608 │ │ │ │ sw a4,-1840(a5) │ │ │ │ auipc ra,0x1061 │ │ │ │ jalr 1840(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,0x131d │ │ │ │ - addi a1,a1,1562 │ │ │ │ + auipc a1,0x12ec │ │ │ │ + addi a1,a1,1170 │ │ │ │ sw a4,-1800(a5) │ │ │ │ auipc ra,0x1061 │ │ │ │ jalr 1794(ra) │ │ │ │ lui a5,0x5 │ │ │ │ addi a5,a5,-1408 │ │ │ │ lui a4,0x4 │ │ │ │ addi a4,a4,-1112 │ │ │ │ @@ -66499,15 +66499,15 @@ │ │ │ │ addi a4,a4,568 │ │ │ │ addi a3,sp,16 │ │ │ │ sd a5,8(sp) │ │ │ │ mv a0,a5 │ │ │ │ add a4,a4,a3 │ │ │ │ li a5,513 │ │ │ │ auipc a1,0x131d │ │ │ │ - addi a1,a1,-1890 │ │ │ │ + addi a1,a1,-1898 │ │ │ │ sw a5,0(a4) │ │ │ │ auipc ra,0x1060 │ │ │ │ jalr -104(ra) │ │ │ │ auipc a5,0x134a │ │ │ │ flw fa5,-1496(a5) │ │ │ │ lui a4,0x5 │ │ │ │ auipc s2,0x166e │ │ │ │ @@ -4194296,8 +4194296,8 @@ │ │ │ │ and a3,a3,a4 │ │ │ │ slli a2,a2,0x1d │ │ │ │ bne a3,a2,c05a38 , std::allocator >::__resize_and_overwrite(unsigned long, std::__cxx11::to_string(unsigned int)::{lambda(char*, unsigned long)#1})@@Base+0xbc5a> │ │ │ │ lui a3,0xfff00 │ │ │ │ addi a3,a3,1 │ │ │ │ addiw a5,a5,1 │ │ │ │ slli a3,a3,0x28 │ │ │ │ -[ Too much input for diff (SHA256: 6897bb59dc80e8e905cc1dba103f91fe8f43504a9eac3bf02ba9725f9f485fe7) ] │ │ │ │ +[ Too much input for diff (SHA256: 82a7e0477e00f0dadf861f922ba894b550a15de15e765c3584c06fb1b59e97a1) ] │ │ │ ├── readelf --wide --decompress --hex-dump=.rodata {} │ │ │ │ @@ -18929,16 +18929,16 @@ │ │ │ │ 0x013fad40 2d726f75 6e647300 696e7374 2d776865 -rounds.inst-whe │ │ │ │ 0x013fad50 6e2d7068 61736500 696e7465 72616374 n-phase.interact │ │ │ │ 0x013fad60 69766500 00000000 696e7465 72706f6c ive.....interpol │ │ │ │ 0x013fad70 616e7473 2d6d6f64 65000000 00000000 ants-mode....... │ │ │ │ 0x013fad80 6a682d72 6c762d6f 72646572 00000000 jh-rlv-order.... │ │ │ │ 0x013fad90 6a682d73 6b6f6c65 6d000000 00000000 jh-skolem....... │ │ │ │ 0x013fada0 6a682d73 6b6f6c65 6d2d726c 76000000 jh-skolem-rlv... │ │ │ │ - 0x013fadb0 696e7075 742d6c61 6e677561 67650000 input-language.. │ │ │ │ - 0x013fadc0 6c616e67 00000000 6c656d6d 612d696e lang....lemma-in │ │ │ │ + 0x013fadb0 6c616e67 00000000 696e7075 742d6c61 lang....input-la │ │ │ │ + 0x013fadc0 6e677561 67650000 6c656d6d 612d696e nguage..lemma-in │ │ │ │ 0x013fadd0 70726f63 65737300 6c656d6d 612d696e process.lemma-in │ │ │ │ 0x013fade0 70726f63 6573732d 696e6665 722d6571 process-infer-eq │ │ │ │ 0x013fadf0 2d6c6974 00000000 6c656d6d 612d696e -lit....lemma-in │ │ │ │ 0x013fae00 70726f63 6573732d 73756273 00000000 process-subs.... │ │ │ │ 0x013fae10 6c656d6d 61732d6f 6e2d7265 706c6179 lemmas-on-replay │ │ │ │ 0x013fae20 2d666169 6c757265 00000000 00000000 -failure........ │ │ │ │ 0x013fae30 6c667363 2d657870 616e642d 74727573 lfsc-expand-trus │ │ │ │ @@ -19009,16 +19009,16 @@ │ │ │ │ 0x013fb240 6d6f6465 00000000 70617274 69616c2d mode....partial- │ │ │ │ 0x013fb250 74726967 67657273 00000000 00000000 triggers........ │ │ │ │ 0x013fb260 63686563 6b000000 70617274 6974696f check...partitio │ │ │ │ 0x013fb270 6e2d6368 65636b00 70617274 6974696f n-check.partitio │ │ │ │ 0x013fb280 6e2d636f 6e666c69 63742d73 697a6500 n-conflict-size. │ │ │ │ 0x013fb290 70617274 6974696f 6e2d7374 6172742d partition-start- │ │ │ │ 0x013fb2a0 74696d65 00000000 70617274 6974696f time....partitio │ │ │ │ - 0x013fb2b0 6e2d7374 72617465 67790000 00000000 n-strategy...... │ │ │ │ - 0x013fb2c0 70617274 6974696f 6e000000 00000000 partition....... │ │ │ │ + 0x013fb2b0 6e000000 00000000 70617274 6974696f n.......partitio │ │ │ │ + 0x013fb2c0 6e2d7374 72617465 67790000 00000000 n-strategy...... │ │ │ │ 0x013fb2d0 70617274 6974696f 6e2d7469 6d652d69 partition-time-i │ │ │ │ 0x013fb2e0 6e746572 76616c00 70617274 6974696f nterval.partitio │ │ │ │ 0x013fb2f0 6e2d746c 696d6974 00000000 00000000 n-tlimit........ │ │ │ │ 0x013fb300 70617274 6974696f 6e2d7768 656e0000 partition-when.. │ │ │ │ 0x013fb310 706c7567 696e2d6e 6f746966 792d7361 plugin-notify-sa │ │ │ │ 0x013fb320 742d636c 61757365 2d696e2d 736f6c76 t-clause-in-solv │ │ │ │ 0x013fb330 65000000 00000000 706c7567 696e2d73 e.......plugin-s │ │ │ │ @@ -19267,17 +19267,17 @@ │ │ │ │ 0x013fc260 666f6c69 6f000000 7573652d 736f6900 folio...use-soi. │ │ │ │ 0x013fc270 75736572 2d706174 00000000 00000000 user-pat........ │ │ │ │ 0x013fc280 75736572 2d706f6f 6c000000 00000000 user-pool....... │ │ │ │ 0x013fc290 7661722d 656c696d 2d717561 6e740000 var-elim-quant.. │ │ │ │ 0x013fc2a0 7661722d 696e6571 2d656c69 6d2d7175 var-ineq-elim-qu │ │ │ │ 0x013fc2b0 616e7400 00000000 76657262 6f736500 ant.....verbose. │ │ │ │ 0x013fc2c0 77662d63 6865636b 696e6700 00000000 wf-checking..... │ │ │ │ - 0x013fc2d0 77726974 652d7061 72746974 696f6e73 write-partitions │ │ │ │ - 0x013fc2e0 2d746f00 00000000 70617274 6974696f -to.....partitio │ │ │ │ - 0x013fc2f0 6e732d6f 75740000 75736167 653a2000 ns-out..usage: . │ │ │ │ + 0x013fc2d0 70617274 6974696f 6e732d6f 75740000 partitions-out.. │ │ │ │ + 0x013fc2e0 77726974 652d7061 72746974 696f6e73 write-partitions │ │ │ │ + 0x013fc2f0 2d746f00 00000000 75736167 653a2000 -to.....usage: . │ │ │ │ 0x013fc300 205b6f70 74696f6e 735d205b 696e7075 [options] [inpu │ │ │ │ 0x013fc310 742d6669 6c655d00 57697468 6f757420 t-file].Without │ │ │ │ 0x013fc320 616e2069 6e707574 2066696c 652c206f an input file, o │ │ │ │ 0x013fc330 72207769 74682060 2d272c20 63766335 r with `-', cvc5 │ │ │ │ 0x013fc340 20726561 64732066 726f6d20 7374616e reads from stan │ │ │ │ 0x013fc350 64617264 20696e70 75742e00 00000000 dard input...... │ │ │ │ 0x013fc360 63766335 206f7074 696f6e73 3a000000 cvc5 options:... │ │ │ ├── readelf --wide --decompress --hex-dump=.gnu_debuglink {} │ │ │ │ @@ -1,7 +1,7 @@ │ │ │ │ │ │ │ │ Hex dump of section '.gnu_debuglink': │ │ │ │ - 0x00000000 32656139 34643963 35643138 61333261 2ea94d9c5d18a32a │ │ │ │ - 0x00000010 35613864 38333232 31356166 33653934 5a8d832215af3e94 │ │ │ │ - 0x00000020 31633566 62382e64 65627567 00000000 1c5fb8.debug.... │ │ │ │ - 0x00000030 8fe93c1a ..<. │ │ │ │ + 0x00000000 34616132 38363532 34333936 66653666 4aa286524396fe6f │ │ │ │ + 0x00000010 66636433 36383735 38323964 66303631 fcd36875829df061 │ │ │ │ + 0x00000020 36633035 30662e64 65627567 00000000 6c050f.debug.... │ │ │ │ + 0x00000030 f1090471 ...q