⊟
55.2 KB
/srv/reproducible-results/rbuild-debian/r-b-build.5YB2MPsW/b1/cvc5_1.0.3-1_amd64.changes vs.
/srv/reproducible-results/rbuild-debian/r-b-build.5YB2MPsW/b2/cvc5_1.0.3-1_amd64.changes
⊟
831 B
Files
    
Offset 1, 8 lines modifiedOffset 1, 8 lines modified
  
1 ·9225e0fb9bc3dc12d500d03842b373db·2543364·debug·optional·cvc5-dbgsym_1.0.3-1_amd64.deb1 ·9225e0fb9bc3dc12d500d03842b373db·2543364·debug·optional·cvc5-dbgsym_1.0.3-1_amd64.deb
2 ·68418151cc815aba0aaef30a6c24b941·107912·math·optional·cvc5_1.0.3-1_amd64.deb2 ·68418151cc815aba0aaef30a6c24b941·107912·math·optional·cvc5_1.0.3-1_amd64.deb
3 ·c13f8f22c45bd6df5b2231a7e3c2c7ab·169506664·debug·optional·libcvc5-1-dbgsym_1.0.3-1_amd64.deb 
4 ·cc051ea38ce5adcc1f8e8d6fd663dcd4·5841916·libs·optional·libcvc5-1_1.0.3-1_amd64.deb3 ·532a4412501a1c4363dac96a8aea9e1e·169506940·debug·optional·libcvc5-1-dbgsym_1.0.3-1_amd64.deb
 4 ·2186f0ca0eb42ab02ff38d5d79d1fe95·5844212·libs·optional·libcvc5-1_1.0.3-1_amd64.deb
5 ·25f601b064a9de84dd500a0261498bbf·58584·libdevel·optional·libcvc5-dev_1.0.3-1_amd64.deb5 ·25f601b064a9de84dd500a0261498bbf·58584·libdevel·optional·libcvc5-dev_1.0.3-1_amd64.deb
6 ·454a0b3897232baccfff94a7aa92a48d·5028220·debug·optional·libcvc5parser1-dbgsym_1.0.3-1_amd64.deb6 ·454a0b3897232baccfff94a7aa92a48d·5028220·debug·optional·libcvc5parser1-dbgsym_1.0.3-1_amd64.deb
7 ·cfe5c43dcdb2fe56054405bb4804f4fe·306740·libs·optional·libcvc5parser1_1.0.3-1_amd64.deb7 ·cfe5c43dcdb2fe56054405bb4804f4fe·306740·libs·optional·libcvc5parser1_1.0.3-1_amd64.deb
⊟
28.2 KB
libcvc5-1_1.0.3-1_amd64.deb
⊟
367 B
file list
    
Offset 1, 3 lines modifiedOffset 1, 3 lines modified
1 -rw-r--r--···0········0········0········4·2022-12-20·01:35:50.000000·debian-binary1 -rw-r--r--···0········0········0········4·2022-12-20·01:35:50.000000·debian-binary
2 -rw-r--r--···0········0········0·····1272·2022-12-20·01:35:50.000000·control.tar.xz2 -rw-r--r--···0········0········0·····1272·2022-12-20·01:35:50.000000·control.tar.xz
3 -rw-r--r--···0········0········0··5840452·2022-12-20·01:35:50.000000·data.tar.xz3 -rw-r--r--···0········0········0··5842748·2022-12-20·01:35:50.000000·data.tar.xz
⊟
98.0 B
control.tar.xz
⊟
70.0 B
control.tar
⊟
48.0 B
./md5sums
⊟
30.0 B
./md5sums
Files differ
⊟
27.7 KB
data.tar.xz
⊟
27.6 KB
data.tar
⊟
27.6 KB
./usr/lib/x86_64-linux-gnu/libcvc5.so.1
File has been modified after NT_GNU_BUILD_ID has been applied.
⊟
6.53 KB
readelf --wide --relocs {}
    
Offset 7325, 16 lines modifiedOffset 7325, 16 lines modified
7325 00000000015adbc0··0000000000000008·R_X86_64_RELATIVE·························13da1467325 00000000015adbc0··0000000000000008·R_X86_64_RELATIVE·························13da146
7326 00000000015adbe0··0000000000000008·R_X86_64_RELATIVE·························13da16a7326 00000000015adbe0··0000000000000008·R_X86_64_RELATIVE·························13da16a
7327 00000000015adc00··0000000000000008·R_X86_64_RELATIVE·························13da8f77327 00000000015adc00··0000000000000008·R_X86_64_RELATIVE·························13da8f7
7328 00000000015adc20··0000000000000008·R_X86_64_RELATIVE·························13da17f7328 00000000015adc20··0000000000000008·R_X86_64_RELATIVE·························13da17f
7329 00000000015adc40··0000000000000008·R_X86_64_RELATIVE·························13da90f7329 00000000015adc40··0000000000000008·R_X86_64_RELATIVE·························13da90f
7330 00000000015adc60··0000000000000008·R_X86_64_RELATIVE·························13da1937330 00000000015adc60··0000000000000008·R_X86_64_RELATIVE·························13da193
7331 00000000015adc80··0000000000000008·R_X86_64_RELATIVE·························13da9267331 00000000015adc80··0000000000000008·R_X86_64_RELATIVE·························13da926
 7332 00000000015adca0··0000000000000008·R_X86_64_RELATIVE·························13d8d62
7332 00000000015adca0··0000000000000008·R_X86_64_RELATIVE·························13d8d547333 00000000015adcc0··0000000000000008·R_X86_64_RELATIVE·························13d8d54
7333 00000000015adcc0··0000000000000008·R_X86_64_RELATIVE·························13d8d5d 
7334 00000000015adce0··0000000000000008·R_X86_64_RELATIVE·························13d91f17334 00000000015adce0··0000000000000008·R_X86_64_RELATIVE·························13d91f1
7335 00000000015add00··0000000000000008·R_X86_64_RELATIVE·························13da93d7335 00000000015add00··0000000000000008·R_X86_64_RELATIVE·························13da93d
7336 00000000015add20··0000000000000008·R_X86_64_RELATIVE·························13d91fe7336 00000000015add20··0000000000000008·R_X86_64_RELATIVE·························13d91fe
7337 00000000015add40··0000000000000008·R_X86_64_RELATIVE·························13d92087337 00000000015add40··0000000000000008·R_X86_64_RELATIVE·························13d9208
7338 00000000015add60··0000000000000008·R_X86_64_RELATIVE·························13da26a7338 00000000015add60··0000000000000008·R_X86_64_RELATIVE·························13da26a
7339 00000000015add80··0000000000000008·R_X86_64_RELATIVE·························13da94d7339 00000000015add80··0000000000000008·R_X86_64_RELATIVE·························13da94d
7340 00000000015adda0··0000000000000008·R_X86_64_RELATIVE·························13da3447340 00000000015adda0··0000000000000008·R_X86_64_RELATIVE·························13da344
Offset 7386, 18 lines modifiedOffset 7386, 18 lines modified
7386 00000000015ae360··0000000000000008·R_X86_64_RELATIVE·························13c39887386 00000000015ae360··0000000000000008·R_X86_64_RELATIVE·························13c3988
7387 00000000015ae380··0000000000000008·R_X86_64_RELATIVE·························13d8c2b7387 00000000015ae380··0000000000000008·R_X86_64_RELATIVE·························13d8c2b
7388 00000000015ae3a0··0000000000000008·R_X86_64_RELATIVE·························13d8c437388 00000000015ae3a0··0000000000000008·R_X86_64_RELATIVE·························13d8c43
7389 00000000015ae3c0··0000000000000008·R_X86_64_RELATIVE·························13d8c717389 00000000015ae3c0··0000000000000008·R_X86_64_RELATIVE·························13d8c71
7390 00000000015ae3e0··0000000000000008·R_X86_64_RELATIVE·························13d955c7390 00000000015ae3e0··0000000000000008·R_X86_64_RELATIVE·························13d955c
7391 00000000015ae400··0000000000000008·R_X86_64_RELATIVE·························13d95567391 00000000015ae400··0000000000000008·R_X86_64_RELATIVE·························13d9556
7392 00000000015ae420··0000000000000008·R_X86_64_RELATIVE·························13d956c7392 00000000015ae420··0000000000000008·R_X86_64_RELATIVE·························13d956c
7393 00000000015ae440··0000000000000008·R_X86_64_RELATIVE·························13d958e7393 00000000015ae440··0000000000000008·R_X86_64_RELATIVE·························13d9584
7394 00000000015ae460··0000000000000008·R_X86_64_RELATIVE·························13d95847394 00000000015ae460··0000000000000008·R_X86_64_RELATIVE·························13d9597
7395 00000000015ae480··0000000000000008·R_X86_64_RELATIVE·························13da3507395 00000000015ae480··0000000000000008·R_X86_64_RELATIVE·························13da35f
7396 00000000015ae4a0··0000000000000008·R_X86_64_RELATIVE·························13da3647396 00000000015ae4a0··0000000000000008·R_X86_64_RELATIVE·························13da350
7397 00000000015ae4c0··0000000000000008·R_X86_64_RELATIVE·························13d8fcc7397 00000000015ae4c0··0000000000000008·R_X86_64_RELATIVE·························13d8fcc
7398 00000000015ae4e0··0000000000000008·R_X86_64_RELATIVE·························13daa837398 00000000015ae4e0··0000000000000008·R_X86_64_RELATIVE·························13daa83
7399 00000000015ae500··0000000000000008·R_X86_64_RELATIVE·························13d90637399 00000000015ae500··0000000000000008·R_X86_64_RELATIVE·························13d9063
7400 00000000015ae520··0000000000000008·R_X86_64_RELATIVE·························13d90ca7400 00000000015ae520··0000000000000008·R_X86_64_RELATIVE·························13d90ca
7401 00000000015ae540··0000000000000008·R_X86_64_RELATIVE·························13daa987401 00000000015ae540··0000000000000008·R_X86_64_RELATIVE·························13daa98
7402 00000000015ae560··0000000000000008·R_X86_64_RELATIVE·························13d99ee7402 00000000015ae560··0000000000000008·R_X86_64_RELATIVE·························13d99ee
7403 00000000015ae580··0000000000000008·R_X86_64_RELATIVE·························13daaaf7403 00000000015ae580··0000000000000008·R_X86_64_RELATIVE·························13daaaf
Offset 7774, 16 lines modifiedOffset 7774, 16 lines modified
7774 00000000015b13e0··0000000000000008·R_X86_64_RELATIVE·························13db5727774 00000000015b13e0··0000000000000008·R_X86_64_RELATIVE·························13db572
7775 00000000015b1400··0000000000000008·R_X86_64_RELATIVE·························13d950c7775 00000000015b1400··0000000000000008·R_X86_64_RELATIVE·························13d950c
7776 00000000015b1420··0000000000000008·R_X86_64_RELATIVE·························13db58b7776 00000000015b1420··0000000000000008·R_X86_64_RELATIVE·························13db58b
7777 00000000015b1440··0000000000000008·R_X86_64_RELATIVE·························13d96737777 00000000015b1440··0000000000000008·R_X86_64_RELATIVE·························13d9673
7778 00000000015b1460··0000000000000008·R_X86_64_RELATIVE·························13db5a17778 00000000015b1460··0000000000000008·R_X86_64_RELATIVE·························13db5a1
7779 00000000015b1480··0000000000000008·R_X86_64_RELATIVE·························13d968a7779 00000000015b1480··0000000000000008·R_X86_64_RELATIVE·························13d968a
7780 00000000015b14a0··0000000000000008·R_X86_64_RELATIVE·························13db5bb7780 00000000015b14a0··0000000000000008·R_X86_64_RELATIVE·························13db5bb
7781 00000000015b14c0··0000000000000008·R_X86_64_RELATIVE·························13d96ab7781 00000000015b14c0··0000000000000008·R_X86_64_RELATIVE·························13d969a
7782 00000000015b14e0··0000000000000008·R_X86_64_RELATIVE·························13d969a7782 00000000015b14e0··0000000000000008·R_X86_64_RELATIVE·························13d96ad
7783 00000000015b1500··0000000000000008·R_X86_64_RELATIVE·························13db5ce7783 00000000015b1500··0000000000000008·R_X86_64_RELATIVE·························13db5ce
7784 00000000015b1520··0000000000000008·R_X86_64_RELATIVE·························13db5e47784 00000000015b1520··0000000000000008·R_X86_64_RELATIVE·························13db5e4
7785 00000000015b1540··0000000000000008·R_X86_64_RELATIVE·························13d96be7785 00000000015b1540··0000000000000008·R_X86_64_RELATIVE·························13d96be
7786 00000000015b1560··0000000000000008·R_X86_64_RELATIVE·························13db5f87786 00000000015b1560··0000000000000008·R_X86_64_RELATIVE·························13db5f8
7787 00000000015b1580··0000000000000008·R_X86_64_RELATIVE·························13d96d27787 00000000015b1580··0000000000000008·R_X86_64_RELATIVE·························13d96d2
7788 00000000015b15a0··0000000000000008·R_X86_64_RELATIVE·························13db60f7788 00000000015b15a0··0000000000000008·R_X86_64_RELATIVE·························13db60f
7789 00000000015b15c0··0000000000000008·R_X86_64_RELATIVE·························13d96e57789 00000000015b15c0··0000000000000008·R_X86_64_RELATIVE·························13d96e5
Offset 7801, 16 lines modifiedOffset 7801, 16 lines modified
7801 00000000015b1740··0000000000000008·R_X86_64_RELATIVE·························13d97b07801 00000000015b1740··0000000000000008·R_X86_64_RELATIVE·························13d97b0
7802 00000000015b1760··0000000000000008·R_X86_64_RELATIVE·························13d98eb7802 00000000015b1760··0000000000000008·R_X86_64_RELATIVE·························13d98eb
7803 00000000015b1780··0000000000000008·R_X86_64_RELATIVE·························13db6b17803 00000000015b1780··0000000000000008·R_X86_64_RELATIVE·························13db6b1
7804 00000000015b17a0··0000000000000008·R_X86_64_RELATIVE·························13d9a767804 00000000015b17a0··0000000000000008·R_X86_64_RELATIVE·························13d9a76
7805 00000000015b17c0··0000000000000008·R_X86_64_RELATIVE·························13db6c07805 00000000015b17c0··0000000000000008·R_X86_64_RELATIVE·························13db6c0
7806 00000000015b17e0··0000000000000008·R_X86_64_RELATIVE·························13d9a887806 00000000015b17e0··0000000000000008·R_X86_64_RELATIVE·························13d9a88
7807 00000000015b1800··0000000000000008·R_X86_64_RELATIVE·························13db6d57807 00000000015b1800··0000000000000008·R_X86_64_RELATIVE·························13db6d5
7808 00000000015b1820··0000000000000008·R_X86_64_RELATIVE·························13d9ac07808 00000000015b1820··0000000000000008·R_X86_64_RELATIVE·························13d9aac
7809 00000000015b1840··0000000000000008·R_X86_64_RELATIVE·························13d9aac7809 00000000015b1840··0000000000000008·R_X86_64_RELATIVE·························13d9abb
7810 00000000015b1860··0000000000000008·R_X86_64_RELATIVE·························13d9acf7810 00000000015b1860··0000000000000008·R_X86_64_RELATIVE·························13d9acf
7811 00000000015b1880··0000000000000008·R_X86_64_RELATIVE·························13db6e77811 00000000015b1880··0000000000000008·R_X86_64_RELATIVE·························13db6e7
7812 00000000015b18a0··0000000000000008·R_X86_64_RELATIVE·························13d9ae97812 00000000015b18a0··0000000000000008·R_X86_64_RELATIVE·························13d9ae9
7813 00000000015b18c0··0000000000000008·R_X86_64_RELATIVE·························13d9af97813 00000000015b18c0··0000000000000008·R_X86_64_RELATIVE·························13d9af9
7814 00000000015b18e0··0000000000000008·R_X86_64_RELATIVE·························13d9b097814 00000000015b18e0··0000000000000008·R_X86_64_RELATIVE·························13d9b09
7815 00000000015b1900··0000000000000008·R_X86_64_RELATIVE·························13db6fd7815 00000000015b1900··0000000000000008·R_X86_64_RELATIVE·························13db6fd
7816 00000000015b1920··0000000000000008·R_X86_64_RELATIVE·························13d17d57816 00000000015b1920··0000000000000008·R_X86_64_RELATIVE·························13d17d5
⊟
623 B
readelf --wide --notes {}
    
