⊟
64.7 MB
/srv/reproducible-results/rbuild-debian/r-b-build.32S01kEq/b1/cvc5_1.1.2-2_i386.changes vs.
/srv/reproducible-results/rbuild-debian/r-b-build.32S01kEq/b2/cvc5_1.1.2-2_i386.changes
⊟
1.5 KB
Files
    
Offset 1, 10 lines modifiedOffset 1, 10 lines modified
  
1 ·f682fb9b1187dacaae2bbd4834f9d1e1·1887072·debug·optional·cvc5-dbgsym_1.1.2-2_i386.deb 
2 ·50f399ba3c5bf2b6d39b8b92fd54d0e8·111144·math·optional·cvc5_1.1.2-2_i386.deb 
3 ·bfb7e4eaf1b9b314e0887f9674b8e0ec·179350184·debug·optional·libcvc5-1-dbgsym_1.1.2-2_i386.deb 
4 ·c10f92386f26587f32e1729da6793506·7250384·libs·optional·libcvc5-1_1.1.2-2_i386.deb1 ·f82e1a3ea78ca4da1211172b3833179a·1887104·debug·optional·cvc5-dbgsym_1.1.2-2_i386.deb
 2 ·92558d26d3e7179d278ca9dd766ed131·111416·math·optional·cvc5_1.1.2-2_i386.deb
 3 ·a44c58e79b09e1d4e3f977ce613e5f38·179346528·debug·optional·libcvc5-1-dbgsym_1.1.2-2_i386.deb
 4 ·2648ff98f89393975f01de0af6f0ab72·7250672·libs·optional·libcvc5-1_1.1.2-2_i386.deb
5 ·00393604f84ce28115e232ecc29c28a9·93008·libdevel·optional·libcvc5-dev_1.1.2-2_i386.deb5 ·00393604f84ce28115e232ecc29c28a9·93008·libdevel·optional·libcvc5-dev_1.1.2-2_i386.deb
6 ·dd9141db19f0a4d409b1dc97f3d4b297·4021744·debug·optional·libcvc5parser1-dbgsym_1.1.2-2_i386.deb 
7 ·2b3d90d020f53a4bd9bb798130d23991·257628·libs·optional·libcvc5parser1_1.1.2-2_i386.deb 
8 ·08247c3c494c2ab74f431abcded34aaf·2594808·debug·optional·python3-cvc5-dbgsym_1.1.2-2_i386.deb 
9 ·a27a13a3ab8be850e94947e294d72152·324084·python·optional·python3-cvc5_1.1.2-2_i386.deb6 ·6147a63f9a0f39968e533737467ad4b4·4021536·debug·optional·libcvc5parser1-dbgsym_1.1.2-2_i386.deb
 7 ·a1f2f2144fb66da1065744329dcbfd4a·257504·libs·optional·libcvc5parser1_1.1.2-2_i386.deb
 8 ·89ad25c5694f7ea5976ff1bb87a1be2b·2594820·debug·optional·python3-cvc5-dbgsym_1.1.2-2_i386.deb
 9 ·ff044e42138e62a00fbbb5f0531a531b·323212·python·optional·python3-cvc5_1.1.2-2_i386.deb
⊟
2.56 KB
cvc5_1.1.2-2_i386.deb
⊟
452 B
file list
    
Offset 1, 3 lines modifiedOffset 1, 3 lines modified
1 -rw-r--r--···0········0········0········4·2024-03-19·00:06:23.000000·debian-binary1 -rw-r--r--···0········0········0········4·2024-03-19·00:06:23.000000·debian-binary
2 -rw-r--r--···0········0········0·····1116·2024-03-19·00:06:23.000000·control.tar.xz2 -rw-r--r--···0········0········0·····1112·2024-03-19·00:06:23.000000·control.tar.xz
3 -rw-r--r--···0········0········0···109836·2024-03-19·00:06:23.000000·data.tar.xz3 -rw-r--r--···0········0········0···110112·2024-03-19·00:06:23.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
⊟
1.98 KB
data.tar.xz
⊟
1.96 KB
data.tar
⊟
1.94 KB
./usr/bin/cvc5
File has been modified after NT_GNU_BUILD_ID has been applied.
⊟
615 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:·771642141a53eedfae9f3d7a4aa76f2d48de81673 ··GNU··················0x00000014»  NT_GNU_BUILD_ID·(unique·build·ID·bitstring)»   ····Build·ID:·c76f08f614673dc0b93badd3a0108a760e27e259
  
4 Displaying·notes·found·in:·.note.ABI-tag4 Displaying·notes·found·in:·.note.ABI-tag
5 ··Owner················Data·size·»  Description5 ··Owner················Data·size·»  Description
6 ··GNU··················0x00000010»  NT_GNU_ABI_TAG·(ABI·version·tag)»     ····OS:·Linux,·ABI:·3.2.06 ··GNU··················0x00000010»  NT_GNU_ABI_TAG·(ABI·version·tag)»     ····OS:·Linux,·ABI:·3.2.0
⊟
416 B
strings --all --bytes=8 {}
    