Offset 1, 8 lines modifiedOffset 1, 8 lines modified
  
1 Displaying·notes·found·in:·.note.gnu.build-id1 Displaying·notes·found·in:·.note.gnu.build-id
2 ··Owner················Data·size·»  Description2 ··Owner················Data·size·»  Description
3 ··GNU··················0x00000014»  NT_GNU_BUILD_ID·(unique·build·ID·bitstring)»   ····Build·ID:·e8627c902877c484af9b8e58da22fe9736241ce13 ··GNU··················0x00000014»  NT_GNU_BUILD_ID·(unique·build·ID·bitstring)»   ····Build·ID:·38115a6c1e7c0930638bf5117d1a01e637859d01
  
4 Displaying·notes·found·in:·.note.gnu.gold-version4 Displaying·notes·found·in:·.note.gnu.gold-version
5 ··Owner················Data·size·»  Description5 ··Owner················Data·size·»  Description
6 ··GNU··················0x00000009»  NT_GNU_GOLD_VERSION·(gold·version)»  ····Version:·gold·1.166 ··GNU··················0x00000009»  NT_GNU_GOLD_VERSION·(gold·version)»  ····Version:·gold·1.16
⊟
1.66 KB
strings --all --bytes=8 {}
Ordering differences only
    
Offset 24328, 16 lines modifiedOffset 24328, 16 lines modified
24328 conjecture-gen-max-depth24328 conjecture-gen-max-depth
24329 conjecture-gen-per-round24329 conjecture-gen-per-round
24330 cons-exp-triggers24330 cons-exp-triggers
24331 copyright24331 copyright
24332 cut-all-bounded24332 cut-all-bounded
24333 dag-thresh24333 dag-thresh
24334 debug-check-models24334 debug-check-models
24335 decision 
24336 decision-mode24335 decision-mode
 24336 decision
24337 deep-restart-factor24337 deep-restart-factor
24338 difficulty-mode24338 difficulty-mode
24339 dio-decomps24339 dio-decomps
24340 dio-solver24340 dio-solver
24341 dio-turns24341 dio-turns
24342 dt-binary-split24342 dt-binary-split
24343 dt-blast-splits24343 dt-blast-splits
Offset 24453, 16 lines modifiedOffset 24453, 16 lines modified
24453 nl-rlv-assert-bounds24453 nl-rlv-assert-bounds
24454 on-repeat-ite-simp24454 on-repeat-ite-simp
24455 output-lang24455 output-lang
24456 parse-only24456 parse-only
24457 partial-triggers24457 partial-triggers
24458 partition-check24458 partition-check
24459 partition-conflict-size24459 partition-conflict-size
24460 partition 
24461 partition-strategy24460 partition-strategy
 24461 partition
24462 pb-rewrites24462 pb-rewrites
24463 pivot-threshold24463 pivot-threshold
24464 pool-inst24464 pool-inst
24465 portfolio-jobs24465 portfolio-jobs
24466 pp-assert-max-sub-size24466 pp-assert-max-sub-size
24467 pre-skolem-quant24467 pre-skolem-quant
24468 pre-skolem-quant-nested24468 pre-skolem-quant-nested
Offset 24470, 16 lines modifiedOffset 24470, 16 lines modified
24470 prenex-quant-user24470 prenex-quant-user
24471 preprocess-only24471 preprocess-only
24472 print-dot-clusters24472 print-dot-clusters
24473 print-inst24473 print-inst
24474 print-inst-full24474 print-inst-full
24475 print-unsat-cores-full24475 print-unsat-cores-full
24476 produce-abducts24476 produce-abducts
24477 interactive-mode 
24478 produce-assertions24477 produce-assertions
 24478 interactive-mode
24479 produce-assignments24479 produce-assignments
24480 produce-difficulty24480 produce-difficulty
24481 produce-interpolants24481 produce-interpolants
24482 produce-learned-literals24482 produce-learned-literals
24483 produce-models24483 produce-models
24484 produce-proofs24484 produce-proofs
24485 produce-unsat-assumptions24485 produce-unsat-assumptions
Offset 24530, 16 lines modifiedOffset 24530, 16 lines modified
24530 sets-infer-as-lemmas24530 sets-infer-as-lemmas
24531 sets-proxy-lemmas24531 sets-proxy-lemmas
24532 show-config24532 show-config
24533 show-trace-tags24533 show-trace-tags
24534 simp-ite-compress24534 simp-ite-compress
24535 simp-with-care24535 simp-with-care
24536 simplex-check-period24536 simplex-check-period
24537 simplification-mode 
24538 simplification24537 simplification
 24538 simplification-mode
24539 simplification-bcp24539 simplification-bcp
24540 solve-bv-as-int24540 solve-bv-as-int
24541 solve-int-as-bv24541 solve-int-as-bv
24542 solve-real-as-int24542 solve-real-as-int
24543 static-learning24543 static-learning
24544 stats-all24544 stats-all
24545 stats-every-query24545 stats-every-query
Offset 24648, 16 lines modifiedOffset 24648, 16 lines modified
24648 use-approx24648 use-approx
24649 use-fcsimplex24649 use-fcsimplex
24650 use-portfolio24650 use-portfolio
24651 user-pat24651 user-pat
24652 var-elim-quant24652 var-elim-quant
24653 var-ineq-elim-quant24653 var-ineq-elim-quant
24654 wf-checking24654 wf-checking
24655 write-partitions-to 
24656 partitions-out24655 partitions-out
 24656 write-partitions-to
24657 Argument·'24657 Argument·'
24658 '·for·bool·option·24658 '·for·bool·option·
24659 ·is·not·a·bool·constant24659 ·is·not·a·bool·constant
24660 ·option·24660 ·option·
24661 ·is·negative24661 ·is·negative
24662 ·did·parse·only·partially·as·24662 ·did·parse·only·partially·as·
24663 ,·leaving·'24663 ,·leaving·'
⊟
5.99 KB
objdump --line-numbers --disassemble --demangle --reloc --no-show-raw-insn --section=.text {}
    
Offset 556864, 15 lines modifiedOffset 556864, 15 lines modified
556864 »       movl···$0x52,0xd30(%rsp)556864 »       movl···$0x52,0xd30(%rsp)
556865 »       call···11807a0·<cvc5::internal::Options::Options()@@Base+0x13e0>556865 »       call···11807a0·<cvc5::internal::Options::Options()@@Base+0x13e0>
556866 »       lea····0xd60(%rsp),%rdi556866 »       lea····0xd60(%rsp),%rdi
556867 »       lea····0x11aa6c1(%rip),%rsi········556867 »       lea····0x11aa6c1(%rip),%rsi········
556868 »       movl···$0x53,0xd58(%rsp)556868 »       movl···$0x53,0xd58(%rsp)
556869 »       call···11807a0·<cvc5::internal::Options::Options()@@Base+0x13e0>556869 »       call···11807a0·<cvc5::internal::Options::Options()@@Base+0x13e0>
556870 »       lea····0xd88(%rsp),%rdi556870 »       lea····0xd88(%rsp),%rdi
556871 »       lea····0x11aa6ab(%rip),%rsi········556871 »       lea····0x11aa6b0(%rip),%rsi········
556872 »       movl···$0x54,0xd80(%rsp)556872 »       movl···$0x54,0xd80(%rsp)
556873 »       call···11807a0·<cvc5::internal::Options::Options()@@Base+0x13e0>556873 »       call···11807a0·<cvc5::internal::Options::Options()@@Base+0x13e0>
556874 »       lea····0xdb0(%rsp),%rdi556874 »       lea····0xdb0(%rsp),%rdi
556875 »       lea····0x11a9909(%rip),%rsi········556875 »       lea····0x11a9909(%rip),%rsi········
556876 »       movl···$0x54,0xda8(%rsp)556876 »       movl···$0x54,0xda8(%rsp)
556877 »       call···11807a0·<cvc5::internal::Options::Options()@@Base+0x13e0>556877 »       call···11807a0·<cvc5::internal::Options::Options()@@Base+0x13e0>
556878 »       lea····0xdd8(%rsp),%rdi556878 »       lea····0xdd8(%rsp),%rdi
Offset 557420, 19 lines modifiedOffset 557420, 19 lines modified
557420 »       movl···$0xda,0x22e8(%rsp)557420 »       movl···$0xda,0x22e8(%rsp)
557421 »       call···11807a0·<cvc5::internal::Options::Options()@@Base+0x13e0>557421 »       call···11807a0·<cvc5::internal::Options::Options()@@Base+0x13e0>
557422 »       lea····0x2318(%rsp),%rdi557422 »       lea····0x2318(%rsp),%rdi
557423 »       lea····0x11a9db7(%rip),%rsi········557423 »       lea····0x11a9db7(%rip),%rsi········
557424 »       movl···$0xdb,0x2310(%rsp)557424 »       movl···$0xdb,0x2310(%rsp)
557425 »       call···11807a0·<cvc5::internal::Options::Options()@@Base+0x13e0>557425 »       call···11807a0·<cvc5::internal::Options::Options()@@Base+0x13e0>
557426 »       lea····0x2340(%rsp),%rdi557426 »       lea····0x2340(%rsp),%rdi
557427 »       lea····0x119d026(%rip),%rsi········557427 »       lea····0x11a8d57(%rip),%rsi········
557428 »       movl···$0xdc,0x2338(%rsp)557428 »       movl···$0xdc,0x2338(%rsp)
557429 »       call···11807a0·<cvc5::internal::Options::Options()@@Base+0x13e0>557429 »       call···11807a0·<cvc5::internal::Options::Options()@@Base+0x13e0>
557430 »       lea····0x2368(%rsp),%rdi557430 »       lea····0x2368(%rsp),%rdi
557431 »       lea····0x11a8d38(%rip),%rsi········557431 »       lea····0x119d007(%rip),%rsi········
557432 »       movl···$0xdd,0x2360(%rsp)557432 »       movl···$0xdd,0x2360(%rsp)
557433 »       call···11807a0·<cvc5::internal::Options::Options()@@Base+0x13e0>557433 »       call···11807a0·<cvc5::internal::Options::Options()@@Base+0x13e0>
557434 »       lea····0x2390(%rsp),%rdi557434 »       lea····0x2390(%rsp),%rdi
557435 »       lea····0x11a9d62(%rip),%rsi········557435 »       lea····0x11a9d62(%rip),%rsi········
557436 »       movl···$0xdd,0x2388(%rsp)557436 »       movl···$0xdd,0x2388(%rsp)
557437 »       call···11807a0·<cvc5::internal::Options::Options()@@Base+0x13e0>557437 »       call···11807a0·<cvc5::internal::Options::Options()@@Base+0x13e0>
557438 »       lea····0x23b8(%rsp),%rdi557438 »       lea····0x23b8(%rsp),%rdi
Offset 557464, 15 lines modifiedOffset 557464, 15 lines modified
557464 »       movl···$0xe2,0x24a0(%rsp)557464 »       movl···$0xe2,0x24a0(%rsp)
557465 »       call···11807a0·<cvc5::internal::Options::Options()@@Base+0x13e0>557465 »       call···11807a0·<cvc5::internal::Options::Options()@@Base+0x13e0>
557466 »       lea····0x24d0(%rsp),%rdi557466 »       lea····0x24d0(%rsp),%rdi
557467 »       lea····0x11a9cc7(%rip),%rsi········557467 »       lea····0x11a9cc7(%rip),%rsi········
557468 »       movl···$0xe3,0x24c8(%rsp)557468 »       movl···$0xe3,0x24c8(%rsp)
557469 »       call···11807a0·<cvc5::internal::Options::Options()@@Base+0x13e0>557469 »       call···11807a0·<cvc5::internal::Options::Options()@@Base+0x13e0>
557470 »       lea····0x24f8(%rsp),%rdi557470 »       lea····0x24f8(%rsp),%rdi
557471 »       lea····0x11a9cb2(%rip),%rsi········557471 »       lea····0x11a9cbb(%rip),%rsi········
557472 »       movl···$0xe4,0x24f0(%rsp)557472 »       movl···$0xe4,0x24f0(%rsp)
557473 »       call···11807a0·<cvc5::internal::Options::Options()@@Base+0x13e0>557473 »       call···11807a0·<cvc5::internal::Options::Options()@@Base+0x13e0>
557474 »       lea····0x2520(%rsp),%rdi557474 »       lea····0x2520(%rsp),%rdi
557475 »       lea····0x11a9ca6(%rip),%rsi········557475 »       lea····0x11a9ca6(%rip),%rsi········
557476 »       movl···$0xe4,0x2518(%rsp)557476 »       movl···$0xe4,0x2518(%rsp)
557477 »       call···11807a0·<cvc5::internal::Options::Options()@@Base+0x13e0>557477 »       call···11807a0·<cvc5::internal::Options::Options()@@Base+0x13e0>
557478 »       lea····0x2548(%rsp),%rdi557478 »       lea····0x2548(%rsp),%rdi
Offset 557536, 15 lines modifiedOffset 557536, 15 lines modified
557536 »       movl···$0xf3,0x2770(%rsp)557536 »       movl···$0xf3,0x2770(%rsp)
557537 »       call···11807a0·<cvc5::internal::Options::Options()@@Base+0x13e0>557537 »       call···11807a0·<cvc5::internal::Options::Options()@@Base+0x13e0>
557538 »       lea····0x27a0(%rsp),%rdi557538 »       lea····0x27a0(%rsp),%rdi
557539 »       lea····0x11a9baf(%rip),%rsi········557539 »       lea····0x11a9baf(%rip),%rsi········
557540 »       movl···$0xf4,0x2798(%rsp)557540 »       movl···$0xf4,0x2798(%rsp)
557541 »       call···11807a0·<cvc5::internal::Options::Options()@@Base+0x13e0>557541 »       call···11807a0·<cvc5::internal::Options::Options()@@Base+0x13e0>
557542 »       lea····0x27c8(%rsp),%rdi557542 »       lea····0x27c8(%rsp),%rdi
557543 »       lea····0x11a9ba1(%rip),%rsi········557543 »       lea····0x11a9ba3(%rip),%rsi········
557544 »       movl···$0xf5,0x27c0(%rsp)557544 »       movl···$0xf5,0x27c0(%rsp)
557545 »       call···11807a0·<cvc5::internal::Options::Options()@@Base+0x13e0>557545 »       call···11807a0·<cvc5::internal::Options::Options()@@Base+0x13e0>
557546 »       lea····0x27f0(%rsp),%rdi557546 »       lea····0x27f0(%rsp),%rdi
557547 »       lea····0x11a9b95(%rip),%rsi········557547 »       lea····0x11a9b95(%rip),%rsi········
557548 »       movl···$0xf5,0x27e8(%rsp)557548 »       movl···$0xf5,0x27e8(%rsp)
557549 »       call···11807a0·<cvc5::internal::Options::Options()@@Base+0x13e0>557549 »       call···11807a0·<cvc5::internal::Options::Options()@@Base+0x13e0>
557550 »       lea····0x2818(%rsp),%rdi557550 »       lea····0x2818(%rsp),%rdi
Offset 557720, 19 lines modifiedOffset 557720, 19 lines modified
557720 »       movl···$0x11f,0x2ea0(%rsp)557720 »       movl···$0x11f,0x2ea0(%rsp)
557721 »       call···11807a0·<cvc5::internal::Options::Options()@@Base+0x13e0>557721 »       call···11807a0·<cvc5::internal::Options::Options()@@Base+0x13e0>
557722 »       lea····0x2ed0(%rsp),%rdi557722 »       lea····0x2ed0(%rsp),%rdi
557723 »       lea····0x11a9922(%rip),%rsi········557723 »       lea····0x11a9922(%rip),%rsi········
557724 »       movl···$0x120,0x2ec8(%rsp)557724 »       movl···$0x120,0x2ec8(%rsp)
557725 »       call···11807a0·<cvc5::internal::Options::Options()@@Base+0x13e0>557725 »       call···11807a0·<cvc5::internal::Options::Options()@@Base+0x13e0>
557726 »       lea····0x2ef8(%rsp),%rdi557726 »       lea····0x2ef8(%rsp),%rdi
557727 »       lea····0x119c728(%rip),%rsi········557727 »       lea····0x11a990a(%rip),%rsi········
557728 »       movl···$0x121,0x2ef0(%rsp)557728 »       movl···$0x121,0x2ef0(%rsp)
557729 »       call···11807a0·<cvc5::internal::Options::Options()@@Base+0x13e0>557729 »       call···11807a0·<cvc5::internal::Options::Options()@@Base+0x13e0>
557730 »       lea····0x2f20(%rsp),%rdi557730 »       lea····0x2f20(%rsp),%rdi
557731 »       lea····0x11a98eb(%rip),%rsi········557731 »       lea····0x119c709(%rip),%rsi········
557732 »       movl···$0x122,0x2f18(%rsp)557732 »       movl···$0x122,0x2f18(%rsp)
557733 »       call···11807a0·<cvc5::internal::Options::Options()@@Base+0x13e0>557733 »       call···11807a0·<cvc5::internal::Options::Options()@@Base+0x13e0>
557734 »       lea····0x2f48(%rsp),%rdi557734 »       lea····0x2f48(%rsp),%rdi
557735 »       lea····0x11a98d7(%rip),%rsi········557735 »       lea····0x11a98d7(%rip),%rsi········
557736 »       movl···$0x122,0x2f40(%rsp)557736 »       movl···$0x122,0x2f40(%rsp)
557737 »       call···11807a0·<cvc5::internal::Options::Options()@@Base+0x13e0>557737 »       call···11807a0·<cvc5::internal::Options::Options()@@Base+0x13e0>
557738 »       lea····0x2f70(%rsp),%rdi557738 »       lea····0x2f70(%rsp),%rdi
Offset 557804, 15 lines modifiedOffset 557804, 15 lines modified
557804 »       movl···$0x133,0x31e8(%rsp)557804 »       movl···$0x133,0x31e8(%rsp)
557805 »       call···11807a0·<cvc5::internal::Options::Options()@@Base+0x13e0>557805 »       call···11807a0·<cvc5::internal::Options::Options()@@Base+0x13e0>
557806 »       lea····0x3218(%rsp),%rdi557806 »       lea····0x3218(%rsp),%rdi
557807 »       lea····0x11a97a4(%rip),%rsi········557807 »       lea····0x11a97a4(%rip),%rsi········
557808 »       movl···$0x134,0x3210(%rsp)557808 »       movl···$0x134,0x3210(%rsp)
557809 »       call···11807a0·<cvc5::internal::Options::Options()@@Base+0x13e0>557809 »       call···11807a0·<cvc5::internal::Options::Options()@@Base+0x13e0>
557810 »       lea····0x3240(%rsp),%rdi557810 »       lea····0x3240(%rsp),%rdi
557811 »       lea····0x11a9799(%rip),%rsi········557811 »       lea····0x11a9794(%rip),%rsi········
557812 »       movl···$0x135,0x3238(%rsp)557812 »       movl···$0x135,0x3238(%rsp)
557813 »       call···11807a0·<cvc5::internal::Options::Options()@@Base+0x13e0>557813 »       call···11807a0·<cvc5::internal::Options::Options()@@Base+0x13e0>
557814 »       lea····0x3268(%rsp),%rdi557814 »       lea····0x3268(%rsp),%rdi
557815 »       lea····0x11a9789(%rip),%rsi········557815 »       lea····0x11a9789(%rip),%rsi········
557816 »       movl···$0x135,0x3260(%rsp)557816 »       movl···$0x135,0x3260(%rsp)
557817 »       call···11807a0·<cvc5::internal::Options::Options()@@Base+0x13e0>557817 »       call···11807a0·<cvc5::internal::Options::Options()@@Base+0x13e0>
557818 »       lea····0x3290(%rsp),%rdi557818 »       lea····0x3290(%rsp),%rdi
Offset 558348, 15 lines modifiedOffset 558348, 15 lines modified
558348 »       movl···$0x1ba,0x4728(%rsp)558348 »       movl···$0x1ba,0x4728(%rsp)
558349 »       call···11807a0·<cvc5::internal::Options::Options()@@Base+0x13e0>558349 »       call···11807a0·<cvc5::internal::Options::Options()@@Base+0x13e0>
558350 »       lea····0x4758(%rsp),%rdi558350 »       lea····0x4758(%rsp),%rdi
558351 »       lea····0x11a8fd0(%rip),%rsi········558351 »       lea····0x11a8fd0(%rip),%rsi········
558352 »       movl···$0x1bb,0x4750(%rsp)558352 »       movl···$0x1bb,0x4750(%rsp)
558353 »       call···11807a0·<cvc5::internal::Options::Options()@@Base+0x13e0>558353 »       call···11807a0·<cvc5::internal::Options::Options()@@Base+0x13e0>
558354 »       lea····0x4780(%rsp),%rax558354 »       lea····0x4780(%rsp),%rax
558355 »       lea····0x11a8fc5(%rip),%rsi········558355 »       lea····0x11a8fc0(%rip),%rsi········
558356 »       movl···$0x1bc,0x4778(%rsp)558356 »       movl···$0x1bc,0x4778(%rsp)
558357 »       mov····%rax,%rdi558357 »       mov····%rax,%rdi
558358 »       mov····%rax,0x28(%rsp)558358 »       mov····%rax,0x28(%rsp)
558359 »       call···11807a0·<cvc5::internal::Options::Options()@@Base+0x13e0>558359 »       call···11807a0·<cvc5::internal::Options::Options()@@Base+0x13e0>
558360 /usr/include/c++/12/bits/hashtable.h:491558360 /usr/include/c++/12/bits/hashtable.h:491
558361 »       lea····0x13840b2(%rip),%rax········558361 »       lea····0x13840b2(%rip),%rax········
558362 /usr/include/c++/12/bits/hashtable.h:1169558362 /usr/include/c++/12/bits/hashtable.h:1169
Offset 4194296, 8 lines modifiedOffset 4194296, 8 lines modified
4194296 »       mov····%eax,%edx4194296 »       mov····%eax,%edx
4194297 »       and····$0xfffff00,%edx4194297 »       and····$0xfffff00,%edx
4194298 »       cmp····$0xfffff00,%edx4194298 »       cmp····$0xfffff00,%edx
4194299 »       je·····cc1314·<std::_Hashtable<cvc5::internal::TypeNode,·std::pair<cvc5::internal::TypeNode·const,·unsigned·int>,·std::allocator<std::pair<cvc5::internal::TypeNode·const,·unsigned·int>·>,·std::__detail::_Select1st,·std::equal_to<cvc5::internal::TypeNode>,·std::hash<cvc5::internal::TypeNode>,·std::__detail::_Mod_range_hashing,·std::__detail::_Default_ranged_hash,·std::__detail::_Prime_rehash_policy,·std::__detail::_Hashtable_traits<true,·false,·true>·>::~_Hashtable()@@Base+0x6f34>4194299 »       je·····cc1314·<std::_Hashtable<cvc5::internal::TypeNode,·std::pair<cvc5::internal::TypeNode·const,·unsigned·int>,·std::allocator<std::pair<cvc5::internal::TypeNode·const,·unsigned·int>·>,·std::__detail::_Select1st,·std::equal_to<cvc5::internal::TypeNode>,·std::hash<cvc5::internal::TypeNode>,·std::__detail::_Mod_range_hashing,·std::__detail::_Default_ranged_hash,·std::__detail::_Prime_rehash_policy,·std::__detail::_Hashtable_traits<true,·false,·true>·>::~_Hashtable()@@Base+0x6f34>
4194300 ./obj-x86_64-linux-gnu/src/./src/./expr/node_value.h:3134194300 ./obj-x86_64-linux-gnu/src/./src/./expr/node_value.h:313
4194301 »       mov····%eax,%edx4194301 »       mov····%eax,%edx
4194302 »       and····$0xf00000ff,%eax4194302 »       and····$0xf00000ff,%eax
Max diff block lines reached; -1/5951 bytes (-0.02%) of diff not shown.
⊟
6.37 KB
readelf --wide --decompress --hex-dump=.rodata {}
    