Offset 1, 8 lines modifiedOffset 1, 8 lines modified
1 g/lib/ld-linux.so.21 Y/lib/ld-linux.so.2
2 Ut<{~·U>2 Ut<{~·U>
3 _ZTIN4cvc58internal9ExceptionE3 _ZTIN4cvc58internal9ExceptionE
4 _ZNK4cvc56Solver13getOptionInfoERKNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEE4 _ZNK4cvc56Solver13getOptionInfoERKNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEE
5 _ZNK4cvc56Result9isUnknownEv5 _ZNK4cvc56Result9isUnknownEv
6 _ZNK4cvc56Result7isUnsatEv6 _ZNK4cvc56Result7isUnsatEv
7 _ZNK4cvc510OptionInfo9boolValueEv7 _ZNK4cvc510OptionInfo9boolValueEv
8 _ZNK4cvc56Solver9getOptionERKNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEE8 _ZNK4cvc56Solver9getOptionERKNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEE
⊟
866 B
readelf --wide --decompress --hex-dump=.gnu_debuglink {}
error from `readelf --wide --decompress --hex-dump=.gnu_debuglink {}`: readelf: Error: Unable to find program interpreter name 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·31363432·31343161·35336565·64666165·1642141a53eedfae 
3 ··0x00000010·39663364·37613461·61373666·32643438·9f3d7a4aa76f2d482 ··0x00000000·36663038·66363134·36373364·63306239·6f08f614673dc0b9
 3 ··0x00000010·33626164·64336130·31303861·37363065·3badd3a0108a760e
4 ··0x00000020·64653831·36372e64·65627567·00000000·de8167.debug....4 ··0x00000020·32376532·35392e64·65627567·00000000·27e259.debug....
5 ··0x00000030·7d41a91a····························}A..5 ··0x00000030·cf943ace····························..:.
  
⊟
12.7 KB
libcvc5-1_1.1.2-2_i386.deb
⊟
367 B
file list
    
Offset 1, 3 lines modifiedOffset 1, 3 lines modified
1 -rw-r--r--···0········0········0········4·2024-03-19·00:06:23.000000·debian-binary1 -rw-r--r--···0········0········0········4·2024-03-19·00:06:23.000000·debian-binary
2 -rw-r--r--···0········0········0·····1276·2024-03-19·00:06:23.000000·control.tar.xz2 -rw-r--r--···0········0········0·····1276·2024-03-19·00:06:23.000000·control.tar.xz
3 -rw-r--r--···0········0········0··7248916·2024-03-19·00:06:23.000000·data.tar.xz3 -rw-r--r--···0········0········0··7249204·2024-03-19·00:06:23.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
⊟
12.1 KB
data.tar.xz
⊟
12.1 KB
data.tar
⊟
12.1 KB
./usr/lib/i386-linux-gnu/libcvc5.so.1
File has been modified after NT_GNU_BUILD_ID has been applied.
⊟
430 B
readelf --wide --notes {}
    
Offset 1, 4 lines modifiedOffset 1, 4 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:·052818b8e7e18d9101749e25c4d37c6a22ca28f23 ··GNU··················0x00000014»  NT_GNU_BUILD_ID·(unique·build·ID·bitstring)»   ····Build·ID:·b467fad368f7da39027780e39d5cd4b001b1fe29
⊟
421 B
strings --all --bytes=8 {}
Ordering differences only
    
Offset 10473, 16 lines modifiedOffset 10473, 16 lines modified
10473 proof-granularity10473 proof-granularity
10474 proof-mode10474 proof-mode
10475 proof-pedantic10475 proof-pedantic
10476 proof-rewrite-rcons-rec-limit10476 proof-rewrite-rcons-rec-limit
10477 prop-row-length10477 prop-row-length
10478 quant-dsplit10478 quant-dsplit
10479 quant-rep-mode10479 quant-rep-mode
10480 random-frequency 
10481 random-freq10480 random-freq
 10481 random-frequency
10482 re-inter-mode10482 re-inter-mode
10483 replay-early-close-depth10483 replay-early-close-depth
10484 replay-lemma-reject-cut10484 replay-lemma-reject-cut
10485 replay-num-err-penalty10485 replay-num-err-penalty
10486 replay-reject-cut10486 replay-reject-cut
10487 restart-int-base10487 restart-int-base
10488 restart-int-inc10488 restart-int-inc
⊟
6.59 KB
objdump --line-numbers --disassemble --demangle --reloc --no-show-raw-insn --section=.text {}
    
Offset 941010, 19 lines modifiedOffset 941010, 19 lines modified
941010 »       movl···$0x75,-0x27b8(%ebp)941010 »       movl···$0x75,-0x27b8(%ebp)
941011 »       call···15027d0·<cvc5::internal::Options::Options()@@Base+0x14d0>941011 »       call···15027d0·<cvc5::internal::Options::Options()@@Base+0x14d0>
941012 »       lea····-0x2798(%ebp),%eax941012 »       lea····-0x2798(%ebp),%eax
941013 »       lea····-0x35f10a(%esi),%edx941013 »       lea····-0x35f10a(%esi),%edx
941014 »       movl···$0x76,-0x279c(%ebp)941014 »       movl···$0x76,-0x279c(%ebp)
941015 »       call···15027d0·<cvc5::internal::Options::Options()@@Base+0x14d0>941015 »       call···15027d0·<cvc5::internal::Options::Options()@@Base+0x14d0>
941016 »       lea····-0x277c(%ebp),%eax941016 »       lea····-0x277c(%ebp),%eax
941017 »       lea····-0x36d11a(%esi),%edx941017 »       lea····-0x36ad8c(%esi),%edx
941018 »       movl···$0x77,-0x2780(%ebp)941018 »       movl···$0x77,-0x2780(%ebp)
941019 »       call···15027d0·<cvc5::internal::Options::Options()@@Base+0x14d0>941019 »       call···15027d0·<cvc5::internal::Options::Options()@@Base+0x14d0>
941020 »       lea····-0x2760(%ebp),%eax941020 »       lea····-0x2760(%ebp),%eax
941021 »       lea····-0x36ad8c(%esi),%edx941021 »       lea····-0x36d11a(%esi),%edx
941022 »       movl···$0x78,-0x2764(%ebp)941022 »       movl···$0x78,-0x2764(%ebp)
941023 »       call···15027d0·<cvc5::internal::Options::Options()@@Base+0x14d0>941023 »       call···15027d0·<cvc5::internal::Options::Options()@@Base+0x14d0>
941024 »       lea····-0x2744(%ebp),%eax941024 »       lea····-0x2744(%ebp),%eax
941025 »       lea····-0x360558(%esi),%edx941025 »       lea····-0x360558(%esi),%edx
941026 »       movl···$0x78,-0x2748(%ebp)941026 »       movl···$0x78,-0x2748(%ebp)
941027 »       call···15027d0·<cvc5::internal::Options::Options()@@Base+0x14d0>941027 »       call···15027d0·<cvc5::internal::Options::Options()@@Base+0x14d0>
941028 »       lea····-0x2728(%ebp),%eax941028 »       lea····-0x2728(%ebp),%eax
Offset 941242, 19 lines modifiedOffset 941242, 19 lines modified
941242 »       movl···$0xae,-0x2160(%ebp)941242 »       movl···$0xae,-0x2160(%ebp)
941243 »       call···15027d0·<cvc5::internal::Options::Options()@@Base+0x14d0>941243 »       call···15027d0·<cvc5::internal::Options::Options()@@Base+0x14d0>
941244 »       lea····-0x2140(%ebp),%eax941244 »       lea····-0x2140(%ebp),%eax
941245 »       lea····-0x360460(%esi),%edx941245 »       lea····-0x360460(%esi),%edx
941246 »       movl···$0xaf,-0x2144(%ebp)941246 »       movl···$0xaf,-0x2144(%ebp)
941247 »       call···15027d0·<cvc5::internal::Options::Options()@@Base+0x14d0>941247 »       call···15027d0·<cvc5::internal::Options::Options()@@Base+0x14d0>
941248 »       lea····-0x2124(%ebp),%eax941248 »       lea····-0x2124(%ebp),%eax
941249 »       lea····-0x360318(%esi),%edx941249 »       lea····-0x360452(%esi),%edx
941250 »       movl···$0xb0,-0x2128(%ebp)941250 »       movl···$0xb0,-0x2128(%ebp)
941251 »       call···15027d0·<cvc5::internal::Options::Options()@@Base+0x14d0>941251 »       call···15027d0·<cvc5::internal::Options::Options()@@Base+0x14d0>
941252 »       lea····-0x2108(%ebp),%eax941252 »       lea····-0x2108(%ebp),%eax
941253 »       lea····-0x360452(%esi),%edx941253 »       lea····-0x360318(%esi),%edx
941254 »       movl···$0xb1,-0x210c(%ebp)941254 »       movl···$0xb1,-0x210c(%ebp)
941255 »       call···15027d0·<cvc5::internal::Options::Options()@@Base+0x14d0>941255 »       call···15027d0·<cvc5::internal::Options::Options()@@Base+0x14d0>
941256 »       lea····-0x20ec(%ebp),%eax941256 »       lea····-0x20ec(%ebp),%eax
941257 »       lea····-0x35ea2f(%esi),%edx941257 »       lea····-0x35ea2f(%esi),%edx
941258 »       movl···$0xb1,-0x20f0(%ebp)941258 »       movl···$0xb1,-0x20f0(%ebp)
941259 »       call···15027d0·<cvc5::internal::Options::Options()@@Base+0x14d0>941259 »       call···15027d0·<cvc5::internal::Options::Options()@@Base+0x14d0>
941260 »       lea····-0x20d0(%ebp),%eax941260 »       lea····-0x20d0(%ebp),%eax
Offset 941462, 19 lines modifiedOffset 941462, 19 lines modified
941462 »       movl···$0xe4,-0x1b5c(%ebp)941462 »       movl···$0xe4,-0x1b5c(%ebp)
941463 »       call···15027d0·<cvc5::internal::Options::Options()@@Base+0x14d0>941463 »       call···15027d0·<cvc5::internal::Options::Options()@@Base+0x14d0>
941464 »       lea····-0x1b3c(%ebp),%eax941464 »       lea····-0x1b3c(%ebp),%eax
941465 »       lea····-0x35ef20(%esi),%edx941465 »       lea····-0x35ef20(%esi),%edx
941466 »       movl···$0xe5,-0x1b40(%ebp)941466 »       movl···$0xe5,-0x1b40(%ebp)
941467 »       call···15027d0·<cvc5::internal::Options::Options()@@Base+0x14d0>941467 »       call···15027d0·<cvc5::internal::Options::Options()@@Base+0x14d0>
941468 »       lea····-0x1b20(%ebp),%eax941468 »       lea····-0x1b20(%ebp),%eax
941469 »       lea····-0x36d100(%esi),%edx941469 »       lea····-0x35fc88(%esi),%edx
941470 »       movl···$0xe6,-0x1b24(%ebp)941470 »       movl···$0xe6,-0x1b24(%ebp)
941471 »       call···15027d0·<cvc5::internal::Options::Options()@@Base+0x14d0>941471 »       call···15027d0·<cvc5::internal::Options::Options()@@Base+0x14d0>
941472 »       lea····-0x1b04(%ebp),%eax941472 »       lea····-0x1b04(%ebp),%eax
941473 »       lea····-0x35fc88(%esi),%edx941473 »       lea····-0x36d100(%esi),%edx
941474 »       movl···$0xe7,-0x1b08(%ebp)941474 »       movl···$0xe7,-0x1b08(%ebp)
941475 »       call···15027d0·<cvc5::internal::Options::Options()@@Base+0x14d0>941475 »       call···15027d0·<cvc5::internal::Options::Options()@@Base+0x14d0>
941476 »       lea····-0x1ae8(%ebp),%eax941476 »       lea····-0x1ae8(%ebp),%eax
941477 »       lea····-0x360326(%esi),%edx941477 »       lea····-0x360326(%esi),%edx
941478 »       movl···$0xe7,-0x1aec(%ebp)941478 »       movl···$0xe7,-0x1aec(%ebp)
941479 »       call···15027d0·<cvc5::internal::Options::Options()@@Base+0x14d0>941479 »       call···15027d0·<cvc5::internal::Options::Options()@@Base+0x14d0>
941480 »       lea····-0x1acc(%ebp),%eax941480 »       lea····-0x1acc(%ebp),%eax
Offset 941506, 19 lines modifiedOffset 941506, 19 lines modified
941506 »       movl···$0xec,-0x1a28(%ebp)941506 »       movl···$0xec,-0x1a28(%ebp)
941507 »       call···15027d0·<cvc5::internal::Options::Options()@@Base+0x14d0>941507 »       call···15027d0·<cvc5::internal::Options::Options()@@Base+0x14d0>
941508 »       lea····-0x1a08(%ebp),%eax941508 »       lea····-0x1a08(%ebp),%eax
941509 »       lea····-0x3602eb(%esi),%edx941509 »       lea····-0x3602eb(%esi),%edx
941510 »       movl···$0xed,-0x1a0c(%ebp)941510 »       movl···$0xed,-0x1a0c(%ebp)
941511 »       call···15027d0·<cvc5::internal::Options::Options()@@Base+0x14d0>941511 »       call···15027d0·<cvc5::internal::Options::Options()@@Base+0x14d0>
941512 »       lea····-0x19ec(%ebp),%eax941512 »       lea····-0x19ec(%ebp),%eax
941513 »       lea····-0x3602d6(%esi),%edx941513 »       lea····-0x360656(%esi),%edx
941514 »       movl···$0xee,-0x19f0(%ebp)941514 »       movl···$0xee,-0x19f0(%ebp)
941515 »       call···15027d0·<cvc5::internal::Options::Options()@@Base+0x14d0>941515 »       call···15027d0·<cvc5::internal::Options::Options()@@Base+0x14d0>
941516 »       lea····-0x19d0(%ebp),%eax941516 »       lea····-0x19d0(%ebp),%eax
941517 »       lea····-0x360656(%esi),%edx941517 »       lea····-0x3602d6(%esi),%edx
941518 »       movl···$0xef,-0x19d4(%ebp)941518 »       movl···$0xef,-0x19d4(%ebp)
941519 »       call···15027d0·<cvc5::internal::Options::Options()@@Base+0x14d0>941519 »       call···15027d0·<cvc5::internal::Options::Options()@@Base+0x14d0>
941520 »       lea····-0x19b4(%ebp),%eax941520 »       lea····-0x19b4(%ebp),%eax
941521 »       lea····-0x3602c3(%esi),%edx941521 »       lea····-0x3602c3(%esi),%edx
941522 »       movl···$0xef,-0x19b8(%ebp)941522 »       movl···$0xef,-0x19b8(%ebp)
941523 »       call···15027d0·<cvc5::internal::Options::Options()@@Base+0x14d0>941523 »       call···15027d0·<cvc5::internal::Options::Options()@@Base+0x14d0>
941524 »       lea····-0x1998(%ebp),%eax941524 »       lea····-0x1998(%ebp),%eax
Offset 941730, 15 lines modifiedOffset 941730, 15 lines modified
941730 »       movl···$0x122,-0x1408(%ebp)941730 »       movl···$0x122,-0x1408(%ebp)
941731 »       call···15027d0·<cvc5::internal::Options::Options()@@Base+0x14d0>941731 »       call···15027d0·<cvc5::internal::Options::Options()@@Base+0x14d0>
941732 »       lea····-0x13e8(%ebp),%eax941732 »       lea····-0x13e8(%ebp),%eax
941733 »       lea····-0x360187(%esi),%edx941733 »       lea····-0x360187(%esi),%edx
941734 »       movl···$0x123,-0x13ec(%ebp)941734 »       movl···$0x123,-0x13ec(%ebp)
941735 »       call···15027d0·<cvc5::internal::Options::Options()@@Base+0x14d0>941735 »       call···15027d0·<cvc5::internal::Options::Options()@@Base+0x14d0>
941736 »       lea····-0x13cc(%ebp),%eax941736 »       lea····-0x13cc(%ebp),%eax
941737 »       lea····-0x360176(%esi),%edx941737 »       lea····-0x36017b(%esi),%edx
941738 »       movl···$0x124,-0x13d0(%ebp)941738 »       movl···$0x124,-0x13d0(%ebp)
941739 »       call···15027d0·<cvc5::internal::Options::Options()@@Base+0x14d0>941739 »       call···15027d0·<cvc5::internal::Options::Options()@@Base+0x14d0>
941740 »       lea····-0x13b0(%ebp),%eax941740 »       lea····-0x13b0(%ebp),%eax
941741 »       lea····-0x35f514(%esi),%edx941741 »       lea····-0x35f514(%esi),%edx
941742 »       movl···$0x124,-0x13b4(%ebp)941742 »       movl···$0x124,-0x13b4(%ebp)
941743 »       call···15027d0·<cvc5::internal::Options::Options()@@Base+0x14d0>941743 »       call···15027d0·<cvc5::internal::Options::Options()@@Base+0x14d0>
941744 »       lea····-0x1394(%ebp),%eax941744 »       lea····-0x1394(%ebp),%eax
Offset 941802, 19 lines modifiedOffset 941802, 19 lines modified
941802 »       movl···$0x133,-0x1210(%ebp)941802 »       movl···$0x133,-0x1210(%ebp)
941803 »       call···15027d0·<cvc5::internal::Options::Options()@@Base+0x14d0>941803 »       call···15027d0·<cvc5::internal::Options::Options()@@Base+0x14d0>
941804 »       lea····-0x11f0(%ebp),%eax941804 »       lea····-0x11f0(%ebp),%eax
941805 »       lea····-0x3600bc(%esi),%edx941805 »       lea····-0x3600bc(%esi),%edx
941806 »       movl···$0x134,-0x11f4(%ebp)941806 »       movl···$0x134,-0x11f4(%ebp)
941807 »       call···15027d0·<cvc5::internal::Options::Options()@@Base+0x14d0>941807 »       call···15027d0·<cvc5::internal::Options::Options()@@Base+0x14d0>
941808 »       lea····-0x11d4(%ebp),%eax941808 »       lea····-0x11d4(%ebp),%eax
941809 »       lea····-0x3600b5(%esi),%edx941809 »       lea····-0x36d0e9(%esi),%edx
941810 »       movl···$0x135,-0x11d8(%ebp)941810 »       movl···$0x135,-0x11d8(%ebp)
941811 »       call···15027d0·<cvc5::internal::Options::Options()@@Base+0x14d0>941811 »       call···15027d0·<cvc5::internal::Options::Options()@@Base+0x14d0>
941812 »       lea····-0x11b8(%ebp),%eax941812 »       lea····-0x11b8(%ebp),%eax
941813 »       lea····-0x36d0e9(%esi),%edx941813 »       lea····-0x3600b5(%esi),%edx
941814 »       movl···$0x136,-0x11bc(%ebp)941814 »       movl···$0x136,-0x11bc(%ebp)
941815 »       call···15027d0·<cvc5::internal::Options::Options()@@Base+0x14d0>941815 »       call···15027d0·<cvc5::internal::Options::Options()@@Base+0x14d0>
941816 »       lea····-0x119c(%ebp),%eax941816 »       lea····-0x119c(%ebp),%eax
941817 »       lea····-0x3600aa(%esi),%edx941817 »       lea····-0x3600aa(%esi),%edx
941818 »       movl···$0x136,-0x11a0(%ebp)941818 »       movl···$0x136,-0x11a0(%ebp)
941819 »       call···15027d0·<cvc5::internal::Options::Options()@@Base+0x14d0>941819 »       call···15027d0·<cvc5::internal::Options::Options()@@Base+0x14d0>
941820 »       lea····-0x1180(%ebp),%eax941820 »       lea····-0x1180(%ebp),%eax
Offset 941890, 19 lines modifiedOffset 941890, 19 lines modified
941890 »       movl···$0x148,-0xfa8(%ebp)941890 »       movl···$0x148,-0xfa8(%ebp)
941891 »       call···15027d0·<cvc5::internal::Options::Options()@@Base+0x14d0>941891 »       call···15027d0·<cvc5::internal::Options::Options()@@Base+0x14d0>
941892 »       lea····-0xf88(%ebp),%eax941892 »       lea····-0xf88(%ebp),%eax
941893 »       lea····-0x360063(%esi),%edx941893 »       lea····-0x360063(%esi),%edx
941894 »       movl···$0x149,-0xf8c(%ebp)941894 »       movl···$0x149,-0xf8c(%ebp)
941895 »       call···15027d0·<cvc5::internal::Options::Options()@@Base+0x14d0>941895 »       call···15027d0·<cvc5::internal::Options::Options()@@Base+0x14d0>
941896 »       lea····-0xf6c(%ebp),%eax941896 »       lea····-0xf6c(%ebp),%eax
941897 »       lea····-0x36004e(%esi),%edx941897 »       lea····-0x367f65(%esi),%edx
941898 »       movl···$0x14a,-0xf70(%ebp)941898 »       movl···$0x14a,-0xf70(%ebp)
941899 »       call···15027d0·<cvc5::internal::Options::Options()@@Base+0x14d0>941899 »       call···15027d0·<cvc5::internal::Options::Options()@@Base+0x14d0>
941900 »       lea····-0xf50(%ebp),%eax941900 »       lea····-0xf50(%ebp),%eax
Max diff block lines reached; 1194/6563 bytes (18.19%) of diff not shown.
⊟
1.3 KB
readelf --wide --decompress --hex-dump=.rodata {}
    
Offset 22273, 16 lines modifiedOffset 22273, 16 lines modified
22273 ··0x016b9fe0·72697479·0070726f·6f662d6d·6f646500·rity.proof-mode.22273 ··0x016b9fe0·72697479·0070726f·6f662d6d·6f646500·rity.proof-mode.
22274 ··0x016b9ff0·70726f6f·662d7065·64616e74·69630070·proof-pedantic.p22274 ··0x016b9ff0·70726f6f·662d7065·64616e74·69630070·proof-pedantic.p
22275 ··0x016ba000·726f6f66·2d726577·72697465·2d72636f·roof-rewrite-rco22275 ··0x016ba000·726f6f66·2d726577·72697465·2d72636f·roof-rewrite-rco
22276 ··0x016ba010·6e732d72·65632d6c·696d6974·0070726f·ns-rec-limit.pro22276 ··0x016ba010·6e732d72·65632d6c·696d6974·0070726f·ns-rec-limit.pro
22277 ··0x016ba020·702d726f·772d6c65·6e677468·00717561·p-row-length.qua22277 ··0x016ba020·702d726f·772d6c65·6e677468·00717561·p-row-length.qua
22278 ··0x016ba030·6e742d64·73706c69·74007175·616e742d·nt-dsplit.quant-22278 ··0x016ba030·6e742d64·73706c69·74007175·616e742d·nt-dsplit.quant-
22279 ··0x016ba040·7265702d·6d6f6465·0072616e·646f6d2d·rep-mode.random-22279 ··0x016ba040·7265702d·6d6f6465·0072616e·646f6d2d·rep-mode.random-
22280 ··0x016ba050·66726571·75656e63·79007261·6e646f6d·frequency.random22280 ··0x016ba050·66726571·0072616e·646f6d2d·66726571·freq.random-freq
22281 ··0x016ba060·2d667265·71007265·2d656c69·6d007265·-freq.re-elim.re22281 ··0x016ba060·75656e63·79007265·2d656c69·6d007265·uency.re-elim.re
22282 ··0x016ba070·2d696e74·65722d6d·6f646500·7265706c·-inter-mode.repl22282 ··0x016ba070·2d696e74·65722d6d·6f646500·7265706c·-inter-mode.repl
22283 ··0x016ba080·61792d65·61726c79·2d636c6f·73652d64·ay-early-close-d22283 ··0x016ba080·61792d65·61726c79·2d636c6f·73652d64·ay-early-close-d
22284 ··0x016ba090·65707468·00726570·6c61792d·6c656d6d·epth.replay-lemm22284 ··0x016ba090·65707468·00726570·6c61792d·6c656d6d·epth.replay-lemm
22285 ··0x016ba0a0·612d7265·6a656374·2d637574·00726570·a-reject-cut.rep22285 ··0x016ba0a0·612d7265·6a656374·2d637574·00726570·a-reject-cut.rep
22286 ··0x016ba0b0·6c61792d·6e756d2d·6572722d·70656e61·lay-num-err-pena22286 ··0x016ba0b0·6c61792d·6e756d2d·6572722d·70656e61·lay-num-err-pena
22287 ··0x016ba0c0·6c747900·7265706c·61792d72·656a6563·lty.replay-rejec22287 ··0x016ba0c0·6c747900·7265706c·61792d72·656a6563·lty.replay-rejec
22288 ··0x016ba0d0·742d6375·74007265·73746172·742d696e·t-cut.restart-in22288 ··0x016ba0d0·742d6375·74007265·73746172·742d696e·t-cut.restart-in
⊟
1.18 KB
readelf --wide --decompress --hex-dump=.data.rel.ro {}
    
Offset 1053, 15 lines modifiedOffset 1053, 15 lines modified
1053 ··0x01a14160·90b86b01·acb86b01·beb86b01·d0b86b01·..k...k...k...k.1053 ··0x01a14160·90b86b01·acb86b01·beb86b01·d0b86b01·..k...k...k...k.
1054 ··0x01a14170·edb86b01·b6ad6b01·d1ad6b01·b59f6b01·..k...k...k...k.1054 ··0x01a14170·edb86b01·b6ad6b01·d1ad6b01·b59f6b01·..k...k...k...k.
1055 ··0x01a14180·e3ad6b01·f7ad6b01·08ae6b01·c19f6b01·..k...k...k...k.1055 ··0x01a14180·e3ad6b01·f7ad6b01·08ae6b01·c19f6b01·..k...k...k...k.
1056 ··0x01a14190·d39f6b01·e59f6b01·f09f6b01·1fae6b01·..k...k...k...k.1056 ··0x01a14190·d39f6b01·e59f6b01·f09f6b01·1fae6b01·..k...k...k...k.
1057 ··0x01a141a0·31ae6b01·4bae6b01·ff9f6b01·0c006901·1.k.K.k...k...i.1057 ··0x01a141a0·31ae6b01·4bae6b01·ff9f6b01·0c006901·1.k.K.k...k...i.
1058 ··0x01a141b0·1da06b01·1fb36b01·32b36b01·2da06b01·..k...k.2.k.-.k.1058 ··0x01a141b0·1da06b01·1fb36b01·32b36b01·2da06b01·..k...k.2.k.-.k.
1059 ··0x01a141c0·47b36b01·57b36b01·3aa06b01·5b1b6b01·G.k.W.k.:.k.[.k.1059 ··0x01a141c0·47b36b01·57b36b01·3aa06b01·5b1b6b01·G.k.W.k.:.k.[.k.
1060 ··0x01a141d0·5aa06b01·49a06b01·bcac6b01·66a06b01·Z.k.I.k...k.f.k.1060 ··0x01a141d0·49a06b01·55a06b01·bcac6b01·66a06b01·I.k.U.k...k.f.k.
1061 ··0x01a141e0·6ea06b01·64b36b01·d0d06a01·81b36b01·n.k.d.k...j...k.1061 ··0x01a141e0·6ea06b01·64b36b01·d0d06a01·81b36b01·n.k.d.k...j...k.
1062 ··0x01a141f0·57bb6b01·98b36b01·04b96b01·7ca06b01·W.k...k...k.|.k.1062 ··0x01a141f0·57bb6b01·98b36b01·04b96b01·7ca06b01·W.k...k...k.|.k.
1063 ··0x01a14200·95a06b01·ada06b01·c4a06b01·e7d06a01·..k...k...k...j.1063 ··0x01a14200·95a06b01·ada06b01·c4a06b01·e7d06a01·..k...k...k...j.
1064 ··0x01a14210·d6a06b01·e7a06b01·7ba86b01·f7a06b01·..k...k.{.k...k.1064 ··0x01a14210·d6a06b01·e7a06b01·7ba86b01·f7a06b01·..k...k.{.k...k.
1065 ··0x01a14220·14a16b01·1ba16b01·26a16b01·2fa16b01·..k...k.&.k./.k.1065 ··0x01a14220·14a16b01·1ba16b01·26a16b01·2fa16b01·..k...k.&.k./.k.
1066 ··0x01a14230·85a96b01·37a16b01·189b6b01·8ea86b01·..k.7.k...k...k.1066 ··0x01a14230·85a96b01·37a16b01·189b6b01·8ea86b01·..k.7.k...k...k.
1067 ··0x01a14240·49de6b01·9eac6b01·15ad6b01·4ab66b01·I.k...k...k.J.k.1067 ··0x01a14240·49de6b01·9eac6b01·15ad6b01·4ab66b01·I.k...k...k.J.k.
⊟
1.29 KB
readelf --wide --decompress --hex-dump=.data {}
    
Offset 366, 16 lines modifiedOffset 366, 16 lines modified
366 ··0x01a1d6b0·48ae6b01·00000000·00000000·43020000·H.k.........C...366 ··0x01a1d6b0·48ae6b01·00000000·00000000·43020000·H.k.........C...
367 ··0x01a1d6c0·ff9f6b01·01000000·00000000·44020000·..k.........D...367 ··0x01a1d6c0·ff9f6b01·01000000·00000000·44020000·..k.........D...
368 ··0x01a1d6d0·0c006901·01000000·00000000·45020000·..i.........E...368 ··0x01a1d6d0·0c006901·01000000·00000000·45020000·..i.........E...
369 ··0x01a1d6e0·60ae6b01·00000000·00000000·46020000·`.k.........F...369 ··0x01a1d6e0·60ae6b01·00000000·00000000·46020000·`.k.........F...
370 ··0x01a1d6f0·5dae6b01·00000000·00000000·47020000·].k.........G...370 ··0x01a1d6f0·5dae6b01·00000000·00000000·47020000·].k.........G...
371 ··0x01a1d700·d1216b01·01000000·00000000·48020000·.!k.........H...371 ··0x01a1d700·d1216b01·01000000·00000000·48020000·.!k.........H...
372 ··0x01a1d710·999f6b01·01000000·00000000·49020000·..k.........I...372 ··0x01a1d710·999f6b01·01000000·00000000·49020000·..k.........I...
373 ··0x01a1d720·5aa06b01·01000000·00000000·4a020000·Z.k.........J...373 ··0x01a1d720·49a06b01·01000000·00000000·4a020000·I.k.........J...
374 ··0x01a1d730·49a06b01·01000000·00000000·4b020000·I.k.........K...374 ··0x01a1d730·55a06b01·01000000·00000000·4b020000·U.k.........K...
375 ··0x01a1d740·d6a06b01·01000000·00000000·4c020000·..k.........L...375 ··0x01a1d740·d6a06b01·01000000·00000000·4c020000·..k.........L...
376 ··0x01a1d750·e7a06b01·01000000·00000000·4d020000·..k.........M...376 ··0x01a1d750·e7a06b01·01000000·00000000·4d020000·..k.........M...
377 ··0x01a1d760·37a16b01·01000000·00000000·4e020000·7.k.........N...377 ··0x01a1d760·37a16b01·01000000·00000000·4e020000·7.k.........N...
378 ··0x01a1d770·189b6b01·01000000·00000000·4f020000·..k.........O...378 ··0x01a1d770·189b6b01·01000000·00000000·4f020000·..k.........O...
379 ··0x01a1d780·b1b36b01·00000000·00000000·50020000·..k.........P...379 ··0x01a1d780·b1b36b01·00000000·00000000·50020000·..k.........P...
380 ··0x01a1d790·74ae6b01·00000000·00000000·51020000·t.k.........Q...380 ··0x01a1d790·74ae6b01·00000000·00000000·51020000·t.k.........Q...
381 ··0x01a1d7a0·7fae6b01·00000000·00000000·52020000·..k.........R...381 ··0x01a1d7a0·7fae6b01·00000000·00000000·52020000·..k.........R...
⊟
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·32383138·62386537·65313864·39313031·2818b8e7e18d9101 
3 ··0x00000010·37343965·32356334·64333763·36613232·749e25c4d37c6a222 ··0x00000000·36376661·64333638·66376461·33393032·67fad368f7da3902
 3 ··0x00000010·37373830·65333964·35636434·62303031·7780e39d5cd4b001
4 ··0x00000020·63613238·66322e64·65627567·00000000·ca28f2.debug....4 ··0x00000020·62316665·32392e64·65627567·00000000·b1fe29.debug....
5 ··0x00000030·19df4231····························..B15 ··0x00000030·b8f3bca5····························....
  
⊟
1.91 KB
libcvc5parser1_1.1.2-2_i386.deb
⊟
367 B
file list
    
Offset 1, 3 lines modifiedOffset 1, 3 lines modified
1 -rw-r--r--···0········0········0········4·2024-03-19·00:06:23.000000·debian-binary1 -rw-r--r--···0········0········0········4·2024-03-19·00:06:23.000000·debian-binary
2 -rw-r--r--···0········0········0·····1260·2024-03-19·00:06:23.000000·control.tar.xz2 -rw-r--r--···0········0········0·····1260·2024-03-19·00:06:23.000000·control.tar.xz
3 -rw-r--r--···0········0········0···256176·2024-03-19·00:06:23.000000·data.tar.xz3 -rw-r--r--···0········0········0···256052·2024-03-19·00:06:23.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
⊟
1.39 KB
data.tar.xz
⊟
1.37 KB
data.tar
⊟
1.36 KB
./usr/lib/i386-linux-gnu/libcvc5parser.so.1
File has been modified after NT_GNU_BUILD_ID has been applied.
⊟
430 B
readelf --wide --notes {}
    
Offset 1, 4 lines modifiedOffset 1, 4 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:·95510059a2b6c437acb3ef084fbb5040ad26d9903 ··GNU··················0x00000014»  NT_GNU_BUILD_ID·(unique·build·ID·bitstring)»   ····Build·ID:·7669164f3c7be8de44671f209546e201fc359c7f
⊟
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·35313030·35396132·62366334·33376163·510059a2b6c437ac 
3 ··0x00000010·62336566·30383466·62623530·34306164·b3ef084fbb5040ad2 ··0x00000000·36393136·34663363·37626538·64653434·69164f3c7be8de44
 3 ··0x00000010·36373166·32303935·34366532·30316663·671f209546e201fc
4 ··0x00000020·32366439·39302e64·65627567·00000000·26d990.debug....4 ··0x00000020·33353963·37662e64·65627567·00000000·359c7f.debug....
5 ··0x00000030·9d1cb98c····························....5 ··0x00000030·4b9c2ce1····························K.,.
  
⊟
2.07 KB
python3-cvc5_1.1.2-2_i386.deb
⊟
452 B
file list
    
Offset 1, 3 lines modifiedOffset 1, 3 lines modified
1 -rw-r--r--···0········0········0········4·2024-03-19·00:06:23.000000·debian-binary1 -rw-r--r--···0········0········0········4·2024-03-19·00:06:23.000000·debian-binary
2 -rw-r--r--···0········0········0·····1668·2024-03-19·00:06:23.000000·control.tar.xz2 -rw-r--r--···0········0········0·····1672·2024-03-19·00:06:23.000000·control.tar.xz
3 -rw-r--r--···0········0········0···322224·2024-03-19·00:06:23.000000·data.tar.xz3 -rw-r--r--···0········0········0···321348·2024-03-19·00:06:23.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
⊟
1.47 KB
data.tar.xz
⊟
1.45 KB
data.tar
⊟
1.43 KB
./usr/lib/python3/dist-packages/cvc5/cvc5_python_base.cpython-312-i386-linux-gnu.so
File has been modified after NT_GNU_BUILD_ID has been applied.
⊟
430 B
readelf --wide --notes {}
    
Offset 1, 4 lines modifiedOffset 1, 4 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:·56943ee3d624d830df755e9bde2c063af50368bc3 ··GNU··················0x00000014»  NT_GNU_BUILD_ID·(unique·build·ID·bitstring)»   ····Build·ID:·c6f4654417a8ab67e674e3120983499f518841d6
⊟
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·39343365·65336436·32346438·33306466·943ee3d624d830df 
3 ··0x00000010·37353565·39626465·32633036·33616635·755e9bde2c063af52 ··0x00000000·66343635·34343137·61386162·36376536·f4654417a8ab67e6
 3 ··0x00000010·37346533·31323039·38333439·39663531·74e3120983499f51
4 ··0x00000020·30333638·62632e64·65627567·00000000·0368bc.debug....4 ··0x00000020·38383431·64362e64·65627567·00000000·8841d6.debug....
5 ··0x00000030·c50900dd····························....5 ··0x00000030·0eb693f8····························....
  
⊟
39.8 MB
cvc5-dbgsym_1.1.2-2_i386.deb
⊟
367 B
file list
    
Offset 1, 3 lines modifiedOffset 1, 3 lines modified
1 -rw-r--r--···0········0········0········4·2024-03-19·00:06:23.000000·debian-binary1 -rw-r--r--···0········0········0········4·2024-03-19·00:06:23.000000·debian-binary
2 -rw-r--r--···0········0········0······528·2024-03-19·00:06:23.000000·control.tar.xz2 -rw-r--r--···0········0········0······528·2024-03-19·00:06:23.000000·control.tar.xz
3 -rw-r--r--···0········0········0··1886352·2024-03-19·00:06:23.000000·data.tar.xz3 -rw-r--r--···0········0········0··1886384·2024-03-19·00:06:23.000000·data.tar.xz
⊟
651 B
control.tar.xz
⊟
623 B
control.tar
⊟
375 B
./control
    
Offset 5, 8 lines modifiedOffset 5, 8 lines modified
5 Architecture:·i3865 Architecture:·i386
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:·20997 Installed-Size:·2099
8 Depends:·cvc5·(=·1.1.2-2)8 Depends:·cvc5·(=·1.1.2-2)
9 Section:·debug9 Section:·debug
10 Priority:·optional10 Priority:·optional
11 Description:·debug·symbols·for·cvc511 Description:·debug·symbols·for·cvc5
12 Build-Ids:·771642141a53eedfae9f3d7a4aa76f2d48de816712 Build-Ids:·c76f08f614673dc0b93badd3a0108a760e27e259
⊟
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/77/1642141a53eedfae9f3d7a4aa76f2d48de8167.debug1 usr/lib/debug/.build-id/c7/6f08f614673dc0b93badd3a0108a760e27e259.debug
⊟
39.8 MB
data.tar.xz
⊟
39.8 MB
data.tar
⊟
1.37 KB
file list
    
Offset 1, 10 lines modifiedOffset 1, 10 lines modified
1 drwxr-xr-x···0·root·········(0)·root·········(0)········0·2024-03-19·00:06:23.000000·./1 drwxr-xr-x···0·root·········(0)·root·········(0)········0·2024-03-19·00:06:23.000000·./
2 drwxr-xr-x···0·root·········(0)·root·········(0)········0·2024-03-19·00:06:23.000000·./usr/2 drwxr-xr-x···0·root·········(0)·root·········(0)········0·2024-03-19·00:06:23.000000·./usr/
3 drwxr-xr-x···0·root·········(0)·root·········(0)········0·2024-03-19·00:06:23.000000·./usr/lib/3 drwxr-xr-x···0·root·········(0)·root·········(0)········0·2024-03-19·00:06:23.000000·./usr/lib/
4 drwxr-xr-x···0·root·········(0)·root·········(0)········0·2024-03-19·00:06:23.000000·./usr/lib/debug/4 drwxr-xr-x···0·root·········(0)·root·········(0)········0·2024-03-19·00:06:23.000000·./usr/lib/debug/
5 drwxr-xr-x···0·root·········(0)·root·········(0)········0·2024-03-19·00:06:23.000000·./usr/lib/debug/.build-id/5 drwxr-xr-x···0·root·········(0)·root·········(0)········0·2024-03-19·00:06:23.000000·./usr/lib/debug/.build-id/
6 drwxr-xr-x···0·root·········(0)·root·········(0)········0·2024-03-19·00:06:23.000000·./usr/lib/debug/.build-id/77/6 drwxr-xr-x···0·root·········(0)·root·········(0)········0·2024-03-19·00:06:23.000000·./usr/lib/debug/.build-id/c7/
7 -rw-r--r--···0·root·········(0)·root·········(0)··2138452·2024-03-19·00:06:23.000000·./usr/lib/debug/.build-id/77/1642141a53eedfae9f3d7a4aa76f2d48de8167.debug7 -rw-r--r--···0·root·········(0)·root·········(0)··2138432·2024-03-19·00:06:23.000000·./usr/lib/debug/.build-id/c7/6f08f614673dc0b93badd3a0108a760e27e259.debug
8 drwxr-xr-x···0·root·········(0)·root·········(0)········0·2024-03-19·00:06:23.000000·./usr/share/8 drwxr-xr-x···0·root·········(0)·root·········(0)········0·2024-03-19·00:06:23.000000·./usr/share/
9 drwxr-xr-x···0·root·········(0)·root·········(0)········0·2024-03-19·00:06:23.000000·./usr/share/doc/9 drwxr-xr-x···0·root·········(0)·root·········(0)········0·2024-03-19·00:06:23.000000·./usr/share/doc/
10 lrwxrwxrwx···0·root·········(0)·root·········(0)········0·2024-03-19·00:06:23.000000·./usr/share/doc/cvc5-dbgsym·->·cvc510 lrwxrwxrwx···0·root·········(0)·root·········(0)········0·2024-03-19·00:06:23.000000·./usr/share/doc/cvc5-dbgsym·->·cvc5
⊟
39.8 MB
./usr/lib/debug/.build-id/77/1642141a53eedfae9f3d7a4aa76f2d48de8167.debug vs.
./usr/lib/debug/.build-id/c7/6f08f614673dc0b93badd3a0108a760e27e259.debug
File has been modified after NT_GNU_BUILD_ID has been applied. Files 73% similar despite different names
⊟
974 B
readelf --wide --file-header {}
error from `readelf --wide --file-header {}`: readelf: Error: Unable to find program interpreter name
    
Offset 6, 15 lines modifiedOffset 6, 15 lines modified
6 ··OS/ABI:····························UNIX·-·System·V6 ··OS/ABI:····························UNIX·-·System·V
7 ··ABI·Version:·······················07 ··ABI·Version:·······················0
8 ··Type:······························DYN·(Shared·object·file)8 ··Type:······························DYN·(Shared·object·file)
9 ··Machine:···························Intel·803869 ··Machine:···························Intel·80386
10 ··Version:···························0x110 ··Version:···························0x1
11 ··Entry·point·address:···············0x13e8011 ··Entry·point·address:···············0x13e80
12 ··Start·of·program·headers:··········52·(bytes·into·file)12 ··Start·of·program·headers:··········52·(bytes·into·file)
13 ··Start·of·section·headers:··········2136852·(bytes·into·file)13 ··Start·of·section·headers:··········2136832·(bytes·into·file)
14 ··Flags:·····························0x014 ··Flags:·····························0x0
15 ··Size·of·this·header:···············52·(bytes)15 ··Size·of·this·header:···············52·(bytes)
16 ··Size·of·program·headers:···········32·(bytes)16 ··Size·of·program·headers:···········32·(bytes)
17 ··Number·of·program·headers:·········1217 ··Number·of·program·headers:·········12
18 ··Size·of·section·headers:···········40·(bytes)18 ··Size·of·section·headers:···········40·(bytes)
19 ··Number·of·section·headers:·········4019 ··Number·of·section·headers:·········40
20 ··Section·header·string·table·index:·3920 ··Section·header·string·table·index:·39
⊟
3.3 KB
readelf --wide --sections {}
error from `readelf --wide --sections {}`: readelf: Error: Unable to find program interpreter name
    
Offset 1, 8 lines modifiedOffset 1, 8 lines modified
1 There·are·40·section·headers,·starting·at·offset·0x209b14:1 There·are·40·section·headers,·starting·at·offset·0x209b00:
  
2 Section·Headers:2 Section·Headers:
3 ··[Nr]·Name··············Type············Addr·····Off····Size···ES·Flg·Lk·Inf·Al3 ··[Nr]·Name··············Type············Addr·····Off····Size···ES·Flg·Lk·Inf·Al
4 ··[·0]···················NULL············00000000·000000·000000·00······0···0··04 ··[·0]···················NULL············00000000·000000·000000·00······0···0··0
5 ··[·1]·.note.gnu.build-id·NOTE············000001b4·0001b4·000024·00···A··0···0··45 ··[·1]·.note.gnu.build-id·NOTE············000001b4·0001b4·000024·00···A··0···0··4
6 ··[·2]·.interp···········NOBITS··········000001d8·0001d8·000013·00···A··0···0··16 ··[·2]·.interp···········NOBITS··········000001d8·0001d8·000013·00···A··0···0··1
7 ··[·3]·.gnu.hash·········NOBITS··········000001ec·0001d8·000064·04···A··4···0··47 ··[·3]·.gnu.hash·········NOBITS··········000001ec·0001d8·000064·04···A··4···0··4
Offset 27, 23 lines modifiedOffset 27, 23 lines modified
27 ··[22]·.data.rel.ro······NOBITS··········0006cb34·021b20·0000a8·00··WA··0···0··427 ··[22]·.data.rel.ro······NOBITS··········0006cb34·021b20·0000a8·00··WA··0···0··4
28 ··[23]·.dynamic··········NOBITS··········0006cbdc·021b20·000120·08··WA··5···0··428 ··[23]·.dynamic··········NOBITS··········0006cbdc·021b20·000120·08··WA··5···0··4
29 ··[24]·.got··············NOBITS··········0006ccfc·021b20·000304·04··WA··0···0··429 ··[24]·.got··············NOBITS··········0006ccfc·021b20·000304·04··WA··0···0··4
30 ··[25]·.data·············NOBITS··········0006d000·021b20·0030c0·00··WA··0···0·3230 ··[25]·.data·············NOBITS··········0006d000·021b20·0030c0·00··WA··0···0·32
31 ··[26]·.bss··············NOBITS··········000700c0·021b20·0000ac·00··WA··0···0··431 ··[26]·.bss··············NOBITS··········000700c0·021b20·0000ac·00··WA··0···0··4
32 ··[27]·.comment··········PROGBITS········00000000·0218dc·00001f·01··MS··0···0··132 ··[27]·.comment··········PROGBITS········00000000·0218dc·00001f·01··MS··0···0··1
33 ··[28]·.debug_aranges····PROGBITS········00000000·0218fc·0001b4·00···C··0···0··433 ··[28]·.debug_aranges····PROGBITS········00000000·0218fc·0001b4·00···C··0···0··4
34 ··[29]·.debug_info·······PROGBITS········00000000·021ab0·151dd6·00···C··0···0··434 ··[29]·.debug_info·······PROGBITS········00000000·021ab0·151dbc·00···C··0···0··4
35 ··[30]·.debug_abbrev·····PROGBITS········00000000·173888·0033bc·00···C··0···0··435 ··[30]·.debug_abbrev·····PROGBITS········00000000·17386c·0033bc·00···C··0···0··4
36 ··[31]·.debug_line·······PROGBITS········00000000·176c44·011642·00···C··0···0··436 ··[31]·.debug_line·······PROGBITS········00000000·176c28·011642·00···C··0···0··4
37 ··[32]·.debug_str········PROGBITS········00000000·188288·02ed20·01·MSC··0···0··437 ··[32]·.debug_str········PROGBITS········00000000·18826c·02ed21·01·MSC··0···0··4
38 ··[33]·.debug_line_str···PROGBITS········00000000·1b6fa8·0007bd·01·MSC··0···0··438 ··[33]·.debug_line_str···PROGBITS········00000000·1b6f90·0007bd·01·MSC··0···0··4
39 ··[34]·.debug_loclists···PROGBITS········00000000·1b7768·0330db·00···C··0···0··439 ··[34]·.debug_loclists···PROGBITS········00000000·1b7750·0330db·00···C··0···0··4
40 ··[35]·.debug_macro······PROGBITS········00000000·1ea844·009dfa·00···C··0···0··440 ··[35]·.debug_macro······PROGBITS········00000000·1ea82c·009e00·00···C··0···0··4
41 ··[36]·.debug_rnglists···PROGBITS········00000000·1f4640·00aeea·00···C··0···0··441 ··[36]·.debug_rnglists···PROGBITS········00000000·1f462c·00aeea·00···C··0···0··4
42 ··[37]·.symtab···········SYMTAB··········00000000·1ff52c·0049b0·10·····38·860··442 ··[37]·.symtab···········SYMTAB··········00000000·1ff518·0049b0·10·····38·860··4
43 ··[38]·.strtab···········STRTAB··········00000000·203edc·005aa0·00······0···0··143 ··[38]·.strtab···········STRTAB··········00000000·203ec8·005aa0·00······0···0··1
44 ··[39]·.shstrtab·········STRTAB··········00000000·20997c·000198·00······0···0··144 ··[39]·.shstrtab·········STRTAB··········00000000·209968·000198·00······0···0··1
45 Key·to·Flags:45 Key·to·Flags:
46 ··W·(write),·A·(alloc),·X·(execute),·M·(merge),·S·(strings),·I·(info),46 ··W·(write),·A·(alloc),·X·(execute),·M·(merge),·S·(strings),·I·(info),
47 ··L·(link·order),·O·(extra·OS·processing·required),·G·(group),·T·(TLS),47 ··L·(link·order),·O·(extra·OS·processing·required),·G·(group),·T·(TLS),
48 ··C·(compressed),·x·(unknown),·o·(OS·specific),·E·(exclude),48 ··C·(compressed),·x·(unknown),·o·(OS·specific),·E·(exclude),
49 ··D·(mbind),·p·(processor·specific)49 ··D·(mbind),·p·(processor·specific)
⊟
709 B
readelf --wide --notes {}
error from `readelf --wide --notes {}`: readelf: Error: Unable to find program interpreter name
    
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:·771642141a53eedfae9f3d7a4aa76f2d48de81673 ··GNU··················0x00000014»  NT_GNU_BUILD_ID·(unique·build·ID·bitstring)»   ····Build·ID:·c76f08f614673dc0b93badd3a0108a760e27e259
  
4 Displaying·notes·found·in:·.note.ABI-tag4 Displaying·notes·found·in:·.note.ABI-tag
5 ··Owner················Data·size·»  Description5 ··Owner················Data·size·»  Description
6 ··GNU··················0x00000010»  NT_GNU_ABI_TAG·(ABI·version·tag)»     ····OS:·Linux,·ABI:·3.2.06 ··GNU··················0x00000010»  NT_GNU_ABI_TAG·(ABI·version·tag)»     ····OS:·Linux,·ABI:·3.2.0
⊟
38.0 MB
readelf --wide --debug-dump=info {}
error from `readelf --wide --debug-dump=info {}`: readelf: Error: Unable to find program interpreter name
    
Offset 8, 83 lines modifiedOffset 8, 83 lines modified
8 ···Pointer·Size:··48 ···Pointer·Size:··4
9 ·<0><c>:·Abbrev·Number:·26·(DW_TAG_partial_unit)9 ·<0><c>:·Abbrev·Number:·26·(DW_TAG_partial_unit)
10 ····<d>···DW_AT_stmt_list···:·(sec_offset)·010 ····<d>···DW_AT_stmt_list···:·(sec_offset)·0
11 ····<11>···DW_AT_comp_dir····:·(line_strp)·(offset:·0x1e):·./obj-i686-linux-gnu/src/main11 ····<11>···DW_AT_comp_dir····:·(line_strp)·(offset:·0x1e):·./obj-i686-linux-gnu/src/main
12 ·<1><15>:·Abbrev·Number:·17·(DW_TAG_base_type)12 ·<1><15>:·Abbrev·Number:·17·(DW_TAG_base_type)
13 ····<16>···DW_AT_byte_size···:·(data1)·813 ····<16>···DW_AT_byte_size···:·(data1)·8
14 ····<17>···DW_AT_encoding····:·(data1)·7»    (unsigned)14 ····<17>···DW_AT_encoding····:·(data1)·7»    (unsigned)
15 ····<18>···DW_AT_name········:·(strp)·(offset:·0x2fa02):·long·long·unsigned·int15 ····<18>···DW_AT_name········:·(strp)·(offset:·0x2f99b):·long·long·unsigned·int
16 ·<1><1c>:·Abbrev·Number:·17·(DW_TAG_base_type)16 ·<1><1c>:·Abbrev·Number:·17·(DW_TAG_base_type)
17 ····<1d>···DW_AT_byte_size···:·(data1)·417 ····<1d>···DW_AT_byte_size···:·(data1)·4
18 ····<1e>···DW_AT_encoding····:·(data1)·7»    (unsigned)18 ····<1e>···DW_AT_encoding····:·(data1)·7»    (unsigned)
19 ····<1f>···DW_AT_name········:·(strp)·(offset:·0x35750):·unsigned·int19 ····<1f>···DW_AT_name········:·(strp)·(offset:·0x356e9):·unsigned·int
20 ·<1><23>:·Abbrev·Number:·17·(DW_TAG_base_type)20 ·<1><23>:·Abbrev·Number:·17·(DW_TAG_base_type)
21 ····<24>···DW_AT_byte_size···:·(data1)·121 ····<24>···DW_AT_byte_size···:·(data1)·1
22 ····<25>···DW_AT_encoding····:·(data1)·8»    (unsigned·char)22 ····<25>···DW_AT_encoding····:·(data1)·8»    (unsigned·char)
23 ····<26>···DW_AT_name········:·(strp)·(offset:·0xa331f):·unsigned·char23 ····<26>···DW_AT_name········:·(strp)·(offset:·0xa3305):·unsigned·char
24 ·<1><2a>:·Abbrev·Number:·17·(DW_TAG_base_type)24 ·<1><2a>:·Abbrev·Number:·17·(DW_TAG_base_type)
25 ····<2b>···DW_AT_byte_size···:·(data1)·225 ····<2b>···DW_AT_byte_size···:·(data1)·2
26 ····<2c>···DW_AT_encoding····:·(data1)·7»    (unsigned)26 ····<2c>···DW_AT_encoding····:·(data1)·7»    (unsigned)
27 ····<2d>···DW_AT_name········:·(strp)·(offset:·0xd88e4):·short·unsigned·int27 ····<2d>···DW_AT_name········:·(strp)·(offset:·0xd88e4):·short·unsigned·int
28 ·<1><31>:·Abbrev·Number:·17·(DW_TAG_base_type)28 ·<1><31>:·Abbrev·Number:·17·(DW_TAG_base_type)
29 ····<32>···DW_AT_byte_size···:·(data1)·429 ····<32>···DW_AT_byte_size···:·(data1)·4
30 ····<33>···DW_AT_encoding····:·(data1)·7»    (unsigned)30 ····<33>···DW_AT_encoding····:·(data1)·7»    (unsigned)
31 ····<34>···DW_AT_name········:·(strp)·(offset:·0x2fa07):·long·unsigned·int31 ····<34>···DW_AT_name········:·(strp)·(offset:·0x2f9a0):·long·unsigned·int
32 ·<1><38>:·Abbrev·Number:·36·(DW_TAG_typedef)32 ·<1><38>:·Abbrev·Number:·36·(DW_TAG_typedef)
33 ····<39>···DW_AT_name········:·(strp)·(offset:·0xb17c):·__int8_t33 ····<39>···DW_AT_name········:·(strp)·(offset:·0xb17c):·__int8_t
34 ····<3d>···DW_AT_decl_file···:·(data1)·3134 ····<3d>···DW_AT_decl_file···:·(data1)·31
35 ····<3e>···DW_AT_decl_line···:·(data1)·3735 ····<3e>···DW_AT_decl_line···:·(data1)·37
36 ····<3f>···DW_AT_decl_column·:·(data1)·2136 ····<3f>···DW_AT_decl_column·:·(data1)·21
37 ····<40>···DW_AT_type········:·(ref_udata)·<0x41>,·signed·char37 ····<40>···DW_AT_type········:·(ref_udata)·<0x41>,·signed·char
38 ·<1><41>:·Abbrev·Number:·17·(DW_TAG_base_type)38 ·<1><41>:·Abbrev·Number:·17·(DW_TAG_base_type)
39 ····<42>···DW_AT_byte_size···:·(data1)·139 ····<42>···DW_AT_byte_size···:·(data1)·1
40 ····<43>···DW_AT_encoding····:·(data1)·6»    (signed·char)40 ····<43>···DW_AT_encoding····:·(data1)·6»    (signed·char)
41 ····<44>···DW_AT_name········:·(strp)·(offset:·0xb28c6):·signed·char41 ····<44>···DW_AT_name········:·(strp)·(offset:·0xb28ac):·signed·char
42 ·<1><48>:·Abbrev·Number:·36·(DW_TAG_typedef)42 ·<1><48>:·Abbrev·Number:·36·(DW_TAG_typedef)
43 ····<49>···DW_AT_name········:·(strp)·(offset:·0x41d90):·__uint8_t43 ····<49>···DW_AT_name········:·(strp)·(offset:·0x41d29):·__uint8_t
44 ····<4d>···DW_AT_decl_file···:·(data1)·3144 ····<4d>···DW_AT_decl_file···:·(data1)·31
45 ····<4e>···DW_AT_decl_line···:·(data1)·3845 ····<4e>···DW_AT_decl_line···:·(data1)·38
46 ····<4f>···DW_AT_decl_column·:·(data1)·2346 ····<4f>···DW_AT_decl_column·:·(data1)·23
47 ····<50>···DW_AT_type········:·(ref_udata)·<0x23>,·unsigned·char47 ····<50>···DW_AT_type········:·(ref_udata)·<0x23>,·unsigned·char
48 ·<1><51>:·Abbrev·Number:·36·(DW_TAG_typedef)48 ·<1><51>:·Abbrev·Number:·36·(DW_TAG_typedef)
49 ····<52>···DW_AT_name········:·(strp)·(offset:·0xb3be6):·__int16_t49 ····<52>···DW_AT_name········:·(strp)·(offset:·0xb3bcc):·__int16_t
50 ····<56>···DW_AT_decl_file···:·(data1)·3150 ····<56>···DW_AT_decl_file···:·(data1)·31
51 ····<57>···DW_AT_decl_line···:·(data1)·3951 ····<57>···DW_AT_decl_line···:·(data1)·39
52 ····<58>···DW_AT_decl_column·:·(data1)·2652 ····<58>···DW_AT_decl_column·:·(data1)·26
53 ····<59>···DW_AT_type········:·(ref_udata)·<0x5a>,·short·int53 ····<59>···DW_AT_type········:·(ref_udata)·<0x5a>,·short·int
54 ·<1><5a>:·Abbrev·Number:·17·(DW_TAG_base_type)54 ·<1><5a>:·Abbrev·Number:·17·(DW_TAG_base_type)
55 ····<5b>···DW_AT_byte_size···:·(data1)·255 ····<5b>···DW_AT_byte_size···:·(data1)·2
56 ····<5c>···DW_AT_encoding····:·(data1)·5»    (signed)56 ····<5c>···DW_AT_encoding····:·(data1)·5»    (signed)
57 ····<5d>···DW_AT_name········:·(strp)·(offset:·0x8ae32):·short·int57 ····<5d>···DW_AT_name········:·(strp)·(offset:·0x8adfc):·short·int
58 ·<1><61>:·Abbrev·Number:·36·(DW_TAG_typedef)58 ·<1><61>:·Abbrev·Number:·36·(DW_TAG_typedef)
59 ····<62>···DW_AT_name········:·(strp)·(offset:·0xb8828):·__uint16_t59 ····<62>···DW_AT_name········:·(strp)·(offset:·0xb880e):·__uint16_t
60 ····<66>···DW_AT_decl_file···:·(data1)·3160 ····<66>···DW_AT_decl_file···:·(data1)·31
61 ····<67>···DW_AT_decl_line···:·(data1)·4061 ····<67>···DW_AT_decl_line···:·(data1)·40
62 ····<68>···DW_AT_decl_column·:·(data1)·2862 ····<68>···DW_AT_decl_column·:·(data1)·28
63 ····<69>···DW_AT_type········:·(ref_udata)·<0x2a>,·short·unsigned·int63 ····<69>···DW_AT_type········:·(ref_udata)·<0x2a>,·short·unsigned·int
64 ·<1><6a>:·Abbrev·Number:·36·(DW_TAG_typedef)64 ·<1><6a>:·Abbrev·Number:·36·(DW_TAG_typedef)
65 ····<6b>···DW_AT_name········:·(strp)·(offset:·0x8ac8b):·__int32_t65 ····<6b>···DW_AT_name········:·(strp)·(offset:·0x8ac55):·__int32_t
66 ····<6f>···DW_AT_decl_file···:·(data1)·3166 ····<6f>···DW_AT_decl_file···:·(data1)·31
67 ····<70>···DW_AT_decl_line···:·(data1)·4167 ····<70>···DW_AT_decl_line···:·(data1)·41
68 ····<71>···DW_AT_decl_column·:·(data1)·2068 ····<71>···DW_AT_decl_column·:·(data1)·20
69 ····<72>···DW_AT_type········:·(ref_udata)·<0x73>,·int69 ····<72>···DW_AT_type········:·(ref_udata)·<0x73>,·int
70 ·<1><73>:·Abbrev·Number:·41·(DW_TAG_base_type)70 ·<1><73>:·Abbrev·Number:·41·(DW_TAG_base_type)
71 ····<74>···DW_AT_byte_size···:·(data1)·471 ····<74>···DW_AT_byte_size···:·(data1)·4
72 ····<75>···DW_AT_encoding····:·(data1)·5»    (signed)72 ····<75>···DW_AT_encoding····:·(data1)·5»    (signed)
73 ····<76>···DW_AT_name········:·(string)·int73 ····<76>···DW_AT_name········:·(string)·int
74 ·<1><7a>:·Abbrev·Number:·31·(DW_TAG_const_type)74 ·<1><7a>:·Abbrev·Number:·31·(DW_TAG_const_type)
75 ····<7b>···DW_AT_type········:·(ref_udata)·<0x73>,·int75 ····<7b>···DW_AT_type········:·(ref_udata)·<0x73>,·int
76 ·<1><7c>:·Abbrev·Number:·36·(DW_TAG_typedef)76 ·<1><7c>:·Abbrev·Number:·36·(DW_TAG_typedef)
77 ····<7d>···DW_AT_name········:·(strp)·(offset:·0x8f69a):·__uint32_t77 ····<7d>···DW_AT_name········:·(strp)·(offset:·0x8f664):·__uint32_t
78 ····<81>···DW_AT_decl_file···:·(data1)·3178 ····<81>···DW_AT_decl_file···:·(data1)·31
79 ····<82>···DW_AT_decl_line···:·(data1)·4279 ····<82>···DW_AT_decl_line···:·(data1)·42
80 ····<83>···DW_AT_decl_column·:·(data1)·2280 ····<83>···DW_AT_decl_column·:·(data1)·22
81 ····<84>···DW_AT_type········:·(ref_udata)·<0x1c>,·unsigned·int81 ····<84>···DW_AT_type········:·(ref_udata)·<0x1c>,·unsigned·int
82 ·<1><85>:·Abbrev·Number:·36·(DW_TAG_typedef)82 ·<1><85>:·Abbrev·Number:·36·(DW_TAG_typedef)
83 ····<86>···DW_AT_name········:·(strp)·(offset:·0x9f9a6):·__int64_t83 ····<86>···DW_AT_name········:·(strp)·(offset:·0x9f98c):·__int64_t
84 ····<8a>···DW_AT_decl_file···:·(data1)·3184 ····<8a>···DW_AT_decl_file···:·(data1)·31
85 ····<8b>···DW_AT_decl_line···:·(data1)·4785 ····<8b>···DW_AT_decl_line···:·(data1)·47
86 ····<8c>···DW_AT_decl_column·:·(data1)·4486 ····<8c>···DW_AT_decl_column·:·(data1)·44
87 ····<8d>···DW_AT_type········:·(ref_udata)·<0x8f>,·long·long·int87 ····<8d>···DW_AT_type········:·(ref_udata)·<0x8f>,·long·long·int
88 ·<1><8f>:·Abbrev·Number:·17·(DW_TAG_base_type)88 ·<1><8f>:·Abbrev·Number:·17·(DW_TAG_base_type)
89 ····<90>···DW_AT_byte_size···:·(data1)·889 ····<90>···DW_AT_byte_size···:·(data1)·8
90 ····<91>···DW_AT_encoding····:·(data1)·5»    (signed)90 ····<91>···DW_AT_encoding····:·(data1)·5»    (signed)
Offset 92, 83 lines modifiedOffset 92, 83 lines modified
92 ·<1><96>:·Abbrev·Number:·36·(DW_TAG_typedef)92 ·<1><96>:·Abbrev·Number:·36·(DW_TAG_typedef)
93 ····<97>···DW_AT_name········:·(strp)·(offset:·0xe82a):·__uint64_t93 ····<97>···DW_AT_name········:·(strp)·(offset:·0xe82a):·__uint64_t
94 ····<9b>···DW_AT_decl_file···:·(data1)·3194 ····<9b>···DW_AT_decl_file···:·(data1)·31
95 ····<9c>···DW_AT_decl_line···:·(data1)·4895 ····<9c>···DW_AT_decl_line···:·(data1)·48
96 ····<9d>···DW_AT_decl_column·:·(data1)·4696 ····<9d>···DW_AT_decl_column·:·(data1)·46
97 ····<9e>···DW_AT_type········:·(ref_udata)·<0x15>,·long·long·unsigned·int97 ····<9e>···DW_AT_type········:·(ref_udata)·<0x15>,·long·long·unsigned·int
98 ·<1><9f>:·Abbrev·Number:·36·(DW_TAG_typedef)98 ·<1><9f>:·Abbrev·Number:·36·(DW_TAG_typedef)
99 ····<a0>···DW_AT_name········:·(strp)·(offset:·0x59ec5):·__int_least8_t99 ····<a0>···DW_AT_name········:·(strp)·(offset:·0x59e8f):·__int_least8_t
100 ····<a4>···DW_AT_decl_file···:·(data1)·31100 ····<a4>···DW_AT_decl_file···:·(data1)·31
101 ····<a5>···DW_AT_decl_line···:·(data1)·52101 ····<a5>···DW_AT_decl_line···:·(data1)·52
102 ····<a6>···DW_AT_decl_column·:·(data1)·18102 ····<a6>···DW_AT_decl_column·:·(data1)·18
103 ····<a7>···DW_AT_type········:·(ref_udata)·<0x38>,·__int8_t,·signed·char103 ····<a7>···DW_AT_type········:·(ref_udata)·<0x38>,·__int8_t,·signed·char
104 ·<1><a8>:·Abbrev·Number:·36·(DW_TAG_typedef)104 ·<1><a8>:·Abbrev·Number:·36·(DW_TAG_typedef)
105 ····<a9>···DW_AT_name········:·(strp)·(offset:·0x6018e):·__uint_least8_t105 ····<a9>···DW_AT_name········:·(strp)·(offset:·0x60158):·__uint_least8_t
106 ····<ad>···DW_AT_decl_file···:·(data1)·31106 ····<ad>···DW_AT_decl_file···:·(data1)·31
107 ····<ae>···DW_AT_decl_line···:·(data1)·53107 ····<ae>···DW_AT_decl_line···:·(data1)·53
108 ····<af>···DW_AT_decl_column·:·(data1)·19108 ····<af>···DW_AT_decl_column·:·(data1)·19
109 ····<b0>···DW_AT_type········:·(ref_udata)·<0x48>,·__uint8_t,·unsigned·char109 ····<b0>···DW_AT_type········:·(ref_udata)·<0x48>,·__uint8_t,·unsigned·char
110 ·<1><b1>:·Abbrev·Number:·36·(DW_TAG_typedef)110 ·<1><b1>:·Abbrev·Number:·36·(DW_TAG_typedef)
111 ····<b2>···DW_AT_name········:·(strp)·(offset:·0x7f922):·__int_least16_t111 ····<b2>···DW_AT_name········:·(strp)·(offset:·0x7f8ec):·__int_least16_t
112 ····<b6>···DW_AT_decl_file···:·(data1)·31112 ····<b6>···DW_AT_decl_file···:·(data1)·31
113 ····<b7>···DW_AT_decl_line···:·(data1)·54113 ····<b7>···DW_AT_decl_line···:·(data1)·54
114 ····<b8>···DW_AT_decl_column·:·(data1)·19114 ····<b8>···DW_AT_decl_column·:·(data1)·19
115 ····<b9>···DW_AT_type········:·(ref_udata)·<0x51>,·__int16_t,·short·int115 ····<b9>···DW_AT_type········:·(ref_udata)·<0x51>,·__int16_t,·short·int
116 ·<1><ba>:·Abbrev·Number:·36·(DW_TAG_typedef)116 ·<1><ba>:·Abbrev·Number:·36·(DW_TAG_typedef)
117 ····<bb>···DW_AT_name········:·(strp)·(offset:·0x10fb4):·__uint_least16_t117 ····<bb>···DW_AT_name········:·(strp)·(offset:·0x10fb4):·__uint_least16_t
118 ····<bf>···DW_AT_decl_file···:·(data1)·31118 ····<bf>···DW_AT_decl_file···:·(data1)·31
119 ····<c0>···DW_AT_decl_line···:·(data1)·55119 ····<c0>···DW_AT_decl_line···:·(data1)·55
120 ····<c1>···DW_AT_decl_column·:·(data1)·20120 ····<c1>···DW_AT_decl_column·:·(data1)·20
121 ····<c2>···DW_AT_type········:·(ref_udata)·<0x61>,·__uint16_t,·short·unsigned·int121 ····<c2>···DW_AT_type········:·(ref_udata)·<0x61>,·__uint16_t,·short·unsigned·int
122 ·<1><c3>:·Abbrev·Number:·36·(DW_TAG_typedef)122 ·<1><c3>:·Abbrev·Number:·36·(DW_TAG_typedef)
123 ····<c4>···DW_AT_name········:·(strp)·(offset:·0x570e7):·__int_least32_t123 ····<c4>···DW_AT_name········:·(strp)·(offset:·0x570b1):·__int_least32_t
124 ····<c8>···DW_AT_decl_file···:·(data1)·31124 ····<c8>···DW_AT_decl_file···:·(data1)·31
125 ····<c9>···DW_AT_decl_line···:·(data1)·56125 ····<c9>···DW_AT_decl_line···:·(data1)·56
126 ····<ca>···DW_AT_decl_column·:·(data1)·19126 ····<ca>···DW_AT_decl_column·:·(data1)·19
127 ····<cb>···DW_AT_type········:·(ref_udata)·<0x6a>,·__int32_t,·int127 ····<cb>···DW_AT_type········:·(ref_udata)·<0x6a>,·__int32_t,·int
128 ·<1><cc>:·Abbrev·Number:·36·(DW_TAG_typedef)128 ·<1><cc>:·Abbrev·Number:·36·(DW_TAG_typedef)
129 ····<cd>···DW_AT_name········:·(strp)·(offset:·0xcad20):·__uint_least32_t129 ····<cd>···DW_AT_name········:·(strp)·(offset:·0xcad06):·__uint_least32_t
130 ····<d1>···DW_AT_decl_file···:·(data1)·31130 ····<d1>···DW_AT_decl_file···:·(data1)·31
131 ····<d2>···DW_AT_decl_line···:·(data1)·57131 ····<d2>···DW_AT_decl_line···:·(data1)·57
132 ····<d3>···DW_AT_decl_column·:·(data1)·20132 ····<d3>···DW_AT_decl_column·:·(data1)·20
133 ····<d4>···DW_AT_type········:·(ref_udata)·<0x7c>,·__uint32_t,·unsigned·int133 ····<d4>···DW_AT_type········:·(ref_udata)·<0x7c>,·__uint32_t,·unsigned·int
134 ·<1><d5>:·Abbrev·Number:·36·(DW_TAG_typedef)134 ·<1><d5>:·Abbrev·Number:·36·(DW_TAG_typedef)
Max diff block lines reached; 39886825/39894894 bytes (99.98%) of diff not shown.
⊟
2.11 KB
readelf --wide --debug-dump=macro {}
error from `readelf --wide --debug-dump=macro {}`: readelf: Error: Unable to find program interpreter name
    
Offset 1694, 16 lines modifiedOffset 1694, 16 lines modified
1694 ·DW_MACRO_define_strp·-·lineno·:·0·macro·:·_GNU_SOURCE·11694 ·DW_MACRO_define_strp·-·lineno·:·0·macro·:·_GNU_SOURCE·1
1695 ·DW_MACRO_define_strp·-·lineno·:·0·macro·:·CVC5_STATISTICS_ON·11695 ·DW_MACRO_define_strp·-·lineno·:·0·macro·:·CVC5_STATISTICS_ON·1
1696 ·DW_MACRO_define_strp·-·lineno·:·0·macro·:·CVC5_USE_CRYPTOMINISAT·11696 ·DW_MACRO_define_strp·-·lineno·:·0·macro·:·CVC5_USE_CRYPTOMINISAT·1
1697 ·DW_MACRO_define_strp·-·lineno·:·0·macro·:·NDEBUG·11697 ·DW_MACRO_define_strp·-·lineno·:·0·macro·:·NDEBUG·1
1698 ·DW_MACRO_define_strp·-·lineno·:·0·macro·:·__BUILDING_CVC5DRIVER·11698 ·DW_MACRO_define_strp·-·lineno·:·0·macro·:·__BUILDING_CVC5DRIVER·1
1699 ·DW_MACRO_define_strp·-·lineno·:·0·macro·:·cvc5_obj_EXPORTS·11699 ·DW_MACRO_define_strp·-·lineno·:·0·macro·:·cvc5_obj_EXPORTS·1
1700 ·DW_MACRO_define_strp·-·lineno·:·0·macro·:·_FORTIFY_SOURCE·21700 ·DW_MACRO_define_strp·-·lineno·:·0·macro·:·_FORTIFY_SOURCE·2
1701 ·DW_MACRO_define_strp·-·lineno·:·0·macro·:·DEB_BUILD_DATE·"2024-03-18"1701 ·DW_MACRO_define_strp·-·lineno·:·0·macro·:·DEB_BUILD_DATE·"2024-03-19"
1702 ·DW_MACRO_define_strp·-·lineno·:·0·macro·:·DEB_BUILD_TIME·"12:06:23"1702 ·DW_MACRO_define_strp·-·lineno·:·0·macro·:·DEB_BUILD_TIME·"14:06:23"
  
1703 ··Offset:······················0x1bb51703 ··Offset:······················0x1bb5
1704 ··Version:·····················51704 ··Version:·····················5
1705 ··Offset·size:·················41705 ··Offset·size:·················4
  
1706 ·DW_MACRO_define_strp·-·lineno·:·19·macro·:·_STDC_PREDEF_H·11706 ·DW_MACRO_define_strp·-·lineno·:·19·macro·:·_STDC_PREDEF_H·1
1707 ·DW_MACRO_define_strp·-·lineno·:·38·macro·:·__STDC_IEC_559__·11707 ·DW_MACRO_define_strp·-·lineno·:·38·macro·:·__STDC_IEC_559__·1
Offset 13953, 16 lines modifiedOffset 13953, 16 lines modified
13953 ·DW_MACRO_define_strp·-·lineno·:·0·macro·:·_GNU_SOURCE·113953 ·DW_MACRO_define_strp·-·lineno·:·0·macro·:·_GNU_SOURCE·1
13954 ·DW_MACRO_define_strp·-·lineno·:·0·macro·:·CVC5_STATISTICS_ON·113954 ·DW_MACRO_define_strp·-·lineno·:·0·macro·:·CVC5_STATISTICS_ON·1
13955 ·DW_MACRO_define_strp·-·lineno·:·0·macro·:·CVC5_USE_CRYPTOMINISAT·113955 ·DW_MACRO_define_strp·-·lineno·:·0·macro·:·CVC5_USE_CRYPTOMINISAT·1
13956 ·DW_MACRO_define_strp·-·lineno·:·0·macro·:·NDEBUG·113956 ·DW_MACRO_define_strp·-·lineno·:·0·macro·:·NDEBUG·1
13957 ·DW_MACRO_define_strp·-·lineno·:·0·macro·:·__BUILDING_CVC5DRIVER·113957 ·DW_MACRO_define_strp·-·lineno·:·0·macro·:·__BUILDING_CVC5DRIVER·1
13958 ·DW_MACRO_define_strp·-·lineno·:·0·macro·:·cvc5_obj_EXPORTS·113958 ·DW_MACRO_define_strp·-·lineno·:·0·macro·:·cvc5_obj_EXPORTS·1
13959 ·DW_MACRO_define_strp·-·lineno·:·0·macro·:·_FORTIFY_SOURCE·213959 ·DW_MACRO_define_strp·-·lineno·:·0·macro·:·_FORTIFY_SOURCE·2
13960 ·DW_MACRO_define_strp·-·lineno·:·0·macro·:·DEB_BUILD_DATE·"2024-03-18"13960 ·DW_MACRO_define_strp·-·lineno·:·0·macro·:·DEB_BUILD_DATE·"2024-03-19"
13961 ·DW_MACRO_define_strp·-·lineno·:·0·macro·:·DEB_BUILD_TIME·"12:06:23"13961 ·DW_MACRO_define_strp·-·lineno·:·0·macro·:·DEB_BUILD_TIME·"14:06:23"
  
13962 ··Offset:······················0x12e1513962 ··Offset:······················0x12e15
13963 ··Version:·····················513963 ··Version:·····················5
13964 ··Offset·size:·················413964 ··Offset·size:·················4
  
13965 ·DW_MACRO_define_strp·-·lineno·:·35·macro·:·RLIMIT_CPU·RLIMIT_CPU13965 ·DW_MACRO_define_strp·-·lineno·:·35·macro·:·RLIMIT_CPU·RLIMIT_CPU
13966 ·DW_MACRO_define_strp·-·lineno·:·39·macro·:·RLIMIT_FSIZE·RLIMIT_FSIZE13966 ·DW_MACRO_define_strp·-·lineno·:·39·macro·:·RLIMIT_FSIZE·RLIMIT_FSIZE
⊟
8.39 KB
strings --all --bytes=8 {}
    
Offset 1, 343 lines modifiedOffset 1, 328 lines modified
1 GCC:·(Debian·14.2.0-11)·14.2.01 GCC:·(Debian·14.2.0-11)·14.2.0
2 /-EY·mDY( 
3 :fp·o6r5 
4 v*1l5oukU 
5 ]%hR:Jgj 
6 g33lBLCBlu 
7 2!bxnTw"Do7=l 
8 eBDsFX1d 
9 )FP.6-F! 
10 "Eh.»   Q}UY!P 
11 #Jp.Um5l 
12 ~k'\p.-' 
13 "Zo3}V$C 
14 tdm(lxT@d 
15 >'zy4sPvy 
16 2XK~nndX! 
17 t0Og&f>Kp 
18 arX#):k8 
19 Zxp»    hKwO 
20 m1N?R<ho 
21 50i9csS} 
22 xT^jxM-I 
23 Dx7_UwT4 
24 d3YYg[Zi 
25 \!|_Jm@p 
26 <G<LJJ*4 
27 :"p/$P`7 
28 _vA[#qX$ 
29 u5&JM^kEc{ 
30 z9f5NZm8 
31 3pt,[MjW 
32 #KM·{$\F 
33 R<lTbJY| 
34 +)nM@z5a 
35 I(4k=_KE/ 
36 u(V;&YO* 
37 s2]6I?sC 
38 1YzGN]vA 
39 {[{ZViS^ 
40 ky/Uj]gt 
41 @kB?%n/rz't8 
42 !»      j6Q#if 
43 ;A~<-FR» 
44 A»      =2U0925( 
45 )hjE·/ej 
46 h[qs_Sq; 
47 BQ\aCR(. 
48 ;]_>Z"o>]w 
49 tpYgt>{" 
50 s>E7d]» x 
51 DSTO#qe> 
52 w:o!<]W@ 
53 ]Br}Ir}5 
54 3yOQz:~8 
55 -2=5Ta%V{G 
56 tT:&NafD 
57 miT+|i"4 
58 p}DSZYokI 
59 {e1aA6,11s 
60 `XX»    eNu38I 
61 {a)=Nv8( 
62 DM~[tFbh 
63 fB:5CIkO'yXP 
64 VpacQ1.+V& 
65 aB·l3Fm62 
66 CwkTZ}-> 
67 5CG*·g#U 
68 |OFd%)|* 
69 ,@Yc'`/& 
70 X6fl=|T{{ 
71 b~2@2Ok? 
72 #-14G@;T 
73 E]%6:|Eb 
74 ·0[>tp<q5 
75 ezH2FQki 
76 [MS%hjn·z 
77 ^[6NwKp< 
78 uh1.CL[6 
79 >\A^%6%7 
80 zKl>»   $·AW 
81 ·!V=KE-e 
82 %-!L;7H& 
83 GbT]iK;G 
84 Fe.talwT 
85 +vZ#,/2; 
86 dPp"FxBOS 
87 R~_[j<FZ 
88 hO#k^:QO 
89 ,Ie}I*-MQ-A 
90 y>n-B?|:eG 
91 jxbTh9-\Y 
92 ·."M^Xd*k2 fhsvY$0g,
 3 e/eL?BWk0
 4 n39L?>yW
 5 {Y{w-ko[,k
 6 _[JBDgj`
 7 \W!c>S!Z}
 8 <Ch.»   1jzi!P
 9 i·-s::|J!
 10 \iB?k*]i"_i"}
 11 P'hHb.l&
 12 RN0MG,7y
 13 CCJF3`dTc
 14 u/I3vpJnc
 15 `xE8S\Zqe
 16 5|M><7lA
 17 xftWiLJ6
 18 !6{ZLvY3D6
 19 l/GpAZ4vUw
 20 MU"A{Uo#
 21 YeOcXoFZ
 22 L!+fYL^/
 23 >/}(>CGX
 24 j~@eZO6!
 25 QQAAQQAEQQ
 26 m*]+%L~J
 27 |lr)@^),.U
 28 +&j,t-L]+
 29 'u=3(!a3M
 30 |<F}K"pz
 31 yoPkE'a\
 32 2AuY6JPx
 33 [46q3FmF
 34 +7?U8-7|:x
 35 H|HNz$1D
 36 `»      <|3/wav
 37 =Q?@Q9,.GjY
Max diff block lines reached; 6411/8541 bytes (75.06%) of diff not shown.
⊟
1.76 MB
readelf --wide --decompress --string-dump=.debug_str {}
error from `readelf --wide --decompress --string-dump=.debug_str {}`: readelf: Error: Unable to find program interpreter name
    
Offset 1218, 11887 lines modifiedOffset 1218, 11887 lines modified
1218 ··[·13ac2]··_ZNSt6vectorIN4cvc516DatatypeSelectorESaIS1_EE11_S_relocateEPS1_S4_S4_RS2_1218 ··[·13ac2]··_ZNSt6vectorIN4cvc516DatatypeSelectorESaIS1_EE11_S_relocateEPS1_S4_S4_RS2_
1219 ··[·13b0d]··_ZNKSt6vectorIN4cvc54TermESaIS1_EE4backEv1219 ··[·13b0d]··_ZNKSt6vectorIN4cvc54TermESaIS1_EE4backEv
1220 ··[·13b37]··_ZNKSt8_Rb_treeIN4cvc54TermESt4pairIKS1_NSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEEESt10_Select1stISA_ESt4lessIS1_ESaISA_EE6rbeginEv1220 ··[·13b37]··_ZNKSt8_Rb_treeIN4cvc54TermESt4pairIKS1_NSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEEESt10_Select1stISA_ESt4lessIS1_ESaISA_EE6rbeginEv
1221 ··[·13bc5]··_S_eofbit1221 ··[·13bc5]··_S_eofbit
1222 ··[·13bcf]··_ZNSt6locale5_ImplC4Ej1222 ··[·13bcf]··_ZNSt6locale5_ImplC4Ej
1223 ··[·13be6]··unique_ptr<cvc5::internal::options::HolderARITH,·std::default_delete<cvc5::internal::options::HolderARITH>·>1223 ··[·13be6]··unique_ptr<cvc5::internal::options::HolderARITH,·std::default_delete<cvc5::internal::options::HolderARITH>·>
Diff chunk too large, falling back to line-by-line diff (11873 lines added, 11873 lines removed)
1224 ··[·13c53]··tmpfile1224 ··[·13c53]··tmpfile
1225 ··[·13c5b]··__isleap(year)·((year)·%·4·==·0·&&·((year)·%·100·!=·0·||·(year)·%·400·==·0))1225 ··[·13c5b]··_ZNK4cvc519DatatypeConstructor7getTermEv
1226 ··[·13ca8]··_ZNK4cvc519DatatypeConstructor7getTermEv1226 ··[·13c84]··_ZNSt11_Tuple_implILj0EJPN4cvc56parser11InputParserESt14default_deleteIS2_EEEC4ERKS3_RKS5_
1227 ··[·13cd1]··_ZNSt11_Tuple_implILj0EJPN4cvc56parser11InputParserESt14default_deleteIS2_EEEC4ERKS3_RKS5_1227 ··[·13cdf]··_M_copy
1228 ··[·13d2c]··_M_copy1228 ··[·13ce7]··Warning·(!cvc5::internal::WarningChannel.isOn())·?·cvc5::internal::nullStream·:·cvc5::internal::WarningChannel
1229 ··[·13d34]··Warning·(!cvc5::internal::WarningChannel.isOn())·?·cvc5::internal::nullStream·:·cvc5::internal::WarningChannel1229 ··[·13d56]··_ZNSt16allocator_traitsISaINSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEEEE37select_on_container_copy_constructionERKS6_
1230 ··[·13da3]··_ZNSt16allocator_traitsISaINSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEEEE37select_on_container_copy_constructionERKS6_1230 ··[·13dd5]··SAT_UNKNOWN
1231 ··[·13e22]··SAT_UNKNOWN1231 ··[·13de1]··_ZNK4cvc54SortgeERKS0_
1232 ··[·13e2e]··_ZNK4cvc54SortgeERKS0_1232 ··[·13df8]··_ZNSt15__uniq_ptr_implIN4cvc58internal7options8HolderBVESt14default_deleteIS3_EE7releaseEv
1233 ··[·13e45]··_ZNSt15__uniq_ptr_implIN4cvc58internal7options8HolderBVESt14default_deleteIS3_EE7releaseEv1233 ··[·13e53]··_ZNSt5tupleIJPN4cvc58internal7options12HolderTHEORYESt14default_deleteIS3_EEEC4EOS7_
1234 ··[·13ea0]··_ZNSt5tupleIJPN4cvc58internal7options12HolderTHEORYESt14default_deleteIS3_EEEC4EOS7_1234 ··[·13ea8]··_GLIBCXX_DEPRECATED_PAIR_CTOR·__attribute__·((__deprecated__·("use·'nullptr'·instead·of·'0'·to·"·"initialize·std::pair·of·move-only·"·"type·and·pointer")))
1235 ··[·13ef5]··_GLIBCXX_DEPRECATED_PAIR_CTOR·__attribute__·((__deprecated__·("use·'nullptr'·instead·of·'0'·to·"·"initialize·std::pair·of·move-only·"·"type·and·pointer")))1235 ··[·13f44]··_ZNSt15__uniq_ptr_implIN4cvc58internal6RandomESt14default_deleteIS2_EEC4EPS2_
1236 ··[·13f91]··_ZNSt15__uniq_ptr_implIN4cvc58internal6RandomESt14default_deleteIS2_EEC4EPS2_1236 ··[·13f92]··STRING_TO_LOWER
1237 ··[·13fdf]··STRING_TO_LOWER1237 ··[·13fa2]··__glibcxx_want_destroying_delete
1238 ··[·13fef]··__glibcxx_want_destroying_delete1238 ··[·13fc3]··_ZNSt10_Head_baseILj1ESt14default_deleteIN4cvc58internal3smt14ContextManagerEELb1EE7_M_headERS6_
1239 ··[·14010]··_ZNSt10_Head_baseILj1ESt14default_deleteIN4cvc58internal3smt14ContextManagerEELb1EE7_M_headERS6_1239 ··[·14024]··ESRMNT·69
1240 ··[·14071]··ESRMNT·691240 ··[·1402e]··_ZNK4cvc56Solver6mkTrueEv
1241 ··[·1407b]··_ZNK4cvc56Solver6mkTrueEv1241 ··[·14048]··_ZNSt15__new_allocatorISt4pairINSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEEjEE8allocateEjPKv
1242 ··[·14095]··_ZNSt15__new_allocatorISt4pairINSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEEjEE8allocateEjPKv1242 ··[·140ad]··_ZNKSt10unique_ptrIN4cvc58internal7options12HolderTHEORYESt14default_deleteIS3_EEptEv
1243 ··[·140fa]··_ZNKSt10unique_ptrIN4cvc58internal7options12HolderTHEORYESt14default_deleteIS3_EEptEv1243 ··[·14103]··_GLIBCXX_ASAN_ANNOTATE_GREW
1244 ··[·14150]··_GLIBCXX_ASAN_ANNOTATE_GREW1244 ··[·1411f]··_ZNOSt8optionalIyEdeEv
1245 ··[·1416c]··_ZNOSt8optionalIyEdeEv1245 ··[·14136]··_GLIBCXX17_INLINE·inline
1246 ··[·14183]··_GLIBCXX17_INLINE·inline1246 ··[·1414f]··_SC_XOPEN_SHM·_SC_XOPEN_SHM
1247 ··[·1419c]··_SC_XOPEN_SHM·_SC_XOPEN_SHM1247 ··[·1416b]··REGEXP_LOOP
1248 ··[·141b8]··REGEXP_LOOP1248 ··[·14177]··_ZNSt15__uniq_ptr_dataIN4cvc58internal3smt17SolverEngineStateESt14default_deleteIS3_ELb1ELb1EEaSEOS6_
1249 ··[·141c4]··_ZNSt15__uniq_ptr_dataIN4cvc58internal3smt17SolverEngineStateESt14default_deleteIS3_ELb1ELb1EEaSEOS6_1249 ··[·141dd]··__FLT64X_DECIMAL_DIG__·21
1250 ··[·1422a]··__FLT64X_DECIMAL_DIG__·211250 ··[·141f7]··_ZNSt6locale5_Impl21_M_replace_categoriesEPKS0_i
1251 ··[·14244]··_ZNSt6locale5_Impl21_M_replace_categoriesEPKS0_i1251 ··[·14228]··_ZNKSt10unique_ptrIN4cvc58internal7options12HolderARRAYSESt14default_deleteIS3_EEptEv
1252 ··[·14275]··_ZNKSt10unique_ptrIN4cvc58internal7options12HolderARRAYSESt14default_deleteIS3_EEptEv1252 ··[·1427e]··_ZNK4cvc54Sort16isDatatypeTesterEv
1253 ··[·142cb]··_ZNK4cvc54Sort16isDatatypeTesterEv1253 ··[·142a1]··MATCH_CASE
1254 ··[·142ee]··MATCH_CASE1254 ··[·142ac]··_ZNKSt15__new_allocatorImE7addressERm
1255 ··[·142f9]··_ZNKSt15__new_allocatorImE7addressERm1255 ··[·142d2]··__get<2,·std::variant<cvc5::OptionInfo::VoidInfo,·cvc5::OptionInfo::ValueInfo<bool>,·cvc5::OptionInfo::ValueInfo<std::__cxx11::basic_string<char,·std::char_traits<char>,·std::allocator<char>·>·>,·cvc5::OptionInfo::NumberInfo<long·long·int>,·cvc5::Opti[·...·truncated·by·diffoscope;·len:·111,·SHA:·cbec37367996213fcb960f594a3f33543e2704f7c9f129e331d752a17326309e·...·]
1256 ··[·1431f]··__get<2,·std::variant<cvc5::OptionInfo::VoidInfo,·cvc5::OptionInfo::ValueInfo<bool>,·cvc5::OptionInfo::ValueInfo<std::__cxx11::basic_string<char,·std::char_traits<char>,·std::allocator<char>·>·>,·cvc5::OptionInfo::NumberInfo<long·long·int>,·cvc5::Opt[·...·truncated·by·diffoscope;·len:·112,·SHA:·c2e6db95b9b2b69121e9e02235e1cf1b958552d1be08bb9c1994345a0a0a35f8·...·]1256 ··[·1443d]··_GLIBCXX_HAVE_UNLINKAT·1
1257 ··[·1448a]··_GLIBCXX_HAVE_UNLINKAT·11257 ··[·14456]··CONST_BITVECTOR
1258 ··[·144a3]··CONST_BITVECTOR1258 ··[·14466]··putwchar
1259 ··[·144b3]··putwchar1259 ··[·1446f]··_ZNSt11_Tuple_implILj0EJPN4cvc58internal3smt17SolverEngineStateESt14default_deleteIS3_EEE7_M_headERKS7_
1260 ··[·144bc]··_ZNSt11_Tuple_implILj0EJPN4cvc58internal3smt17SolverEngineStateESt14default_deleteIS3_EEE7_M_headERKS7_1260 ··[·144d7]··_ZNSt10_Head_baseILj0EPN4cvc58internal7options14HolderBOOLEANSELb0EEC4EOS5_
1261 ··[·14524]··_ZNSt10_Head_baseILj0EPN4cvc58internal7options14HolderBOOLEANSELb0EEC4EOS5_1261 ··[·14523]··__normal_iterator<cvc5::main::PortfolioConfig*,·std::vector<cvc5::main::PortfolioConfig,·std::allocator<cvc5::main::PortfolioConfig>·>·>
1262 ··[·14570]··__normal_iterator<cvc5::main::PortfolioConfig*,·std::vector<cvc5::main::PortfolioConfig,·std::allocator<cvc5::main::PortfolioConfig>·>·>1262 ··[·145ac]··BITVECTOR_UADDO
1263 ··[·145f9]··BITVECTOR_UADDO1263 ··[·145bc]··SEQ_REPLACE_ALL
1264 ··[·14609]··SEQ_REPLACE_ALL1264 ··[·145cc]··__STD_TYPE
1265 ··[·14619]··__STD_TYPE1265 ··[·145d7]··_LARGEFILE_SOURCE·1
1266 ··[·14624]··_LARGEFILE_SOURCE·11266 ··[·145eb]··__SC_THREAD_STACK_MIN_VALUE·75
1267 ··[·14638]··__SC_THREAD_STACK_MIN_VALUE·751267 ··[·1460a]··_ZNKSt7__cxx1112basic_stringIwSt11char_traitsIwESaIwEE6cbeginEv
1268 ··[·14657]··_ZNKSt7__cxx1112basic_stringIwSt11char_traitsIwESaIwEE6cbeginEv1268 ··[·1464a]··ENOLINK·67
1269 ··[·14697]··ENOLINK·671269 ··[·14655]··_ZNKSt10unique_ptrIN4cvc58internal3smt11CheckModelsESt14default_deleteIS3_EEptEv
1270 ··[·146a2]··_ZNKSt10unique_ptrIN4cvc58internal3smt11CheckModelsESt14default_deleteIS3_EEptEv1270 ··[·146a6]··_ZNKOSt8optionalIdEdeEv
1271 ··[·146f3]··_ZNKOSt8optionalIdEdeEv1271 ··[·146be]··_ZN9__gnu_cxx14__alloc_traitsISaIN4cvc54main15PortfolioConfigEES3_E20_S_propagate_on_swapEv
1272 ··[·1470b]··_ZN9__gnu_cxx14__alloc_traitsISaIN4cvc54main15PortfolioConfigEES3_E20_S_propagate_on_swapEv1272 ··[·1471a]··__add_lvalue_reference_helper<cvc5::internal::options::HolderQUANTIFIERS,·void>
1273 ··[·14767]··__add_lvalue_reference_helper<cvc5::internal::options::HolderQUANTIFIERS,·void>1273 ··[·1476a]··_ZNSt14_Optional_baseIxLb1ELb1EEaSEOS0_
1274 ··[·147b7]··_ZNSt14_Optional_baseIxLb1ELb1EEaSEOS0_1274 ··[·14792]··_ZNK4cvc56Solver15declareSygusVarERKNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEERKNS_4SortE
1275 ··[·147df]··_ZNK4cvc56Solver15declareSygusVarERKNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEERKNS_4SortE1275 ··[·147f6]··_ZNK4cvc516DatatypeSelector7getTermEv
1276 ··[·14843]··_ZNK4cvc516DatatypeSelector7getTermEv1276 ··[·1481c]··_ZNSt15__uniq_ptr_implIN4cvc513APIStatisticsESt14default_deleteIS1_EE4swapERS4_
1277 ··[·14869]··_ZNSt15__uniq_ptr_implIN4cvc513APIStatisticsESt14default_deleteIS1_EE4swapERS4_1277 ··[·1486c]··_ZNKSt3setISt4pairINSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEEjESt4lessIS7_ESaIS7_EE11upper_boundERKS7_
1278 ··[·148b9]··_ZNKSt3setISt4pairINSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEEjESt4lessIS7_ESaIS7_EE11upper_boundERKS7_1278 ··[·148dd]··__is_single_threaded
1279 ··[·1492a]··__is_single_threaded1279 ··[·148f2]··_Tuple_impl<1,·std::default_delete<cvc5::internal::options::HolderBOOLEANS>·>
1280 ··[·1493f]··_Tuple_impl<1,·std::default_delete<cvc5::internal::options::HolderBOOLEANS>·>1280 ··[·14940]··_ZNSt5tupleIJPN4cvc58internal3smt9SmtSolverESt14default_deleteIS3_EEEC4ERKS7_
1281 ··[·1498d]··_ZNSt5tupleIJPN4cvc58internal3smt9SmtSolverESt14default_deleteIS3_EEEC4ERKS7_1281 ··[·1498e]··_ZNSt15__uniq_ptr_implIN4cvc58internal12SolverEngineESt14default_deleteIS2_EE5resetEPS2_
1282 ··[·149db]··_ZNSt15__uniq_ptr_implIN4cvc58internal12SolverEngineESt14default_deleteIS2_EE5resetEPS2_1282 ··[·149e7]··_ZNSt8_Rb_treeISt4pairINSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEEjES7_St9_IdentityIS7_ESt4lessIS7_ESaIS7_EE8_M_beginEv
1283 ··[·14a34]··_ZNSt8_Rb_treeISt4pairINSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEEjES7_St9_IdentityIS7_ESt4lessIS7_ESaIS7_EE8_M_beginEv1283 ··[·14a68]··_GLIBCXX_USE_TMPNAM·1
1284 ··[·14ab5]··_GLIBCXX_USE_TMPNAM·11284 ··[·14a7e]··allocator_type
1285 ··[·14acb]··allocator_type1285 ··[·14a8d]··getUnsatCore
1286 ··[·14ada]··getUnsatCore1286 ··[·14a9a]··_ZNSt14default_deleteIN4cvc56parser13SymbolManagerEEC4Ev
1287 ··[·14ae7]··_ZNSt14default_deleteIN4cvc56parser13SymbolManagerEEC4Ev1287 ··[·14ad3]··_ZNKSt10unique_ptrIN4cvc58internal3smt17SolverEngineStateESt14default_deleteIS3_EEdeEv
1288 ··[·14b20]··_ZNKSt10unique_ptrIN4cvc58internal3smt17SolverEngineStateESt14default_deleteIS3_EEdeEv1288 ··[·14b2a]··_ZNK4cvc58internal8WarningC9getStreamEv
1289 ··[·14b77]··_ZNK4cvc58internal8WarningC9getStreamEv1289 ··[·14b52]··_ZNSt10unique_ptrIN4cvc58internal7options14OptionsHandlerESt14default_deleteIS3_EE4swapERS6_
1290 ··[·14b9f]··_ZNSt10unique_ptrIN4cvc58internal7options14OptionsHandlerESt14default_deleteIS3_EE4swapERS6_1290 ··[·14baf]··default_delete<cvc5::internal::options::HolderSEP>
1291 ··[·14bfc]··default_delete<cvc5::internal::options::HolderSEP>1291 ··[·14be2]··unique_ptr<cvc5::main::CommandExecutor,·std::default_delete<cvc5::main::CommandExecutor>·>
1292 ··[·14c2f]··unique_ptr<cvc5::main::CommandExecutor,·std::default_delete<cvc5::main::CommandExecutor>·>1292 ··[·14c3d]··unique_ptr<cvc5::internal::smt::ResourceOutListener,·std::default_delete<cvc5::internal::smt::ResourceOutListener>·>
1293 ··[·14c8a]··unique_ptr<cvc5::internal::smt::ResourceOutListener,·std::default_delete<cvc5::internal::smt::ResourceOutListener>·>1293 ··[·14cb2]··__glibcxx_want_three_way_comparison
1294 ··[·14cff]··__glibcxx_want_three_way_comparison1294 ··[·14cd6]··_Construct
1295 ··[·14d23]··_Construct1295 ··[·14ce1]··_ZN4cvc54Term14const_iteratorppEi
1296 ··[·14d2e]··_ZN4cvc54Term14const_iteratorppEi1296 ··[·14d03]··wctype_t
1297 ··[·14d50]··wctype_t1297 ··[·14d0c]··isExpert
1298 ··[·14d59]··isExpert1298 ··[·14d15]··_ZNSt10unique_ptrIN4cvc54main15CommandExecutorESt14default_deleteIS2_EED4Ev
1299 ··[·14d62]··_ZNSt10unique_ptrIN4cvc54main15CommandExecutorESt14default_deleteIS2_EED4Ev1299 ··[·14d61]··_GLIBCXX_USE_C99_INTTYPES·1
1300 ··[·14dae]··_GLIBCXX_USE_C99_INTTYPES·11300 ··[·14d7d]··_ZNSt12__shared_ptrIN4cvc58internal5DTypeELN9__gnu_cxx12_Lock_policyE2EE4swapERS5_
1301 ··[·14dca]··_ZNSt12__shared_ptrIN4cvc58internal5DTypeELN9__gnu_cxx12_Lock_policyE2EE4swapERS5_1301 ··[·14dd0]··_ZN4cvc54Term14const_iteratorppEv
1302 ··[·14e1d]··_ZN4cvc54Term14const_iteratorppEv1302 ··[·14df2]··_ZNSt3mapINSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEEN4cvc54StatESt4lessIS5_ESaISt4pairIKS5_S7_EEE5eraseERSB_
1303 ··[·14e3f]··_ZNSt3mapINSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEEN4cvc54StatESt4lessIS5_ESaISt4pairIKS5_S7_EEE5eraseERSB_1303 ··[·14e69]··_ZNSt15__new_allocatorIN4cvc523DatatypeConstructorDeclEED4Ev
1304 ··[·14eb6]··_ZNSt15__new_allocatorIN4cvc523DatatypeConstructorDeclEED4Ev1304 ··[·14ea6]··_ZNKSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEE12find_last_ofEPKcjj
1305 ··[·14ef3]··_ZNKSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEE12find_last_ofEPKcjj1305 ··[·14ef1]··_Ptr<cvc5::internal::options::HolderSEP,·std::default_delete<cvc5::internal::options::HolderSEP>,·void>
1306 ··[·14f3e]··_Ptr<cvc5::internal::options::HolderSEP,·std::default_delete<cvc5::internal::options::HolderSEP>,·void>1306 ··[·14f59]··value_compare
1307 ··[·14fa6]··value_compare1307 ··[·14f67]··_ZN4cvc58internal12SolverEngine6getEnvEv
1308 ··[·14fb4]··_ZN4cvc58internal12SolverEngine6getEnvEv1308 ··[·14f90]··_ZNSt10_Head_baseILj0EPN4cvc54Stat8StatDataELb0EEC4Ev
1309 ··[·14fdd]··_ZNSt10_Head_baseILj0EPN4cvc54Stat8StatDataELb0EEC4Ev1309 ··[·14fc6]··_ZNSt12_Vector_baseIjSaIjEEC4Ej
1310 ··[·15013]··_ZNSt12_Vector_baseIjSaIjEEC4Ej1310 ··[·14fe6]··_SC_XBS5_LP64_OFF64·_SC_XBS5_LP64_OFF64
1311 ··[·15033]··_SC_XBS5_LP64_OFF64·_SC_XBS5_LP64_OFF641311 ··[·1500e]··_ZNSt4pairISt23_Rb_tree_const_iteratorIS_INSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEEjEEbEaSEOS9_
1312 ··[·1505b]··_ZNSt4pairISt23_Rb_tree_const_iteratorIS_INSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEEjEEbEaSEOS9_1312 ··[·15079]··xsputn
1313 ··[·150c6]··xsputn1313 ··[·15080]··_ZNSt6vectorIN4cvc54TermESaIS1_EE18_M_fill_initializeEjRKS1_
1314 ··[·150cd]··_ZNSt6vectorIN4cvc54TermESaIS1_EE18_M_fill_initializeEjRKS1_1314 ··[·150bd]··__uniq_ptr_impl<cvc5::internal::options::HolderPRINTER,·std::default_delete<cvc5::internal::options::HolderPRINTER>·>
1315 ··[·1510a]··__uniq_ptr_impl<cvc5::internal::options::HolderPRINTER,·std::default_delete<cvc5::internal::options::HolderPRINTER>·>1315 ··[·15133]··_ZNSt12_Vector_baseIN4cvc54main15PortfolioConfigESaIS2_EE17_Vector_impl_dataC4Ev
1316 ··[·15180]··_ZNSt12_Vector_baseIN4cvc54main15PortfolioConfigESaIS2_EE17_Vector_impl_dataC4Ev1316 ··[·15184]··_ZNSt12__shared_ptrIN4cvc56parser3CmdELN9__gnu_cxx12_Lock_policyE2EEC4ERKSt10__weak_ptrIS2_LS4_2EESt9nothrow_t
1317 ··[·151d1]··_ZNSt12__shared_ptrIN4cvc56parser3CmdELN9__gnu_cxx12_Lock_policyE2EEC4ERKSt10__weak_ptrIS2_LS4_2EESt9nothrow_t1317 ··[·151f3]··_ZNKSt12_Node_handleISt4pairINSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEEjES7_SaISt13_Rb_tree_nodeIS7_EEE6_M_keyEv
1318 ··[·15240]··_ZNKSt12_Node_handleISt4pairINSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEEjES7_SaISt13_Rb_tree_nodeIS7_EEE6_M_keyEv1318 ··[·1526e]··_ZNSt10_Head_baseILj0EPN4cvc58internal7options9HolderSMTELb0EEC4ERKS4_
1319 ··[·152bb]··_ZNSt10_Head_baseILj0EPN4cvc58internal7options9HolderSMTELb0EEC4ERKS4_1319 ··[·152b5]··_ZNSt12_Vector_baseIN4cvc516DatatypeSelectorESaIS1_EE12_Vector_implC4EOS2_OS4_
1320 ··[·15302]··_ZNSt12_Vector_baseIN4cvc516DatatypeSelectorESaIS1_EE12_Vector_implC4EOS2_OS4_1320 ··[·15304]··__new_allocator<bool>
1321 ··[·15351]··__new_allocator<bool>1321 ··[·1531a]··__GLIBC_USE_LIB_EXT2·1
1322 ··[·15367]··__GLIBC_USE_LIB_EXT2·11322 ··[·15331]··writeSmt
1323 ··[·1537e]··writeSmt1323 ··[·1533a]··_ZNSt15__uniq_ptr_implIN4cvc54main15CommandExecutorESt14default_deleteIS2_EEC4EOS5_
1324 ··[·15387]··_ZNSt15__uniq_ptr_implIN4cvc54main15CommandExecutorESt14default_deleteIS2_EEC4EOS5_1324 ··[·1538e]··crend
1325 ··[·153db]··crend1325 ··[·15394]··_ZN4cvc58internal12SolverEngine16checkSatInternalERKSt6vectorINS0_12NodeTemplateILb1EEESaIS4_EE
1326 ··[·153e1]··_ZN4cvc58internal12SolverEngine16checkSatInternalERKSt6vectorINS0_12NodeTemplateILb1EEESaIS4_EE1326 ··[·153f4]··_STRINGFWD_H·1
1327 ··[·15441]··_STRINGFWD_H·11327 ··[·15403]··appendIncrementalStringInput
1328 ··[·15450]··appendIncrementalStringInput1328 ··[·15420]··_ZNKSt6vectorIN4cvc54main15PortfolioConfigESaIS2_EE6rbeginEv
1329 ··[·1546d]··_ZNKSt6vectorIN4cvc54main15PortfolioConfigESaIS2_EE6rbeginEv1329 ··[·1545d]··ProofFormat
1330 ··[·154aa]··ProofFormat1330 ··[·15469]··checkSatAssuming
1331 ··[·154b6]··checkSatAssuming1331 ··[·1547a]··_ZNSt16allocator_traitsISaIN4cvc523DatatypeConstructorDeclEEE10deallocateERS2_PS1_j
1332 ··[·154c7]··_ZNSt16allocator_traitsISaIN4cvc523DatatypeConstructorDeclEEE10deallocateERS2_PS1_j1332 ··[·154ce]··_ZN4cvc58internal12SolverEngine21getStatisticsRegistryEv
1333 ··[·1551b]··_ZN4cvc58internal12SolverEngine21getStatisticsRegistryEv1333 ··[·15507]··~Proof
1334 ··[·15554]··~Proof1334 ··[·1550e]··_ZNK9__gnu_cxx17__normal_iteratorIPKNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEESt6vectorIS6_SaIS6_EEEmiEi
1335 ··[·1555b]··_ZNK9__gnu_cxx17__normal_iteratorIPKNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEESt6vectorIS6_SaIS6_EEEmiEi1335 ··[·15581]··_ZNKSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEE7compareERKS4_
1336 ··[·155ce]··_ZNKSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEE7compareERKS4_1336 ··[·155c6]··_ZNSt11_Tuple_implILj1EJSt14default_deleteIN4cvc58internal3smt17SolverEngineStateEEEEC4ERKS6_
1337 ··[·15613]··_ZNSt11_Tuple_implILj1EJSt14default_deleteIN4cvc58internal3smt17SolverEngineStateEEEEC4ERKS6_1337 ··[·15624]··__cpp_lib_is_invocable·201703L
1338 ··[·15671]··__cpp_lib_is_invocable·201703L1338 ··[·15643]··ARITH_MULT_TANGENT
1339 ··[·15690]··ARITH_MULT_TANGENT1339 ··[·15656]··ATOMIC_CHAR_LOCK_FREE·__GCC_ATOMIC_CHAR_LOCK_FREE
1340 ··[·156a3]··ATOMIC_CHAR_LOCK_FREE·__GCC_ATOMIC_CHAR_LOCK_FREE1340 ··[·15688]··_ZNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEC4EOS4_
1341 ··[·156d5]··_ZNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEC4EOS4_1341 ··[·156c5]··_ZNSoD2Ev
1342 ··[·15712]··_ZNSoD2Ev1342 ··[·156cf]··__glibcxx_want_bitops
1343 ··[·1571c]··__glibcxx_want_bitops1343 ··[·156e5]··_M_swap
Max diff block lines reached; 400/1842378 bytes (0.02%) of diff not shown.
⊟
24.9 MB
libcvc5-1-dbgsym_1.1.2-2_i386.deb
⊟
454 B
file list
    
Offset 1, 3 lines modifiedOffset 1, 3 lines modified
1 -rw-r--r--···0········0········0········4·2024-03-19·00:06:23.000000·debian-binary1 -rw-r--r--···0········0········0········4·2024-03-19·00:06:23.000000·debian-binary
2 -rw-r--r--···0········0········0······556·2024-03-19·00:06:23.000000·control.tar.xz2 -rw-r--r--···0········0········0······552·2024-03-19·00:06:23.000000·control.tar.xz
3 -rw-r--r--···0········0········0·179349436·2024-03-19·00:06:23.000000·data.tar.xz3 -rw-r--r--···0········0········0·179345784·2024-03-19·00:06:23.000000·data.tar.xz
⊟
801 B
control.tar.xz
⊟
773 B
control.tar
⊟
525 B
./control
    
Offset 1, 13 lines modifiedOffset 1, 13 lines modified
1 Package:·libcvc5-1-dbgsym1 Package:·libcvc5-1-dbgsym
2 Source:·cvc52 Source:·cvc5
3 Version:·1.1.2-23 Version:·1.1.2-2
4 Auto-Built-Package:·debug-symbols4 Auto-Built-Package:·debug-symbols
5 Architecture:·i3865 Architecture:·i386
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:·1787997 Installed-Size:·178798
8 Depends:·libcvc5-1·(=·1.1.2-2)8 Depends:·libcvc5-1·(=·1.1.2-2)
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:·052818b8e7e18d9101749e25c4d37c6a22ca28f213 Build-Ids:·b467fad368f7da39027780e39d5cd4b001b1fe29
⊟
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/05/2818b8e7e18d9101749e25c4d37c6a22ca28f2.debug1 usr/lib/debug/.build-id/b4/67fad368f7da39027780e39d5cd4b001b1fe29.debug
⊟
24.9 MB
data.tar.xz
⊟
24.9 MB
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·2024-03-19·00:06:23.000000·./1 drwxr-xr-x···0·root·········(0)·root·········(0)········0·2024-03-19·00:06:23.000000·./
2 drwxr-xr-x···0·root·········(0)·root·········(0)········0·2024-03-19·00:06:23.000000·./usr/2 drwxr-xr-x···0·root·········(0)·root·········(0)········0·2024-03-19·00:06:23.000000·./usr/
3 drwxr-xr-x···0·root·········(0)·root·········(0)········0·2024-03-19·00:06:23.000000·./usr/lib/3 drwxr-xr-x···0·root·········(0)·root·········(0)········0·2024-03-19·00:06:23.000000·./usr/lib/
4 drwxr-xr-x···0·root·········(0)·root·········(0)········0·2024-03-19·00:06:23.000000·./usr/lib/debug/4 drwxr-xr-x···0·root·········(0)·root·········(0)········0·2024-03-19·00:06:23.000000·./usr/lib/debug/
5 drwxr-xr-x···0·root·········(0)·root·········(0)········0·2024-03-19·00:06:23.000000·./usr/lib/debug/.build-id/5 drwxr-xr-x···0·root·········(0)·root·········(0)········0·2024-03-19·00:06:23.000000·./usr/lib/debug/.build-id/
6 drwxr-xr-x···0·root·········(0)·root·········(0)········0·2024-03-19·00:06:23.000000·./usr/lib/debug/.build-id/05/6 drwxr-xr-x···0·root·········(0)·root·········(0)········0·2024-03-19·00:06:23.000000·./usr/lib/debug/.build-id/b4/
7 -rw-r--r--···0·root·········(0)·root·········(0)·183079460·2024-03-19·00:06:23.000000·./usr/lib/debug/.build-id/05/2818b8e7e18d9101749e25c4d37c6a22ca28f2.debug7 -rw-r--r--···0·root·········(0)·root·········(0)·183078592·2024-03-19·00:06:23.000000·./usr/lib/debug/.build-id/b4/67fad368f7da39027780e39d5cd4b001b1fe29.debug
8 drwxr-xr-x···0·root·········(0)·root·········(0)········0·2024-03-19·00:06:23.000000·./usr/share/8 drwxr-xr-x···0·root·········(0)·root·········(0)········0·2024-03-19·00:06:23.000000·./usr/share/
9 drwxr-xr-x···0·root·········(0)·root·········(0)········0·2024-03-19·00:06:23.000000·./usr/share/doc/9 drwxr-xr-x···0·root·········(0)·root·········(0)········0·2024-03-19·00:06:23.000000·./usr/share/doc/
10 lrwxrwxrwx···0·root·········(0)·root·········(0)········0·2024-03-19·00:06:23.000000·./usr/share/doc/libcvc5-1-dbgsym·->·libcvc5-110 lrwxrwxrwx···0·root·········(0)·root·········(0)········0·2024-03-19·00:06:23.000000·./usr/share/doc/libcvc5-1-dbgsym·->·libcvc5-1
⊟
24.9 MB
./usr/lib/debug/.build-id/05/2818b8e7e18d9101749e25c4d37c6a22ca28f2.debug vs.
./usr/lib/debug/.build-id/b4/67fad368f7da39027780e39d5cd4b001b1fe29.debug
Timeout exceeded; details may be incomplete. File has been modified after NT_GNU_BUILD_ID has been applied. Files 96% similar despite different names
⊟
869 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:···························Intel·803869 ··Machine:···························Intel·80386
10 ··Version:···························0x110 ··Version:···························0x1
11 ··Entry·point·address:···············0x011 ··Entry·point·address:···············0x0
12 ··Start·of·program·headers:··········52·(bytes·into·file)12 ··Start·of·program·headers:··········52·(bytes·into·file)
13 ··Start·of·section·headers:··········183077860·(bytes·into·file)13 ··Start·of·section·headers:··········183076992·(bytes·into·file)
14 ··Flags:·····························0x014 ··Flags:·····························0x0
15 ··Size·of·this·header:···············52·(bytes)15 ··Size·of·this·header:···············52·(bytes)
16 ··Size·of·program·headers:···········32·(bytes)16 ··Size·of·program·headers:···········32·(bytes)
17 ··Number·of·program·headers:·········1017 ··Number·of·program·headers:·········10
18 ··Size·of·section·headers:···········40·(bytes)18 ··Size·of·section·headers:···········40·(bytes)
19 ··Number·of·section·headers:·········4019 ··Number·of·section·headers:·········40
20 ··Section·header·string·table·index:·3920 ··Section·header·string·table·index:·39
⊟
3.24 KB
readelf --wide --sections {}
    
Offset 1, 8 lines modifiedOffset 1, 8 lines modified
1 There·are·40·section·headers,·starting·at·offset·0xae98be4:1 There·are·40·section·headers,·starting·at·offset·0xae98880:
  
2 Section·Headers:2 Section·Headers:
3 ··[Nr]·Name··············Type············Addr·····Off····Size···ES·Flg·Lk·Inf·Al3 ··[Nr]·Name··············Type············Addr·····Off····Size···ES·Flg·Lk·Inf·Al
4 ··[·0]···················NULL············00000000·000000·000000·00······0···0··04 ··[·0]···················NULL············00000000·000000·000000·00······0···0··0
5 ··[·1]·.note.gnu.build-id·NOTE············00000174·000174·000024·00···A··0···0··45 ··[·1]·.note.gnu.build-id·NOTE············00000174·000174·000024·00···A··0···0··4
6 ··[·2]·.gnu.hash·········NOBITS··········00000198·000198·004d04·04···A··3···0··46 ··[·2]·.gnu.hash·········NOBITS··········00000198·000198·004d04·04···A··3···0··4
7 ··[·3]·.dynsym···········NOBITS··········00004e9c·000198·00aa00·10···A··4···1··47 ··[·3]·.dynsym···········NOBITS··········00004e9c·000198·00aa00·10···A··4···1··4
Offset 27, 23 lines modifiedOffset 27, 23 lines modified
27 ··[22]·.data.rel.ro······NOBITS··········01a0ffc0·0006b0·00a0e8·00··WA··0···0·3227 ··[22]·.data.rel.ro······NOBITS··········01a0ffc0·0006b0·00a0e8·00··WA··0···0·32
28 ··[23]·.dynamic··········NOBITS··········01a1a0a8·0006b0·000128·08··WA··4···0··428 ··[23]·.dynamic··········NOBITS··········01a1a0a8·0006b0·000128·08··WA··4···0··4
29 ··[24]·.got··············NOBITS··········01a1a1d0·0006b0·001e20·04··WA··0···0··429 ··[24]·.got··············NOBITS··········01a1a1d0·0006b0·001e20·04··WA··0···0··4
30 ··[25]·.data·············NOBITS··········01a1c000·0006b0·004690·00··WA··0···0·3230 ··[25]·.data·············NOBITS··········01a1c000·0006b0·004690·00··WA··0···0·32
31 ··[26]·.bss··············NOBITS··········01a206a0·0006b0·001580·00··WA··0···0·3231 ··[26]·.bss··············NOBITS··········01a206a0·0006b0·001580·00··WA··0···0·32
32 ··[27]·.comment··········PROGBITS········00000000·000198·00001f·01··MS··0···0··132 ··[27]·.comment··········PROGBITS········00000000·000198·00001f·01··MS··0···0··1
33 ··[28]·.debug_aranges····PROGBITS········00000000·0001b8·00ca3e·00···C··0···0··433 ··[28]·.debug_aranges····PROGBITS········00000000·0001b8·00ca3e·00···C··0···0··4
34 ··[29]·.debug_info·······PROGBITS········00000000·00cbf8·859e681·00···C··0···0··434 ··[29]·.debug_info·······PROGBITS········00000000·00cbf8·859e299·00···C··0···0··4
35 ··[30]·.debug_abbrev·····PROGBITS········00000000·85ab27c·0d9458·00···C··0···0··435 ··[30]·.debug_abbrev·····PROGBITS········00000000·85aae94·0d9458·00···C··0···0··4
36 ··[31]·.debug_line·······PROGBITS········00000000·86846d4·8e9134·00···C··0···0··436 ··[31]·.debug_line·······PROGBITS········00000000·86842ec·8e9134·00···C··0···0··4
37 ··[32]·.debug_str········PROGBITS········00000000·8f6d808·3d8580·01·MSC··0···0··437 ··[32]·.debug_str········PROGBITS········00000000·8f6d420·3d857d·01·MSC··0···0··4
38 ··[33]·.debug_line_str···PROGBITS········00000000·9345d88·00289b·01·MSC··0···0··438 ··[33]·.debug_line_str···PROGBITS········00000000·93459a0·00289b·01·MSC··0···0··4
39 ··[34]·.debug_loclists···PROGBITS········00000000·9348624·10ee048·00···C··0···0··439 ··[34]·.debug_loclists···PROGBITS········00000000·934823c·10ee04a·00···C··0···0··4
40 ··[35]·.debug_macro······PROGBITS········00000000·a43666c·1623b4·00···C··0···0··440 ··[35]·.debug_macro······PROGBITS········00000000·a436288·162432·00···C··0···0··4
41 ··[36]·.debug_rnglists···PROGBITS········00000000·a598a20·5aa721·00···C··0···0··441 ··[36]·.debug_rnglists···PROGBITS········00000000·a5986bc·5aa721·00···C··0···0··4
42 ··[37]·.symtab···········SYMTAB··········00000000·ab43144·0a2e70·10·····38·38984··442 ··[37]·.symtab···········SYMTAB··········00000000·ab42de0·0a2e70·10·····38·38984··4
43 ··[38]·.strtab···········STRTAB··········00000000·abe5fb4·2b2aa0·00······0···0··143 ··[38]·.strtab···········STRTAB··········00000000·abe5c50·2b2aa0·00······0···0··1
44 ··[39]·.shstrtab·········STRTAB··········00000000·ae98a54·00018f·00······0···0··144 ··[39]·.shstrtab·········STRTAB··········00000000·ae986f0·00018f·00······0···0··1
45 Key·to·Flags:45 Key·to·Flags:
46 ··W·(write),·A·(alloc),·X·(execute),·M·(merge),·S·(strings),·I·(info),46 ··W·(write),·A·(alloc),·X·(execute),·M·(merge),·S·(strings),·I·(info),
47 ··L·(link·order),·O·(extra·OS·processing·required),·G·(group),·T·(TLS),47 ··L·(link·order),·O·(extra·OS·processing·required),·G·(group),·T·(TLS),
48 ··C·(compressed),·x·(unknown),·o·(OS·specific),·E·(exclude),48 ··C·(compressed),·x·(unknown),·o·(OS·specific),·E·(exclude),
49 ··R·(retain),·D·(mbind),·p·(processor·specific)49 ··R·(retain),·D·(mbind),·p·(processor·specific)
⊟
430 B
readelf --wide --notes {}
    
Offset 1, 4 lines modifiedOffset 1, 4 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:·052818b8e7e18d9101749e25c4d37c6a22ca28f23 ··GNU··················0x00000014»  NT_GNU_BUILD_ID·(unique·build·ID·bitstring)»   ····Build·ID:·b467fad368f7da39027780e39d5cd4b001b1fe29
⊟
24.3 MB
readelf --wide --debug-dump=info {}
    
Offset 24, 35 lines modifiedOffset 24, 35 lines modified
24 ·<1><2a>:·Abbrev·Number:·95·(DW_TAG_base_type)24 ·<1><2a>:·Abbrev·Number:·95·(DW_TAG_base_type)
25 ····<2b>···DW_AT_byte_size···:·(data1)·125 ····<2b>···DW_AT_byte_size···:·(data1)·1
26 ····<2c>···DW_AT_encoding····:·(data1)·8»    (unsigned·char)26 ····<2c>···DW_AT_encoding····:·(data1)·8»    (unsigned·char)
27 ····<2d>···DW_AT_name········:·(strp)·(offset:·0x1a70b):·unsigned·char27 ····<2d>···DW_AT_name········:·(strp)·(offset:·0x1a70b):·unsigned·char
28 ·<1><31>:·Abbrev·Number:·95·(DW_TAG_base_type)28 ·<1><31>:·Abbrev·Number:·95·(DW_TAG_base_type)
29 ····<32>···DW_AT_byte_size···:·(data1)·229 ····<32>···DW_AT_byte_size···:·(data1)·2
30 ····<33>···DW_AT_encoding····:·(data1)·7»    (unsigned)30 ····<33>···DW_AT_encoding····:·(data1)·7»    (unsigned)
31 ····<34>···DW_AT_name········:·(strp)·(offset:·0x12105):·short·unsigned·int31 ····<34>···DW_AT_name········:·(strp)·(offset:·0x1211f):·short·unsigned·int
32 ·<1><38>:·Abbrev·Number:·95·(DW_TAG_base_type)32 ·<1><38>:·Abbrev·Number:·95·(DW_TAG_base_type)
33 ····<39>···DW_AT_byte_size···:·(data1)·433 ····<39>···DW_AT_byte_size···:·(data1)·4
34 ····<3a>···DW_AT_encoding····:·(data1)·7»    (unsigned)34 ····<3a>···DW_AT_encoding····:·(data1)·7»    (unsigned)
35 ····<3b>···DW_AT_name········:·(strp)·(offset:·0x1372d):·long·unsigned·int35 ····<3b>···DW_AT_name········:·(strp)·(offset:·0x13747):·long·unsigned·int
36 ·<1><3f>:·Abbrev·Number:·95·(DW_TAG_base_type)36 ·<1><3f>:·Abbrev·Number:·95·(DW_TAG_base_type)
37 ····<40>···DW_AT_byte_size···:·(data1)·137 ····<40>···DW_AT_byte_size···:·(data1)·1
38 ····<41>···DW_AT_encoding····:·(data1)·6»    (signed·char)38 ····<41>···DW_AT_encoding····:·(data1)·6»    (signed·char)
39 ····<42>···DW_AT_name········:·(strp)·(offset:·0x1bb08):·signed·char39 ····<42>···DW_AT_name········:·(strp)·(offset:·0x1bb08):·signed·char
40 ·<1><46>:·Abbrev·Number:·95·(DW_TAG_base_type)40 ·<1><46>:·Abbrev·Number:·95·(DW_TAG_base_type)
41 ····<47>···DW_AT_byte_size···:·(data1)·241 ····<47>···DW_AT_byte_size···:·(data1)·2
42 ····<48>···DW_AT_encoding····:·(data1)·5»    (signed)42 ····<48>···DW_AT_encoding····:·(data1)·5»    (signed)
43 ····<49>···DW_AT_name········:·(strp)·(offset:·0x1d7ad):·short·int43 ····<49>···DW_AT_name········:·(strp)·(offset:·0x1d7ad):·short·int
44 ·<1><4d>:·Abbrev·Number:·95·(DW_TAG_base_type)44 ·<1><4d>:·Abbrev·Number:·95·(DW_TAG_base_type)
45 ····<4e>···DW_AT_byte_size···:·(data1)·845 ····<4e>···DW_AT_byte_size···:·(data1)·8
46 ····<4f>···DW_AT_encoding····:·(data1)·7»    (unsigned)46 ····<4f>···DW_AT_encoding····:·(data1)·7»    (unsigned)
47 ····<50>···DW_AT_name········:·(strp)·(offset:·0x13728):·long·long·unsigned·int47 ····<50>···DW_AT_name········:·(strp)·(offset:·0x13742):·long·long·unsigned·int
48 ·<1><54>:·Abbrev·Number:·95·(DW_TAG_base_type)48 ·<1><54>:·Abbrev·Number:·95·(DW_TAG_base_type)
49 ····<55>···DW_AT_byte_size···:·(data1)·449 ····<55>···DW_AT_byte_size···:·(data1)·4
50 ····<56>···DW_AT_encoding····:·(data1)·5»    (signed)50 ····<56>···DW_AT_encoding····:·(data1)·5»    (signed)
51 ····<57>···DW_AT_name········:·(strp)·(offset:·0x178bb):·long·int51 ····<57>···DW_AT_name········:·(strp)·(offset:·0x178d5):·long·int
52 ·<1><5b>:·Abbrev·Number:·95·(DW_TAG_base_type)52 ·<1><5b>:·Abbrev·Number:·95·(DW_TAG_base_type)
53 ····<5c>···DW_AT_byte_size···:·(data1)·153 ····<5c>···DW_AT_byte_size···:·(data1)·1
54 ····<5d>···DW_AT_encoding····:·(data1)·6»    (signed·char)54 ····<5d>···DW_AT_encoding····:·(data1)·6»    (signed·char)
55 ····<5e>···DW_AT_name········:·(strp)·(offset:·0x1bb0f):·char55 ····<5e>···DW_AT_name········:·(strp)·(offset:·0x1bb0f):·char
56 ·<1><62>:·Abbrev·Number:·056 ·<1><62>:·Abbrev·Number:·0
57 ··Compilation·Unit·@·offset·0x63:57 ··Compilation·Unit·@·offset·0x63:
58 ···Length:········0x20·(32-bit)58 ···Length:········0x20·(32-bit)
Offset 142, 15 lines modifiedOffset 142, 15 lines modified
142 ····<107>···DW_AT_decl_file···:·(implicit_const)·20142 ····<107>···DW_AT_decl_file···:·(implicit_const)·20
143 ····<107>···DW_AT_decl_line···:·(data2)·427143 ····<107>···DW_AT_decl_line···:·(data2)·427
144 ····<109>···DW_AT_decl_column·:·(data1)·15144 ····<109>···DW_AT_decl_column·:·(data1)·15
145 ····<10a>···DW_AT_type········:·(ref_addr)·<0x78>,·long·double145 ····<10a>···DW_AT_type········:·(ref_addr)·<0x78>,·long·double
146 ····<10e>···DW_AT_alignment···:·(data1)·4146 ····<10e>···DW_AT_alignment···:·(data1)·4
147 ····<10f>···DW_AT_data_member_location:·(data1)·8147 ····<10f>···DW_AT_data_member_location:·(data1)·8
148 ·<2><110>:·Abbrev·Number:·5·(DW_TAG_member)148 ·<2><110>:·Abbrev·Number:·5·(DW_TAG_member)
149 ····<111>···DW_AT_name········:·(strp)·(offset:·0xf7eb):·__max_align_f128149 ····<111>···DW_AT_name········:·(strp)·(offset:·0xf805):·__max_align_f128
150 ····<115>···DW_AT_decl_file···:·(implicit_const)·20150 ····<115>···DW_AT_decl_file···:·(implicit_const)·20
151 ····<115>···DW_AT_decl_line···:·(data2)·434151 ····<115>···DW_AT_decl_line···:·(data2)·434
152 ····<117>···DW_AT_decl_column·:·(data1)·14152 ····<117>···DW_AT_decl_column·:·(data1)·14
153 ····<118>···DW_AT_type········:·(ref_addr)·<0x7f>,·__float128153 ····<118>···DW_AT_type········:·(ref_addr)·<0x7f>,·__float128
154 ····<11c>···DW_AT_alignment···:·(data1)·16154 ····<11c>···DW_AT_alignment···:·(data1)·16
155 ····<11d>···DW_AT_data_member_location:·(data1)·32155 ····<11d>···DW_AT_data_member_location:·(data1)·32
156 ·<2><11e>:·Abbrev·Number:·0156 ·<2><11e>:·Abbrev·Number:·0
Offset 770, 15 lines modifiedOffset 770, 15 lines modified
770 ····<41b>···DW_AT_decl_column·:·(data1)·11770 ····<41b>···DW_AT_decl_column·:·(data1)·11
771 ····<41c>···DW_AT_import······:·(ref_udata)·<0x11f>»   [Abbrev·Number:·35·(DW_TAG_typedef)]771 ····<41c>···DW_AT_import······:·(ref_udata)·<0x11f>»   [Abbrev·Number:·35·(DW_TAG_typedef)]
772 ·<2><41d>:·Abbrev·Number:·0772 ·<2><41d>:·Abbrev·Number:·0
773 ·<1><41e>:·Abbrev·Number:·11·(DW_TAG_pointer_type)773 ·<1><41e>:·Abbrev·Number:·11·(DW_TAG_pointer_type)
774 ····<41f>···DW_AT_byte_size···:·(implicit_const)·4774 ····<41f>···DW_AT_byte_size···:·(implicit_const)·4
775 ····<41f>···DW_AT_type········:·(ref_udata)·<0x152>,·char775 ····<41f>···DW_AT_type········:·(ref_udata)·<0x152>,·char
776 ·<1><421>:·Abbrev·Number:·28·(DW_TAG_typedef)776 ·<1><421>:·Abbrev·Number:·28·(DW_TAG_typedef)
777 ····<422>···DW_AT_name········:·(strp)·(offset:·0x1718b):·wint_t777 ····<422>···DW_AT_name········:·(strp)·(offset:·0x171a5):·wint_t
778 ····<426>···DW_AT_decl_file···:·(data1)·64778 ····<426>···DW_AT_decl_file···:·(data1)·64
779 ····<427>···DW_AT_decl_line···:·(data1)·20779 ····<427>···DW_AT_decl_line···:·(data1)·20
780 ····<428>···DW_AT_decl_column·:·(data1)·23780 ····<428>···DW_AT_decl_column·:·(data1)·23
781 ····<429>···DW_AT_type········:·(ref_addr)·<0x1c>,·unsigned·int781 ····<429>···DW_AT_type········:·(ref_addr)·<0x1c>,·unsigned·int
782 ·<1><42d>:·Abbrev·Number:·18·(DW_TAG_array_type)782 ·<1><42d>:·Abbrev·Number:·18·(DW_TAG_array_type)
783 ····<42e>···DW_AT_type········:·(ref_addr)·<0x5b>,·char783 ····<42e>···DW_AT_type········:·(ref_addr)·<0x5b>,·char
784 ····<432>···DW_AT_sibling·····:·(ref_udata)·<0x43b>784 ····<432>···DW_AT_sibling·····:·(ref_udata)·<0x43b>
Offset 817, 29 lines modifiedOffset 817, 29 lines modified
817 ····<469>···DW_AT_name········:·(strp)·(offset:·0x1eb13):·_IO_read_end817 ····<469>···DW_AT_name········:·(strp)·(offset:·0x1eb13):·_IO_read_end
818 ····<46d>···DW_AT_decl_file···:·(data1)·68818 ····<46d>···DW_AT_decl_file···:·(data1)·68
819 ····<46e>···DW_AT_decl_line···:·(data1)·55819 ····<46e>···DW_AT_decl_line···:·(data1)·55
820 ····<46f>···DW_AT_decl_column·:·(data1)·9820 ····<46f>···DW_AT_decl_column·:·(data1)·9
821 ····<470>···DW_AT_type········:·(ref_udata)·<0x14d>821 ····<470>···DW_AT_type········:·(ref_udata)·<0x14d>
822 ····<472>···DW_AT_data_member_location:·(data1)·8822 ····<472>···DW_AT_data_member_location:·(data1)·8
823 ·<2><473>:·Abbrev·Number:·43·(DW_TAG_member)823 ·<2><473>:·Abbrev·Number:·43·(DW_TAG_member)
824 ····<474>···DW_AT_name········:·(strp)·(offset:·0xff2e):·_IO_read_base824 ····<474>···DW_AT_name········:·(strp)·(offset:·0xff48):·_IO_read_base
825 ····<478>···DW_AT_decl_file···:·(data1)·68825 ····<478>···DW_AT_decl_file···:·(data1)·68
826 ····<479>···DW_AT_decl_line···:·(data1)·56826 ····<479>···DW_AT_decl_line···:·(data1)·56
827 ····<47a>···DW_AT_decl_column·:·(data1)·9827 ····<47a>···DW_AT_decl_column·:·(data1)·9
828 ····<47b>···DW_AT_type········:·(ref_udata)·<0x14d>828 ····<47b>···DW_AT_type········:·(ref_udata)·<0x14d>
829 ····<47d>···DW_AT_data_member_location:·(data1)·12829 ····<47d>···DW_AT_data_member_location:·(data1)·12
830 ·<2><47e>:·Abbrev·Number:·43·(DW_TAG_member)830 ·<2><47e>:·Abbrev·Number:·43·(DW_TAG_member)
831 ····<47f>···DW_AT_name········:·(strp)·(offset:·0x4d1a):·_IO_write_base831 ····<47f>···DW_AT_name········:·(strp)·(offset:·0x4d1a):·_IO_write_base
832 ····<483>···DW_AT_decl_file···:·(data1)·68832 ····<483>···DW_AT_decl_file···:·(data1)·68
833 ····<484>···DW_AT_decl_line···:·(data1)·57833 ····<484>···DW_AT_decl_line···:·(data1)·57
834 ····<485>···DW_AT_decl_column·:·(data1)·9834 ····<485>···DW_AT_decl_column·:·(data1)·9
835 ····<486>···DW_AT_type········:·(ref_udata)·<0x14d>835 ····<486>···DW_AT_type········:·(ref_udata)·<0x14d>
836 ····<488>···DW_AT_data_member_location:·(data1)·16836 ····<488>···DW_AT_data_member_location:·(data1)·16
837 ·<2><489>:·Abbrev·Number:·43·(DW_TAG_member)837 ·<2><489>:·Abbrev·Number:·43·(DW_TAG_member)
838 ····<48a>···DW_AT_name········:·(strp)·(offset:·0xf60c):·_IO_write_ptr838 ····<48a>···DW_AT_name········:·(strp)·(offset:·0xf626):·_IO_write_ptr
839 ····<48e>···DW_AT_decl_file···:·(data1)·68839 ····<48e>···DW_AT_decl_file···:·(data1)·68
840 ····<48f>···DW_AT_decl_line···:·(data1)·58840 ····<48f>···DW_AT_decl_line···:·(data1)·58
841 ····<490>···DW_AT_decl_column·:·(data1)·9841 ····<490>···DW_AT_decl_column·:·(data1)·9
842 ····<491>···DW_AT_type········:·(ref_udata)·<0x14d>842 ····<491>···DW_AT_type········:·(ref_udata)·<0x14d>
843 ····<493>···DW_AT_data_member_location:·(data1)·20843 ····<493>···DW_AT_data_member_location:·(data1)·20
844 ·<2><494>:·Abbrev·Number:·43·(DW_TAG_member)844 ·<2><494>:·Abbrev·Number:·43·(DW_TAG_member)
845 ····<495>···DW_AT_name········:·(strp)·(offset:·0xdc9a):·_IO_write_end845 ····<495>···DW_AT_name········:·(strp)·(offset:·0xdc9a):·_IO_write_end
Offset 852, 36 lines modifiedOffset 852, 36 lines modified
852 ····<4a0>···DW_AT_name········:·(strp)·(offset:·0xaeaa):·_IO_buf_base852 ····<4a0>···DW_AT_name········:·(strp)·(offset:·0xaeaa):·_IO_buf_base
853 ····<4a4>···DW_AT_decl_file···:·(data1)·68853 ····<4a4>···DW_AT_decl_file···:·(data1)·68
854 ····<4a5>···DW_AT_decl_line···:·(data1)·60854 ····<4a5>···DW_AT_decl_line···:·(data1)·60
855 ····<4a6>···DW_AT_decl_column·:·(data1)·9855 ····<4a6>···DW_AT_decl_column·:·(data1)·9
856 ····<4a7>···DW_AT_type········:·(ref_udata)·<0x14d>856 ····<4a7>···DW_AT_type········:·(ref_udata)·<0x14d>
857 ····<4a9>···DW_AT_data_member_location:·(data1)·28857 ····<4a9>···DW_AT_data_member_location:·(data1)·28
858 ·<2><4aa>:·Abbrev·Number:·43·(DW_TAG_member)858 ·<2><4aa>:·Abbrev·Number:·43·(DW_TAG_member)
859 ····<4ab>···DW_AT_name········:·(strp)·(offset:·0x14dba):·_IO_buf_end859 ····<4ab>···DW_AT_name········:·(strp)·(offset:·0x14dd4):·_IO_buf_end
860 ····<4af>···DW_AT_decl_file···:·(data1)·68860 ····<4af>···DW_AT_decl_file···:·(data1)·68
861 ····<4b0>···DW_AT_decl_line···:·(data1)·61861 ····<4b0>···DW_AT_decl_line···:·(data1)·61
862 ····<4b1>···DW_AT_decl_column·:·(data1)·9862 ····<4b1>···DW_AT_decl_column·:·(data1)·9
863 ····<4b2>···DW_AT_type········:·(ref_udata)·<0x14d>863 ····<4b2>···DW_AT_type········:·(ref_udata)·<0x14d>
864 ····<4b4>···DW_AT_data_member_location:·(data1)·32864 ····<4b4>···DW_AT_data_member_location:·(data1)·32
865 ·<2><4b5>:·Abbrev·Number:·43·(DW_TAG_member)865 ·<2><4b5>:·Abbrev·Number:·43·(DW_TAG_member)
866 ····<4b6>···DW_AT_name········:·(strp)·(offset:·0xdd52):·_IO_save_base866 ····<4b6>···DW_AT_name········:·(strp)·(offset:·0xdd52):·_IO_save_base
867 ····<4ba>···DW_AT_decl_file···:·(data1)·68867 ····<4ba>···DW_AT_decl_file···:·(data1)·68
868 ····<4bb>···DW_AT_decl_line···:·(data1)·64868 ····<4bb>···DW_AT_decl_line···:·(data1)·64
869 ····<4bc>···DW_AT_decl_column·:·(data1)·9869 ····<4bc>···DW_AT_decl_column·:·(data1)·9
870 ····<4bd>···DW_AT_type········:·(ref_udata)·<0x14d>870 ····<4bd>···DW_AT_type········:·(ref_udata)·<0x14d>
871 ····<4bf>···DW_AT_data_member_location:·(data1)·36871 ····<4bf>···DW_AT_data_member_location:·(data1)·36
872 ·<2><4c0>:·Abbrev·Number:·43·(DW_TAG_member)872 ·<2><4c0>:·Abbrev·Number:·43·(DW_TAG_member)
873 ····<4c1>···DW_AT_name········:·(strp)·(offset:·0x107c8):·_IO_backup_base873 ····<4c1>···DW_AT_name········:·(strp)·(offset:·0x107e2):·_IO_backup_base
874 ····<4c5>···DW_AT_decl_file···:·(data1)·68874 ····<4c5>···DW_AT_decl_file···:·(data1)·68
875 ····<4c6>···DW_AT_decl_line···:·(data1)·65875 ····<4c6>···DW_AT_decl_line···:·(data1)·65
876 ····<4c7>···DW_AT_decl_column·:·(data1)·9876 ····<4c7>···DW_AT_decl_column·:·(data1)·9
877 ····<4c8>···DW_AT_type········:·(ref_udata)·<0x14d>877 ····<4c8>···DW_AT_type········:·(ref_udata)·<0x14d>
878 ····<4ca>···DW_AT_data_member_location:·(data1)·40878 ····<4ca>···DW_AT_data_member_location:·(data1)·40
879 ·<2><4cb>:·Abbrev·Number:·43·(DW_TAG_member)879 ·<2><4cb>:·Abbrev·Number:·43·(DW_TAG_member)
880 ····<4cc>···DW_AT_name········:·(strp)·(offset:·0x1873f):·_IO_save_end880 ····<4cc>···DW_AT_name········:·(strp)·(offset:·0x18759):·_IO_save_end
Max diff block lines reached; 25466733/25474033 bytes (99.97%) of diff not shown.
⊟
3.54 KB
readelf --wide --debug-dump=macro {}
    
Offset 1521, 16 lines modifiedOffset 1521, 16 lines modified
1521 ·DW_MACRO_define_strp·-·lineno·:·0·macro·:·_GNU_SOURCE·11521 ·DW_MACRO_define_strp·-·lineno·:·0·macro·:·_GNU_SOURCE·1
1522 ·DW_MACRO_define_strp·-·lineno·:·0·macro·:·CVC5_STATISTICS_ON·11522 ·DW_MACRO_define_strp·-·lineno·:·0·macro·:·CVC5_STATISTICS_ON·1
1523 ·DW_MACRO_define_strp·-·lineno·:·0·macro·:·CVC5_USE_CRYPTOMINISAT·11523 ·DW_MACRO_define_strp·-·lineno·:·0·macro·:·CVC5_USE_CRYPTOMINISAT·1
1524 ·DW_MACRO_define_strp·-·lineno·:·0·macro·:·NDEBUG·11524 ·DW_MACRO_define_strp·-·lineno·:·0·macro·:·NDEBUG·1
1525 ·DW_MACRO_define_strp·-·lineno·:·0·macro·:·__BUILDING_CVC5LIB·11525 ·DW_MACRO_define_strp·-·lineno·:·0·macro·:·__BUILDING_CVC5LIB·1
1526 ·DW_MACRO_define_strp·-·lineno·:·0·macro·:·cvc5_obj_EXPORTS·11526 ·DW_MACRO_define_strp·-·lineno·:·0·macro·:·cvc5_obj_EXPORTS·1
1527 ·DW_MACRO_define_strp·-·lineno·:·0·macro·:·_FORTIFY_SOURCE·21527 ·DW_MACRO_define_strp·-·lineno·:·0·macro·:·_FORTIFY_SOURCE·2
1528 ·DW_MACRO_define_strp·-·lineno·:·0·macro·:·DEB_BUILD_DATE·"2024-03-18"1528 ·DW_MACRO_define_strp·-·lineno·:·0·macro·:·DEB_BUILD_DATE·"2024-03-19"
1529 ·DW_MACRO_define_strp·-·lineno·:·0·macro·:·DEB_BUILD_TIME·"12:06:23"1529 ·DW_MACRO_define_strp·-·lineno·:·0·macro·:·DEB_BUILD_TIME·"14:06:23"
  
1530 ··Offset:······················0x19291530 ··Offset:······················0x1929
1531 ··Version:·····················51531 ··Version:·····················5
1532 ··Offset·size:·················41532 ··Offset·size:·················4
  
1533 ·DW_MACRO_define_strp·-·lineno·:·19·macro·:·_STDC_PREDEF_H·11533 ·DW_MACRO_define_strp·-·lineno·:·19·macro·:·_STDC_PREDEF_H·1
1534 ·DW_MACRO_define_strp·-·lineno·:·38·macro·:·__STDC_IEC_559__·11534 ·DW_MACRO_define_strp·-·lineno·:·38·macro·:·__STDC_IEC_559__·1
Offset 52226, 16 lines modifiedOffset 52226, 16 lines modified
52226 ·DW_MACRO_define_strp·-·lineno·:·0·macro·:·__DECIMAL_BID_FORMAT__·152226 ·DW_MACRO_define_strp·-·lineno·:·0·macro·:·__DECIMAL_BID_FORMAT__·1
52227 ·DW_MACRO_define_strp·-·lineno·:·0·macro·:·CVC5_STATISTICS_ON·152227 ·DW_MACRO_define_strp·-·lineno·:·0·macro·:·CVC5_STATISTICS_ON·1
52228 ·DW_MACRO_define_strp·-·lineno·:·0·macro·:·CVC5_USE_CRYPTOMINISAT·152228 ·DW_MACRO_define_strp·-·lineno·:·0·macro·:·CVC5_USE_CRYPTOMINISAT·1
52229 ·DW_MACRO_define_strp·-·lineno·:·0·macro·:·NDEBUG·152229 ·DW_MACRO_define_strp·-·lineno·:·0·macro·:·NDEBUG·1
52230 ·DW_MACRO_define_strp·-·lineno·:·0·macro·:·__BUILDING_CVC5LIB·152230 ·DW_MACRO_define_strp·-·lineno·:·0·macro·:·__BUILDING_CVC5LIB·1
52231 ·DW_MACRO_define_strp·-·lineno·:·0·macro·:·cvc5_obj_EXPORTS·152231 ·DW_MACRO_define_strp·-·lineno·:·0·macro·:·cvc5_obj_EXPORTS·1
52232 ·DW_MACRO_define_strp·-·lineno·:·0·macro·:·_FORTIFY_SOURCE·252232 ·DW_MACRO_define_strp·-·lineno·:·0·macro·:·_FORTIFY_SOURCE·2
52233 ·DW_MACRO_define_strp·-·lineno·:·0·macro·:·DEB_BUILD_DATE·"2024-03-18"52233 ·DW_MACRO_define_strp·-·lineno·:·0·macro·:·DEB_BUILD_DATE·"2024-03-19"
52234 ·DW_MACRO_define_strp·-·lineno·:·0·macro·:·DEB_BUILD_TIME·"12:06:23"52234 ·DW_MACRO_define_strp·-·lineno·:·0·macro·:·DEB_BUILD_TIME·"14:06:23"
  
52235 ··Offset:······················0x4898252235 ··Offset:······················0x48982
52236 ··Version:·····················552236 ··Version:·····················5
52237 ··Offset·size:·················452237 ··Offset·size:·················4
  
52238 ·DW_MACRO_define_strp·-·lineno·:·39·macro·:·_STDDEF_H·52238 ·DW_MACRO_define_strp·-·lineno·:·39·macro·:·_STDDEF_H·
52239 ·DW_MACRO_define_strp·-·lineno·:·40·macro·:·_STDDEF_H_·52239 ·DW_MACRO_define_strp·-·lineno·:·40·macro·:·_STDDEF_H_·
Offset 1315643, 19 lines modifiedOffset 1315643, 17 lines modified
1315643 ·DW_MACRO_define_strp·-·lineno·:·22·macro·:·CVC5__OPTIONS__THEORY_H·1315643 ·DW_MACRO_define_strp·-·lineno·:·22·macro·:·CVC5__OPTIONS__THEORY_H·
1315644 ·DW_MACRO_start_file·-·lineno:·24·filenum:·421315644 ·DW_MACRO_start_file·-·lineno:·24·filenum:·42
1315645 ·DW_MACRO_end_file1315645 ·DW_MACRO_end_file
1315646 ·DW_MACRO_import·-·offset·:·0x518911315646 ·DW_MACRO_import·-·offset·:·0x51891
1315647 ·DW_MACRO_end_file1315647 ·DW_MACRO_end_file
1315648 ·DW_MACRO_start_file·-·lineno:·49·filenum:·1351315648 ·DW_MACRO_start_file·-·lineno:·49·filenum:·135
1315649 ·DW_MACRO_end_file1315649 ·DW_MACRO_end_file
1315650 ·DW_MACRO_start_file·-·lineno:·51·filenum:·31 
1315651 ·DW_MACRO_end_file 
1315652 ·DW_MACRO_start_file·-·lineno:·53·filenum:·1111315650 ·DW_MACRO_start_file·-·lineno:·51·filenum:·111
1315653 ·DW_MACRO_end_file1315651 ·DW_MACRO_end_file
1315654 ·DW_MACRO_start_file·-·lineno:·54·filenum:·2901315652 ·DW_MACRO_start_file·-·lineno:·52·filenum:·290
1315655 ·DW_MACRO_define_strp·-·lineno·:·30·macro·:·_GLIBCXX_UNORDERED_MAP·11315653 ·DW_MACRO_define_strp·-·lineno·:·30·macro·:·_GLIBCXX_UNORDERED_MAP·1
1315656 ·DW_MACRO_start_file·-·lineno:·41·filenum:·181315654 ·DW_MACRO_start_file·-·lineno:·41·filenum:·18
1315657 ·DW_MACRO_define_strp·-·lineno·:·31·macro·:·_UNORDERED_MAP_H·1315655 ·DW_MACRO_define_strp·-·lineno·:·31·macro·:·_UNORDERED_MAP_H·
1315658 ·DW_MACRO_start_file·-·lineno:·33·filenum:·131315656 ·DW_MACRO_start_file·-·lineno:·33·filenum:·13
1315659 ·DW_MACRO_define_strp·-·lineno·:·31·macro·:·_HASHTABLE_H·11315657 ·DW_MACRO_define_strp·-·lineno·:·31·macro·:·_HASHTABLE_H·1
1315660 ·DW_MACRO_start_file·-·lineno:·35·filenum:·141315658 ·DW_MACRO_start_file·-·lineno:·35·filenum:·14
1315661 ·DW_MACRO_define_strp·-·lineno·:·32·macro·:·_HASHTABLE_POLICY_H·11315659 ·DW_MACRO_define_strp·-·lineno·:·32·macro·:·_HASHTABLE_POLICY_H·1
Offset 1315663, 14 lines modifiedOffset 1315661, 16 lines modified
1315663 ·DW_MACRO_end_file1315661 ·DW_MACRO_end_file
1315664 ·DW_MACRO_end_file1315662 ·DW_MACRO_end_file
1315665 ·DW_MACRO_import·-·offset·:·0x9c421315663 ·DW_MACRO_import·-·offset·:·0x9c42
1315666 ·DW_MACRO_start_file·-·lineno:·56·filenum:·1761315664 ·DW_MACRO_start_file·-·lineno:·56·filenum:·176
1315667 ·DW_MACRO_import·-·offset·:·0x4f78961315665 ·DW_MACRO_import·-·offset·:·0x4f7896
1315668 ·DW_MACRO_end_file1315666 ·DW_MACRO_end_file
1315669 ·DW_MACRO_end_file1315667 ·DW_MACRO_end_file
 1315668 ·DW_MACRO_start_file·-·lineno:·53·filenum:·31
 1315669 ·DW_MACRO_end_file
1315670 ·DW_MACRO_start_file·-·lineno:·57·filenum:·821315670 ·DW_MACRO_start_file·-·lineno:·57·filenum:·82
1315671 ·DW_MACRO_define_strp·-·lineno·:·41·macro·:·__glibcxx_want_freestanding_cstring·1315671 ·DW_MACRO_define_strp·-·lineno·:·41·macro·:·__glibcxx_want_freestanding_cstring·
1315672 ·DW_MACRO_start_file·-·lineno:·42·filenum:·1761315672 ·DW_MACRO_start_file·-·lineno:·42·filenum:·176
1315673 ·DW_MACRO_import·-·offset·:·0x4f7e821315673 ·DW_MACRO_import·-·offset·:·0x4f7e82
1315674 ·DW_MACRO_end_file1315674 ·DW_MACRO_end_file
1315675 ·DW_MACRO_start_file·-·lineno:·43·filenum:·1391315675 ·DW_MACRO_start_file·-·lineno:·43·filenum:·139
1315676 ·DW_MACRO_import·-·offset·:·0x108f31315676 ·DW_MACRO_import·-·offset·:·0x108f3
⊟
593 B
readelf --wide --debug-dump=loc {}
    
Offset 4194297, 8 lines modifiedOffset 4194297, 8 lines modified
4194297 ····00a3c06f·v0000000·v0000000·views·at·00a3c06d·for:4194297 ····00a3c06f·v0000000·v0000000·views·at·00a3c06d·for:
4194298 ·············00000000·00000003·(DW_OP_reg5·(ebp))4194298 ·············00000000·00000003·(DW_OP_reg5·(ebp))
4194299 ····00a3c077·<End·of·list>4194299 ····00a3c077·<End·of·list>
  
4194300 ····00a3c078·v0000000·v0000000·location·view·pair4194300 ····00a3c078·v0000000·v0000000·location·view·pair
4194301 ····00a3c07a·v0000000·v0000000·location·view·pair4194301 ····00a3c07a·v0000000·v0000000·location·view·pair
4194302 ····00a3c07c·v0000000·v0000000·location·view·pair4194302 ····00a3c07c·v0000000·v0000000·location·view·pair
4194303 [·Too·much·input·for·diff·(SHA256:·0e177d1a1e66eacdd77993668bccf4d469d05cd07efd96cc6becd07c1c7c3098)·]4194303 [·Too·much·input·for·diff·(SHA256:·2eabb37937fa4c9f63e9a67c75e253ae30da3c930c3a0a706a9a4d2b7ae04b5d)·]
⊟
612 KB
strings --all --bytes=8 {}
    
Offset 1, 28571 lines modifiedOffset 1, 28538 lines modified
1 GCC:·(Debian·14.2.0-11)·14.2.01 )GCC:·(Debian·14.2.0-11)·14.2.0
2 '#k@a|x~|2 '#k@a|x~|
3 Y_n/E$?4Gs3 Y_n/E$?4Gs
4 &<y>X>4U4 &<y>X>4U
5 ,H$:}e#;75 ,H$:}e#;7
6 ;T?<lz?H=6 ;T?<lz?H=
7 c<ne_V-17 c<ne_V-1
8 kQ6A?z_q6A8 kQ6A?z_q6A
9 fqSRNpvuA9 fqSRNpvuA
 10 dF5L&3*1
 11 {T2F`cFW
 12 Jwp`VBG92k
 13 RPysWEh4
 14 2W%TdRyw
 15 L/(bt~PT
 16 >$B|U|bU'8
 17 PsZ!43o&&
 18 (*4YK}MW
 19 ·_l>t^@m,
 20 pr?X&[-I[!
 21 :*#zqv8X_#
 22 |C&lJT\w)
 23 gG?bhy*?=
 24 0S\!*R,m
 25 Al>E|0o8
 26 >-pf·kI8>(X
 27 G/z0MkTw#
 28 zqAx>:Cq
 29 8Fn{XpcW
 30 cE=TCUlUd
 31 L8F7"(:N
 32 e}(4·r(n
 33 -V·'MgMJ
 34 Ef3YNiej
 35 zhi6t1L7
 36 [fGY98OGg
 37 sc7$-:89
10 "=,oEzD> 
11 k&a`qv`& 
12 ·D[$S`4|! 
13 UV,:j}*\3 
14 z;Zr\jQl 
15 hg-'?'ry 
16 &Y0\6X2Jbq 
17 @CRpD?:"8 
18 oR1+KE{[8 
19 !#;|0»  u, 
20 l"»     ^Jk{2 
21 3YDp'"j} 
22 k:)g(RTi[m+ 
23 oWgd(<2EF 
24 q@4C/af| 
25 qN`i<"o0 
26 $xNjueMH_Q 
27 Nn({*U.2 
28 a~(?KG:|kF 
29 ]LfN»   D7| 
30 "j>2pL·X7S 
31 @"+:IdAJ 
32 Hd%y$cJJ 
33 ]IdYo@@o 
34 <=sV&X9: 
35 [c%6V{4Gnd 
36 nF?!-Qum 
37 M^;uFU-TC= 
38 9A%;aYBm 
39 +<Ab6_cev= 
40 AKNnkz|$ 
41 ^g_eW*R[ 
42 B.cUX+Ko 
43 ACxr"S%w 
44 B_OQ(^O1Z38 B_OQ(^O1R
45 WHG#WHG#WHG#WHG#WHG#WH 
46 ~wVwb[uR 
47 ~<iF;r.8 
48 &]0:h9K- 
49 #ETP[zA= 
50 E2yvU·hI 
51 ]"YfZkrD+·u 
52 5MBlP;"% 
53 _<IMVOR#39 t3(N7S]pZyEj
 40 f{yj6)pF
 41 YrM&2z@1
 42 zn^nb4t(7?w
 43 s2QHou[%
 44 ?.'a7)7d[
 45 n»      |0v|?%a
 46 ·A)djz*a
 47 u|_4>p28
 48 5fgUL>\P
 49 3DVOQSDL
54 NlH3dS7u50 NlH3dS7u
 51 UA*smviO
 52 c=woA0F:
 53 tugU`W]!
 54 \P}TRGsA
 55 DS.`_yEE
 56 It[7>+`K
 57 {B1O@l-'·
 58 Bu6%6vv6=
 59 P·\$EH>!
 60 C|XRF4i)
 61 =iZ_mVE|
 62 Z%3tkum5?
 63 JI0^7I'h
 64 hp:QiLSx
 65 Fs9aek~*
 66 0,@FHX{9a
 67 »       [i``G9a%+>
 68 OGINZ)n'
 69 (sTpO.x.
 70 _XK&ge·:`
 71 I"M#=*wUE
 72 bz/?{.CE
 73 qW»     2?&L9
 74 |'p·GNJ0M
 75 5{e»    qyUR
 76 ;I2LrIBO
 77 K[·<4yl2A]c
 78 >/#`kJR)
 79 s·KI#3A}
 80 FKY]"8V"
 81 qq)&gG!t=
 82 c^6<M;Bla
 83 9Q#v»   sHG
 84 z1OER!+Q
 85 EVWTQlm$;
Max diff block lines reached; 625055/627058 bytes (99.68%) of diff not shown.
⊟
62.0 B
.gnu.hash
Timeout exceeded; details may be incomplete.
⊟
58.0 B
.dynsym
Timeout exceeded; details may be incomplete.
⊟
58.0 B
.dynstr
Timeout exceeded; details may be incomplete.
⊟
68.0 B
.gnu.version
Timeout exceeded; details may be incomplete.
⊟
72.0 B
.gnu.version_r
Timeout exceeded; details may be incomplete.
⊟
60.0 B
.rel.dyn
Timeout exceeded; details may be incomplete.
⊟
60.0 B
.rel.plt
Timeout exceeded; details may be incomplete.
⊟
54.0 B
.init
Timeout exceeded; details may be incomplete.
⊟
52.0 B
.plt
Timeout exceeded; details may be incomplete.
⊟
60.0 B
.plt.got
Timeout exceeded; details may be incomplete.
⊟
54.0 B
.text
Timeout exceeded; details may be incomplete.
⊟
54.0 B
.fini
Timeout exceeded; details may be incomplete.
⊟
58.0 B
.rodata
Timeout exceeded; details may be incomplete.
⊟
70.0 B
.eh_frame_hdr
Timeout exceeded; details may be incomplete.
⊟
62.0 B
.eh_frame
Timeout exceeded; details may be incomplete.
⊟
78.0 B
.gcc_except_table
Timeout exceeded; details may be incomplete.
⊟
56.0 B
.tdata
Timeout exceeded; details may be incomplete.
⊟
54.0 B
.tbss
Timeout exceeded; details may be incomplete.
⊟
66.0 B
.init_array
Timeout exceeded; details may be incomplete.
⊟
66.0 B
.fini_array
Timeout exceeded; details may be incomplete.
⊟
68.0 B
.data.rel.ro
Timeout exceeded; details may be incomplete.
⊟
60.0 B
.dynamic
Timeout exceeded; details may be incomplete.
⊟
52.0 B
.got
Timeout exceeded; details may be incomplete.
⊟
54.0 B
.data
Timeout exceeded; details may be incomplete.
⊟
52.0 B
.bss
Timeout exceeded; details may be incomplete.
⊟
60.0 B
.comment
Timeout exceeded; details may be incomplete.
⊟
64.0 B
.debug_str
Timeout exceeded; details may be incomplete.
⊟
74.0 B
.debug_line_str
Timeout exceeded; details may be incomplete.
⊟
58.0 B
.strtab
Timeout exceeded; details may be incomplete.
⊟
62.0 B
.shstrtab
Timeout exceeded; details may be incomplete.
⊟
120 B
libcvc5parser1-dbgsym_1.1.2-2_i386.deb
Timeout exceeded; details may be incomplete.
⊟
116 B
python3-cvc5-dbgsym_1.1.2-2_i386.deb
Timeout exceeded; details may be incomplete.
Generated by diffoscope 284