Offset 20501, 16 lines modifiedOffset 20501, 16 lines modified
20501 ··0x013d8ce0·72652d67·656e2d6d·61782d64·65707468·re-gen-max-depth20501 ··0x013d8ce0·72652d67·656e2d6d·61782d64·65707468·re-gen-max-depth
20502 ··0x013d8cf0·00636f6e·6a656374·7572652d·67656e2d·.conjecture-gen-20502 ··0x013d8cf0·00636f6e·6a656374·7572652d·67656e2d·.conjecture-gen-
20503 ··0x013d8d00·7065722d·726f756e·6400636f·6e732d65·per-round.cons-e20503 ··0x013d8d00·7065722d·726f756e·6400636f·6e732d65·per-round.cons-e
20504 ··0x013d8d10·78702d74·72696767·65727300·636f7079·xp-triggers.copy20504 ··0x013d8d10·78702d74·72696767·65727300·636f7079·xp-triggers.copy
20505 ··0x013d8d20·72696768·74006375·742d616c·6c2d626f·right.cut-all-bo20505 ··0x013d8d20·72696768·74006375·742d616c·6c2d626f·right.cut-all-bo
20506 ··0x013d8d30·756e6465·64006461·672d7468·72657368·unded.dag-thresh20506 ··0x013d8d30·756e6465·64006461·672d7468·72657368·unded.dag-thresh
20507 ··0x013d8d40·00646562·75672d63·6865636b·2d6d6f64·.debug-check-mod20507 ··0x013d8d40·00646562·75672d63·6865636b·2d6d6f64·.debug-check-mod
20508 ··0x013d8d50·656c7300·64656369·73696f6e·00646563·els.decision.dec20508 ··0x013d8d50·656c7300·64656369·73696f6e·2d6d6f64·els.decision-mod
20509 ··0x013d8d60·6973696f·6e2d6d6f·64650064·6565702d·ision-mode.deep-20509 ··0x013d8d60·65006465·63697369·6f6e0064·6565702d·e.decision.deep-
20510 ··0x013d8d70·72657374·6172742d·66616374·6f720064·restart-factor.d20510 ··0x013d8d70·72657374·6172742d·66616374·6f720064·restart-factor.d
20511 ··0x013d8d80·69666669·63756c74·792d6d6f·64650064·ifficulty-mode.d20511 ··0x013d8d80·69666669·63756c74·792d6d6f·64650064·ifficulty-mode.d
20512 ··0x013d8d90·696f2d64·65636f6d·70730064·696f2d73·io-decomps.dio-s20512 ··0x013d8d90·696f2d64·65636f6d·70730064·696f2d73·io-decomps.dio-s
20513 ··0x013d8da0·6f6c7665·72006469·6f2d7475·726e7300·olver.dio-turns.20513 ··0x013d8da0·6f6c7665·72006469·6f2d7475·726e7300·olver.dio-turns.
20514 ··0x013d8db0·64742d62·696e6172·792d7370·6c697400·dt-binary-split.20514 ··0x013d8db0·64742d62·696e6172·792d7370·6c697400·dt-binary-split.
20515 ··0x013d8dc0·64742d62·6c617374·2d73706c·69747300·dt-blast-splits.20515 ··0x013d8dc0·64742d62·6c617374·2d73706c·69747300·dt-blast-splits.
20516 ··0x013d8dd0·64742d63·79636c69·63006474·2d696e66·dt-cyclic.dt-inf20516 ··0x013d8dd0·64742d63·79636c69·63006474·2d696e66·dt-cyclic.dt-inf
Offset 20632, 16 lines modifiedOffset 20632, 16 lines modified
20632 ··0x013d9510·65706561·742d6974·652d7369·6d70006f·epeat-ite-simp.o20632 ··0x013d9510·65706561·742d6974·652d7369·6d70006f·epeat-ite-simp.o
20633 ··0x013d9520·7261636c·6573006f·75747075·74006f75·racles.output.ou20633 ··0x013d9520·7261636c·6573006f·75747075·74006f75·racles.output.ou
20634 ··0x013d9530·74707574·2d6c616e·67007061·7273652d·tput-lang.parse-20634 ··0x013d9530·74707574·2d6c616e·67007061·7273652d·tput-lang.parse-
20635 ··0x013d9540·6f6e6c79·00706172·7469616c·2d747269·only.partial-tri20635 ··0x013d9540·6f6e6c79·00706172·7469616c·2d747269·only.partial-tri
20636 ··0x013d9550·67676572·73006368·65636b00·70617274·ggers.check.part20636 ··0x013d9550·67676572·73006368·65636b00·70617274·ggers.check.part
20637 ··0x013d9560·6974696f·6e2d6368·65636b00·70617274·ition-check.part20637 ··0x013d9560·6974696f·6e2d6368·65636b00·70617274·ition-check.part
20638 ··0x013d9570·6974696f·6e2d636f·6e666c69·63742d73·ition-conflict-s20638 ··0x013d9570·6974696f·6e2d636f·6e666c69·63742d73·ition-conflict-s
20639 ··0x013d9580·697a6500·70617274·6974696f·6e007061·ize.partition.pa20639 ··0x013d9580·697a6500·70617274·6974696f·6e2d7374·ize.partition-st
20640 ··0x013d9590·72746974·696f6e2d·73747261·74656779·rtition-strategy20640 ··0x013d9590·72617465·67790070·61727469·74696f6e·rategy.partition
20641 ··0x013d95a0·0070622d·72657772·69746573·00706976·.pb-rewrites.piv20641 ··0x013d95a0·0070622d·72657772·69746573·00706976·.pb-rewrites.piv
20642 ··0x013d95b0·6f742d74·68726573·686f6c64·00706f6f·ot-threshold.poo20642 ··0x013d95b0·6f742d74·68726573·686f6c64·00706f6f·ot-threshold.poo
20643 ··0x013d95c0·6c2d696e·73740070·6f727466·6f6c696f·l-inst.portfolio20643 ··0x013d95c0·6c2d696e·73740070·6f727466·6f6c696f·l-inst.portfolio
20644 ··0x013d95d0·2d6a6f62·73007070·2d617373·6572742d·-jobs.pp-assert-20644 ··0x013d95d0·2d6a6f62·73007070·2d617373·6572742d·-jobs.pp-assert-
20645 ··0x013d95e0·6d61782d·7375622d·73697a65·00707265·max-sub-size.pre20645 ··0x013d95e0·6d61782d·7375622d·73697a65·00707265·max-sub-size.pre
20646 ··0x013d95f0·2d736b6f·6c656d2d·7175616e·74007072·-skolem-quant.pr20646 ··0x013d95f0·2d736b6f·6c656d2d·7175616e·74007072·-skolem-quant.pr
20647 ··0x013d9600·652d736b·6f6c656d·2d717561·6e742d6e·e-skolem-quant-n20647 ··0x013d9600·652d736b·6f6c656d·2d717561·6e742d6e·e-skolem-quant-n
Offset 20649, 17 lines modifiedOffset 20649, 17 lines modified
20649 ··0x013d9620·6e740070·72656e65·782d7175·616e742d·nt.prenex-quant-20649 ··0x013d9620·6e740070·72656e65·782d7175·616e742d·nt.prenex-quant-
20650 ··0x013d9630·75736572·00707265·70726f63·6573732d·user.preprocess-20650 ··0x013d9630·75736572·00707265·70726f63·6573732d·user.preprocess-
20651 ··0x013d9640·6f6e6c79·00707269·6e742d64·6f742d63·only.print-dot-c20651 ··0x013d9640·6f6e6c79·00707269·6e742d64·6f742d63·only.print-dot-c
20652 ··0x013d9650·6c757374·65727300·7072696e·742d696e·lusters.print-in20652 ··0x013d9650·6c757374·65727300·7072696e·742d696e·lusters.print-in
20653 ··0x013d9660·73740070·72696e74·2d696e73·742d6675·st.print-inst-fu20653 ··0x013d9660·73740070·72696e74·2d696e73·742d6675·st.print-inst-fu
20654 ··0x013d9670·6c6c0070·72696e74·2d756e73·61742d63·ll.print-unsat-c20654 ··0x013d9670·6c6c0070·72696e74·2d756e73·61742d63·ll.print-unsat-c
20655 ··0x013d9680·6f726573·2d66756c·6c007072·6f647563·ores-full.produc20655 ··0x013d9680·6f726573·2d66756c·6c007072·6f647563·ores-full.produc
20656 ··0x013d9690·652d6162·64756374·7300696e·74657261·e-abducts.intera20656 ··0x013d9690·652d6162·64756374·73007072·6f647563·e-abducts.produc
20657 ··0x013d96a0·63746976·652d6d6f·64650070·726f6475·ctive-mode.produ 
20658 ··0x013d96b0·63652d61·73736572·74696f6e·73007072·ce-assertions.pr20657 ··0x013d96a0·652d6173·73657274·696f6e73·00696e74·e-assertions.int
 20658 ··0x013d96b0·65726163·74697665·2d6d6f64·65007072·eractive-mode.pr
20659 ··0x013d96c0·6f647563·652d6173·7369676e·6d656e74·oduce-assignment20659 ··0x013d96c0·6f647563·652d6173·7369676e·6d656e74·oduce-assignment
20660 ··0x013d96d0·73007072·6f647563·652d6469·66666963·s.produce-diffic20660 ··0x013d96d0·73007072·6f647563·652d6469·66666963·s.produce-diffic
20661 ··0x013d96e0·756c7479·0070726f·64756365·2d696e74·ulty.produce-int20661 ··0x013d96e0·756c7479·0070726f·64756365·2d696e74·ulty.produce-int
20662 ··0x013d96f0·6572706f·6c616e74·73007072·6f647563·erpolants.produc20662 ··0x013d96f0·6572706f·6c616e74·73007072·6f647563·erpolants.produc
20663 ··0x013d9700·652d6c65·61726e65·642d6c69·74657261·e-learned-litera20663 ··0x013d9700·652d6c65·61726e65·642d6c69·74657261·e-learned-litera
20664 ··0x013d9710·6c730070·726f6475·63652d6d·6f64656c·ls.produce-model20664 ··0x013d9710·6c730070·726f6475·63652d6d·6f64656c·ls.produce-model
20665 ··0x013d9720·73007072·6f647563·652d7072·6f6f6673·s.produce-proofs20665 ··0x013d9720·73007072·6f647563·652d7072·6f6f6673·s.produce-proofs
Offset 20715, 16 lines modifiedOffset 20715, 16 lines modified
20715 ··0x013d9a40·2d6c656d·6d617300·73657473·2d70726f·-lemmas.sets-pro20715 ··0x013d9a40·2d6c656d·6d617300·73657473·2d70726f·-lemmas.sets-pro
20716 ··0x013d9a50·78792d6c·656d6d61·73007368·6f772d63·xy-lemmas.show-c20716 ··0x013d9a50·78792d6c·656d6d61·73007368·6f772d63·xy-lemmas.show-c
20717 ··0x013d9a60·6f6e6669·67007368·6f772d74·72616365·onfig.show-trace20717 ··0x013d9a60·6f6e6669·67007368·6f772d74·72616365·onfig.show-trace
20718 ··0x013d9a70·2d746167·73007369·6d702d69·74652d63·-tags.simp-ite-c20718 ··0x013d9a70·2d746167·73007369·6d702d69·74652d63·-tags.simp-ite-c
20719 ··0x013d9a80·6f6d7072·65737300·73696d70·2d776974·ompress.simp-wit20719 ··0x013d9a80·6f6d7072·65737300·73696d70·2d776974·ompress.simp-wit
20720 ··0x013d9a90·682d6361·72650073·696d706c·65782d63·h-care.simplex-c20720 ··0x013d9a90·682d6361·72650073·696d706c·65782d63·h-care.simplex-c
20721 ··0x013d9aa0·6865636b·2d706572·696f6400·73696d70·heck-period.simp20721 ··0x013d9aa0·6865636b·2d706572·696f6400·73696d70·heck-period.simp
 20722 ··0x013d9ab0·6c696669·63617469·6f6e0073·696d706c·lification.simpl
20722 ··0x013d9ab0·6c696669·63617469·6f6e2d6d·6f646500·lification-mode.20723 ··0x013d9ac0·69666963·6174696f·6e2d6d6f·64650073·ification-mode.s
20723 ··0x013d9ac0·73696d70·6c696669·63617469·6f6e0073·simplification.s 
20724 ··0x013d9ad0·696d706c·69666963·6174696f·6e2d6263·implification-bc20724 ··0x013d9ad0·696d706c·69666963·6174696f·6e2d6263·implification-bc
20725 ··0x013d9ae0·7000736f·692d7165·00736f6c·76652d62·p.soi-qe.solve-b20725 ··0x013d9ae0·7000736f·692d7165·00736f6c·76652d62·p.soi-qe.solve-b
20726 ··0x013d9af0·762d6173·2d696e74·00736f6c·76652d69·v-as-int.solve-i20726 ··0x013d9af0·762d6173·2d696e74·00736f6c·76652d69·v-as-int.solve-i
20727 ··0x013d9b00·6e742d61·732d6276·00736f6c·76652d72·nt-as-bv.solve-r20727 ··0x013d9b00·6e742d61·732d6276·00736f6c·76652d72·nt-as-bv.solve-r
20728 ··0x013d9b10·65616c2d·61732d69·6e740073·74617469·eal-as-int.stati20728 ··0x013d9b10·65616c2d·61732d69·6e740073·74617469·eal-as-int.stati
20729 ··0x013d9b20·632d6c65·61726e69·6e670073·74617473·c-learning.stats20729 ··0x013d9b20·632d6c65·61726e69·6e670073·74617473·c-learning.stats
20730 ··0x013d9b30·00737461·74732d61·6c6c0073·74617473·.stats-all.stats20730 ··0x013d9b30·00737461·74732d61·6c6c0073·74617473·.stats-all.stats
Offset 20853, 17 lines modifiedOffset 20853, 17 lines modified
20853 ··0x013da2e0·00757365·2d617070·726f7800·7573652d·.use-approx.use-20853 ··0x013da2e0·00757365·2d617070·726f7800·7573652d·.use-approx.use-
20854 ··0x013da2f0·66637369·6d706c65·78007573·652d706f·fcsimplex.use-po20854 ··0x013da2f0·66637369·6d706c65·78007573·652d706f·fcsimplex.use-po
20855 ··0x013da300·7274666f·6c696f00·7573652d·736f6900·rtfolio.use-soi.20855 ··0x013da300·7274666f·6c696f00·7573652d·736f6900·rtfolio.use-soi.
20856 ··0x013da310·75736572·2d706174·00766172·2d656c69·user-pat.var-eli20856 ··0x013da310·75736572·2d706174·00766172·2d656c69·user-pat.var-eli
20857 ··0x013da320·6d2d7175·616e7400·7661722d·696e6571·m-quant.var-ineq20857 ··0x013da320·6d2d7175·616e7400·7661722d·696e6571·m-quant.var-ineq
20858 ··0x013da330·2d656c69·6d2d7175·616e7400·76657262·-elim-quant.verb20858 ··0x013da330·2d656c69·6d2d7175·616e7400·76657262·-elim-quant.verb
20859 ··0x013da340·6f736500·77662d63·6865636b·696e6700·ose.wf-checking.20859 ··0x013da340·6f736500·77662d63·6865636b·696e6700·ose.wf-checking.
 20860 ··0x013da350·70617274·6974696f·6e732d6f·75740077·partitions-out.w
20860 ··0x013da350·77726974·652d7061·72746974·696f6e73·write-partitions20861 ··0x013da360·72697465·2d706172·74697469·6f6e732d·rite-partitions-
20861 ··0x013da360·2d746f00·70617274·6974696f·6e732d6f·-to.partitions-o 
20862 ··0x013da370·75740041·7267756d·656e7420·27002720·ut.Argument·'.'·20862 ··0x013da370·746f0041·7267756d·656e7420·27002720·to.Argument·'.'·
20863 ··0x013da380·666f7220·626f6f6c·206f7074·696f6e20·for·bool·option·20863 ··0x013da380·666f7220·626f6f6c·206f7074·696f6e20·for·bool·option·
20864 ··0x013da390·00206973·206e6f74·20612062·6f6f6c20·.·is·not·a·bool·20864 ··0x013da390·00206973·206e6f74·20612062·6f6f6c20·.·is·not·a·bool·
20865 ··0x013da3a0·636f6e73·74616e74·00256600·2720666f·constant.%f.'·fo20865 ··0x013da3a0·636f6e73·74616e74·00256600·2720666f·constant.%f.'·fo
20866 ··0x013da3b0·72200020·6f707469·6f6e2000·20697320·r·.·option·.·is·20866 ··0x013da3b0·72200020·6f707469·6f6e2000·20697320·r·.·option·.·is·
20867 ··0x013da3c0·6e656761·74697665·00206469·64207061·negative.·did·pa20867 ··0x013da3c0·6e656761·74697665·00206469·64207061·negative.·did·pa
20868 ··0x013da3d0·72736520·6f6e6c79·20706172·7469616c·rse·only·partial20868 ··0x013da3d0·72736520·6f6e6c79·20706172·7469616c·rse·only·partial
20869 ··0x013da3e0·6c792061·7320002c·206c6561·76696e67·ly·as·.,·leaving20869 ··0x013da3e0·6c792061·7320002c·206c6561·76696e67·ly·as·.,·leaving
⊟
5.55 KB
readelf --wide --decompress --hex-dump=.data {}
    
Offset 454, 17 lines modifiedOffset 454, 17 lines modified
454 ··0x015adc30·00000000·00000000·ba010000·00000000·................454 ··0x015adc30·00000000·00000000·ba010000·00000000·................
455 ··0x015adc40·0fa93d01·00000000·00000000·00000000·..=.............455 ··0x015adc40·0fa93d01·00000000·00000000·00000000·..=.............
456 ··0x015adc50·00000000·00000000·bb010000·00000000·................456 ··0x015adc50·00000000·00000000·bb010000·00000000·................
457 ··0x015adc60·93a13d01·00000000·00000000·00000000·..=.............457 ··0x015adc60·93a13d01·00000000·00000000·00000000·..=.............
458 ··0x015adc70·00000000·00000000·bc010000·00000000·................458 ··0x015adc70·00000000·00000000·bc010000·00000000·................
459 ··0x015adc80·26a93d01·00000000·00000000·00000000·&.=.............459 ··0x015adc80·26a93d01·00000000·00000000·00000000·&.=.............
460 ··0x015adc90·00000000·00000000·bd010000·00000000·................460 ··0x015adc90·00000000·00000000·bd010000·00000000·................
461 ··0x015adca0·548d3d01·00000000·01000000·00000000·T.=.............461 ··0x015adca0·628d3d01·00000000·01000000·00000000·b.=.............
462 ··0x015adcb0·00000000·00000000·be010000·00000000·................462 ··0x015adcb0·00000000·00000000·be010000·00000000·................
463 ··0x015adcc0·5d8d3d01·00000000·01000000·00000000·].=.............463 ··0x015adcc0·548d3d01·00000000·01000000·00000000·T.=.............
464 ··0x015adcd0·00000000·00000000·bf010000·00000000·................464 ··0x015adcd0·00000000·00000000·bf010000·00000000·................
465 ··0x015adce0·f1913d01·00000000·00000000·00000000·..=.............465 ··0x015adce0·f1913d01·00000000·00000000·00000000·..=.............
466 ··0x015adcf0·00000000·00000000·c0010000·00000000·................466 ··0x015adcf0·00000000·00000000·c0010000·00000000·................
467 ··0x015add00·3da93d01·00000000·00000000·00000000·=.=.............467 ··0x015add00·3da93d01·00000000·00000000·00000000·=.=.............
468 ··0x015add10·00000000·00000000·c1010000·00000000·................468 ··0x015add10·00000000·00000000·c1010000·00000000·................
469 ··0x015add20·fe913d01·00000000·01000000·00000000·..=.............469 ··0x015add20·fe913d01·00000000·01000000·00000000·..=.............
470 ··0x015add30·00000000·00000000·c2010000·00000000·................470 ··0x015add30·00000000·00000000·c2010000·00000000·................
Offset 576, 21 lines modifiedOffset 576, 21 lines modified
576 ··0x015ae3d0·00000000·00000000·f7010000·00000000·................576 ··0x015ae3d0·00000000·00000000·f7010000·00000000·................
577 ··0x015ae3e0·5c953d01·00000000·01000000·00000000·\.=.............577 ··0x015ae3e0·5c953d01·00000000·01000000·00000000·\.=.............
578 ··0x015ae3f0·00000000·00000000·f8010000·00000000·................578 ··0x015ae3f0·00000000·00000000·f8010000·00000000·................
579 ··0x015ae400·56953d01·00000000·01000000·00000000·V.=.............579 ··0x015ae400·56953d01·00000000·01000000·00000000·V.=.............
580 ··0x015ae410·00000000·00000000·f9010000·00000000·................580 ··0x015ae410·00000000·00000000·f9010000·00000000·................
581 ··0x015ae420·6c953d01·00000000·01000000·00000000·l.=.............581 ··0x015ae420·6c953d01·00000000·01000000·00000000·l.=.............
582 ··0x015ae430·00000000·00000000·fa010000·00000000·................582 ··0x015ae430·00000000·00000000·fa010000·00000000·................
583 ··0x015ae440·8e953d01·00000000·01000000·00000000·..=.............583 ··0x015ae440·84953d01·00000000·01000000·00000000·..=.............
584 ··0x015ae450·00000000·00000000·fb010000·00000000·................584 ··0x015ae450·00000000·00000000·fb010000·00000000·................
585 ··0x015ae460·84953d01·00000000·01000000·00000000·..=.............585 ··0x015ae460·97953d01·00000000·01000000·00000000·..=.............
586 ··0x015ae470·00000000·00000000·fc010000·00000000·................586 ··0x015ae470·00000000·00000000·fc010000·00000000·................
587 ··0x015ae480·50a33d01·00000000·01000000·00000000·P.=.............587 ··0x015ae480·5fa33d01·00000000·01000000·00000000·_.=.............
588 ··0x015ae490·00000000·00000000·fd010000·00000000·................588 ··0x015ae490·00000000·00000000·fd010000·00000000·................
589 ··0x015ae4a0·64a33d01·00000000·01000000·00000000·d.=.............589 ··0x015ae4a0·50a33d01·00000000·01000000·00000000·P.=.............
590 ··0x015ae4b0·00000000·00000000·fe010000·00000000·................590 ··0x015ae4b0·00000000·00000000·fe010000·00000000·................
591 ··0x015ae4c0·cc8f3d01·00000000·00000000·00000000·..=.............591 ··0x015ae4c0·cc8f3d01·00000000·00000000·00000000·..=.............
592 ··0x015ae4d0·00000000·00000000·ff010000·00000000·................592 ··0x015ae4d0·00000000·00000000·ff010000·00000000·................
593 ··0x015ae4e0·83aa3d01·00000000·00000000·00000000·..=.............593 ··0x015ae4e0·83aa3d01·00000000·00000000·00000000·..=.............
594 ··0x015ae4f0·00000000·00000000·00020000·00000000·................594 ··0x015ae4f0·00000000·00000000·00020000·00000000·................
595 ··0x015ae500·63903d01·00000000·01000000·00000000·c.=.............595 ··0x015ae500·63903d01·00000000·01000000·00000000·c.=.............
596 ··0x015ae510·00000000·00000000·01020000·00000000·................596 ··0x015ae510·00000000·00000000·01020000·00000000·................
Offset 1352, 17 lines modifiedOffset 1352, 17 lines modified
1352 ··0x015b1450·00000000·00000000·7b030000·00000000·........{.......1352 ··0x015b1450·00000000·00000000·7b030000·00000000·........{.......
1353 ··0x015b1460·a1b53d01·00000000·00000000·00000000·..=.............1353 ··0x015b1460·a1b53d01·00000000·00000000·00000000·..=.............
1354 ··0x015b1470·00000000·00000000·7c030000·00000000·........|.......1354 ··0x015b1470·00000000·00000000·7c030000·00000000·........|.......
1355 ··0x015b1480·8a963d01·00000000·00000000·00000000·..=.............1355 ··0x015b1480·8a963d01·00000000·00000000·00000000·..=.............
1356 ··0x015b1490·00000000·00000000·7d030000·00000000·........}.......1356 ··0x015b1490·00000000·00000000·7d030000·00000000·........}.......
1357 ··0x015b14a0·bbb53d01·00000000·00000000·00000000·..=.............1357 ··0x015b14a0·bbb53d01·00000000·00000000·00000000·..=.............
1358 ··0x015b14b0·00000000·00000000·7e030000·00000000·........~.......1358 ··0x015b14b0·00000000·00000000·7e030000·00000000·........~.......
1359 ··0x015b14c0·ab963d01·00000000·00000000·00000000·..=.............1359 ··0x015b14c0·9a963d01·00000000·00000000·00000000·..=.............
1360 ··0x015b14d0·00000000·00000000·7f030000·00000000·................1360 ··0x015b14d0·00000000·00000000·7f030000·00000000·................
1361 ··0x015b14e0·9a963d01·00000000·00000000·00000000·..=.............1361 ··0x015b14e0·ad963d01·00000000·00000000·00000000·..=.............
1362 ··0x015b14f0·00000000·00000000·80030000·00000000·................1362 ··0x015b14f0·00000000·00000000·80030000·00000000·................
1363 ··0x015b1500·ceb53d01·00000000·00000000·00000000·..=.............1363 ··0x015b1500·ceb53d01·00000000·00000000·00000000·..=.............
1364 ··0x015b1510·00000000·00000000·81030000·00000000·................1364 ··0x015b1510·00000000·00000000·81030000·00000000·................
1365 ··0x015b1520·e4b53d01·00000000·00000000·00000000·..=.............1365 ··0x015b1520·e4b53d01·00000000·00000000·00000000·..=.............
1366 ··0x015b1530·00000000·00000000·82030000·00000000·................1366 ··0x015b1530·00000000·00000000·82030000·00000000·................
1367 ··0x015b1540·be963d01·00000000·00000000·00000000·..=.............1367 ··0x015b1540·be963d01·00000000·00000000·00000000·..=.............
1368 ··0x015b1550·00000000·00000000·83030000·00000000·................1368 ··0x015b1550·00000000·00000000·83030000·00000000·................
Offset 1406, 17 lines modifiedOffset 1406, 17 lines modified
1406 ··0x015b17b0·00000000·00000000·96030000·00000000·................1406 ··0x015b17b0·00000000·00000000·96030000·00000000·................
1407 ··0x015b17c0·c0b63d01·00000000·00000000·00000000·..=.............1407 ··0x015b17c0·c0b63d01·00000000·00000000·00000000·..=.............
1408 ··0x015b17d0·00000000·00000000·97030000·00000000·................1408 ··0x015b17d0·00000000·00000000·97030000·00000000·................
1409 ··0x015b17e0·889a3d01·00000000·00000000·00000000·..=.............1409 ··0x015b17e0·889a3d01·00000000·00000000·00000000·..=.............
1410 ··0x015b17f0·00000000·00000000·98030000·00000000·................1410 ··0x015b17f0·00000000·00000000·98030000·00000000·................
1411 ··0x015b1800·d5b63d01·00000000·00000000·00000000·..=.............1411 ··0x015b1800·d5b63d01·00000000·00000000·00000000·..=.............
1412 ··0x015b1810·00000000·00000000·99030000·00000000·................1412 ··0x015b1810·00000000·00000000·99030000·00000000·................
1413 ··0x015b1820·c09a3d01·00000000·01000000·00000000·..=.............1413 ··0x015b1820·ac9a3d01·00000000·01000000·00000000·..=.............
1414 ··0x015b1830·00000000·00000000·9a030000·00000000·................1414 ··0x015b1830·00000000·00000000·9a030000·00000000·................
1415 ··0x015b1840·ac9a3d01·00000000·01000000·00000000·..=.............1415 ··0x015b1840·bb9a3d01·00000000·01000000·00000000·..=.............
1416 ··0x015b1850·00000000·00000000·9b030000·00000000·................1416 ··0x015b1850·00000000·00000000·9b030000·00000000·................
1417 ··0x015b1860·cf9a3d01·00000000·00000000·00000000·..=.............1417 ··0x015b1860·cf9a3d01·00000000·00000000·00000000·..=.............
1418 ··0x015b1870·00000000·00000000·9c030000·00000000·................1418 ··0x015b1870·00000000·00000000·9c030000·00000000·................
1419 ··0x015b1880·e7b63d01·00000000·00000000·00000000·..=.............1419 ··0x015b1880·e7b63d01·00000000·00000000·00000000·..=.............
1420 ··0x015b1890·00000000·00000000·9d030000·00000000·................1420 ··0x015b1890·00000000·00000000·9d030000·00000000·................
1421 ··0x015b18a0·e99a3d01·00000000·01000000·00000000·..=.............1421 ··0x015b18a0·e99a3d01·00000000·01000000·00000000·..=.............
1422 ··0x015b18b0·00000000·00000000·9e030000·00000000·................1422 ··0x015b18b0·00000000·00000000·9e030000·00000000·................
⊟
811 B
readelf --wide --decompress --hex-dump=.gnu_debuglink {}
error from `readelf --wide --decompress --hex-dump=.gnu_debuglink {}`: readelf: Error: no .dynamic section in the dynamic segment
    
Offset 1, 7 lines modifiedOffset 1, 7 lines modified
  
1 Hex·dump·of·section·'.gnu_debuglink':1 Hex·dump·of·section·'.gnu_debuglink':
2 ··0x00000000·36323763·39303238·37376334·38346166·627c902877c484af 
3 ··0x00000010·39623865·35386461·32326665·39373336·9b8e58da22fe97362 ··0x00000000·31313561·36633165·37633039·33303633·115a6c1e7c093063
 3 ··0x00000010·38626635·31313764·31613031·65363337·8bf5117d1a01e637
4 ··0x00000020·32343163·65312e64·65627567·00000000·241ce1.debug....4 ··0x00000020·38353964·30312e64·65627567·00000000·859d01.debug....
5 ··0x00000030·fc92bf03····························....5 ··0x00000030·3460ad19····························4`..
  
⊟
26.1 KB
libcvc5-1-dbgsym_1.0.3-1_amd64.deb
⊟
369 B
file list
    
Offset 1, 3 lines modifiedOffset 1, 3 lines modified
1 -rw-r--r--···0········0········0········4·2022-12-20·01:35:50.000000·debian-binary1 -rw-r--r--···0········0········0········4·2022-12-20·01:35:50.000000·debian-binary
2 -rw-r--r--···0········0········0······552·2022-12-20·01:35:50.000000·control.tar.xz2 -rw-r--r--···0········0········0······552·2022-12-20·01:35:50.000000·control.tar.xz
3 -rw-r--r--···0········0········0·169505920·2022-12-20·01:35:50.000000·data.tar.xz3 -rw-r--r--···0········0········0·169506196·2022-12-20·01:35:50.000000·data.tar.xz
⊟
661 B
control.tar.xz
⊟
633 B
control.tar
⊟
385 B
./control
    
Offset 6, 8 lines modifiedOffset 6, 8 lines modified
6 Maintainer:·Debian·Science·Maintainers·<debian-science-maintainers@alioth-lists.debian.net>6 Maintainer:·Debian·Science·Maintainers·<debian-science-maintainers@alioth-lists.debian.net>
7 Installed-Size:·1695617 Installed-Size:·169561
8 Depends:·libcvc5-1·(=·1.0.3-1)8 Depends:·libcvc5-1·(=·1.0.3-1)
9 Section:·debug9 Section:·debug
10 Priority:·optional10 Priority:·optional
11 Multi-Arch:·same11 Multi-Arch:·same
12 Description:·debug·symbols·for·libcvc5-112 Description:·debug·symbols·for·libcvc5-1
13 Build-Ids:·e8627c902877c484af9b8e58da22fe9736241ce113 Build-Ids:·38115a6c1e7c0930638bf5117d1a01e637859d01
⊟
226 B
./md5sums
⊟
30.0 B
./md5sums
Files differ
⊟
178 B
line order
    
Offset 1, 1 lines modifiedOffset 1, 1 lines modified
1 usr/lib/debug/.build-id/e8/627c902877c484af9b8e58da22fe9736241ce1.debug1 usr/lib/debug/.build-id/38/115a6c1e7c0930638bf5117d1a01e637859d01.debug
⊟
25.0 KB
data.tar.xz
⊟
25.0 KB
data.tar
⊟
1.39 KB
file list
    
Offset 1, 10 lines modifiedOffset 1, 10 lines modified
1 drwxr-xr-x···0·root·········(0)·root·········(0)········0·2022-12-20·01:35:50.000000·./1 drwxr-xr-x···0·root·········(0)·root·········(0)········0·2022-12-20·01:35:50.000000·./
2 drwxr-xr-x···0·root·········(0)·root·········(0)········0·2022-12-20·01:35:50.000000·./usr/2 drwxr-xr-x···0·root·········(0)·root·········(0)········0·2022-12-20·01:35:50.000000·./usr/
3 drwxr-xr-x···0·root·········(0)·root·········(0)········0·2022-12-20·01:35:50.000000·./usr/lib/3 drwxr-xr-x···0·root·········(0)·root·········(0)········0·2022-12-20·01:35:50.000000·./usr/lib/
4 drwxr-xr-x···0·root·········(0)·root·········(0)········0·2022-12-20·01:35:50.000000·./usr/lib/debug/4 drwxr-xr-x···0·root·········(0)·root·········(0)········0·2022-12-20·01:35:50.000000·./usr/lib/debug/
5 drwxr-xr-x···0·root·········(0)·root·········(0)········0·2022-12-20·01:35:50.000000·./usr/lib/debug/.build-id/5 drwxr-xr-x···0·root·········(0)·root·········(0)········0·2022-12-20·01:35:50.000000·./usr/lib/debug/.build-id/
6 drwxr-xr-x···0·root·········(0)·root·········(0)········0·2022-12-20·01:35:50.000000·./usr/lib/debug/.build-id/e8/6 drwxr-xr-x···0·root·········(0)·root·········(0)········0·2022-12-20·01:35:50.000000·./usr/lib/debug/.build-id/38/
7 -rw-r--r--···0·root·········(0)·root·········(0)·173619512·2022-12-20·01:35:50.000000·./usr/lib/debug/.build-id/e8/627c902877c484af9b8e58da22fe9736241ce1.debug7 -rw-r--r--···0·root·········(0)·root·········(0)·173619504·2022-12-20·01:35:50.000000·./usr/lib/debug/.build-id/38/115a6c1e7c0930638bf5117d1a01e637859d01.debug
8 drwxr-xr-x···0·root·········(0)·root·········(0)········0·2022-12-20·01:35:50.000000·./usr/share/8 drwxr-xr-x···0·root·········(0)·root·········(0)········0·2022-12-20·01:35:50.000000·./usr/share/
9 drwxr-xr-x···0·root·········(0)·root·········(0)········0·2022-12-20·01:35:50.000000·./usr/share/doc/9 drwxr-xr-x···0·root·········(0)·root·········(0)········0·2022-12-20·01:35:50.000000·./usr/share/doc/
10 lrwxrwxrwx···0·root·········(0)·root·········(0)········0·2022-12-20·01:35:50.000000·./usr/share/doc/libcvc5-1-dbgsym·->·libcvc5-110 lrwxrwxrwx···0·root·········(0)·root·········(0)········0·2022-12-20·01:35:50.000000·./usr/share/doc/libcvc5-1-dbgsym·->·libcvc5-1
⊟
23.6 KB
./usr/lib/debug/.build-id/e8/627c902877c484af9b8e58da22fe9736241ce1.debug vs.
./usr/lib/debug/.build-id/38/115a6c1e7c0930638bf5117d1a01e637859d01.debug
File has been modified after NT_GNU_BUILD_ID has been applied. Files 0% similar despite different names
⊟
886 B
readelf --wide --file-header {}
    
Offset 6, 15 lines modifiedOffset 6, 15 lines modified
6 ··OS/ABI:····························UNIX·-·GNU6 ··OS/ABI:····························UNIX·-·GNU
7 ··ABI·Version:·······················07 ··ABI·Version:·······················0
8 ··Type:······························DYN·(Shared·object·file)8 ··Type:······························DYN·(Shared·object·file)
9 ··Machine:···························Advanced·Micro·Devices·X86-649 ··Machine:···························Advanced·Micro·Devices·X86-64
10 ··Version:···························0x110 ··Version:···························0x1
11 ··Entry·point·address:···············0x011 ··Entry·point·address:···············0x0
12 ··Start·of·program·headers:··········64·(bytes·into·file)12 ··Start·of·program·headers:··········64·(bytes·into·file)
13 ··Start·of·section·headers:··········173616696·(bytes·into·file)13 ··Start·of·section·headers:··········173616688·(bytes·into·file)
14 ··Flags:·····························0x014 ··Flags:·····························0x0
15 ··Size·of·this·header:···············64·(bytes)15 ··Size·of·this·header:···············64·(bytes)
16 ··Size·of·program·headers:···········56·(bytes)16 ··Size·of·program·headers:···········56·(bytes)
17 ··Number·of·program·headers:·········917 ··Number·of·program·headers:·········9
18 ··Size·of·section·headers:···········64·(bytes)18 ··Size·of·section·headers:···········64·(bytes)
19 ··Number·of·section·headers:·········4419 ··Number·of·section·headers:·········44
20 ··Section·header·string·table·index:·4320 ··Section·header·string·table·index:·43
⊟
3.89 KB
readelf --wide --sections {}
    
Offset 1, 8 lines modifiedOffset 1, 8 lines modified
1 There·are·44·section·headers,·starting·at·offset·0xa592e38:1 There·are·44·section·headers,·starting·at·offset·0xa592e30:
  
2 Section·Headers:2 Section·Headers:
3 ··[Nr]·Name··············Type············Address··········Off····Size···ES·Flg·Lk·Inf·Al3 ··[Nr]·Name··············Type············Address··········Off····Size···ES·Flg·Lk·Inf·Al
4 ··[·0]···················NULL············0000000000000000·000000·000000·00······0···0··04 ··[·0]···················NULL············0000000000000000·000000·000000·00······0···0··0
5 ··[·1]·.note.gnu.build-id·NOTE············0000000000000238·000238·000024·00···A··0···0··45 ··[·1]·.note.gnu.build-id·NOTE············0000000000000238·000238·000024·00···A··0···0··4
6 ··[·2]·.dynsym···········NOBITS··········0000000000000260·00025c·00f888·18···A··3···3··86 ··[·2]·.dynsym···········NOBITS··········0000000000000260·00025c·00f888·18···A··3···3··8
7 ··[·3]·.dynstr···········NOBITS··········000000000000fae8·00025c·02841b·00···A··0···0··17 ··[·3]·.dynstr···········NOBITS··········000000000000fae8·00025c·02841b·00···A··0···0··1
Offset 29, 25 lines modifiedOffset 29, 25 lines modified
29 ··[24]·.dynamic··········NOBITS··········00000000015a7fd8·000d20·000280·10··WA··3···0··829 ··[24]·.dynamic··········NOBITS··········00000000015a7fd8·000d20·000280·10··WA··3···0··8
30 ··[25]·.got··············NOBITS··········00000000015a8258·000d20·0004c0·00··WA··0···0··830 ··[25]·.got··············NOBITS··········00000000015a8258·000d20·0004c0·00··WA··0···0··8
31 ··[26]·.got.plt··········NOBITS··········00000000015a8718·000d20·0038d8·00··WA··0···0··831 ··[26]·.got.plt··········NOBITS··········00000000015a8718·000d20·0038d8·00··WA··0···0··8
32 ··[27]·.data·············NOBITS··········00000000015ac000·000d20·007cc0·00··WA··0···0·3232 ··[27]·.data·············NOBITS··········00000000015ac000·000d20·007cc0·00··WA··0···0·32
33 ··[28]·.tm_clone_table···NOBITS··········00000000015b3cc0·000d20·000000·00··WA··0···0··833 ··[28]·.tm_clone_table···NOBITS··········00000000015b3cc0·000d20·000000·00··WA··0···0··8
34 ··[29]·.bss··············NOBITS··········00000000015b3cc0·000d20·001b58·00··WA··0···0·3234 ··[29]·.bss··············NOBITS··········00000000015b3cc0·000d20·001b58·00··WA··0···0·32
35 ··[30]·.comment··········PROGBITS········0000000000000000·00025c·000020·01··MS··0···0··135 ··[30]·.comment··········PROGBITS········0000000000000000·00025c·000020·01··MS··0···0··1
36 ··[31]·.debug_info·······PROGBITS········0000000000000000·000280·7e4af0e·00···C··0···0··836 ··[31]·.debug_info·······PROGBITS········0000000000000000·000280·7e4af04·00···C··0···0··8
37 ··[32]·.debug_abbrev·····PROGBITS········0000000000000000·7e4b190·0cff27·00···C··0···0··837 ··[32]·.debug_abbrev·····PROGBITS········0000000000000000·7e4b188·0cff27·00···C··0···0··8
38 ··[33]·.debug_loclists···PROGBITS········0000000000000000·7f1b0b8·114330c·00···C··0···0··838 ··[33]·.debug_loclists···PROGBITS········0000000000000000·7f1b0b0·114330d·00···C··0···0··8
39 ··[34]·.debug_aranges····PROGBITS········0000000000000000·905e3c8·00dd9c·00···C··0···0··839 ··[34]·.debug_aranges····PROGBITS········0000000000000000·905e3c0·00dd9c·00···C··0···0··8
40 ··[35]·.debug_rnglists···PROGBITS········0000000000000000·906c168·53657b·00···C··0···0··840 ··[35]·.debug_rnglists···PROGBITS········0000000000000000·906c160·53657b·00···C··0···0··8
41 ··[36]·.debug_macro······PROGBITS········0000000000000000·95a26e8·10acd1·00···C··0···0··841 ··[36]·.debug_macro······PROGBITS········0000000000000000·95a26e0·10acd2·00···C··0···0··8
42 ··[37]·.debug_line·······PROGBITS········0000000000000000·96ad3c0·7b6d4a·00···C··0···0··842 ··[37]·.debug_line·······PROGBITS········0000000000000000·96ad3b8·7b6d4a·00···C··0···0··8
43 ··[38]·.debug_str········PROGBITS········0000000000000000·9e64110·3bd455·01·MSC··0···0··843 ··[38]·.debug_str········PROGBITS········0000000000000000·9e64108·3bd455·01·MSC··0···0··8
44 ··[39]·.debug_line_str···PROGBITS········0000000000000000·a221568·002e79·01·MSC··0···0··844 ··[39]·.debug_line_str···PROGBITS········0000000000000000·a221560·002e79·01·MSC··0···0··8
45 ··[40]·.note.gnu.gold-version·NOTE············0000000000000000·a2243e4·00001c·00······0···0··445 ··[40]·.note.gnu.gold-version·NOTE············0000000000000000·a2243dc·00001c·00······0···0··4
46 ··[41]·.symtab···········SYMTAB··········0000000000000000·a224400·0c4c68·18·····42·30935··846 ··[41]·.symtab···········SYMTAB··········0000000000000000·a2243f8·0c4c68·18·····42·30935··8
47 ··[42]·.strtab···········STRTAB··········0000000000000000·a2e9068·2a9bec·00······0···0··147 ··[42]·.strtab···········STRTAB··········0000000000000000·a2e9060·2a9bec·00······0···0··1
48 ··[43]·.shstrtab·········STRTAB··········0000000000000000·a592c54·0001df·00······0···0··148 ··[43]·.shstrtab·········STRTAB··········0000000000000000·a592c4c·0001df·00······0···0··1
49 Key·to·Flags:49 Key·to·Flags:
50 ··W·(write),·A·(alloc),·X·(execute),·M·(merge),·S·(strings),·I·(info),50 ··W·(write),·A·(alloc),·X·(execute),·M·(merge),·S·(strings),·I·(info),
51 ··L·(link·order),·O·(extra·OS·processing·required),·G·(group),·T·(TLS),51 ··L·(link·order),·O·(extra·OS·processing·required),·G·(group),·T·(TLS),
52 ··C·(compressed),·x·(unknown),·o·(OS·specific),·E·(exclude),52 ··C·(compressed),·x·(unknown),·o·(OS·specific),·E·(exclude),
53 ··R·(retain),·D·(mbind),·l·(large),·p·(processor·specific)53 ··R·(retain),·D·(mbind),·l·(large),·p·(processor·specific)
⊟
623 B
readelf --wide --notes {}
    
Offset 1, 8 lines modifiedOffset 1, 8 lines modified
  
1 Displaying·notes·found·in:·.note.gnu.build-id1 Displaying·notes·found·in:·.note.gnu.build-id
2 ··Owner················Data·size·»  Description2 ··Owner················Data·size·»  Description
3 ··GNU··················0x00000014»  NT_GNU_BUILD_ID·(unique·build·ID·bitstring)»   ····Build·ID:·e8627c902877c484af9b8e58da22fe9736241ce13 ··GNU··················0x00000014»  NT_GNU_BUILD_ID·(unique·build·ID·bitstring)»   ····Build·ID:·38115a6c1e7c0930638bf5117d1a01e637859d01
  
4 Displaying·notes·found·in:·.note.gnu.gold-version4 Displaying·notes·found·in:·.note.gnu.gold-version
5 ··Owner················Data·size·»  Description5 ··Owner················Data·size·»  Description
6 ··GNU··················0x00000009»  NT_GNU_GOLD_VERSION·(gold·version)»  ····Version:·gold·1.166 ··GNU··················0x00000009»  NT_GNU_GOLD_VERSION·(gold·version)»  ····Version:·gold·1.16
⊟
677 B
readelf --wide --debug-dump=info {}
    
Offset 4194297, 8 lines modifiedOffset 4194297, 8 lines modified
4194297 ·<5><8aa148>:·Abbrev·Number:·1·(DW_TAG_formal_parameter)4194297 ·<5><8aa148>:·Abbrev·Number:·1·(DW_TAG_formal_parameter)
4194298 ····<8aa149>···DW_AT_type········:·(ref_udata)·<0x8af8e3>4194298 ····<8aa149>···DW_AT_type········:·(ref_udata)·<0x8af8e3>
4194299 ····<8aa14c>···DW_AT_artificial··:·(flag_present)·14194299 ····<8aa14c>···DW_AT_artificial··:·(flag_present)·1
4194300 ·<5><8aa14c>:·Abbrev·Number:·04194300 ·<5><8aa14c>:·Abbrev·Number:·0
4194301 ·<4><8aa14d>:·Abbrev·Number:·172·(DW_TAG_member)4194301 ·<4><8aa14d>:·Abbrev·Number:·172·(DW_TAG_member)
4194302 ····<8aa14f>···DW_AT_name········:·(strp)·(offset:·0x172cc3):·_M_empty4194302 ····<8aa14f>···DW_AT_name········:·(strp)·(offset:·0x172cc3):·_M_empty
4194303 ····<8aa153>···DW_AT_decl_file···:·(data1)·734194303 ····<8aa153>···DW_AT_decl_file···:·(data1)·73
4194304 [·Too·much·input·for·diff·(SHA256:·18f58d5339cceb70f6083d3170cfc7f151f78d7cd5ad342ec5e39b39b0f566f7)·]4194304 [·Too·much·input·for·diff·(SHA256:·487509a2b1f59c3fc8a1c8fe982228c21e3c494b5fc19d00f8cf487a5297bc8f)·]
⊟
803 B
readelf --wide --debug-dump=macro {}
    
Offset 942316, 18 lines modifiedOffset 942316, 18 lines modified
942316 ·DW_MACRO_define_strp·-·lineno·:·32·macro·:·_HASHTABLE_POLICY_H·1942316 ·DW_MACRO_define_strp·-·lineno·:·32·macro·:·_HASHTABLE_POLICY_H·1
942317 ·DW_MACRO_end_file942317 ·DW_MACRO_end_file
942318 ·DW_MACRO_end_file942318 ·DW_MACRO_end_file
942319 ·DW_MACRO_start_file·-·lineno:·47·filenum:·19942319 ·DW_MACRO_start_file·-·lineno:·47·filenum:·19
942320 ·DW_MACRO_import·-·offset·:·0x34d2942320 ·DW_MACRO_import·-·offset·:·0x34d2
942321 ·DW_MACRO_end_file942321 ·DW_MACRO_end_file
942322 ·DW_MACRO_end_file942322 ·DW_MACRO_end_file
942323 ·DW_MACRO_start_file·-·lineno:·52·filenum:·32 
942324 ·DW_MACRO_end_file 
942325 ·DW_MACRO_start_file·-·lineno:·53·filenum:·117942323 ·DW_MACRO_start_file·-·lineno:·53·filenum:·117
942326 ·DW_MACRO_end_file942324 ·DW_MACRO_end_file
 942325 ·DW_MACRO_start_file·-·lineno:·54·filenum:·32
 942326 ·DW_MACRO_end_file
942327 ·DW_MACRO_start_file·-·lineno:·57·filenum:·86942327 ·DW_MACRO_start_file·-·lineno:·57·filenum:·86
942328 ·DW_MACRO_start_file·-·lineno:·42·filenum:·144942328 ·DW_MACRO_start_file·-·lineno:·42·filenum:·144
942329 ·DW_MACRO_import·-·offset·:·0x51ef942329 ·DW_MACRO_import·-·offset·:·0x51ef
942330 ·DW_MACRO_start_file·-·lineno:·26·filenum:·153942330 ·DW_MACRO_start_file·-·lineno:·26·filenum:·153
942331 ·DW_MACRO_import·-·offset·:·0x3575942331 ·DW_MACRO_import·-·offset·:·0x3575
942332 ·DW_MACRO_end_file942332 ·DW_MACRO_end_file
942333 ·DW_MACRO_import·-·offset·:·0x51ff942333 ·DW_MACRO_import·-·offset·:·0x51ff
⊟
766 B
readelf --wide --debug-dump=loc {}
error from `readelf --wide --debug-dump=loc {}`: readelf: Warning: There is a hole [0x3a2ff9d - 0x3a2ffb5] in .debug_loclists section.
    
Offset 4194297, 8 lines modifiedOffset 4194297, 8 lines modified
4194297 ····00bd97ba·v000000000000000·v000000000000004·views·at·00bd97b8·for:4194297 ····00bd97ba·v000000000000000·v000000000000004·views·at·00bd97b8·for:
4194298 ·············000000000051e730·000000000051e730·(DW_OP_implicit_pointer:·<0x308a842>·0)4194298 ·············000000000051e730·000000000051e730·(DW_OP_implicit_pointer:·<0x308a842>·0)
4194299 ····00bd97cb·<End·of·list>4194299 ····00bd97cb·<End·of·list>
  
4194300 ····00bd97cc·v000000000000005·v000000000000002·location·view·pair4194300 ····00bd97cc·v000000000000005·v000000000000002·location·view·pair
  
4194301 ····00bd97ce·v000000000000005·v000000000000002·views·at·00bd97cc·for:4194301 ····00bd97ce·v000000000000005·v000000000000002·views·at·00bd97cc·for:
4194302 [·Too·much·input·for·diff·(SHA256:·6d5c4c63d063b87c1c75f3ce930fc59e336fd58e3215b41c55d2d51bbbd4b50d)·]4194302 [·Too·much·input·for·diff·(SHA256:·21fc6f9cc0eb9277757fc9d3d8e4e8e21e3e7f1920e76cffe410598bce59fbc4)·]
⊟
15.8 KB
strings --all --bytes=8 {}
    
Offset 27996, 622 lines modifiedOffset 27996, 649 lines modified
27996 hokY9#fWU27996 hokY9#fWU
27997 bb-»    y>D\-/27997 bb-»    y>D\-/
27998 YUfBJL0T27998 YUfBJL0T
27999 3}JUZx"Z27999 3}JUZx"Z
28000 OBv»    H5"'28000 OBv»    H5"'
28001 H<"K»   9+·^28001 H<"K»   9+·^
28002 /D~%$[@~D28002 /D~%$[@~D
 28003 Ap&9j!1n
 28004 IM4dw';i
 28005 vX}I:egU:?R
 28006 y1r.R-r"
 28007 %8e2g&0f0
 28008 r<48#EKv
 28009 (VqR)cd1r
 28010 "<y/%`/%
 28011 k#r*|ZsB
 28012 pA^&W·{9#
 28013 #OCX)Lvp
 28014 Y6em:s13N
 28015 e".g"\,k
 28016 .aVH}4s)
28003 Us9~K7u-%m 
28004 {'>_s"&/Z 
28005 Gd?!vi<R 
28006 {a=zaA.] 
28007 ]!»     l3|+A 
28008 P{6^Pq") 
28009 V'J}M_9}p 
28010 i/»     aQr0e 
28011 lZjYx&» g 
28012 !»      !4B,TB 
28013 zd8]3/j[ 
28014 ._YC..f. 
28015 .Ia.58.5 
28016 SM#T)\}y 
28017 :J7Sj^Yd 
28018 e$(#9%g,28017 e$(#9%g.
28019 m'(_@;LH28018 EbF»    f#26
 28019 -l-M/nQ:
 28020 ~O4orN\6g
 28021 *9Z(?b$G
28020 P~M\86qr28022 P~W\8^qr
28021 qr<.GY9Cr<N 
28022 99~.g79Qr 
28023 rr\.gg=(9.' 
28024 iJL!!nG} 
28025 e:b<'V]E 
28026 Q<"B»   iu" 
28027 EBjN$#tS/ 
28028 o#?KMiwU 
28029 gxKyuwb; 
28030 yU7ht)a^5 
28031 Ak_'JSFC 
28032 #%+{&POp 
28033 ?#+yb,1m3 
28034 (~^B5aa|V 
28035 y+[['cCL0 
28036 wj^ezUPR 
28037 1H9DrU(- 
28038 =n82KC'F 
28039 nVVo6:Tx 
28040 Nf.0:1@$·28023 rl!GI_.9
 28024 P~]\8vqrL
 28025 W(F$:n>Lk
 28026 K4%|91^B}
 28027 bCZ\b:!6
 28028 g·~fBl»  bK
 28029 )96BLB}I
 28030 4%y»    !vE}]
 28031 GQOWjnkJ
 28032 |}:9b:=W
 28033 nrP7»   TMR3
 28034 ]!;'»   *XC
 28035 `k:@GP<'
 28036 iQ0P75c=p
 28037 98bwJ#\jxT
 28038 Js@5#v);+
 28039 x?JV8HFw
 28040 gdwKo]?0
 28041 S[L[ds;]wS
 28042 gss~*M0qmf
 28043 q4`b:fHP
 28044 ._rXBr&O
 28045 #,_JV-%v
 28046 |0lN%y&PH
 28047 ·YqPBQyF
 28048 W]y~5uw3/
 28049 ZMp-]sv>
28041 e'=3p9f.28050 e'=3p9f.
28042 <!k5gQ{K528051 <1k5gQ{K5
 28052 :nBS·iV0
 28053 =\L"W4;]
 28054 V4tB)[E.
 28055 6|D-$]]·-z_X
 28056 !95[P2If
 28057 hq.&s}\8y.
28043 VHl·ge;5 
28044 Z2ko·wd+5 
28045 /}_pGS1' 
28046 Pn"]8r{,a 
28047 L4,|Q=U<~ 
28048 RrOvb^6O 
28049 <9njKoUJ 
28050 HXgufYE! 
28051 sG`o\>ez 
28052 FKjvzd}r 
28053 V}TS]EH_x 
28054 REjSv}6I 
28055 `xZ!cx$P28058 `xz!cx$P
28056 M+5aS=EL+2 
28057 Y5Z5gtqVe 
28058 [jv{XOr'28059 [jv{XOr'
28059 xW\Z+1$328060 xW\Z+1$3
28060 Gfe#bl=6+i28061 Gfe#bl=6+i
28061 `[+fe$ZG28062 `[+fe$ZG
 28063 4+f4^B`:
 28064 TR1~,QO]»       .
28062 OYcCEctB{28065 OYcCEctB{
 28066 6"f}=fUq
 28067 =fUqeUq_V
 28068 #`bEf5Fkp
 28069 (h:»    {hY5
 28070 r?dV%o%V-
28063 RQSQ<ST~ 
28064 0'Z_oC$) 
28065 ALt#VI{f 
28066 |"3R$g^% 
Max diff block lines reached; 14223/16095 bytes (88.37%) of diff not shown.
Generated by diffoscope 240