62.3 MB
/srv/reproducible-results/rbuild-debian/r-b-build.SNj7FUkN/b1/cvc5_1.1.2-2_amd64.changes vs.
/srv/reproducible-results/rbuild-debian/r-b-build.SNj7FUkN/b2/cvc5_1.1.2-2_amd64.changes
1.52 KB
Files
    
Offset 1, 10 lines modifiedOffset 1, 10 lines modified
  
1 ·67a93a7f81f29e9a56235346c50a4f1d·1884716·debug·optional·cvc5-dbgsym_1.1.2-2_amd64.deb 
2 ·aae5a6c6c8d5e3b324f23bd7b7078090·108776·math·optional·cvc5_1.1.2-2_amd64.deb 
3 ·11686c2580b45ead2f7babc63d4063fb·183030412·debug·optional·libcvc5-1-dbgsym_1.1.2-2_amd64.deb 
4 ·7203d7b6186312589b47582ebf8b302a·6696900·libs·optional·libcvc5-1_1.1.2-2_amd64.deb1 ·bf104b8f4e25bf777a97300377a0bd54·1885544·debug·optional·cvc5-dbgsym_1.1.2-2_amd64.deb
 2 ·a301fe7cfaabae6c625c82bdcdcab2fc·107888·math·optional·cvc5_1.1.2-2_amd64.deb
 3 ·5832dc623e4ee182a2b5e5e754bd3637·183030192·debug·optional·libcvc5-1-dbgsym_1.1.2-2_amd64.deb
 4 ·0b9d59ceee2635d431c10a2aa289c76d·6696960·libs·optional·libcvc5-1_1.1.2-2_amd64.deb
5 ·ac8ddc29b51a2e586d2e7f24e288929b·93012·libdevel·optional·libcvc5-dev_1.1.2-2_amd64.deb5 ·ac8ddc29b51a2e586d2e7f24e288929b·93012·libdevel·optional·libcvc5-dev_1.1.2-2_amd64.deb
6 ·ccbab7267fb9607f8830ce61d7bd75b7·4115724·debug·optional·libcvc5parser1-dbgsym_1.1.2-2_amd64.deb 
7 ·6b8ff2ba8cfa64af8cac03359df2d81b·237076·libs·optional·libcvc5parser1_1.1.2-2_amd64.deb 
8 ·873c3bb51576291f32887be8d68c8129·2665220·debug·optional·python3-cvc5-dbgsym_1.1.2-2_amd64.deb 
9 ·ec625a074e9435dded1c5db9979f6408·339084·python·optional·python3-cvc5_1.1.2-2_amd64.deb6 ·6473027c0e584e52052b96cb9d122828·4116052·debug·optional·libcvc5parser1-dbgsym_1.1.2-2_amd64.deb
 7 ·41124e0f8ec9053df76a3ec721019d62·237300·libs·optional·libcvc5parser1_1.1.2-2_amd64.deb
 8 ·4c99e721c16199ced779867a670f5223·2664904·debug·optional·python3-cvc5-dbgsym_1.1.2-2_amd64.deb
 9 ·8b254407ee1da28553c32be174a412f3·339624·python·optional·python3-cvc5_1.1.2-2_amd64.deb
2.7 KB
cvc5_1.1.2-2_amd64.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·····1116·2024-03-19·00:06:23.000000·control.tar.xz2 -rw-r--r--···0········0········0·····1116·2024-03-19·00:06:23.000000·control.tar.xz
3 -rw-r--r--···0········0········0···107468·2024-03-19·00:06:23.000000·data.tar.xz3 -rw-r--r--···0········0········0···106580·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
2.2 KB
data.tar.xz
2.18 KB
data.tar
2.16 KB
./usr/bin/cvc5
File has been modified after NT_GNU_BUILD_ID has been applied.
821 B
readelf --wide --notes {}
    
Offset 1, 12 lines modifiedOffset 1, 12 lines modified
  
1 Displaying·notes·found·in:·.note.gnu.property1 Displaying·notes·found·in:·.note.gnu.property
2 ··Owner················Data·size·»  Description2 ··Owner················Data·size·»  Description
3 ··GNU··················0x00000010»  NT_GNU_PROPERTY_TYPE_0»    ······Properties:·x86·ISA·needed:·x86-64-baseline3 ··GNU··················0x00000010»  NT_GNU_PROPERTY_TYPE_0»    ······Properties:·x86·ISA·needed:·x86-64-baseline
  
4 Displaying·notes·found·in:·.note.gnu.build-id4 Displaying·notes·found·in:·.note.gnu.build-id
5 ··Owner················Data·size·»  Description5 ··Owner················Data·size·»  Description
6 ··GNU··················0x00000014»  NT_GNU_BUILD_ID·(unique·build·ID·bitstring)»   ····Build·ID:·98b803df3121c5b7ca9c8abae3005a294625731b6 ··GNU··················0x00000014»  NT_GNU_BUILD_ID·(unique·build·ID·bitstring)»   ····Build·ID:·2689715b597c436f8c3b87859e749c94e3b5b53c
  
7 Displaying·notes·found·in:·.note.ABI-tag7 Displaying·notes·found·in:·.note.ABI-tag
8 ··Owner················Data·size·»  Description8 ··Owner················Data·size·»  Description
9 ··GNU··················0x00000010»  NT_GNU_ABI_TAG·(ABI·version·tag)»     ····OS:·Linux,·ABI:·3.2.09 ··GNU··················0x00000010»  NT_GNU_ABI_TAG·(ABI·version·tag)»     ····OS:·Linux,·ABI:·3.2.0
438 B
strings --all --bytes=8 {}
    
Offset 1, 8 lines modifiedOffset 1, 8 lines modified
1 /lib64/ld-linux-x86-64.so.21 </lib64/ld-linux-x86-64.so.2
2 t<{~_d&'<oq|s2 t<{~_d&'<oq|s
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
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·62383033·64663331·32316335·62376361·b803df3121c5b7ca 
3 ··0x00000010·39633861·62616533·30303561·32393436·9c8abae3005a29462 ··0x00000000·38393731·35623539·37633433·36663863·89715b597c436f8c
 3 ··0x00000010·33623837·38353965·37343963·39346533·3b87859e749c94e3
4 ··0x00000020·32353733·31622e64·65627567·00000000·25731b.debug....4 ··0x00000020·62356235·33632e64·65627567·00000000·b5b53c.debug....
5 ··0x00000030·173c412c····························.<A,5 ··0x00000030·a5cad497····························....
  
14.3 KB
libcvc5-1_1.1.2-2_amd64.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·····1276·2024-03-19·00:06:23.000000·control.tar.xz2 -rw-r--r--···0········0········0·····1280·2024-03-19·00:06:23.000000·control.tar.xz
3 -rw-r--r--···0········0········0··6695432·2024-03-19·00:06:23.000000·data.tar.xz3 -rw-r--r--···0········0········0··6695488·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
13.7 KB
data.tar.xz
13.7 KB
data.tar
13.7 KB
./usr/lib/x86_64-linux-gnu/libcvc5.so.1
File has been modified after NT_GNU_BUILD_ID has been applied.
3.12 KB
readelf --wide --relocs {}
    
Offset 4291, 16 lines modifiedOffset 4291, 16 lines modified
4291 000000000186e128··0000000000000008·R_X86_64_RELATIVE·························15a656a4291 000000000186e128··0000000000000008·R_X86_64_RELATIVE·························15a656a
4292 000000000186e130··0000000000000008·R_X86_64_RELATIVE·························15a657d4292 000000000186e130··0000000000000008·R_X86_64_RELATIVE·························15a657d
4293 000000000186e138··0000000000000008·R_X86_64_RELATIVE·························15a52724293 000000000186e138··0000000000000008·R_X86_64_RELATIVE·························15a5272
4294 000000000186e140··0000000000000008·R_X86_64_RELATIVE·························15a65924294 000000000186e140··0000000000000008·R_X86_64_RELATIVE·························15a6592
4295 000000000186e148··0000000000000008·R_X86_64_RELATIVE·························15a65a24295 000000000186e148··0000000000000008·R_X86_64_RELATIVE·························15a65a2
4296 000000000186e150··0000000000000008·R_X86_64_RELATIVE·························15a527f4296 000000000186e150··0000000000000008·R_X86_64_RELATIVE·························15a527f
4297 000000000186e158··0000000000000008·R_X86_64_RELATIVE·························159cdd34297 000000000186e158··0000000000000008·R_X86_64_RELATIVE·························159cdd3
4298 000000000186e160··0000000000000008·R_X86_64_RELATIVE·························15a529f 
4299 000000000186e168··0000000000000008·R_X86_64_RELATIVE·························15a528e4298 000000000186e160··0000000000000008·R_X86_64_RELATIVE·························15a528e
 4299 000000000186e168··0000000000000008·R_X86_64_RELATIVE·························15a529a
4300 000000000186e170··0000000000000008·R_X86_64_RELATIVE·························15a5f074300 000000000186e170··0000000000000008·R_X86_64_RELATIVE·························15a5f07
4301 000000000186e178··0000000000000008·R_X86_64_RELATIVE·························15a52ab4301 000000000186e178··0000000000000008·R_X86_64_RELATIVE·························15a52ab
4302 000000000186e180··0000000000000008·R_X86_64_RELATIVE·························15a52b34302 000000000186e180··0000000000000008·R_X86_64_RELATIVE·························15a52b3
4303 000000000186e188··0000000000000008·R_X86_64_RELATIVE·························15a65af4303 000000000186e188··0000000000000008·R_X86_64_RELATIVE·························15a65af
4304 000000000186e190··0000000000000008·R_X86_64_RELATIVE·························15983634304 000000000186e190··0000000000000008·R_X86_64_RELATIVE·························1598363
4305 000000000186e198··0000000000000008·R_X86_64_RELATIVE·························15a65cc4305 000000000186e198··0000000000000008·R_X86_64_RELATIVE·························15a65cc
4306 000000000186e1a0··0000000000000008·R_X86_64_RELATIVE·························15a6da24306 000000000186e1a0··0000000000000008·R_X86_64_RELATIVE·························15a6da2
Offset 8689, 16 lines modifiedOffset 8689, 16 lines modified
8689 0000000001880d60··0000000000000008·R_X86_64_RELATIVE·························15a60938689 0000000001880d60··0000000000000008·R_X86_64_RELATIVE·························15a6093
8690 0000000001880d80··0000000000000008·R_X86_64_RELATIVE·························15a52448690 0000000001880d80··0000000000000008·R_X86_64_RELATIVE·························15a5244
8691 0000000001880da0··0000000000000008·R_X86_64_RELATIVE·························157adb08691 0000000001880da0··0000000000000008·R_X86_64_RELATIVE·························157adb0
8692 0000000001880dc0··0000000000000008·R_X86_64_RELATIVE·························15a60ab8692 0000000001880dc0··0000000000000008·R_X86_64_RELATIVE·························15a60ab
8693 0000000001880de0··0000000000000008·R_X86_64_RELATIVE·························15a60a88693 0000000001880de0··0000000000000008·R_X86_64_RELATIVE·························15a60a8
8694 0000000001880e00··0000000000000008·R_X86_64_RELATIVE·························159d4498694 0000000001880e00··0000000000000008·R_X86_64_RELATIVE·························159d449
8695 0000000001880e20··0000000000000008·R_X86_64_RELATIVE·························15a51de8695 0000000001880e20··0000000000000008·R_X86_64_RELATIVE·························15a51de
8696 0000000001880e40··0000000000000008·R_X86_64_RELATIVE·························15a529f 
8697 0000000001880e60··0000000000000008·R_X86_64_RELATIVE·························15a528e8696 0000000001880e40··0000000000000008·R_X86_64_RELATIVE·························15a528e
 8697 0000000001880e60··0000000000000008·R_X86_64_RELATIVE·························15a529a
8698 0000000001880e80··0000000000000008·R_X86_64_RELATIVE·························15a531b8698 0000000001880e80··0000000000000008·R_X86_64_RELATIVE·························15a531b
8699 0000000001880ea0··0000000000000008·R_X86_64_RELATIVE·························15a532c8699 0000000001880ea0··0000000000000008·R_X86_64_RELATIVE·························15a532c
8700 0000000001880ec0··0000000000000008·R_X86_64_RELATIVE·························15a537c8700 0000000001880ec0··0000000000000008·R_X86_64_RELATIVE·························15a537c
8701 0000000001880ee0··0000000000000008·R_X86_64_RELATIVE·························15a4d5d8701 0000000001880ee0··0000000000000008·R_X86_64_RELATIVE·························15a4d5d
8702 0000000001880f00··0000000000000008·R_X86_64_RELATIVE·························15a65fc8702 0000000001880f00··0000000000000008·R_X86_64_RELATIVE·························15a65fc
8703 0000000001880f20··0000000000000008·R_X86_64_RELATIVE·························15a60bf8703 0000000001880f20··0000000000000008·R_X86_64_RELATIVE·························15a60bf
8704 0000000001880f40··0000000000000008·R_X86_64_RELATIVE·························15a60ca8704 0000000001880f40··0000000000000008·R_X86_64_RELATIVE·························15a60ca
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:·b3104f326f5103647a2c061c523abea24b0e9c533 ··GNU··················0x00000014»  NT_GNU_BUILD_ID·(unique·build·ID·bitstring)»   ····Build·ID:·4a46644ceec5310ab504e88da12c7768f609316d
421 B
strings --all --bytes=8 {}
Ordering differences only
    
Offset 26778, 16 lines modifiedOffset 26778, 16 lines modified
26778 proof-granularity26778 proof-granularity
26779 proof-mode26779 proof-mode
26780 proof-pedantic26780 proof-pedantic
26781 proof-rewrite-rcons-rec-limit26781 proof-rewrite-rcons-rec-limit
26782 prop-row-length26782 prop-row-length
26783 quant-dsplit26783 quant-dsplit
26784 quant-rep-mode26784 quant-rep-mode
26785 random-frequency 
26786 random-freq26785 random-freq
 26786 random-frequency
26787 re-inter-mode26787 re-inter-mode
26788 replay-early-close-depth26788 replay-early-close-depth
26789 replay-lemma-reject-cut26789 replay-lemma-reject-cut
26790 replay-num-err-penalty26790 replay-num-err-penalty
26791 replay-reject-cut26791 replay-reject-cut
26792 restart-int-base26792 restart-int-base
26793 restart-int-inc26793 restart-int-inc
4.98 KB
objdump --line-numbers --disassemble --demangle --reloc --no-show-raw-insn --section=.text {}
    
Offset 668920, 63 lines modifiedOffset 668920, 63 lines modified
668920 »       movl···$0xe4,0x2468(%rsp)668920 »       movl···$0xe4,0x2468(%rsp)
668921 »       call···13ffb30·<cvc5::internal::Options::Options()@@Base+0x12d0>668921 »       call···13ffb30·<cvc5::internal::Options::Options()@@Base+0x12d0>
668922 »       lea····0x2498(%rsp),%rdi668922 »       lea····0x2498(%rsp),%rdi
668923 »       lea····0x12d22be(%rip),%rsi········668923 »       lea····0x12d22be(%rip),%rsi········
668924 »       movl···$0xe5,0x2490(%rsp)668924 »       movl···$0xe5,0x2490(%rsp)
668925 »       call···13ffb30·<cvc5::internal::Options::Options()@@Base+0x12d0>668925 »       call···13ffb30·<cvc5::internal::Options::Options()@@Base+0x12d0>
668926 »       lea····0x24c0(%rsp),%rdi668926 »       lea····0x24c0(%rsp),%rdi
668927 »       lea····0x12c4107(%rip),%rsi········668927 »       lea····0x12d1531(%rip),%rsi········
668928 »       movl···$0xe6,0x24b8(%rsp)668928 »       movl···$0xe6,0x24b8(%rsp)
668929 »       call···13ffb30·<cvc5::internal::Options::Options()@@Base+0x12d0>668929 »       call···13ffb30·<cvc5::internal::Options::Options()@@Base+0x12d0>
668930 »       lea····0x24e8(%rsp),%rdi668930 »       lea····0x24e8(%rsp),%rdi
668931 »       lea····0x12d1512(%rip),%rsi········668931 »       lea····0x12c40e8(%rip),%rsi········
668932 »       movl···$0xe7,0x24e0(%rsp)668932 »       movl···$0xe7,0x24e0(%rsp)
668933 »       call···13ffb30·<cvc5::internal::Options::Options()@@Base+0x12d0>668933 »       call···13ffb30·<cvc5::internal::Options::Options()@@Base+0x12d0>
668934 »       lea····0x2510(%rsp),%rdi668934 »       lea····0x2510(%rsp),%rdi
668935 »       lea····0x12d0e55(%rip),%rsi········668935 »       lea····0x12d0e55(%rip),%rsi········
668936 »       movl···$0xe7,0x2508(%rsp)668936 »       movl···$0xe7,0x2508(%rsp)
668937 »       call···13ffb30·<cvc5::internal::Options::Options()@@Base+0x12d0>668937 »       call···13ffb30·<cvc5::internal::Options::Options()@@Base+0x12d0>
668938 »       lea····0x2538(%rsp),%rdi668938 »       lea····0x2538(%rsp),%rdi
668939 »       lea····0x12c9d3b(%rip),%rsi········668939 »       lea····0x12d0e3d(%rip),%rsi········
668940 »       movl···$0xe8,0x2530(%rsp)668940 »       movl···$0xe8,0x2530(%rsp)
668941 »       call···13ffb30·<cvc5::internal::Options::Options()@@Base+0x12d0>668941 »       call···13ffb30·<cvc5::internal::Options::Options()@@Base+0x12d0>
668942 »       lea····0x2560(%rsp),%rdi668942 »       lea····0x2560(%rsp),%rdi
668943 »       lea····0x12d0e1e(%rip),%rsi········668943 »       lea····0x12c9d1c(%rip),%rsi········
668944 »       movl···$0xe9,0x2558(%rsp)668944 »       movl···$0xe9,0x2558(%rsp)
668945 »       call···13ffb30·<cvc5::internal::Options::Options()@@Base+0x12d0>668945 »       call···13ffb30·<cvc5::internal::Options::Options()@@Base+0x12d0>
668946 »       lea····0x2588(%rsp),%rdi668946 »       lea····0x2588(%rsp),%rdi
668947 »       lea····0x12d18b8(%rip),%rsi········668947 »       lea····0x12d18b8(%rip),%rsi········
668948 »       movl···$0xe9,0x2580(%rsp)668948 »       movl···$0xe9,0x2580(%rsp)
668949 »       call···13ffb30·<cvc5::internal::Options::Options()@@Base+0x12d0>668949 »       call···13ffb30·<cvc5::internal::Options::Options()@@Base+0x12d0>
668950 »       lea····0x25b0(%rsp),%rdi668950 »       lea····0x25b0(%rsp),%rdi
668951 »       lea····0x12d21f0(%rip),%rsi········668951 »       lea····0x12d21f0(%rip),%rsi········
668952 »       movl···$0xea,0x25a8(%rsp)668952 »       movl···$0xea,0x25a8(%rsp)
668953 »       call···13ffb30·<cvc5::internal::Options::Options()@@Base+0x12d0>668953 »       call···13ffb30·<cvc5::internal::Options::Options()@@Base+0x12d0>
668954 »       lea····0x25d8(%rsp),%rdi668954 »       lea····0x25d8(%rsp),%rdi
668955 »       lea····0x12d0dcd(%rip),%rsi········668955 »       lea····0x12c8044(%rip),%rsi········
668956 »       movl···$0xeb,0x25d0(%rsp)668956 »       movl···$0xeb,0x25d0(%rsp)
668957 »       call···13ffb30·<cvc5::internal::Options::Options()@@Base+0x12d0>668957 »       call···13ffb30·<cvc5::internal::Options::Options()@@Base+0x12d0>
668958 »       lea····0x2600(%rsp),%rdi668958 »       lea····0x2600(%rsp),%rdi
668959 »       lea····0x12c8025(%rip),%rsi········668959 »       lea····0x12d0dae(%rip),%rsi········
668960 »       movl···$0xec,0x25f8(%rsp)668960 »       movl···$0xec,0x25f8(%rsp)
668961 »       call···13ffb30·<cvc5::internal::Options::Options()@@Base+0x12d0>668961 »       call···13ffb30·<cvc5::internal::Options::Options()@@Base+0x12d0>
668962 »       lea····0x2628(%rsp),%rdi668962 »       lea····0x2628(%rsp),%rdi
668963 »       lea····0x12d0d9f(%rip),%rsi········668963 »       lea····0x12d0d9f(%rip),%rsi········
668964 »       movl···$0xec,0x2620(%rsp)668964 »       movl···$0xec,0x2620(%rsp)
668965 »       call···13ffb30·<cvc5::internal::Options::Options()@@Base+0x12d0>668965 »       call···13ffb30·<cvc5::internal::Options::Options()@@Base+0x12d0>
668966 »       lea····0x2650(%rsp),%rdi668966 »       lea····0x2650(%rsp),%rdi
668967 »       lea····0x12d0d98(%rip),%rsi········668967 »       lea····0x12d0d98(%rip),%rsi········
668968 »       movl···$0xed,0x2648(%rsp)668968 »       movl···$0xed,0x2648(%rsp)
668969 »       call···13ffb30·<cvc5::internal::Options::Options()@@Base+0x12d0>668969 »       call···13ffb30·<cvc5::internal::Options::Options()@@Base+0x12d0>
668970 »       lea····0x2678(%rsp),%rdi668970 »       lea····0x2678(%rsp),%rdi
668971 »       lea····0x12d0d8e(%rip),%rsi········668971 »       lea····0x12d0a0e(%rip),%rsi········
668972 »       movl···$0xee,0x2670(%rsp)668972 »       movl···$0xee,0x2670(%rsp)
668973 »       call···13ffb30·<cvc5::internal::Options::Options()@@Base+0x12d0>668973 »       call···13ffb30·<cvc5::internal::Options::Options()@@Base+0x12d0>
668974 »       lea····0x26a0(%rsp),%rdi668974 »       lea····0x26a0(%rsp),%rdi
668975 »       lea····0x12d09ef(%rip),%rsi········668975 »       lea····0x12d0d6f(%rip),%rsi········
668976 »       movl···$0xef,0x2698(%rsp)668976 »       movl···$0xef,0x2698(%rsp)
668977 »       call···13ffb30·<cvc5::internal::Options::Options()@@Base+0x12d0>668977 »       call···13ffb30·<cvc5::internal::Options::Options()@@Base+0x12d0>
668978 »       lea····0x26c8(%rsp),%rdi668978 »       lea····0x26c8(%rsp),%rdi
668979 »       lea····0x12d0d63(%rip),%rsi········668979 »       lea····0x12d0d63(%rip),%rsi········
668980 »       movl···$0xef,0x26c0(%rsp)668980 »       movl···$0xef,0x26c0(%rsp)
668981 »       call···13ffb30·<cvc5::internal::Options::Options()@@Base+0x12d0>668981 »       call···13ffb30·<cvc5::internal::Options::Options()@@Base+0x12d0>
668982 »       lea····0x26f0(%rsp),%rdi668982 »       lea····0x26f0(%rsp),%rdi
Offset 669188, 15 lines modifiedOffset 669188, 15 lines modified
669188 »       movl···$0x122,0x2ee0(%rsp)669188 »       movl···$0x122,0x2ee0(%rsp)
669189 »       call···13ffb30·<cvc5::internal::Options::Options()@@Base+0x12d0>669189 »       call···13ffb30·<cvc5::internal::Options::Options()@@Base+0x12d0>
669190 »       lea····0x2f10(%rsp),%rdi669190 »       lea····0x2f10(%rsp),%rdi
669191 »       lea····0x12d0834(%rip),%rsi········669191 »       lea····0x12d0834(%rip),%rsi········
669192 »       movl···$0x123,0x2f08(%rsp)669192 »       movl···$0x123,0x2f08(%rsp)
669193 »       call···13ffb30·<cvc5::internal::Options::Options()@@Base+0x12d0>669193 »       call···13ffb30·<cvc5::internal::Options::Options()@@Base+0x12d0>
669194 »       lea····0x2f38(%rsp),%rdi669194 »       lea····0x2f38(%rsp),%rdi
669195 »       lea····0x12d0826(%rip),%rsi········669195 »       lea····0x12d0821(%rip),%rsi········
669196 »       movl···$0x124,0x2f30(%rsp)669196 »       movl···$0x124,0x2f30(%rsp)
669197 »       call···13ffb30·<cvc5::internal::Options::Options()@@Base+0x12d0>669197 »       call···13ffb30·<cvc5::internal::Options::Options()@@Base+0x12d0>
669198 »       lea····0x2f60(%rsp),%rdi669198 »       lea····0x2f60(%rsp),%rdi
669199 »       lea····0x12d146f(%rip),%rsi········669199 »       lea····0x12d146f(%rip),%rsi········
669200 »       movl···$0x124,0x2f58(%rsp)669200 »       movl···$0x124,0x2f58(%rsp)
669201 »       call···13ffb30·<cvc5::internal::Options::Options()@@Base+0x12d0>669201 »       call···13ffb30·<cvc5::internal::Options::Options()@@Base+0x12d0>
669202 »       lea····0x2f88(%rsp),%rdi669202 »       lea····0x2f88(%rsp),%rdi
Offset 669348, 19 lines modifiedOffset 669348, 19 lines modified
669348 »       movl···$0x148,0x3520(%rsp)669348 »       movl···$0x148,0x3520(%rsp)
669349 »       call···13ffb30·<cvc5::internal::Options::Options()@@Base+0x12d0>669349 »       call···13ffb30·<cvc5::internal::Options::Options()@@Base+0x12d0>
669350 »       lea····0x3550(%rsp),%rdi669350 »       lea····0x3550(%rsp),%rdi
669351 »       lea····0x12d0480(%rip),%rsi········669351 »       lea····0x12d0480(%rip),%rsi········
669352 »       movl···$0x149,0x3548(%rsp)669352 »       movl···$0x149,0x3548(%rsp)
669353 »       call···13ffb30·<cvc5::internal::Options::Options()@@Base+0x12d0>669353 »       call···13ffb30·<cvc5::internal::Options::Options()@@Base+0x12d0>
669354 »       lea····0x3578(%rsp),%rdi669354 »       lea····0x3578(%rsp),%rdi
669355 »       lea····0x12d0476(%rip),%rsi········669355 »       lea····0x12c8592(%rip),%rsi········
669356 »       movl···$0x14a,0x3570(%rsp)669356 »       movl···$0x14a,0x3570(%rsp)
669357 »       call···13ffb30·<cvc5::internal::Options::Options()@@Base+0x12d0>669357 »       call···13ffb30·<cvc5::internal::Options::Options()@@Base+0x12d0>
669358 »       lea····0x35a0(%rsp),%rdi669358 »       lea····0x35a0(%rsp),%rdi
669359 »       lea····0x12c8573(%rip),%rsi········669359 »       lea····0x12d0457(%rip),%rsi········
669360 »       movl···$0x14b,0x3598(%rsp)669360 »       movl···$0x14b,0x3598(%rsp)
669361 »       call···13ffb30·<cvc5::internal::Options::Options()@@Base+0x12d0>669361 »       call···13ffb30·<cvc5::internal::Options::Options()@@Base+0x12d0>
669362 »       lea····0x35c8(%rsp),%rdi669362 »       lea····0x35c8(%rsp),%rdi
669363 »       lea····0x12d1bf6(%rip),%rsi········669363 »       lea····0x12d1bf6(%rip),%rsi········
669364 »       movl···$0x14b,0x35c0(%rsp)669364 »       movl···$0x14b,0x35c0(%rsp)
669365 »       call···13ffb30·<cvc5::internal::Options::Options()@@Base+0x12d0>669365 »       call···13ffb30·<cvc5::internal::Options::Options()@@Base+0x12d0>
669366 »       lea····0x35f0(%rsp),%rdi669366 »       lea····0x35f0(%rsp),%rdi
Offset 4194296, 8 lines modifiedOffset 4194296, 8 lines modified
4194296 »       movq···%r14,%xmm04194296 »       movq···%r14,%xmm0
4194297 »       mov····%r14,0xc8(%rbx)4194297 »       mov····%r14,0xc8(%rbx)
4194298 »       punpcklqdq·%xmm0,%xmm04194298 »       punpcklqdq·%xmm0,%xmm0
4194299 »       movups·%xmm0,0x48(%r14)4194299 »       movups·%xmm0,0x48(%r14)
4194300 »       jmp····d06a7b·<void·std::vector<long,·std::allocator<long>·>::_M_realloc_append<long>(long&&)@@Base+0xea7eb>4194300 »       jmp····d06a7b·<void·std::vector<long,·std::allocator<long>·>::_M_realloc_append<long>(long&&)@@Base+0xea7eb>
4194301 /usr/include/c++/14/bits/shared_ptr_base.h:3464194301 /usr/include/c++/14/bits/shared_ptr_base.h:346
4194302 »       mov····0x0(%rbp),%rax4194302 »       mov····0x0(%rbp),%rax
4194303 [·Too·much·input·for·diff·(SHA256:·a34080fd189ce91d059eaa74ab6138e3dfb57185867e562de3fb67117cdb6bdc)·]4194303 [·Too·much·input·for·diff·(SHA256:·8977e72af4f510a04abcb5340deaadc1fed224db2dc66190eb6c4d1e9b21ea7b)·]
1.3 KB
readelf --wide --decompress --hex-dump=.rodata {}
    
Offset 22565, 16 lines modifiedOffset 22565, 16 lines modified
22565 ··0x015a5220·616e756c·61726974·79007072·6f6f662d·anularity.proof-22565 ··0x015a5220·616e756c·61726974·79007072·6f6f662d·anularity.proof-
22566 ··0x015a5230·6d6f6465·0070726f·6f662d70·6564616e·mode.proof-pedan22566 ··0x015a5230·6d6f6465·0070726f·6f662d70·6564616e·mode.proof-pedan
22567 ··0x015a5240·74696300·70726f6f·662d7265·77726974·tic.proof-rewrit22567 ··0x015a5240·74696300·70726f6f·662d7265·77726974·tic.proof-rewrit
22568 ··0x015a5250·652d7263·6f6e732d·7265632d·6c696d69·e-rcons-rec-limi22568 ··0x015a5250·652d7263·6f6e732d·7265632d·6c696d69·e-rcons-rec-limi
22569 ··0x015a5260·74007072·6f702d72·6f772d6c·656e6774·t.prop-row-lengt22569 ··0x015a5260·74007072·6f702d72·6f772d6c·656e6774·t.prop-row-lengt
22570 ··0x015a5270·68007175·616e742d·6473706c·69740071·h.quant-dsplit.q22570 ··0x015a5270·68007175·616e742d·6473706c·69740071·h.quant-dsplit.q
22571 ··0x015a5280·75616e74·2d726570·2d6d6f64·65007261·uant-rep-mode.ra22571 ··0x015a5280·75616e74·2d726570·2d6d6f64·65007261·uant-rep-mode.ra
 22572 ··0x015a5290·6e646f6d·2d667265·71007261·6e646f6d·ndom-freq.random
22572 ··0x015a5290·6e646f6d·2d667265·7175656e·63790072·ndom-frequency.r22573 ··0x015a52a0·2d667265·7175656e·63790072·652d656c·-frequency.re-el
22573 ··0x015a52a0·616e646f·6d2d6672·65710072·652d656c·andom-freq.re-el 
22574 ··0x015a52b0·696d0072·652d696e·7465722d·6d6f6465·im.re-inter-mode22574 ··0x015a52b0·696d0072·652d696e·7465722d·6d6f6465·im.re-inter-mode
22575 ··0x015a52c0·00726570·6c61792d·6561726c·792d636c·.replay-early-cl22575 ··0x015a52c0·00726570·6c61792d·6561726c·792d636c·.replay-early-cl
22576 ··0x015a52d0·6f73652d·64657074·68007265·706c6179·ose-depth.replay22576 ··0x015a52d0·6f73652d·64657074·68007265·706c6179·ose-depth.replay
22577 ··0x015a52e0·2d6c656d·6d612d72·656a6563·742d6375·-lemma-reject-cu22577 ··0x015a52e0·2d6c656d·6d612d72·656a6563·742d6375·-lemma-reject-cu
22578 ··0x015a52f0·74007265·706c6179·2d6e756d·2d657272·t.replay-num-err22578 ··0x015a52f0·74007265·706c6179·2d6e756d·2d657272·t.replay-num-err
22579 ··0x015a5300·2d70656e·616c7479·00726570·6c61792d·-penalty.replay-22579 ··0x015a5300·2d70656e·616c7479·00726570·6c61792d·-penalty.replay-
22580 ··0x015a5310·72656a65·63742d63·75740072·65737461·reject-cut.resta22580 ··0x015a5310·72656a65·63742d63·75740072·65737461·reject-cut.resta
1.18 KB
readelf --wide --decompress --hex-dump=.data.rel.ro {}
    
Offset 2202, 15 lines modifiedOffset 2202, 15 lines modified
2202 ··0x0186e0f0·35525a01·00000000·6a605a01·00000000·5RZ.....j`Z.....2202 ··0x0186e0f0·35525a01·00000000·6a605a01·00000000·5RZ.....j`Z.....
2203 ··0x0186e100·7c605a01·00000000·96605a01·00000000·|`Z......`Z.....2203 ··0x0186e100·7c605a01·00000000·96605a01·00000000·|`Z......`Z.....
2204 ··0x0186e110·44525a01·00000000·b0ad5701·00000000·DRZ.......W.....2204 ··0x0186e110·44525a01·00000000·b0ad5701·00000000·DRZ.......W.....
2205 ··0x0186e120·62525a01·00000000·6a655a01·00000000·bRZ.....jeZ.....2205 ··0x0186e120·62525a01·00000000·6a655a01·00000000·bRZ.....jeZ.....
2206 ··0x0186e130·7d655a01·00000000·72525a01·00000000·}eZ.....rRZ.....2206 ··0x0186e130·7d655a01·00000000·72525a01·00000000·}eZ.....rRZ.....
2207 ··0x0186e140·92655a01·00000000·a2655a01·00000000·.eZ......eZ.....2207 ··0x0186e140·92655a01·00000000·a2655a01·00000000·.eZ......eZ.....
2208 ··0x0186e150·7f525a01·00000000·d3cd5901·00000000·.RZ.......Y.....2208 ··0x0186e150·7f525a01·00000000·d3cd5901·00000000·.RZ.......Y.....
2209 ··0x0186e160·9f525a01·00000000·8e525a01·00000000·.RZ......RZ.....2209 ··0x0186e160·8e525a01·00000000·9a525a01·00000000·.RZ......RZ.....
2210 ··0x0186e170·075f5a01·00000000·ab525a01·00000000·._Z......RZ.....2210 ··0x0186e170·075f5a01·00000000·ab525a01·00000000·._Z......RZ.....
2211 ··0x0186e180·b3525a01·00000000·af655a01·00000000·.RZ......eZ.....2211 ··0x0186e180·b3525a01·00000000·af655a01·00000000·.RZ......eZ.....
2212 ··0x0186e190·63835901·00000000·cc655a01·00000000·c.Y......eZ.....2212 ··0x0186e190·63835901·00000000·cc655a01·00000000·c.Y......eZ.....
2213 ··0x0186e1a0·a26d5a01·00000000·e3655a01·00000000·.mZ......eZ.....2213 ··0x0186e1a0·a26d5a01·00000000·e3655a01·00000000·.mZ......eZ.....
2214 ··0x0186e1b0·4f6b5a01·00000000·c1525a01·00000000·OkZ......RZ.....2214 ··0x0186e1b0·4f6b5a01·00000000·c1525a01·00000000·OkZ......RZ.....
2215 ··0x0186e1c0·da525a01·00000000·f2525a01·00000000·.RZ......RZ.....2215 ··0x0186e1c0·da525a01·00000000·f2525a01·00000000·.RZ......RZ.....
2216 ··0x0186e1d0·09535a01·00000000·7a835901·00000000·.SZ.....z.Y.....2216 ··0x0186e1d0·09535a01·00000000·7a835901·00000000·.SZ.....z.Y.....
1.36 KB
readelf --wide --decompress --hex-dump=.data {}
    
Offset 736, 17 lines modifiedOffset 736, 17 lines modified
736 ··0x01880dd0·00000000·00000000·46020000·00000000·........F.......736 ··0x01880dd0·00000000·00000000·46020000·00000000·........F.......
737 ··0x01880de0·a8605a01·00000000·00000000·00000000·.`Z.............737 ··0x01880de0·a8605a01·00000000·00000000·00000000·.`Z.............
738 ··0x01880df0·00000000·00000000·47020000·00000000·........G.......738 ··0x01880df0·00000000·00000000·47020000·00000000·........G.......
739 ··0x01880e00·49d45901·00000000·01000000·00000000·I.Y.............739 ··0x01880e00·49d45901·00000000·01000000·00000000·I.Y.............
740 ··0x01880e10·00000000·00000000·48020000·00000000·........H.......740 ··0x01880e10·00000000·00000000·48020000·00000000·........H.......
741 ··0x01880e20·de515a01·00000000·01000000·00000000·.QZ.............741 ··0x01880e20·de515a01·00000000·01000000·00000000·.QZ.............
742 ··0x01880e30·00000000·00000000·49020000·00000000·........I.......742 ··0x01880e30·00000000·00000000·49020000·00000000·........I.......
743 ··0x01880e40·9f525a01·00000000·01000000·00000000·.RZ.............743 ··0x01880e40·8e525a01·00000000·01000000·00000000·.RZ.............
744 ··0x01880e50·00000000·00000000·4a020000·00000000·........J.......744 ··0x01880e50·00000000·00000000·4a020000·00000000·........J.......
745 ··0x01880e60·8e525a01·00000000·01000000·00000000·.RZ.............745 ··0x01880e60·9a525a01·00000000·01000000·00000000·.RZ.............
746 ··0x01880e70·00000000·00000000·4b020000·00000000·........K.......746 ··0x01880e70·00000000·00000000·4b020000·00000000·........K.......
747 ··0x01880e80·1b535a01·00000000·01000000·00000000·.SZ.............747 ··0x01880e80·1b535a01·00000000·01000000·00000000·.SZ.............
748 ··0x01880e90·00000000·00000000·4c020000·00000000·........L.......748 ··0x01880e90·00000000·00000000·4c020000·00000000·........L.......
749 ··0x01880ea0·2c535a01·00000000·01000000·00000000·,SZ.............749 ··0x01880ea0·2c535a01·00000000·01000000·00000000·,SZ.............
750 ··0x01880eb0·00000000·00000000·4d020000·00000000·........M.......750 ··0x01880eb0·00000000·00000000·4d020000·00000000·........M.......
751 ··0x01880ec0·7c535a01·00000000·01000000·00000000·|SZ.............751 ··0x01880ec0·7c535a01·00000000·01000000·00000000·|SZ.............
752 ··0x01880ed0·00000000·00000000·4e020000·00000000·........N.......752 ··0x01880ed0·00000000·00000000·4e020000·00000000·........N.......
811 B
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·31303466·33323666·35313033·36343761·104f326f5103647a 
3 ··0x00000010·32633036·31633532·33616265·61323462·2c061c523abea24b2 ··0x00000000·34363634·34636565·63353331·30616235·46644ceec5310ab5
 3 ··0x00000010·30346538·38646131·32633737·36386636·04e88da12c7768f6
4 ··0x00000020·30653963·35332e64·65627567·00000000·0e9c53.debug....4 ··0x00000020·30393331·36642e64·65627567·00000000·09316d.debug....
5 ··0x00000030·b9f41635····························...55 ··0x00000030·5e5471a7····························^Tq.
  
2.0 KB
libcvc5parser1_1.1.2-2_amd64.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·····1260·2024-03-19·00:06:23.000000·control.tar.xz2 -rw-r--r--···0········0········0·····1264·2024-03-19·00:06:23.000000·control.tar.xz
3 -rw-r--r--···0········0········0···235624·2024-03-19·00:06:23.000000·data.tar.xz3 -rw-r--r--···0········0········0···235844·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.4 KB
data.tar.xz
1.38 KB
data.tar
1.36 KB
./usr/lib/x86_64-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:·2cee06a8107fd3cf502304ba09e387fdc62a7ee73 ··GNU··················0x00000014»  NT_GNU_BUILD_ID·(unique·build·ID·bitstring)»   ····Build·ID:·9c75c10c416ad6475ffce472337a33a8cff281eb
811 B
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·65653036·61383130·37666433·63663530·ee06a8107fd3cf50 
3 ··0x00000010·32333034·62613039·65333837·66646336·2304ba09e387fdc62 ··0x00000000·37356331·30633431·36616436·34373566·75c10c416ad6475f
 3 ··0x00000010·66636534·37323333·37613333·61386366·fce472337a33a8cf
4 ··0x00000020·32613765·65372e64·65627567·00000000·2a7ee7.debug....4 ··0x00000020·66323831·65622e64·65627567·00000000·f281eb.debug....
5 ··0x00000030·29feb7c7····························)...5 ··0x00000030·a2ebcec1····························....
  
2.07 KB
python3-cvc5_1.1.2-2_amd64.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·····1676·2024-03-19·00:06:23.000000·control.tar.xz2 -rw-r--r--···0········0········0·····1680·2024-03-19·00:06:23.000000·control.tar.xz
3 -rw-r--r--···0········0········0···337216·2024-03-19·00:06:23.000000·data.tar.xz3 -rw-r--r--···0········0········0···337752·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.48 KB
data.tar.xz
1.45 KB
data.tar
1.44 KB
./usr/lib/python3/dist-packages/cvc5/cvc5_python_base.cpython-313-x86_64-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:·8695944865d079b514a03f45903e2f740577147f3 ··GNU··················0x00000014»  NT_GNU_BUILD_ID·(unique·build·ID·bitstring)»   ····Build·ID:·d846d1e56e9cf645916416e139055f48ce05d668
811 B
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·39353934·34383635·64303739·62353134·95944865d079b514 
3 ··0x00000010·61303366·34353930·33653266·37343035·a03f45903e2f74052 ··0x00000000·34366431·65353665·39636636·34353931·46d1e56e9cf64591
 3 ··0x00000010·36343136·65313339·30353566·34386365·6416e139055f48ce
4 ··0x00000020·37373134·37662e64·65627567·00000000·77147f.debug....4 ··0x00000020·30356436·36382e64·65627567·00000000·05d668.debug....
5 ··0x00000030·a454267c····························.T&|5 ··0x00000030·530a82cc····························S...
  
37.4 MB
cvc5-dbgsym_1.1.2-2_amd64.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······532·2024-03-19·00:06:23.000000·control.tar.xz2 -rw-r--r--···0········0········0······532·2024-03-19·00:06:23.000000·control.tar.xz
3 -rw-r--r--···0········0········0··1883992·2024-03-19·00:06:23.000000·data.tar.xz3 -rw-r--r--···0········0········0··1884820·2024-03-19·00:06:23.000000·data.tar.xz
652 B
control.tar.xz
624 B
control.tar
376 B
./control
    
Offset 5, 8 lines modifiedOffset 5, 8 lines modified
5 Architecture:·amd645 Architecture:·amd64
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:·20897 Installed-Size:·2089
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:·98b803df3121c5b7ca9c8abae3005a294625731b12 Build-Ids:·2689715b597c436f8c3b87859e749c94e3b5b53c
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/98/b803df3121c5b7ca9c8abae3005a294625731b.debug1 usr/lib/debug/.build-id/26/89715b597c436f8c3b87859e749c94e3b5b53c.debug
37.4 MB
data.tar.xz
37.4 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/98/6 drwxr-xr-x···0·root·········(0)·root·········(0)········0·2024-03-19·00:06:23.000000·./usr/lib/debug/.build-id/26/
7 -rw-r--r--···0·root·········(0)·root·········(0)··2128752·2024-03-19·00:06:23.000000·./usr/lib/debug/.build-id/98/b803df3121c5b7ca9c8abae3005a294625731b.debug7 -rw-r--r--···0·root·········(0)·root·········(0)··2128664·2024-03-19·00:06:23.000000·./usr/lib/debug/.build-id/26/89715b597c436f8c3b87859e749c94e3b5b53c.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
37.4 MB
./usr/lib/debug/.build-id/98/b803df3121c5b7ca9c8abae3005a294625731b.debug vs.
./usr/lib/debug/.build-id/26/89715b597c436f8c3b87859e749c94e3b5b53c.debug
File has been modified after NT_GNU_BUILD_ID has been applied. Files 74% similar despite different names
992 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:···························Advanced·Micro·Devices·X86-649 ··Machine:···························Advanced·Micro·Devices·X86-64
10 ··Version:···························0x110 ··Version:···························0x1
11 ··Entry·point·address:···············0x11ec011 ··Entry·point·address:···············0x11ec0
12 ··Start·of·program·headers:··········64·(bytes·into·file)12 ··Start·of·program·headers:··········64·(bytes·into·file)
13 ··Start·of·section·headers:··········2126128·(bytes·into·file)13 ··Start·of·section·headers:··········2126040·(bytes·into·file)
14 ··Flags:·····························0x014 ··Flags:·····························0x0
15 ··Size·of·this·header:···············64·(bytes)15 ··Size·of·this·header:···············64·(bytes)
16 ··Size·of·program·headers:···········56·(bytes)16 ··Size·of·program·headers:···········56·(bytes)
17 ··Number·of·program·headers:·········1417 ··Number·of·program·headers:·········14
18 ··Size·of·section·headers:···········64·(bytes)18 ··Size·of·section·headers:···········64·(bytes)
19 ··Number·of·section·headers:·········4119 ··Number·of·section·headers:·········41
20 ··Section·header·string·table·index:·4020 ··Section·header·string·table·index:·40
3.58 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·41·section·headers,·starting·at·offset·0x207130:1 There·are·41·section·headers,·starting·at·offset·0x2070d8:
  
2 Section·Headers:2 Section·Headers:
3 ··[Nr]·Name··············Type············Address··········Off····Size···ES·Flg·Lk·Inf·Al3 ··[Nr]·Name··············Type············Address··········Off····Size···ES·Flg·Lk·Inf·Al
4 ··[·0]···················NULL············0000000000000000·000000·000000·00······0···0··04 ··[·0]···················NULL············0000000000000000·000000·000000·00······0···0··0
5 ··[·1]·.note.gnu.property·NOTE············0000000000000350·000350·000020·00···A··0···0··85 ··[·1]·.note.gnu.property·NOTE············0000000000000350·000350·000020·00···A··0···0··8
6 ··[·2]·.note.gnu.build-id·NOTE············0000000000000370·000370·000024·00···A··0···0··46 ··[·2]·.note.gnu.build-id·NOTE············0000000000000370·000370·000024·00···A··0···0··4
7 ··[·3]·.interp···········NOBITS··········0000000000000394·000394·00001c·00···A··0···0··17 ··[·3]·.interp···········NOBITS··········0000000000000394·000394·00001c·00···A··0···0··1
Offset 28, 23 lines modifiedOffset 28, 23 lines modified
28 ··[23]·.data.rel.ro······NOBITS··········0000000000064460·020438·0003a0·00··WA··0···0·3228 ··[23]·.data.rel.ro······NOBITS··········0000000000064460·020438·0003a0·00··WA··0···0·32
29 ··[24]·.dynamic··········NOBITS··········0000000000064800·020438·000240·10··WA··6···0··829 ··[24]·.dynamic··········NOBITS··········0000000000064800·020438·000240·10··WA··6···0··8
30 ··[25]·.got··············NOBITS··········0000000000064a40·020438·0005c0·08··WA··0···0··830 ··[25]·.got··············NOBITS··········0000000000064a40·020438·0005c0·08··WA··0···0··8
31 ··[26]·.data·············NOBITS··········0000000000065000·020438·006180·00··WA··0···0·3231 ··[26]·.data·············NOBITS··········0000000000065000·020438·006180·00··WA··0···0·32
32 ··[27]·.bss··············NOBITS··········000000000006b180·020438·000500·00··WA··0···0·3232 ··[27]·.bss··············NOBITS··········000000000006b180·020438·000500·00··WA··0···0·32
33 ··[28]·.comment··········PROGBITS········0000000000000000·01f64c·00001f·01··MS··0···0··133 ··[28]·.comment··········PROGBITS········0000000000000000·01f64c·00001f·01··MS··0···0··1
34 ··[29]·.debug_aranges····PROGBITS········0000000000000000·01f670·0001f9·00···C··0···0··834 ··[29]·.debug_aranges····PROGBITS········0000000000000000·01f670·0001f9·00···C··0···0··8
35 ··[30]·.debug_info·······PROGBITS········0000000000000000·01f870·157b35·00···C··0···0··835 ··[30]·.debug_info·······PROGBITS········0000000000000000·01f870·157ae5·00···C··0···0··8
36 ··[31]·.debug_abbrev·····PROGBITS········0000000000000000·1773a8·00357f·00···C··0···0··836 ··[31]·.debug_abbrev·····PROGBITS········0000000000000000·177358·00357f·00···C··0···0··8
37 ··[32]·.debug_line·······PROGBITS········0000000000000000·17a928·00fc93·00···C··0···0··837 ··[32]·.debug_line·······PROGBITS········0000000000000000·17a8d8·00fc93·00···C··0···0··8
38 ··[33]·.debug_str········PROGBITS········0000000000000000·18a5c0·02f048·01·MSC··0···0··838 ··[33]·.debug_str········PROGBITS········0000000000000000·18a570·02f03d·01·MSC··0···0··8
39 ··[34]·.debug_line_str···PROGBITS········0000000000000000·1b9608·0007e9·01·MSC··0···0··839 ··[34]·.debug_line_str···PROGBITS········0000000000000000·1b95b0·0007e9·01·MSC··0···0··8
40 ··[35]·.debug_loclists···PROGBITS········0000000000000000·1b9df8·033212·00···C··0···0··840 ··[35]·.debug_loclists···PROGBITS········0000000000000000·1b9da0·033212·00···C··0···0··8
41 ··[36]·.debug_macro······PROGBITS········0000000000000000·1ed010·00a106·00···C··0···0··841 ··[36]·.debug_macro······PROGBITS········0000000000000000·1ecfb8·00a104·00···C··0···0··8
42 ··[37]·.debug_rnglists···PROGBITS········0000000000000000·1f7118·009050·00···C··0···0··842 ··[37]·.debug_rnglists···PROGBITS········0000000000000000·1f70c0·009050·00···C··0···0··8
43 ··[38]·.symtab···········SYMTAB··········0000000000000000·200168·0025f8·18·····39·116··843 ··[38]·.symtab···········SYMTAB··········0000000000000000·200110·0025f8·18·····39·116··8
44 ··[39]·.strtab···········STRTAB··········0000000000000000·202760·00481d·00······0···0··144 ··[39]·.strtab···········STRTAB··········0000000000000000·202708·00481d·00······0···0··1
45 ··[40]·.shstrtab·········STRTAB··········0000000000000000·206f7d·0001ad·00······0···0··145 ··[40]·.shstrtab·········STRTAB··········0000000000000000·206f25·0001ad·00······0···0··1
46 Key·to·Flags:46 Key·to·Flags:
47 ··W·(write),·A·(alloc),·X·(execute),·M·(merge),·S·(strings),·I·(info),47 ··W·(write),·A·(alloc),·X·(execute),·M·(merge),·S·(strings),·I·(info),
48 ··L·(link·order),·O·(extra·OS·processing·required),·G·(group),·T·(TLS),48 ··L·(link·order),·O·(extra·OS·processing·required),·G·(group),·T·(TLS),
49 ··C·(compressed),·x·(unknown),·o·(OS·specific),·E·(exclude),49 ··C·(compressed),·x·(unknown),·o·(OS·specific),·E·(exclude),
50 ··D·(mbind),·l·(large),·p·(processor·specific)50 ··D·(mbind),·l·(large),·p·(processor·specific)
915 B
readelf --wide --notes {}
error from `readelf --wide --notes {}`: readelf: Error: Unable to find program interpreter name
    
Offset 1, 12 lines modifiedOffset 1, 12 lines modified
  
1 Displaying·notes·found·in:·.note.gnu.property1 Displaying·notes·found·in:·.note.gnu.property
2 ··Owner················Data·size·»  Description2 ··Owner················Data·size·»  Description
3 ··GNU··················0x00000010»  NT_GNU_PROPERTY_TYPE_0»    ······Properties:·x86·ISA·needed:·x86-64-baseline3 ··GNU··················0x00000010»  NT_GNU_PROPERTY_TYPE_0»    ······Properties:·x86·ISA·needed:·x86-64-baseline
  
4 Displaying·notes·found·in:·.note.gnu.build-id4 Displaying·notes·found·in:·.note.gnu.build-id
5 ··Owner················Data·size·»  Description5 ··Owner················Data·size·»  Description
6 ··GNU··················0x00000014»  NT_GNU_BUILD_ID·(unique·build·ID·bitstring)»   ····Build·ID:·98b803df3121c5b7ca9c8abae3005a294625731b6 ··GNU··················0x00000014»  NT_GNU_BUILD_ID·(unique·build·ID·bitstring)»   ····Build·ID:·2689715b597c436f8c3b87859e749c94e3b5b53c
  
7 Displaying·notes·found·in:·.note.ABI-tag7 Displaying·notes·found·in:·.note.ABI-tag
8 ··Owner················Data·size·»  Description8 ··Owner················Data·size·»  Description
9 ··GNU··················0x00000010»  NT_GNU_ABI_TAG·(ABI·version·tag)»     ····OS:·Linux,·ABI:·3.2.09 ··GNU··················0x00000010»  NT_GNU_ABI_TAG·(ABI·version·tag)»     ····OS:·Linux,·ABI:·3.2.0
35.8 MB
readelf --wide --debug-dump=info {}
error from `readelf --wide --debug-dump=info {}`: readelf: Error: Unable to find program interpreter name
    
Offset 8, 155 lines modifiedOffset 8, 155 lines modified
8 ···Pointer·Size:··88 ···Pointer·Size:··8
9 ·<0><c>:·Abbrev·Number:·30·(DW_TAG_partial_unit)9 ·<0><c>:·Abbrev·Number:·30·(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-x86_64-linux-gnu/src/main11 ····<11>···DW_AT_comp_dir····:·(line_strp)·(offset:·0x1e):·./obj-x86_64-linux-gnu/src/main
12 ·<1><15>:·Abbrev·Number:·19·(DW_TAG_base_type)12 ·<1><15>:·Abbrev·Number:·19·(DW_TAG_base_type)
13 ····<16>···DW_AT_byte_size···:·(data1)·113 ····<16>···DW_AT_byte_size···:·(data1)·1
14 ····<17>···DW_AT_encoding····:·(data1)·8»    (unsigned·char)14 ····<17>···DW_AT_encoding····:·(data1)·8»    (unsigned·char)
15 ····<18>···DW_AT_name········:·(strp)·(offset:·0xa344e):·unsigned·char15 ····<18>···DW_AT_name········:·(strp)·(offset:·0xa3481):·unsigned·char
16 ·<1><1c>:·Abbrev·Number:·19·(DW_TAG_base_type)16 ·<1><1c>:·Abbrev·Number:·19·(DW_TAG_base_type)
17 ····<1d>···DW_AT_byte_size···:·(data1)·217 ····<1d>···DW_AT_byte_size···:·(data1)·2
18 ····<1e>···DW_AT_encoding····:·(data1)·7»    (unsigned)18 ····<1e>···DW_AT_encoding····:·(data1)·7»    (unsigned)
19 ····<1f>···DW_AT_name········:·(strp)·(offset:·0x4a3c3):·short·unsigned·int19 ····<1f>···DW_AT_name········:·(strp)·(offset:·0x4a3da):·short·unsigned·int
20 ·<1><23>:·Abbrev·Number:·19·(DW_TAG_base_type)20 ·<1><23>:·Abbrev·Number:·19·(DW_TAG_base_type)
21 ····<24>···DW_AT_byte_size···:·(data1)·421 ····<24>···DW_AT_byte_size···:·(data1)·4
22 ····<25>···DW_AT_encoding····:·(data1)·7»    (unsigned)22 ····<25>···DW_AT_encoding····:·(data1)·7»    (unsigned)
23 ····<26>···DW_AT_name········:·(strp)·(offset:·0xbb5f7):·unsigned·int23 ····<26>···DW_AT_name········:·(strp)·(offset:·0xbb62a):·unsigned·int
24 ·<1><2a>:·Abbrev·Number:·19·(DW_TAG_base_type)24 ·<1><2a>:·Abbrev·Number:·19·(DW_TAG_base_type)
25 ····<2b>···DW_AT_byte_size···:·(data1)·825 ····<2b>···DW_AT_byte_size···:·(data1)·8
26 ····<2c>···DW_AT_encoding····:·(data1)·7»    (unsigned)26 ····<2c>···DW_AT_encoding····:·(data1)·7»    (unsigned)
27 ····<2d>···DW_AT_name········:·(strp)·(offset:·0x7cead):·long·unsigned·int27 ····<2d>···DW_AT_name········:·(strp)·(offset:·0x7cec4):·long·unsigned·int
28 ·<1><31>:·Abbrev·Number:·40·(DW_TAG_typedef)28 ·<1><31>:·Abbrev·Number:·40·(DW_TAG_typedef)
29 ····<32>···DW_AT_name········:·(strp)·(offset:·0xb5e9):·__int8_t29 ····<32>···DW_AT_name········:·(strp)·(offset:·0xb5e9):·__int8_t
30 ····<36>···DW_AT_decl_file···:·(data1)·3130 ····<36>···DW_AT_decl_file···:·(data1)·31
31 ····<37>···DW_AT_decl_line···:·(data1)·3731 ····<37>···DW_AT_decl_line···:·(data1)·37
32 ····<38>···DW_AT_decl_column·:·(data1)·2132 ····<38>···DW_AT_decl_column·:·(data1)·21
33 ····<39>···DW_AT_type········:·(ref_udata)·<0x3a>,·signed·char33 ····<39>···DW_AT_type········:·(ref_udata)·<0x3a>,·signed·char
34 ·<1><3a>:·Abbrev·Number:·19·(DW_TAG_base_type)34 ·<1><3a>:·Abbrev·Number:·19·(DW_TAG_base_type)
35 ····<3b>···DW_AT_byte_size···:·(data1)·135 ····<3b>···DW_AT_byte_size···:·(data1)·1
36 ····<3c>···DW_AT_encoding····:·(data1)·6»    (signed·char)36 ····<3c>···DW_AT_encoding····:·(data1)·6»    (signed·char)
37 ····<3d>···DW_AT_name········:·(strp)·(offset:·0x71652):·signed·char37 ····<3d>···DW_AT_name········:·(strp)·(offset:·0x71669):·signed·char
38 ·<1><41>:·Abbrev·Number:·40·(DW_TAG_typedef)38 ·<1><41>:·Abbrev·Number:·40·(DW_TAG_typedef)
39 ····<42>···DW_AT_name········:·(strp)·(offset:·0x416aa):·__uint8_t39 ····<42>···DW_AT_name········:·(strp)·(offset:·0x41690):·__uint8_t
40 ····<46>···DW_AT_decl_file···:·(data1)·3140 ····<46>···DW_AT_decl_file···:·(data1)·31
41 ····<47>···DW_AT_decl_line···:·(data1)·3841 ····<47>···DW_AT_decl_line···:·(data1)·38
42 ····<48>···DW_AT_decl_column·:·(data1)·2342 ····<48>···DW_AT_decl_column·:·(data1)·23
43 ····<49>···DW_AT_type········:·(ref_udata)·<0x15>,·unsigned·char43 ····<49>···DW_AT_type········:·(ref_udata)·<0x15>,·unsigned·char
44 ·<1><4a>:·Abbrev·Number:·40·(DW_TAG_typedef)44 ·<1><4a>:·Abbrev·Number:·40·(DW_TAG_typedef)
45 ····<4b>···DW_AT_name········:·(strp)·(offset:·0xb40c8):·__int16_t45 ····<4b>···DW_AT_name········:·(strp)·(offset:·0xb40fb):·__int16_t
46 ····<4f>···DW_AT_decl_file···:·(data1)·3146 ····<4f>···DW_AT_decl_file···:·(data1)·31
47 ····<50>···DW_AT_decl_line···:·(data1)·3947 ····<50>···DW_AT_decl_line···:·(data1)·39
48 ····<51>···DW_AT_decl_column·:·(data1)·2648 ····<51>···DW_AT_decl_column·:·(data1)·26
49 ····<52>···DW_AT_type········:·(ref_udata)·<0x53>,·short·int49 ····<52>···DW_AT_type········:·(ref_udata)·<0x53>,·short·int
50 ·<1><53>:·Abbrev·Number:·19·(DW_TAG_base_type)50 ·<1><53>:·Abbrev·Number:·19·(DW_TAG_base_type)
51 ····<54>···DW_AT_byte_size···:·(data1)·251 ····<54>···DW_AT_byte_size···:·(data1)·2
52 ····<55>···DW_AT_encoding····:·(data1)·5»    (signed)52 ····<55>···DW_AT_encoding····:·(data1)·5»    (signed)
53 ····<56>···DW_AT_name········:·(strp)·(offset:·0x8b4d7):·short·int53 ····<56>···DW_AT_name········:·(strp)·(offset:·0x8b4ee):·short·int
54 ·<1><5a>:·Abbrev·Number:·40·(DW_TAG_typedef)54 ·<1><5a>:·Abbrev·Number:·40·(DW_TAG_typedef)
55 ····<5b>···DW_AT_name········:·(strp)·(offset:·0xb8e44):·__uint16_t55 ····<5b>···DW_AT_name········:·(strp)·(offset:·0xb8e77):·__uint16_t
56 ····<5f>···DW_AT_decl_file···:·(data1)·3156 ····<5f>···DW_AT_decl_file···:·(data1)·31
57 ····<60>···DW_AT_decl_line···:·(data1)·4057 ····<60>···DW_AT_decl_line···:·(data1)·40
58 ····<61>···DW_AT_decl_column·:·(data1)·2858 ····<61>···DW_AT_decl_column·:·(data1)·28
59 ····<62>···DW_AT_type········:·(ref_udata)·<0x1c>,·short·unsigned·int59 ····<62>···DW_AT_type········:·(ref_udata)·<0x1c>,·short·unsigned·int
60 ·<1><63>:·Abbrev·Number:·40·(DW_TAG_typedef)60 ·<1><63>:·Abbrev·Number:·40·(DW_TAG_typedef)
61 ····<64>···DW_AT_name········:·(strp)·(offset:·0x8b31e):·__int32_t61 ····<64>···DW_AT_name········:·(strp)·(offset:·0x8b335):·__int32_t
62 ····<68>···DW_AT_decl_file···:·(data1)·3162 ····<68>···DW_AT_decl_file···:·(data1)·31
63 ····<69>···DW_AT_decl_line···:·(data1)·4163 ····<69>···DW_AT_decl_line···:·(data1)·41
64 ····<6a>···DW_AT_decl_column·:·(data1)·2064 ····<6a>···DW_AT_decl_column·:·(data1)·20
65 ····<6b>···DW_AT_type········:·(ref_udata)·<0x6c>,·int65 ····<6b>···DW_AT_type········:·(ref_udata)·<0x6c>,·int
66 ·<1><6c>:·Abbrev·Number:·44·(DW_TAG_base_type)66 ·<1><6c>:·Abbrev·Number:·44·(DW_TAG_base_type)
67 ····<6d>···DW_AT_byte_size···:·(data1)·467 ····<6d>···DW_AT_byte_size···:·(data1)·4
68 ····<6e>···DW_AT_encoding····:·(data1)·5»    (signed)68 ····<6e>···DW_AT_encoding····:·(data1)·5»    (signed)
69 ····<6f>···DW_AT_name········:·(string)·int69 ····<6f>···DW_AT_name········:·(string)·int
70 ·<1><73>:·Abbrev·Number:·34·(DW_TAG_const_type)70 ·<1><73>:·Abbrev·Number:·34·(DW_TAG_const_type)
71 ····<74>···DW_AT_type········:·(ref_udata)·<0x6c>,·int71 ····<74>···DW_AT_type········:·(ref_udata)·<0x6c>,·int
72 ·<1><75>:·Abbrev·Number:·40·(DW_TAG_typedef)72 ·<1><75>:·Abbrev·Number:·40·(DW_TAG_typedef)
73 ····<76>···DW_AT_name········:·(strp)·(offset:·0x8fdd5):·__uint32_t73 ····<76>···DW_AT_name········:·(strp)·(offset:·0x8fdec):·__uint32_t
74 ····<7a>···DW_AT_decl_file···:·(data1)·3174 ····<7a>···DW_AT_decl_file···:·(data1)·31
75 ····<7b>···DW_AT_decl_line···:·(data1)·4275 ····<7b>···DW_AT_decl_line···:·(data1)·42
76 ····<7c>···DW_AT_decl_column·:·(data1)·2276 ····<7c>···DW_AT_decl_column·:·(data1)·22
77 ····<7d>···DW_AT_type········:·(ref_udata)·<0x23>,·unsigned·int77 ····<7d>···DW_AT_type········:·(ref_udata)·<0x23>,·unsigned·int
78 ·<1><7e>:·Abbrev·Number:·40·(DW_TAG_typedef)78 ·<1><7e>:·Abbrev·Number:·40·(DW_TAG_typedef)
79 ····<7f>···DW_AT_name········:·(strp)·(offset:·0x63ab2):·__int64_t79 ····<7f>···DW_AT_name········:·(strp)·(offset:·0x63ac9):·__int64_t
80 ····<83>···DW_AT_decl_file···:·(data1)·3180 ····<83>···DW_AT_decl_file···:·(data1)·31
81 ····<84>···DW_AT_decl_line···:·(data1)·4481 ····<84>···DW_AT_decl_line···:·(data1)·44
82 ····<85>···DW_AT_decl_column·:·(data1)·2582 ····<85>···DW_AT_decl_column·:·(data1)·25
83 ····<86>···DW_AT_type········:·(ref_udata)·<0x88>,·long·int83 ····<86>···DW_AT_type········:·(ref_udata)·<0x88>,·long·int
84 ·<1><88>:·Abbrev·Number:·19·(DW_TAG_base_type)84 ·<1><88>:·Abbrev·Number:·19·(DW_TAG_base_type)
85 ····<89>···DW_AT_byte_size···:·(data1)·885 ····<89>···DW_AT_byte_size···:·(data1)·8
86 ····<8a>···DW_AT_encoding····:·(data1)·5»    (signed)86 ····<8a>···DW_AT_encoding····:·(data1)·5»    (signed)
87 ····<8b>···DW_AT_name········:·(strp)·(offset:·0xfe38):·long·int87 ····<8b>···DW_AT_name········:·(strp)·(offset:·0xfe38):·long·int
88 ·<1><8f>:·Abbrev·Number:·40·(DW_TAG_typedef)88 ·<1><8f>:·Abbrev·Number:·40·(DW_TAG_typedef)
89 ····<90>···DW_AT_name········:·(strp)·(offset:·0x689c4):·__uint64_t89 ····<90>···DW_AT_name········:·(strp)·(offset:·0x689db):·__uint64_t
90 ····<94>···DW_AT_decl_file···:·(data1)·3190 ····<94>···DW_AT_decl_file···:·(data1)·31
91 ····<95>···DW_AT_decl_line···:·(data1)·4591 ····<95>···DW_AT_decl_line···:·(data1)·45
92 ····<96>···DW_AT_decl_column·:·(data1)·2792 ····<96>···DW_AT_decl_column·:·(data1)·27
93 ····<97>···DW_AT_type········:·(ref_udata)·<0x2a>,·long·unsigned·int93 ····<97>···DW_AT_type········:·(ref_udata)·<0x2a>,·long·unsigned·int
94 ·<1><98>:·Abbrev·Number:·40·(DW_TAG_typedef)94 ·<1><98>:·Abbrev·Number:·40·(DW_TAG_typedef)
95 ····<99>···DW_AT_name········:·(strp)·(offset:·0x59fab):·__int_least8_t95 ····<99>···DW_AT_name········:·(strp)·(offset:·0x59fc2):·__int_least8_t
96 ····<9d>···DW_AT_decl_file···:·(data1)·3196 ····<9d>···DW_AT_decl_file···:·(data1)·31
97 ····<9e>···DW_AT_decl_line···:·(data1)·5297 ····<9e>···DW_AT_decl_line···:·(data1)·52
98 ····<9f>···DW_AT_decl_column·:·(data1)·1898 ····<9f>···DW_AT_decl_column·:·(data1)·18
99 ····<a0>···DW_AT_type········:·(ref_udata)·<0x31>,·__int8_t,·signed·char99 ····<a0>···DW_AT_type········:·(ref_udata)·<0x31>,·__int8_t,·signed·char
100 ·<1><a1>:·Abbrev·Number:·40·(DW_TAG_typedef)100 ·<1><a1>:·Abbrev·Number:·40·(DW_TAG_typedef)
101 ····<a2>···DW_AT_name········:·(strp)·(offset:·0x5ffc4):·__uint_least8_t101 ····<a2>···DW_AT_name········:·(strp)·(offset:·0x5ffdb):·__uint_least8_t
102 ····<a6>···DW_AT_decl_file···:·(data1)·31102 ····<a6>···DW_AT_decl_file···:·(data1)·31
103 ····<a7>···DW_AT_decl_line···:·(data1)·53103 ····<a7>···DW_AT_decl_line···:·(data1)·53
104 ····<a8>···DW_AT_decl_column·:·(data1)·19104 ····<a8>···DW_AT_decl_column·:·(data1)·19
105 ····<a9>···DW_AT_type········:·(ref_udata)·<0x41>,·__uint8_t,·unsigned·char105 ····<a9>···DW_AT_type········:·(ref_udata)·<0x41>,·__uint8_t,·unsigned·char
106 ·<1><aa>:·Abbrev·Number:·40·(DW_TAG_typedef)106 ·<1><aa>:·Abbrev·Number:·40·(DW_TAG_typedef)
107 ····<ab>···DW_AT_name········:·(strp)·(offset:·0x7ffd4):·__int_least16_t107 ····<ab>···DW_AT_name········:·(strp)·(offset:·0x7ffeb):·__int_least16_t
108 ····<af>···DW_AT_decl_file···:·(data1)·31108 ····<af>···DW_AT_decl_file···:·(data1)·31
109 ····<b0>···DW_AT_decl_line···:·(data1)·54109 ····<b0>···DW_AT_decl_line···:·(data1)·54
110 ····<b1>···DW_AT_decl_column·:·(data1)·19110 ····<b1>···DW_AT_decl_column·:·(data1)·19
111 ····<b2>···DW_AT_type········:·(ref_udata)·<0x4a>,·__int16_t,·short·int111 ····<b2>···DW_AT_type········:·(ref_udata)·<0x4a>,·__int16_t,·short·int
112 ·<1><b3>:·Abbrev·Number:·40·(DW_TAG_typedef)112 ·<1><b3>:·Abbrev·Number:·40·(DW_TAG_typedef)
113 ····<b4>···DW_AT_name········:·(strp)·(offset:·0x10d4e):·__uint_least16_t113 ····<b4>···DW_AT_name········:·(strp)·(offset:·0x10d4e):·__uint_least16_t
114 ····<b8>···DW_AT_decl_file···:·(data1)·31114 ····<b8>···DW_AT_decl_file···:·(data1)·31
115 ····<b9>···DW_AT_decl_line···:·(data1)·55115 ····<b9>···DW_AT_decl_line···:·(data1)·55
116 ····<ba>···DW_AT_decl_column·:·(data1)·20116 ····<ba>···DW_AT_decl_column·:·(data1)·20
117 ····<bb>···DW_AT_type········:·(ref_udata)·<0x5a>,·__uint16_t,·short·unsigned·int117 ····<bb>···DW_AT_type········:·(ref_udata)·<0x5a>,·__uint16_t,·short·unsigned·int
118 ·<1><bc>:·Abbrev·Number:·40·(DW_TAG_typedef)118 ·<1><bc>:·Abbrev·Number:·40·(DW_TAG_typedef)
119 ····<bd>···DW_AT_name········:·(strp)·(offset:·0x56f63):·__int_least32_t119 ····<bd>···DW_AT_name········:·(strp)·(offset:·0x56f7a):·__int_least32_t
120 ····<c1>···DW_AT_decl_file···:·(data1)·31120 ····<c1>···DW_AT_decl_file···:·(data1)·31
121 ····<c2>···DW_AT_decl_line···:·(data1)·56121 ····<c2>···DW_AT_decl_line···:·(data1)·56
122 ····<c3>···DW_AT_decl_column·:·(data1)·19122 ····<c3>···DW_AT_decl_column·:·(data1)·19
123 ····<c4>···DW_AT_type········:·(ref_udata)·<0x63>,·__int32_t,·int123 ····<c4>···DW_AT_type········:·(ref_udata)·<0x63>,·__int32_t,·int
124 ·<1><c5>:·Abbrev·Number:·40·(DW_TAG_typedef)124 ·<1><c5>:·Abbrev·Number:·40·(DW_TAG_typedef)
125 ····<c6>···DW_AT_name········:·(strp)·(offset:·0xca97e):·__uint_least32_t125 ····<c6>···DW_AT_name········:·(strp)·(offset:·0xca964):·__uint_least32_t
126 ····<ca>···DW_AT_decl_file···:·(data1)·31126 ····<ca>···DW_AT_decl_file···:·(data1)·31
127 ····<cb>···DW_AT_decl_line···:·(data1)·57127 ····<cb>···DW_AT_decl_line···:·(data1)·57
128 ····<cc>···DW_AT_decl_column·:·(data1)·20128 ····<cc>···DW_AT_decl_column·:·(data1)·20
129 ····<cd>···DW_AT_type········:·(ref_udata)·<0x75>,·__uint32_t,·unsigned·int129 ····<cd>···DW_AT_type········:·(ref_udata)·<0x75>,·__uint32_t,·unsigned·int
130 ·<1><ce>:·Abbrev·Number:·40·(DW_TAG_typedef)130 ·<1><ce>:·Abbrev·Number:·40·(DW_TAG_typedef)
131 ····<cf>···DW_AT_name········:·(strp)·(offset:·0x2ee9c):·__int_least64_t131 ····<cf>···DW_AT_name········:·(strp)·(offset:·0x2ee82):·__int_least64_t
132 ····<d3>···DW_AT_decl_file···:·(data1)·31132 ····<d3>···DW_AT_decl_file···:·(data1)·31
133 ····<d4>···DW_AT_decl_line···:·(data1)·58133 ····<d4>···DW_AT_decl_line···:·(data1)·58
134 ····<d5>···DW_AT_decl_column·:·(data1)·19134 ····<d5>···DW_AT_decl_column·:·(data1)·19
Max diff block lines reached; 37480449/37488558 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 1741, 16 lines modifiedOffset 1741, 16 lines modified
1741 ·DW_MACRO_define_strp·-·lineno·:·0·macro·:·_GNU_SOURCE·11741 ·DW_MACRO_define_strp·-·lineno·:·0·macro·:·_GNU_SOURCE·1
1742 ·DW_MACRO_define_strp·-·lineno·:·0·macro·:·CVC5_STATISTICS_ON·11742 ·DW_MACRO_define_strp·-·lineno·:·0·macro·:·CVC5_STATISTICS_ON·1
1743 ·DW_MACRO_define_strp·-·lineno·:·0·macro·:·CVC5_USE_CRYPTOMINISAT·11743 ·DW_MACRO_define_strp·-·lineno·:·0·macro·:·CVC5_USE_CRYPTOMINISAT·1
1744 ·DW_MACRO_define_strp·-·lineno·:·0·macro·:·NDEBUG·11744 ·DW_MACRO_define_strp·-·lineno·:·0·macro·:·NDEBUG·1
1745 ·DW_MACRO_define_strp·-·lineno·:·0·macro·:·__BUILDING_CVC5DRIVER·11745 ·DW_MACRO_define_strp·-·lineno·:·0·macro·:·__BUILDING_CVC5DRIVER·1
1746 ·DW_MACRO_define_strp·-·lineno·:·0·macro·:·cvc5_obj_EXPORTS·11746 ·DW_MACRO_define_strp·-·lineno·:·0·macro·:·cvc5_obj_EXPORTS·1
1747 ·DW_MACRO_define_strp·-·lineno·:·0·macro·:·_FORTIFY_SOURCE·21747 ·DW_MACRO_define_strp·-·lineno·:·0·macro·:·_FORTIFY_SOURCE·2
1748 ·DW_MACRO_define_strp·-·lineno·:·0·macro·:·DEB_BUILD_DATE·"2024-03-18"1748 ·DW_MACRO_define_strp·-·lineno·:·0·macro·:·DEB_BUILD_DATE·"2024-03-19"
1749 ·DW_MACRO_define_strp·-·lineno·:·0·macro·:·DEB_BUILD_TIME·"12:06:23"1749 ·DW_MACRO_define_strp·-·lineno·:·0·macro·:·DEB_BUILD_TIME·"14:06:23"
  
1750 ··Offset:······················0x1c751750 ··Offset:······················0x1c75
1751 ··Version:·····················51751 ··Version:·····················5
1752 ··Offset·size:·················41752 ··Offset·size:·················4
  
1753 ·DW_MACRO_define_strp·-·lineno·:·19·macro·:·_STDC_PREDEF_H·11753 ·DW_MACRO_define_strp·-·lineno·:·19·macro·:·_STDC_PREDEF_H·1
1754 ·DW_MACRO_define_strp·-·lineno·:·38·macro·:·__STDC_IEC_559__·11754 ·DW_MACRO_define_strp·-·lineno·:·38·macro·:·__STDC_IEC_559__·1
Offset 14164, 16 lines modifiedOffset 14164, 16 lines modified
14164 ·DW_MACRO_define_strp·-·lineno·:·0·macro·:·_GNU_SOURCE·114164 ·DW_MACRO_define_strp·-·lineno·:·0·macro·:·_GNU_SOURCE·1
14165 ·DW_MACRO_define_strp·-·lineno·:·0·macro·:·CVC5_STATISTICS_ON·114165 ·DW_MACRO_define_strp·-·lineno·:·0·macro·:·CVC5_STATISTICS_ON·1
14166 ·DW_MACRO_define_strp·-·lineno·:·0·macro·:·CVC5_USE_CRYPTOMINISAT·114166 ·DW_MACRO_define_strp·-·lineno·:·0·macro·:·CVC5_USE_CRYPTOMINISAT·1
14167 ·DW_MACRO_define_strp·-·lineno·:·0·macro·:·NDEBUG·114167 ·DW_MACRO_define_strp·-·lineno·:·0·macro·:·NDEBUG·1
14168 ·DW_MACRO_define_strp·-·lineno·:·0·macro·:·__BUILDING_CVC5DRIVER·114168 ·DW_MACRO_define_strp·-·lineno·:·0·macro·:·__BUILDING_CVC5DRIVER·1
14169 ·DW_MACRO_define_strp·-·lineno·:·0·macro·:·cvc5_obj_EXPORTS·114169 ·DW_MACRO_define_strp·-·lineno·:·0·macro·:·cvc5_obj_EXPORTS·1
14170 ·DW_MACRO_define_strp·-·lineno·:·0·macro·:·_FORTIFY_SOURCE·214170 ·DW_MACRO_define_strp·-·lineno·:·0·macro·:·_FORTIFY_SOURCE·2
14171 ·DW_MACRO_define_strp·-·lineno·:·0·macro·:·DEB_BUILD_DATE·"2024-03-18"14171 ·DW_MACRO_define_strp·-·lineno·:·0·macro·:·DEB_BUILD_DATE·"2024-03-19"
14172 ·DW_MACRO_define_strp·-·lineno·:·0·macro·:·DEB_BUILD_TIME·"12:06:23"14172 ·DW_MACRO_define_strp·-·lineno·:·0·macro·:·DEB_BUILD_TIME·"14:06:23"
  
14173 ··Offset:······················0x1313514173 ··Offset:······················0x13135
14174 ··Version:·····················514174 ··Version:·····················5
14175 ··Offset·size:·················414175 ··Offset·size:·················4
  
14176 ·DW_MACRO_define_strp·-·lineno·:·35·macro·:·RLIMIT_CPU·RLIMIT_CPU14176 ·DW_MACRO_define_strp·-·lineno·:·35·macro·:·RLIMIT_CPU·RLIMIT_CPU
14177 ·DW_MACRO_define_strp·-·lineno·:·39·macro·:·RLIMIT_FSIZE·RLIMIT_FSIZE14177 ·DW_MACRO_define_strp·-·lineno·:·39·macro·:·RLIMIT_FSIZE·RLIMIT_FSIZE
9.06 KB
strings --all --bytes=8 {}
    
Offset 1, 370 lines modifiedOffset 1, 377 lines modified
1 GCC:·(Debian·14.2.0-17)·14.2.01 GCC:·(Debian·14.2.0-17)·14.2.0
 2 \}Hm)WCT
 3 {r*-!)z»
 4 Ss{3-p5p
 5 2'C\\%A3M
 6 ($B4TiaL
 7 *$BT7jav
 8 yYW>cFQ!Z
 9 {l'V1v*D
 10 A*s@"DPk@
 11 c3E!j&k!5c]
 12 $B$g+@>.;
 13 /MX!OX!u}
 14 D<R|Ct|S
 15 F.,23tsmk
 16 e.533C[n
 17 .'OWP40pV
 18 KY}BhBU&
 19 1zqN#UZy
 20 N4Fr-OYg
 21 k":C6M·>i
 22 a9jcu_5»
 23 ~!!\*J32q"L
 24 2&)#qMA"k
 25 $KT;&xjp
 26 _VkDj`o@
 27 I{m8lT·Ss
 28 o|&&f"l+
 29 Zj;fZ2:^
 30 hXKvZPcd
 31 sQd&JW\F
 32 <URJ%1R%
 33 dG[siF.U&
 34 ,YM(1?FE
 35 >\nA!9xg
 36 d3}08o;J
 37 ^`·;XN6@
 38 {R$[~1P-@
 39 ,~!(VOmQ
 40 h:n7Xekm|
 41 Wk|c1n+VZ
 42 d9a0v»  }x
 43 AveJ@\O·9
 44 [?IHOA8n;
 45 %;!Car%y
 46 /yn>»   ;Oz
 47 cHcHcHcHcHcHcH
 48 N&$@Oor2
 49 7S&$@s/R
 50 ~BMIvB}R
 51 m>{yJ:(y
 52 w.J}/J}o
 53 si%OkKnv
 54 DK77wO~|
 55 iBDJ>x7G
 56 ;)f·~z;C
 57 z{>nr.'y
 58 G!~dOc7G@
 59 df?2EW·\
 60 )5U*(8~J
 61 U3[#a[#Ab
 62 7»      $aB|,a
 63 ECzhJ],E
 64 -i-q1f/V0=
 65 ~u/MOI·=U
 66 j|v5VJlFU
 67 o29,1f6k
 68 BR!99LS3
 69 ]L600YCO/
 70 g)z1]w·e
 71 jr+"Ozc9
 72 Pvn<eH}·yt,
 73 Z"RbW7k>
 74 +5VpFckA
 75 6TxVesOuJduuo
 76 ,Mg]CWjb
 77 ZWvBCgb;
 78 $iBVXh@L
 79 FD+6R<8RG
 80 MPC%>$cWc
 81 WvRn?c» )Xb
 82 B[rIe.lISMg
 83 ,1N]w;QU
 84 _8VT@K%t
 85 izJB[rMB
 86 »       '[TYD\n»6
 87 uYKK"y\_
 88 )rRT3!vg
 89 jksi`.oIB,
 90 %4Oj,mB{
 91 ha$U"#iB
2 ,tl!=!_Y 
3 x-YVMiei 
4 5g46?][r 
5 8»      XczVclc 
6 }»      \T_Wg$ 
7 ·DtC"DtC 
8 `fS!v;9@L 
9 nRC>cLeD 
10 kY7>cFP! 
11 XsvQ!~5iP 
12 3w{77WR/ 
13 fqt`,}3V 
14 l*^iFW|B 
15 ^xO|>[z>[ 
16 rk3As(~O;W 
17 Pv7LWk+z 
18 Vy()Sse* 
19 =YPNW6[$ 
20 cxL^`RmV!R 
21 cCUdc:ECk 
22 XBbBx#3&B 
23 2zqNcEZ~ 
24 %b}.S_tm_ 
25 r{c;h`nlGm 
26 W:V{fi~) 
27 E*J?3c1zP 
28 WVqy!}TD 
29 G6[x}sr^ 
30 &_L}0O*· 
31 JaL~s8Po 
32 \~Z&/_9h 
33 ···PV(dlo:L& 
34 y|J^[xwasL 
35 ~Ai|·;Gg 
36 `B*t1D/6 
37 V2_gs{75 
Max diff block lines reached; 5606/9222 bytes (60.79%) of diff not shown.
1.62 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 2183, 10980 lines modifiedOffset 2183, 10980 lines modified
2183 ··[·22190]··_____fpos_t_defined·12183 ··[·22190]··_____fpos_t_defined·1
2184 ··[·221a6]··__normal_iterator<unsigned·int*,·std::vector<unsigned·int,·std::allocator<unsigned·int>·>·>2184 ··[·221a6]··__normal_iterator<unsigned·int*,·std::vector<unsigned·int,·std::allocator<unsigned·int>·>·>
2185 ··[·22202]··_ZNK4cvc56Result6isNullEv2185 ··[·22202]··_ZNK4cvc56Result6isNullEv
2186 ··[·2221c]··_ZNKSt10unique_ptrIN4cvc58internal7options13HolderPRINTERESt14default_deleteIS3_EE11get_deleterEv2186 ··[·2221c]··_ZNKSt10unique_ptrIN4cvc58internal7options13HolderPRINTERESt14default_deleteIS3_EE11get_deleterEv
2187 ··[·2227e]··_ZNKSt8_Rb_treeIN4cvc54TermES1_St9_IdentityIS1_ESt4lessIS1_ESaIS1_EE8max_sizeEv2187 ··[·2227e]··_ZNKSt8_Rb_treeIN4cvc54TermES1_St9_IdentityIS1_ESt4lessIS1_ESaIS1_EE8max_sizeEv
2188 ··[·222ce]··_ZNSt3mapIN4cvc54TermENSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEESt4lessIS1_ESaISt4pairIKS1_S7_EEE11upper_boundERSB_2188 ··[·222ce]··_ZNSt3mapIN4cvc54TermENSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEESt4lessIS1_ESaISt4pairIKS1_S7_EEE11upper_boundERSB_
Diff chunk too large, falling back to line-by-line diff (10966 lines added, 10966 lines removed)
2189 ··[·2234c]··_ZNSt22_Optional_payload_baseIlEC4EOS0_2189 ··[·2234c]··_ZNSt22_Optional_payload_baseIlEC4EOS0_
2190 ··[·22374]··DEB_BUILD_TIME·"12:06:23"2190 ··[·22374]··_SC_V7_LP64_OFF64·_SC_V7_LP64_OFF64
2191 ··[·2238e]··_SC_V7_LP64_OFF64·_SC_V7_LP64_OFF642191 ··[·22398]··CLOCK_MONOTONIC_COARSE·6
2192 ··[·223b2]··CLOCK_MONOTONIC_COARSE·62192 ··[·223b1]··_GLIBCXX_HAVE_SYS_STAT_H·1
2193 ··[·223cb]··_GLIBCXX_HAVE_SYS_STAT_H·12193 ··[·223cc]··_ZNSt13_Rb_tree_nodeISt4pairINSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEEmEE9_M_valptrEv
2194 ··[·223e6]··_ZNSt13_Rb_tree_nodeISt4pairINSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEEmEE9_M_valptrEv2194 ··[·2242d]··__cpp_rvalue_reference·200610L
2195 ··[·22447]··__cpp_rvalue_reference·200610L2195 ··[·2244c]··_ZNKSt14default_deleteIN4cvc56parser13SymbolManagerEEclEPS2_
2196 ··[·22466]··_ZNKSt14default_deleteIN4cvc56parser13SymbolManagerEEclEPS2_2196 ··[·22489]··d_sep
2197 ··[·224a3]··d_sep2197 ··[·2248f]··_ZNSt12_Vector_baseIN4cvc54TermESaIS1_EE12_Vector_implC4EOS2_OS4_
2198 ··[·224a9]··_ZNSt12_Vector_baseIN4cvc54TermESaIS1_EE12_Vector_implC4EOS2_OS4_2198 ··[·224d1]··__try·try
2199 ··[·224eb]··__try·try2199 ··[·224db]··_ZNSt14default_deleteIN4cvc58internal7options12HolderPARSEREEC4Ev
2200 ··[·224f5]··_ZNSt14default_deleteIN4cvc58internal7options12HolderPARSEREEC4Ev2200 ··[·2251d]··isSequenceValue
2201 ··[·22537]··isSequenceValue2201 ··[·2252d]··_ZNSt6vectorISt4pairINSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEES6_ESaIS7_EEC4EOS9_RKS8_
2202 ··[·22547]··_ZNSt6vectorISt4pairINSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEES6_ESaIS7_EEC4EOS9_RKS8_2202 ··[·2258f]··__CPU_FREE(cpuset)·__sched_cpufree·(cpuset)
2203 ··[·225a9]··__CPU_FREE(cpuset)·__sched_cpufree·(cpuset)2203 ··[·225bb]··__glibcxx_want_smart_ptr_for_overwrite
2204 ··[·225d5]··__glibcxx_want_smart_ptr_for_overwrite2204 ··[·225e2]··_ZNSt15__uniq_ptr_dataIN4cvc58internal3smt16UnsatCoreManagerESt14default_deleteIS3_ELb1ELb1EEaSEOS6_
2205 ··[·225fc]··_ZNSt15__uniq_ptr_dataIN4cvc58internal3smt16UnsatCoreManagerESt14default_deleteIS3_ELb1ELb1EEaSEOS6_2205 ··[·22647]··_ZNSt11_Tuple_implILm0EJPN4cvc58internal7options10HolderSETSESt14default_deleteIS3_EEE7_M_swapERS7_
2206 ··[·22661]··_ZNSt11_Tuple_implILm0EJPN4cvc58internal7options10HolderSETSESt14default_deleteIS3_EEE7_M_swapERS7_2206 ··[·226ab]··_ZNK4cvc512DatatypeDecl12isNullHelperEv
2207 ··[·226c5]··_ZNK4cvc512DatatypeDecl12isNullHelperEv2207 ··[·226d3]··_ZNSt12_Vector_baseIN4cvc516DatatypeSelectorESaIS1_EE19_M_get_Tp_allocatorEv
2208 ··[·226ed]··_ZNSt12_Vector_baseIN4cvc516DatatypeSelectorESaIS1_EE19_M_get_Tp_allocatorEv2208 ··[·22720]··_ZNSt8_Rb_treeINSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEESt4pairIKS5_N4cvc54StatEESt10_Select1stISA_ESt4lessIS5_ESaISA_EE14_M_move_assignERSG_St17integral_constantIbLb1EE
2209 ··[·2273a]··_ZNSt8_Rb_treeINSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEESt4pairIKS5_N4cvc54StatEESt10_Select1stISA_ESt4lessIS5_ESaISA_EE14_M_move_assignERSG_St17integral_constantIbLb1EE2209 ··[·227d5]··_M_erase_at_end
2210 ··[·227ef]··_M_erase_at_end2210 ··[·227e5]··_ZNSt11_Tuple_implILm1EJSt14default_deleteIN4cvc58internal7options12HolderDRIVEREEEE7_M_swapERS6_
2211 ··[·227ff]··_ZNSt11_Tuple_implILm1EJSt14default_deleteIN4cvc58internal7options12HolderDRIVEREEEE7_M_swapERS6_2211 ··[·22847]··_ZNKSt6vectorIjSaIjEE4dataEv
2212 ··[·22861]··_ZNKSt6vectorIjSaIjEE4dataEv2212 ··[·22864]··_ZNK9__gnu_cxx17__normal_iteratorIPKNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEESt6vectorIS6_SaIS6_EEEptEv
2213 ··[·2287e]··_ZNK9__gnu_cxx17__normal_iteratorIPKNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEESt6vectorIS6_SaIS6_EEEptEv2213 ··[·228d7]··__UINT_LEAST32_MAX__·0xffffffffU
2214 ··[·228f1]··__UINT_LEAST32_MAX__·0xffffffffU2214 ··[·228f8]··_ZNSaISt13_Rb_tree_nodeISt4pairINSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEEmEEEC4Ev
2215 ··[·22912]··_ZNSaISt13_Rb_tree_nodeISt4pairINSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEEmEEEC4Ev2215 ··[·22955]··Trace(tag)·cvc5::internal::__cvc5_true()·?·cvc5::internal::nullStream·:·cvc5::internal::TraceChannel()
2216 ··[·2296f]··Trace(tag)·cvc5::internal::__cvc5_true()·?·cvc5::internal::nullStream·:·cvc5::internal::TraceChannel()2216 ··[·229bc]··allocator_traits<std::allocator<char>·>
2217 ··[·229d6]··allocator_traits<std::allocator<char>·>2217 ··[·229e4]··_ZNKSt10unique_ptrIN4cvc58internal7options9HolderSEPESt14default_deleteIS3_EEcvbEv
2218 ··[·229fe]··_ZNKSt10unique_ptrIN4cvc58internal7options9HolderSEPESt14default_deleteIS3_EEcvbEv2218 ··[·22a37]··_ZNSt6vectorIbSaIbEE4flipEv
2219 ··[·22a51]··_ZNSt6vectorIbSaIbEE4flipEv2219 ··[·22a53]··_ZNSt5tupleIJPN4cvc58internal7options8HolderBVESt14default_deleteIS3_EEE4swapERS7_
2220 ··[·22a6d]··_ZNSt5tupleIJPN4cvc58internal7options8HolderBVESt14default_deleteIS3_EEE4swapERS7_2220 ··[·22aa6]··__need___va_list
2221 ··[·22ac0]··__need___va_list2221 ··[·22ab7]··_GLIBCXX_TXN_SAFE_DYN·
2222 ··[·22ad1]··_GLIBCXX_TXN_SAFE_DYN·2222 ··[·22ace]··__gthrw(name)·__gthrw2(__gthrw_·##·name,name,name)
2223 ··[·22ae8]··__gthrw(name)·__gthrw2(__gthrw_·##·name,name,name)2223 ··[·22b01]··_ZNSt19_Bit_const_iteratorC4ERKSt13_Bit_iterator
2224 ··[·22b1b]··_ZNSt19_Bit_const_iteratorC4ERKSt13_Bit_iterator2224 ··[·22b32]··_ZNSt3mapINSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEEN4cvc54StatESt4lessIS5_ESaISt4pairIKS5_S7_EEEC4ESt16initializer_listISC_ERKS9_RKSD_
2225 ··[·22b4c]··_ZNSt3mapINSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEEN4cvc54StatESt4lessIS5_ESaISt4pairIKS5_S7_EEEC4ESt16initializer_listISC_ERKS9_RKSD_2225 ··[·22bc4]··_ZNKSt19_Optional_base_implIlSt14_Optional_baseIlLb1ELb1EEE6_M_getEv
2226 ··[·22bde]··_ZNKSt19_Optional_base_implIlSt14_Optional_baseIlLb1ELb1EEE6_M_getEv2226 ··[·22c09]··d_bv
2227 ··[·22c23]··d_bv2227 ··[·22c0e]··EXISTS
2228 ··[·22c28]··EXISTS2228 ··[·22c15]··_ZNKSt6vectorIbSaIbEE7crbeginEv
2229 ··[·22c2f]··_ZNKSt6vectorIbSaIbEE7crbeginEv2229 ··[·22c35]··_ZNSt6vectorIN4cvc54main15PortfolioConfigESaIS2_EEC4EmRKS2_RKS3_
2230 ··[·22c4f]··_ZNSt6vectorIN4cvc54main15PortfolioConfigESaIS2_EEC4EmRKS2_RKS3_2230 ··[·22c76]··_SC_JOB_CONTROL·_SC_JOB_CONTROL
2231 ··[·22c90]··_SC_JOB_CONTROL·_SC_JOB_CONTROL2231 ··[·22c96]··__glibcxx_want_execution
2232 ··[·22cb0]··__glibcxx_want_execution2232 ··[·22caf]··_ZNSt6vectorIN4cvc523DatatypeConstructorDeclESaIS1_EE4rendEv
2233 ··[·22cc9]··_ZNSt6vectorIN4cvc523DatatypeConstructorDeclESaIS1_EE4rendEv2233 ··[·22cec]··__dat
2234 ··[·22d06]··__dat2234 ··[·22cf2]··__LC_MEASUREMENT·11
2235 ··[·22d0c]··__LC_MEASUREMENT·112235 ··[·22d06]··__in_chrg
2236 ··[·22d20]··__in_chrg2236 ··[·22d10]··_ZNSt11_Tuple_implILm1EJSt14default_deleteIN4cvc58internal7options8HolderFPEEEEC4Ev
2237 ··[·22d2a]··_ZNSt11_Tuple_implILm1EJSt14default_deleteIN4cvc58internal7options8HolderFPEEEEC4Ev2237 ··[·22d64]··SCHED_FLAG_UTIL_CLAMP_MAX·0x40
2238 ··[·22d7e]··SCHED_FLAG_UTIL_CLAMP_MAX·0x402238 ··[·22d83]··_Tuple_impl<0,·cvc5::internal::options::HolderSMT*,·std::default_delete<cvc5::internal::options::HolderSMT>·>
2239 ··[·22d9d]··_Tuple_impl<0,·cvc5::internal::options::HolderSMT*,·std::default_delete<cvc5::internal::options::HolderSMT>·>2239 ··[·22df1]··_Arg
2240 ··[·22e0b]··_Arg2240 ··[·22df6]··_PSTL_PRAGMA_LOCATION·"·[Parallel·STL·message]:·"
2241 ··[·22e10]··_PSTL_PRAGMA_LOCATION·"·[Parallel·STL·message]:·"2241 ··[·22e28]··__STDC_UTF_32__·1
2242 ··[·22e42]··__STDC_UTF_32__·12242 ··[·22e3a]··__glibcxx_want_optional·
2243 ··[·22e54]··__glibcxx_want_optional·2243 ··[·22e53]··_ZNSt15__uniq_ptr_implIN4cvc58internal3smt19ResourceOutListenerESt14default_deleteIS3_EEaSEOS6_
2244 ··[·22e6d]··_ZNSt15__uniq_ptr_implIN4cvc58internal3smt19ResourceOutListenerESt14default_deleteIS3_EEaSEOS6_2244 ··[·22eb3]··__uniq_ptr_data<cvc5::internal::options::HolderSEP,·std::default_delete<cvc5::internal::options::HolderSEP>,·true,·true>
2245 ··[·22ecd]··__uniq_ptr_data<cvc5::internal::options::HolderSEP,·std::default_delete<cvc5::internal::options::HolderSEP>,·true,·true>2245 ··[·22f2c]··add_lvalue_reference<cvc5::internal::smt::SmtSolver>
2246 ··[·22f46]··add_lvalue_reference<cvc5::internal::smt::SmtSolver>2246 ··[·22f61]··__glibcxx_no_dangling_refs(_U1,_U2)·
2247 ··[·22f7b]··__glibcxx_no_dangling_refs(_U1,_U2)·2247 ··[·22f86]··long·double
2248 ··[·22fa0]··long·double2248 ··[·22f92]··_ZNSt4pairISt23_Rb_tree_const_iteratorIS_INSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEEmEEbEC4ERKS9_
2249 ··[·22fac]··_ZNSt4pairISt23_Rb_tree_const_iteratorIS_INSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEEmEEbEC4ERKS9_2249 ··[·22ffe]··_ZNSt15__uniq_ptr_dataIN4cvc58internal7options14HolderPARALLELESt14default_deleteIS3_ELb1ELb1EEC4EOS6_
2250 ··[·23018]··_ZNSt15__uniq_ptr_dataIN4cvc58internal7options14HolderPARALLELESt14default_deleteIS3_ELb1ELb1EEC4EOS6_2250 ··[·23065]··_ZNSt11_Tuple_implILm0EJPN4cvc58internal3smt11SygusSolverESt14default_deleteIS3_EEE7_M_tailERS7_
2251 ··[·2307f]··_ZNSt11_Tuple_implILm0EJPN4cvc58internal3smt11SygusSolverESt14default_deleteIS3_EEE7_M_tailERS7_2251 ··[·230c6]··_ZNSt11char_traitsIwE7compareEPKwS2_m
2252 ··[·230e0]··_ZNSt11char_traitsIwE7compareEPKwS2_m2252 ··[·230ec]··_ZNKSt8optionalImE9has_valueEv
2253 ··[·23106]··_ZNKSt8optionalImE9has_valueEv2253 ··[·2310b]··__uniq_ptr_data<cvc5::internal::smt::ContextManager,·std::default_delete<cvc5::internal::smt::ContextManager>,·true,·true>
2254 ··[·23125]··__uniq_ptr_data<cvc5::internal::smt::ContextManager,·std::default_delete<cvc5::internal::smt::ContextManager>,·true,·true>2254 ··[·23186]··_GLIBCXX_USE_CHMOD·1
2255 ··[·231a0]··_GLIBCXX_USE_CHMOD·12255 ··[·2319b]··_GLIBCXX_USE_ASSIGN_FOR_INIT(T,U)·__is_trivial(T)·&&·__is_assignable(T&,·U)·&&·std::__check_constructible<T,·U>()
2256 ··[·231b5]··_GLIBCXX_USE_ASSIGN_FOR_INIT(T,U)·__is_trivial(T)·&&·__is_assignable(T&,·U)·&&·std::__check_constructible<T,·U>()2256 ··[·2320d]··_ZNSt10_Head_baseILm0EPN4cvc58internal7options9HolderSMTELb0EEC4ERKS5_
2257 ··[·23227]··_ZNSt10_Head_baseILm0EPN4cvc58internal7options9HolderSMTELb0EEC4ERKS5_2257 ··[·23254]··_ZNSt15__uniq_ptr_implIN4cvc58internal3smt14ContextManagerESt14default_deleteIS3_EE10_M_deleterEv
2258 ··[·2326e]··_ZNSt15__uniq_ptr_implIN4cvc58internal3smt14ContextManagerESt14default_deleteIS3_EE10_M_deleterEv2258 ··[·232b6]··_CS_POSIX_V7_ILP32_OFFBIG_LINTFLAGS·_CS_POSIX_V7_ILP32_OFFBIG_LINTFLAGS
2259 ··[·232d0]··_CS_POSIX_V7_ILP32_OFFBIG_LINTFLAGS·_CS_POSIX_V7_ILP32_OFFBIG_LINTFLAGS2259 ··[·232fe]··_ZNKSt17basic_string_viewIcSt11char_traitsIcEE12find_last_ofES2_m
2260 ··[·23318]··_ZNKSt17basic_string_viewIcSt11char_traitsIcEE12find_last_ofES2_m2260 ··[·23340]··_ZNSt17basic_string_viewIwSt11char_traitsIwEEC4EPKw
2261 ··[·2335a]··_ZNSt17basic_string_viewIwSt11char_traitsIwEEC4EPKw2261 ··[·23374]··_ZNSt8__detail9__variant17__gen_vtable_implINS0_12_Multi_arrayIPFvOZNS0_16_Variant_storageILb0EJN4cvc510OptionInfo8VoidInfoENS5_9ValueInfoIbEENS7_INSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEEEENS5_10NumberInfoIlEENSG_ImEENSG_IdEENS5_8ModeInfoE[·...·truncated·by·diffoscope;·len:·103,·SHA:·edd0440173f5cabc70b4dadb8324e2cbc791caa342bdfb437aaa73f2a26e6424·...·]
2262 ··[·2338e]··_ZNSt8__detail9__variant17__gen_vtable_implINS0_12_Multi_arrayIPFvOZNS0_16_Variant_storageILb0EJN4cvc510OptionInfo8VoidInfoENS5_9ValueInfoIbEENS7_INSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEEEENS5_10NumberInfoIlEENSG_ImEENSG_IdEENS5_8ModeInfo[·...·truncated·by·diffoscope;·len:·101,·SHA:·ecc7433b303f222fd62c73d447079cf7cac53afba0d38038fc648b9983ebe290·...·]yEv2262 ··[·234d7]··_ZNKSt3mapINSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEEN4cvc54StatESt4lessIS5_ESaISt4pairIKS5_S7_EEE5emptyEv
2263 ··[·234f1]··_ZNKSt3mapINSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEEN4cvc54StatESt4lessIS5_ESaISt4pairIKS5_S7_EEE5emptyEv2263 ··[·2354c]··_Head_base<1,·std::default_delete<cvc5::internal::options::OptionsHandler>,·true>
2264 ··[·23566]··_Head_base<1,·std::default_delete<cvc5::internal::options::OptionsHandler>,·true>2264 ··[·2359e]··_ZNSt13_Bvector_baseISaIbEE8_S_nwordEm
2265 ··[·235b8]··_ZNSt13_Bvector_baseISaIbEE8_S_nwordEm2265 ··[·235c5]··assertFormulaInternal
2266 ··[·235df]··assertFormulaInternal2266 ··[·235db]··STA_PPSFREQ·0x0002
2267 ··[·235f5]··STA_PPSFREQ·0x00022267 ··[·235ee]··mkNullableLift
2268 ··[·23608]··mkNullableLift2268 ··[·235fd]··_ZNSt14default_deleteIN4cvc58internal7options12HolderDRIVEREEC4Ev
2269 ··[·23617]··_ZNSt14default_deleteIN4cvc58internal7options12HolderDRIVEREEC4Ev2269 ··[·2363f]··_ZNSt15__uniq_ptr_implIN4cvc54Stat8StatDataESt14default_deleteIS2_EE6_M_ptrEv
2270 ··[·23659]··_ZNSt15__uniq_ptr_implIN4cvc54Stat8StatDataESt14default_deleteIS2_EE6_M_ptrEv2270 ··[·2368d]··mkFiniteFieldElem
2271 ··[·236a7]··mkFiniteFieldElem2271 ··[·2369f]··ARITH_TRANS_EXP_NEG
2272 ··[·236b9]··ARITH_TRANS_EXP_NEG2272 ··[·236b3]··__glibcxx_allocator_traits_is_always_equal·201411L
2273 ··[·236cd]··__glibcxx_allocator_traits_is_always_equal·201411L2273 ··[·236e6]··_ZNK4cvc58internal9LogicInfo15isTheoryEnabledENS0_6theory8TheoryIdE
2274 ··[·23700]··_ZNK4cvc58internal9LogicInfo15isTheoryEnabledENS0_6theory8TheoryIdE2274 ··[·2372a]··_SC_2_FORT_DEV·_SC_2_FORT_DEV
2275 ··[·23744]··_SC_2_FORT_DEV·_SC_2_FORT_DEV2275 ··[·23748]··__uniq_ptr_data<cvc5::internal::options::HolderBOOLEANS,·std::default_delete<cvc5::internal::options::HolderBOOLEANS>,·true,·true>
2276 ··[·23762]··__uniq_ptr_data<cvc5::internal::options::HolderBOOLEANS,·std::default_delete<cvc5::internal::options::HolderBOOLEANS>,·true,·true>2276 ··[·237cb]··_ZNSt3setIN4cvc54TermESt4lessIS1_ESaIS1_EE6insertESt23_Rb_tree_const_iteratorIS1_EOSt12_Node_handleIS1_S1_SaISt13_Rb_tree_nodeIS1_EEE
2277 ··[·237e5]··_ZNSt3setIN4cvc54TermESt4lessIS1_ESaIS1_EE6insertESt23_Rb_tree_const_iteratorIS1_EOSt12_Node_handleIS1_S1_SaISt13_Rb_tree_nodeIS1_EEE2277 ··[·23851]··_ZNK4cvc56Solver8setLogicERKNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEE
2278 ··[·2386b]··_ZNK4cvc56Solver8setLogicERKNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEE2278 ··[·238a2]··_ZNK4cvc512DatatypeDecl10isResolvedEv
2279 ··[·238bc]··_ZNK4cvc512DatatypeDecl10isResolvedEv2279 ··[·238c8]··_ZNKSt3mapIN4cvc54TermENSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEESt4lessIS1_ESaISt4pairIKS1_S7_EEE5crendEv
2280 ··[·238e2]··_ZNKSt3mapIN4cvc54TermENSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEESt4lessIS1_ESaISt4pairIKS1_S7_EEE5crendEv2280 ··[·2393d]··_IsUnused
2281 ··[·23957]··_IsUnused2281 ··[·23947]··_ZNSt15__new_allocatorIN4cvc54TermEED4Ev
2282 ··[·23961]··_ZNSt15__new_allocatorIN4cvc54TermEED4Ev2282 ··[·23970]··_ZNSt19_Node_handle_commonISt4pairINSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEEmESaISt13_Rb_tree_nodeIS7_EEE7_M_swapERSB_
2283 ··[·2398a]··_ZNSt19_Node_handle_commonISt4pairINSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEEmESaISt13_Rb_tree_nodeIS7_EEE7_M_swapERSB_2283 ··[·239f2]··_vtable_offset
2284 ··[·23a0c]··_vtable_offset2284 ··[·23a01]··_ZNSt8_Rb_treeISt4pairINSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEEmES7_St9_IdentityIS7_ESt4lessIS7_ESaIS7_EE5eraseB5cxx11ESt23_Rb_tree_const_iteratorIS7_E
2285 ··[·23a1b]··_ZNSt8_Rb_treeISt4pairINSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEEmES7_St9_IdentityIS7_ESt4lessIS7_ESaIS7_EE5eraseB5cxx11ESt23_Rb_tree_const_iteratorIS7_E2285 ··[·23aa5]··_ZNKSt7__cxx1112basic_stringIwSt11char_traitsIwESaIwEE7compareEmmRKS4_mm
2286 ··[·23abf]··_ZNKSt7__cxx1112basic_stringIwSt11char_traitsIwESaIwEE7compareEmmRKS4_mm2286 ··[·23aee]··_GLIBCXX_POSTYPES_H·1
2287 ··[·23b08]··_GLIBCXX_POSTYPES_H·12287 ··[·23b04]··INT_FAST16_MIN·(-9223372036854775807L-1)
2288 ··[·23b1e]··INT_FAST16_MIN·(-9223372036854775807L-1)2288 ··[·23b2d]··_ZNSt11_Tuple_implILm0EJPN4cvc58internal3smt9SmtSolverESt14default_deleteIS3_EEE7_M_headERS7_
2289 ··[·23b47]··_ZNSt11_Tuple_implILm0EJPN4cvc58internal3smt9SmtSolverESt14default_deleteIS3_EEE7_M_headERS7_2289 ··[·23b8b]··__cpp_lib_tuples_by_type·201304L
2290 ··[·23ba5]··__cpp_lib_tuples_by_type·201304L2290 ··[·23bac]··getInterpolant
2291 ··[·23bc6]··getInterpolant2291 ··[·23bbb]··reverse_iterator<__gnu_cxx::__normal_iterator<std::pair<std::__cxx11::basic_string<char,·std::char_traits<char>,·std::allocator<char>·>,·std::__cxx11::basic_string<char,·std::char_traits<char>,·std::allocator<char>·>·>*,·std::vector<std::pair<std::__c[·...·truncated·by·diffoscope;·len:·351,·SHA:·3c2c53a771c8664696f5031be69b50b9e637d46c5dd411f7468c3c970b1125a7·...·]
2292 ··[·23bd5]··reverse_iterator<__gnu_cxx::__normal_iterator<std::pair<std::__cxx11::basic_string<char,·std::char_traits<char>,·std::allocator<char>·>,·std::__cxx11::basic_string<char,·std::char_traits<char>,·std::allocator<char>·>·>*,·std::vector<std::pair<std::__[·...·truncated·by·diffoscope;·len:·349,·SHA:·f2936e81a0cece3952cbd4f1d7c107efb18853c4712b5e4164f7f050a5bafc60·...·]>·>2292 ··[·23e16]··rebind<std::_Rb_tree_node<cvc5::Term>·>
2293 ··[·23e30]··rebind<std::_Rb_tree_node<cvc5::Term>·>2293 ··[·23e3e]··PTHREAD_RWLOCK_WRITER_NONRECURSIVE_INITIALIZER_NP·{·{·__PTHREAD_RWLOCK_INITIALIZER·(PTHREAD_RWLOCK_PREFER_WRITER_NONRECURSIVE_NP)·}·}
2294 ··[·23e58]··PTHREAD_RWLOCK_WRITER_NONRECURSIVE_INITIALIZER_NP·{·{·__PTHREAD_RWLOCK_INITIALIZER·(PTHREAD_RWLOCK_PREFER_WRITER_NONRECURSIVE_NP)·}·}2294 ··[·23ec4]··_ZNSt10_Head_baseILm1ESt14default_deleteIN4cvc58internal3smt15AbductionSolverEELb1EE7_M_headERKS6_
2295 ··[·23ede]··_ZNSt10_Head_baseILm1ESt14default_deleteIN4cvc58internal3smt15AbductionSolverEELb1EE7_M_headERKS6_2295 ··[·23f27]··_ZNSt8optionalIlEaSESt9nullopt_t
2296 ··[·23f41]··_ZNSt8optionalIlEaSESt9nullopt_t2296 ··[·23f48]··_ZNSt16initializer_listIPKcEC4EPKS1_m
2297 ··[·23f62]··_ZNSt16initializer_listIPKcEC4EPKS1_m2297 ··[·23f6e]··_SC_2_PBS_ACCOUNTING·_SC_2_PBS_ACCOUNTING
2298 ··[·23f88]··_SC_2_PBS_ACCOUNTING·_SC_2_PBS_ACCOUNTING2298 ··[·23f98]··_ZNSt15basic_streambufIcSt11char_traitsIcEE9showmanycEv
2299 ··[·23fb2]··_ZNSt15basic_streambufIcSt11char_traitsIcEE9showmanycEv2299 ··[·23fd0]··_POSIX_TRACE·-1
2300 ··[·23fea]··_POSIX_TRACE·-12300 ··[·23fe0]··_Head_base<1,·std::default_delete<cvc5::internal::smt::InterpolationSolver>,·true>
2301 ··[·23ffa]··_Head_base<1,·std::default_delete<cvc5::internal::smt::InterpolationSolver>,·true>2301 ··[·24033]··_ZNSt10_Head_baseILm0EPN4cvc58internal7options13HolderBUILTINELb0EE7_M_headERS5_
2302 ··[·2404d]··_ZNSt10_Head_baseILm0EPN4cvc58internal7options13HolderBUILTINELb0EE7_M_headERS5_2302 ··[·24084]··_M_parent
2303 ··[·2409e]··_M_parent2303 ··[·2408e]··_ZNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEpLEc
2304 ··[·240a8]··_ZNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEpLEc2304 ··[·240c8]··_ZNSt16allocator_traitsISaIwEE10deallocateERS0_Pwm
2305 ··[·240e2]··_ZNSt16allocator_traitsISaIwEE10deallocateERS0_Pwm2305 ··[·240fb]··PDP_ENDIAN·__PDP_ENDIAN
2306 ··[·24115]··PDP_ENDIAN·__PDP_ENDIAN2306 ··[·24113]··_GLIBCXX14_DEPRECATED_SUGGEST(ALT)·_GLIBCXX_DEPRECATED_SUGGEST(ALT)
2307 ··[·2412d]··_GLIBCXX14_DEPRECATED_SUGGEST(ALT)·_GLIBCXX_DEPRECATED_SUGGEST(ALT)2307 ··[·24157]··CVC5_NO_EXPORT·__attribute__((visibility("hidden")))
2308 ··[·24171]··CVC5_NO_EXPORT·__attribute__((visibility("hidden")))2308 ··[·2418c]··_ZN4cvc58internal9ExceptionC4EPKc
Max diff block lines reached; 358/1697727 bytes (0.02%) of diff not shown.
24.9 MB
libcvc5-1-dbgsym_1.1.2-2_amd64.deb
369 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······552·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·183029668·2024-03-19·00:06:23.000000·data.tar.xz3 -rw-r--r--···0········0········0·183029448·2024-03-19·00:06:23.000000·data.tar.xz
802 B
control.tar.xz
774 B
control.tar
526 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:·amd645 Architecture:·amd64
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:·1826147 Installed-Size:·182615
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:·b3104f326f5103647a2c061c523abea24b0e9c5313 Build-Ids:·4a46644ceec5310ab504e88da12c7768f609316d
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/b3/104f326f5103647a2c061c523abea24b0e9c53.debug1 usr/lib/debug/.build-id/4a/46644ceec5310ab504e88da12c7768f609316d.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/b3/6 drwxr-xr-x···0·root·········(0)·root·········(0)········0·2024-03-19·00:06:23.000000·./usr/lib/debug/.build-id/4a/
7 -rw-r--r--···0·root·········(0)·root·········(0)·186986152·2024-03-19·00:06:23.000000·./usr/lib/debug/.build-id/b3/104f326f5103647a2c061c523abea24b0e9c53.debug7 -rw-r--r--···0·root·········(0)·root·········(0)·186986968·2024-03-19·00:06:23.000000·./usr/lib/debug/.build-id/4a/46644ceec5310ab504e88da12c7768f609316d.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/b3/104f326f5103647a2c061c523abea24b0e9c53.debug vs.
./usr/lib/debug/.build-id/4a/46644ceec5310ab504e88da12c7768f609316d.debug
File has been modified after NT_GNU_BUILD_ID has been applied. Files 95% similar despite different names
887 B
readelf --wide --file-header {}
    
Offset 6, 15 lines modifiedOffset 6, 15 lines modified
6 ··OS/ABI:····························UNIX·-·GNU6 ··OS/ABI:····························UNIX·-·GNU
7 ··ABI·Version:·······················07 ··ABI·Version:·······················0
8 ··Type:······························DYN·(Shared·object·file)8 ··Type:······························DYN·(Shared·object·file)
9 ··Machine:···························Advanced·Micro·Devices·X86-649 ··Machine:···························Advanced·Micro·Devices·X86-64
10 ··Version:···························0x110 ··Version:···························0x1
11 ··Entry·point·address:···············0x011 ··Entry·point·address:···············0x0
12 ··Start·of·program·headers:··········64·(bytes·into·file)12 ··Start·of·program·headers:··········64·(bytes·into·file)
13 ··Start·of·section·headers:··········186983592·(bytes·into·file)13 ··Start·of·section·headers:··········186984408·(bytes·into·file)
14 ··Flags:·····························0x014 ··Flags:·····························0x0
15 ··Size·of·this·header:···············64·(bytes)15 ··Size·of·this·header:···············64·(bytes)
16 ··Size·of·program·headers:···········56·(bytes)16 ··Size·of·program·headers:···········56·(bytes)
17 ··Number·of·program·headers:·········1017 ··Number·of·program·headers:·········10
18 ··Size·of·section·headers:···········64·(bytes)18 ··Size·of·section·headers:···········64·(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.52 KB
readelf --wide --sections {}
    
Offset 1, 8 lines modifiedOffset 1, 8 lines modified
1 There·are·40·section·headers,·starting·at·offset·0xb2524a8:1 There·are·40·section·headers,·starting·at·offset·0xb2527d8:
  
2 Section·Headers:2 Section·Headers:
3 ··[Nr]·Name··············Type············Address··········Off····Size···ES·Flg·Lk·Inf·Al3 ··[Nr]·Name··············Type············Address··········Off····Size···ES·Flg·Lk·Inf·Al
4 ··[·0]···················NULL············0000000000000000·000000·000000·00······0···0··04 ··[·0]···················NULL············0000000000000000·000000·000000·00······0···0··0
5 ··[·1]·.note.gnu.build-id·NOTE············0000000000000270·000270·000024·00···A··0···0··45 ··[·1]·.note.gnu.build-id·NOTE············0000000000000270·000270·000024·00···A··0···0··4
6 ··[·2]·.gnu.hash·········NOBITS··········0000000000000298·000294·004d0c·00···A··3···0··86 ··[·2]·.gnu.hash·········NOBITS··········0000000000000298·000294·004d0c·00···A··3···0··8
7 ··[·3]·.dynsym···········NOBITS··········0000000000004fa8·000294·00fe58·18···A··4···1··87 ··[·3]·.dynsym···········NOBITS··········0000000000004fa8·000294·00fe58·18···A··4···1··8
Offset 27, 23 lines modifiedOffset 27, 23 lines modified
27 ··[22]·.data.rel.ro······NOBITS··········0000000001865780·000570·014ad0·00··WA··0···0·3227 ··[22]·.data.rel.ro······NOBITS··········0000000001865780·000570·014ad0·00··WA··0···0·32
28 ··[23]·.dynamic··········NOBITS··········000000000187a250·000570·000250·10··WA··4···0··828 ··[23]·.dynamic··········NOBITS··········000000000187a250·000570·000250·10··WA··4···0··8
29 ··[24]·.got··············NOBITS··········000000000187a4a0·000570·003b50·08··WA··0···0··829 ··[24]·.got··············NOBITS··········000000000187a4a0·000570·003b50·08··WA··0···0··8
30 ··[25]·.data·············NOBITS··········000000000187e000·000570·008240·00··WA··0···0·3230 ··[25]·.data·············NOBITS··········000000000187e000·000570·008240·00··WA··0···0·32
31 ··[26]·.bss··············NOBITS··········0000000001886240·000570·001a00·00··WA··0···0·3231 ··[26]·.bss··············NOBITS··········0000000001886240·000570·001a00·00··WA··0···0·32
32 ··[27]·.comment··········PROGBITS········0000000000000000·000294·00001f·01··MS··0···0··132 ··[27]·.comment··········PROGBITS········0000000000000000·000294·00001f·01··MS··0···0··1
33 ··[28]·.debug_aranges····PROGBITS········0000000000000000·0002b8·00dbdc·00···C··0···0··833 ··[28]·.debug_aranges····PROGBITS········0000000000000000·0002b8·00dbdc·00···C··0···0··8
34 ··[29]·.debug_info·······PROGBITS········0000000000000000·00de98·8811ad8·00···C··0···0··834 ··[29]·.debug_info·······PROGBITS········0000000000000000·00de98·8811d79·00···C··0···0··8
35 ··[30]·.debug_abbrev·····PROGBITS········0000000000000000·881f970·0dca6a·00···C··0···0··835 ··[30]·.debug_abbrev·····PROGBITS········0000000000000000·881fc18·0dca6a·00···C··0···0··8
36 ··[31]·.debug_line·······PROGBITS········0000000000000000·88fc3e0·872d6d·00···C··0···0··836 ··[31]·.debug_line·······PROGBITS········0000000000000000·88fc688·872d6d·00···C··0···0··8
37 ··[32]·.debug_str········PROGBITS········0000000000000000·916f150·3e0078·01·MSC··0···0··837 ··[32]·.debug_str········PROGBITS········0000000000000000·916f3f8·3e0075·01·MSC··0···0··8
38 ··[33]·.debug_line_str···PROGBITS········0000000000000000·954f1c8·0028d5·01·MSC··0···0··838 ··[33]·.debug_line_str···PROGBITS········0000000000000000·954f470·0028d5·01·MSC··0···0··8
39 ··[34]·.debug_loclists···PROGBITS········0000000000000000·9551aa0·129817f·00···C··0···0··839 ··[34]·.debug_loclists···PROGBITS········0000000000000000·9551d48·129817e·00···C··0···0··8
40 ··[35]·.debug_macro······PROGBITS········0000000000000000·a7e9c20·16a638·00···C··0···0··840 ··[35]·.debug_macro······PROGBITS········0000000000000000·a7e9ec8·16a6c0·00···C··0···0··8
41 ··[36]·.debug_rnglists···PROGBITS········0000000000000000·a954258·586667·00···C··0···0··841 ··[36]·.debug_rnglists···PROGBITS········0000000000000000·a954588·586667·00···C··0···0··8
42 ··[37]·.symtab···········SYMTAB··········0000000000000000·aeda8c0·0ca1a0·18·····38·31780··842 ··[37]·.symtab···········SYMTAB··········0000000000000000·aedabf0·0ca1a0·18·····38·31780··8
43 ··[38]·.strtab···········STRTAB··········0000000000000000·afa4a60·2ad8b5·00······0···0··143 ··[38]·.strtab···········STRTAB··········0000000000000000·afa4d90·2ad8b5·00······0···0··1
44 ··[39]·.shstrtab·········STRTAB··········0000000000000000·b252315·000191·00······0···0··144 ··[39]·.shstrtab·········STRTAB··········0000000000000000·b252645·000191·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),·l·(large),·p·(processor·specific)49 ··R·(retain),·D·(mbind),·l·(large),·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:·b3104f326f5103647a2c061c523abea24b0e9c533 ··GNU··················0x00000014»  NT_GNU_BUILD_ID·(unique·build·ID·bitstring)»   ····Build·ID:·4a46644ceec5310ab504e88da12c7768f609316d
24.2 MB
readelf --wide --debug-dump=info {}
    
Offset 8, 27 lines modifiedOffset 8, 27 lines modified
8 ···Pointer·Size:··88 ···Pointer·Size:··8
9 ·<0><c>:·Abbrev·Number:·1·(DW_TAG_partial_unit)9 ·<0><c>:·Abbrev·Number:·1·(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:·0):·./obj-x86_64-linux-gnu/src11 ····<11>···DW_AT_comp_dir····:·(line_strp)·(offset:·0):·./obj-x86_64-linux-gnu/src
12 ·<1><15>:·Abbrev·Number:·29·(DW_TAG_base_type)12 ·<1><15>:·Abbrev·Number:·29·(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)·5»    (signed)14 ····<17>···DW_AT_encoding····:·(data1)·5»    (signed)
15 ····<18>···DW_AT_name········:·(strp)·(offset:·0x160b2):·long·int15 ····<18>···DW_AT_name········:·(strp)·(offset:·0x160cc):·long·int
16 ·<1><1c>:·Abbrev·Number:·29·(DW_TAG_base_type)16 ·<1><1c>:·Abbrev·Number:·29·(DW_TAG_base_type)
17 ····<1d>···DW_AT_byte_size···:·(data1)·817 ····<1d>···DW_AT_byte_size···:·(data1)·8
18 ····<1e>···DW_AT_encoding····:·(data1)·7»    (unsigned)18 ····<1e>···DW_AT_encoding····:·(data1)·7»    (unsigned)
19 ····<1f>···DW_AT_name········:·(strp)·(offset:·0xea3b):·long·unsigned·int19 ····<1f>···DW_AT_name········:·(strp)·(offset:·0xea3b):·long·unsigned·int
20 ·<1><23>:·Abbrev·Number:·29·(DW_TAG_base_type)20 ·<1><23>:·Abbrev·Number:·29·(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:·0x1ace6):·unsigned·char23 ····<26>···DW_AT_name········:·(strp)·(offset:·0x1ace6):·unsigned·char
24 ·<1><2a>:·Abbrev·Number:·29·(DW_TAG_base_type)24 ·<1><2a>:·Abbrev·Number:·29·(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:·0x12819):·short·unsigned·int27 ····<2d>···DW_AT_name········:·(strp)·(offset:·0x12833):·short·unsigned·int
28 ·<1><31>:·Abbrev·Number:·29·(DW_TAG_base_type)28 ·<1><31>:·Abbrev·Number:·29·(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:·0xc79c):·unsigned·int31 ····<34>···DW_AT_name········:·(strp)·(offset:·0xc79c):·unsigned·int
32 ·<1><38>:·Abbrev·Number:·29·(DW_TAG_base_type)32 ·<1><38>:·Abbrev·Number:·29·(DW_TAG_base_type)
33 ····<39>···DW_AT_byte_size···:·(data1)·133 ····<39>···DW_AT_byte_size···:·(data1)·1
34 ····<3a>···DW_AT_encoding····:·(data1)·6»    (signed·char)34 ····<3a>···DW_AT_encoding····:·(data1)·6»    (signed·char)
Offset 100, 15 lines modifiedOffset 100, 15 lines modified
100 ·<1><b8>:·Abbrev·Number:·29·(DW_TAG_base_type)100 ·<1><b8>:·Abbrev·Number:·29·(DW_TAG_base_type)
101 ····<b9>···DW_AT_byte_size···:·(data1)·4101 ····<b9>···DW_AT_byte_size···:·(data1)·4
102 ····<ba>···DW_AT_encoding····:·(data1)·16»   (unicode·string)102 ····<ba>···DW_AT_encoding····:·(data1)·16»   (unicode·string)
103 ····<bb>···DW_AT_name········:·(strp)·(offset:·0x1fed8):·char32_t103 ····<bb>···DW_AT_name········:·(strp)·(offset:·0x1fed8):·char32_t
104 ·<1><bf>:·Abbrev·Number:·29·(DW_TAG_base_type)104 ·<1><bf>:·Abbrev·Number:·29·(DW_TAG_base_type)
105 ····<c0>···DW_AT_byte_size···:·(data1)·16105 ····<c0>···DW_AT_byte_size···:·(data1)·16
106 ····<c1>···DW_AT_encoding····:·(data1)·5»    (signed)106 ····<c1>···DW_AT_encoding····:·(data1)·5»    (signed)
107 ····<c2>···DW_AT_name········:·(strp)·(offset:·0x14188):·__int128107 ····<c2>···DW_AT_name········:·(strp)·(offset:·0x141a2):·__int128
108 ·<1><c6>:·Abbrev·Number:·29·(DW_TAG_base_type)108 ·<1><c6>:·Abbrev·Number:·29·(DW_TAG_base_type)
109 ····<c7>···DW_AT_byte_size···:·(data1)·16109 ····<c7>···DW_AT_byte_size···:·(data1)·16
110 ····<c8>···DW_AT_encoding····:·(data1)·7»    (unsigned)110 ····<c8>···DW_AT_encoding····:·(data1)·7»    (unsigned)
111 ····<c9>···DW_AT_name········:·(strp)·(offset:·0x2366a):·__int128·unsigned111 ····<c9>···DW_AT_name········:·(strp)·(offset:·0x2366a):·__int128·unsigned
112 ·<1><cd>:·Abbrev·Number:·0112 ·<1><cd>:·Abbrev·Number:·0
113 ··Compilation·Unit·@·offset·0xce:113 ··Compilation·Unit·@·offset·0xce:
114 ···Length:········0x1006·(32-bit)114 ···Length:········0x1006·(32-bit)
Offset 807, 29 lines modifiedOffset 807, 29 lines modified
807 ····<45a>···DW_AT_name········:·(strp)·(offset:·0x1f0f1):·_IO_read_end807 ····<45a>···DW_AT_name········:·(strp)·(offset:·0x1f0f1):·_IO_read_end
808 ····<45e>···DW_AT_decl_file···:·(data1)·69808 ····<45e>···DW_AT_decl_file···:·(data1)·69
809 ····<45f>···DW_AT_decl_line···:·(data1)·56809 ····<45f>···DW_AT_decl_line···:·(data1)·56
810 ····<460>···DW_AT_decl_column·:·(data1)·9810 ····<460>···DW_AT_decl_column·:·(data1)·9
811 ····<461>···DW_AT_type········:·(ref_udata)·<0x13d>811 ····<461>···DW_AT_type········:·(ref_udata)·<0x13d>
812 ····<462>···DW_AT_data_member_location:·(data1)·16812 ····<462>···DW_AT_data_member_location:·(data1)·16
813 ·<2><463>:·Abbrev·Number:·43·(DW_TAG_member)813 ·<2><463>:·Abbrev·Number:·43·(DW_TAG_member)
814 ····<464>···DW_AT_name········:·(strp)·(offset:·0x10647):·_IO_read_base814 ····<464>···DW_AT_name········:·(strp)·(offset:·0x10661):·_IO_read_base
815 ····<468>···DW_AT_decl_file···:·(data1)·69815 ····<468>···DW_AT_decl_file···:·(data1)·69
816 ····<469>···DW_AT_decl_line···:·(data1)·57816 ····<469>···DW_AT_decl_line···:·(data1)·57
817 ····<46a>···DW_AT_decl_column·:·(data1)·9817 ····<46a>···DW_AT_decl_column·:·(data1)·9
818 ····<46b>···DW_AT_type········:·(ref_udata)·<0x13d>818 ····<46b>···DW_AT_type········:·(ref_udata)·<0x13d>
819 ····<46c>···DW_AT_data_member_location:·(data1)·24819 ····<46c>···DW_AT_data_member_location:·(data1)·24
820 ·<2><46d>:·Abbrev·Number:·43·(DW_TAG_member)820 ·<2><46d>:·Abbrev·Number:·43·(DW_TAG_member)
821 ····<46e>···DW_AT_name········:·(strp)·(offset:·0x5169):·_IO_write_base821 ····<46e>···DW_AT_name········:·(strp)·(offset:·0x5169):·_IO_write_base
822 ····<472>···DW_AT_decl_file···:·(data1)·69822 ····<472>···DW_AT_decl_file···:·(data1)·69
823 ····<473>···DW_AT_decl_line···:·(data1)·58823 ····<473>···DW_AT_decl_line···:·(data1)·58
824 ····<474>···DW_AT_decl_column·:·(data1)·9824 ····<474>···DW_AT_decl_column·:·(data1)·9
825 ····<475>···DW_AT_type········:·(ref_udata)·<0x13d>825 ····<475>···DW_AT_type········:·(ref_udata)·<0x13d>
826 ····<476>···DW_AT_data_member_location:·(data1)·32826 ····<476>···DW_AT_data_member_location:·(data1)·32
827 ·<2><477>:·Abbrev·Number:·43·(DW_TAG_member)827 ·<2><477>:·Abbrev·Number:·43·(DW_TAG_member)
828 ····<478>···DW_AT_name········:·(strp)·(offset:·0xfcef):·_IO_write_ptr828 ····<478>···DW_AT_name········:·(strp)·(offset:·0xfd09):·_IO_write_ptr
829 ····<47c>···DW_AT_decl_file···:·(data1)·69829 ····<47c>···DW_AT_decl_file···:·(data1)·69
830 ····<47d>···DW_AT_decl_line···:·(data1)·59830 ····<47d>···DW_AT_decl_line···:·(data1)·59
831 ····<47e>···DW_AT_decl_column·:·(data1)·9831 ····<47e>···DW_AT_decl_column·:·(data1)·9
832 ····<47f>···DW_AT_type········:·(ref_udata)·<0x13d>832 ····<47f>···DW_AT_type········:·(ref_udata)·<0x13d>
833 ····<480>···DW_AT_data_member_location:·(data1)·40833 ····<480>···DW_AT_data_member_location:·(data1)·40
834 ·<2><481>:·Abbrev·Number:·43·(DW_TAG_member)834 ·<2><481>:·Abbrev·Number:·43·(DW_TAG_member)
835 ····<482>···DW_AT_name········:·(strp)·(offset:·0xe322):·_IO_write_end835 ····<482>···DW_AT_name········:·(strp)·(offset:·0xe322):·_IO_write_end
Offset 842, 36 lines modifiedOffset 842, 36 lines modified
842 ····<48c>···DW_AT_name········:·(strp)·(offset:·0xb52d):·_IO_buf_base842 ····<48c>···DW_AT_name········:·(strp)·(offset:·0xb52d):·_IO_buf_base
843 ····<490>···DW_AT_decl_file···:·(data1)·69843 ····<490>···DW_AT_decl_file···:·(data1)·69
844 ····<491>···DW_AT_decl_line···:·(data1)·61844 ····<491>···DW_AT_decl_line···:·(data1)·61
845 ····<492>···DW_AT_decl_column·:·(data1)·9845 ····<492>···DW_AT_decl_column·:·(data1)·9
846 ····<493>···DW_AT_type········:·(ref_udata)·<0x13d>846 ····<493>···DW_AT_type········:·(ref_udata)·<0x13d>
847 ····<494>···DW_AT_data_member_location:·(data1)·56847 ····<494>···DW_AT_data_member_location:·(data1)·56
848 ·<2><495>:·Abbrev·Number:·43·(DW_TAG_member)848 ·<2><495>:·Abbrev·Number:·43·(DW_TAG_member)
849 ····<496>···DW_AT_name········:·(strp)·(offset:·0x15423):·_IO_buf_end849 ····<496>···DW_AT_name········:·(strp)·(offset:·0x1543d):·_IO_buf_end
850 ····<49a>···DW_AT_decl_file···:·(data1)·69850 ····<49a>···DW_AT_decl_file···:·(data1)·69
851 ····<49b>···DW_AT_decl_line···:·(data1)·62851 ····<49b>···DW_AT_decl_line···:·(data1)·62
852 ····<49c>···DW_AT_decl_column·:·(data1)·9852 ····<49c>···DW_AT_decl_column·:·(data1)·9
853 ····<49d>···DW_AT_type········:·(ref_udata)·<0x13d>853 ····<49d>···DW_AT_type········:·(ref_udata)·<0x13d>
854 ····<49e>···DW_AT_data_member_location:·(data1)·64854 ····<49e>···DW_AT_data_member_location:·(data1)·64
855 ·<2><49f>:·Abbrev·Number:·43·(DW_TAG_member)855 ·<2><49f>:·Abbrev·Number:·43·(DW_TAG_member)
856 ····<4a0>···DW_AT_name········:·(strp)·(offset:·0xe395):·_IO_save_base856 ····<4a0>···DW_AT_name········:·(strp)·(offset:·0xe395):·_IO_save_base
857 ····<4a4>···DW_AT_decl_file···:·(data1)·69857 ····<4a4>···DW_AT_decl_file···:·(data1)·69
858 ····<4a5>···DW_AT_decl_line···:·(data1)·65858 ····<4a5>···DW_AT_decl_line···:·(data1)·65
859 ····<4a6>···DW_AT_decl_column·:·(data1)·9859 ····<4a6>···DW_AT_decl_column·:·(data1)·9
860 ····<4a7>···DW_AT_type········:·(ref_udata)·<0x13d>860 ····<4a7>···DW_AT_type········:·(ref_udata)·<0x13d>
861 ····<4a8>···DW_AT_data_member_location:·(data1)·72861 ····<4a8>···DW_AT_data_member_location:·(data1)·72
862 ·<2><4a9>:·Abbrev·Number:·43·(DW_TAG_member)862 ·<2><4a9>:·Abbrev·Number:·43·(DW_TAG_member)
863 ····<4aa>···DW_AT_name········:·(strp)·(offset:·0x10f0e):·_IO_backup_base863 ····<4aa>···DW_AT_name········:·(strp)·(offset:·0x10f28):·_IO_backup_base
864 ····<4ae>···DW_AT_decl_file···:·(data1)·69864 ····<4ae>···DW_AT_decl_file···:·(data1)·69
865 ····<4af>···DW_AT_decl_line···:·(data1)·66865 ····<4af>···DW_AT_decl_line···:·(data1)·66
866 ····<4b0>···DW_AT_decl_column·:·(data1)·9866 ····<4b0>···DW_AT_decl_column·:·(data1)·9
867 ····<4b1>···DW_AT_type········:·(ref_udata)·<0x13d>867 ····<4b1>···DW_AT_type········:·(ref_udata)·<0x13d>
868 ····<4b2>···DW_AT_data_member_location:·(data1)·80868 ····<4b2>···DW_AT_data_member_location:·(data1)·80
869 ·<2><4b3>:·Abbrev·Number:·43·(DW_TAG_member)869 ·<2><4b3>:·Abbrev·Number:·43·(DW_TAG_member)
870 ····<4b4>···DW_AT_name········:·(strp)·(offset:·0x18d41):·_IO_save_end870 ····<4b4>···DW_AT_name········:·(strp)·(offset:·0x18d5b):·_IO_save_end
871 ····<4b8>···DW_AT_decl_file···:·(data1)·69871 ····<4b8>···DW_AT_decl_file···:·(data1)·69
872 ····<4b9>···DW_AT_decl_line···:·(data1)·67872 ····<4b9>···DW_AT_decl_line···:·(data1)·67
873 ····<4ba>···DW_AT_decl_column·:·(data1)·9873 ····<4ba>···DW_AT_decl_column·:·(data1)·9
874 ····<4bb>···DW_AT_type········:·(ref_udata)·<0x13d>874 ····<4bb>···DW_AT_type········:·(ref_udata)·<0x13d>
875 ····<4bc>···DW_AT_data_member_location:·(data1)·88875 ····<4bc>···DW_AT_data_member_location:·(data1)·88
876 ·<2><4bd>:·Abbrev·Number:·43·(DW_TAG_member)876 ·<2><4bd>:·Abbrev·Number:·43·(DW_TAG_member)
877 ····<4be>···DW_AT_name········:·(strp)·(offset:·0x4bb0):·_markers877 ····<4be>···DW_AT_name········:·(strp)·(offset:·0x4bb0):·_markers
Offset 884, 58 lines modifiedOffset 884, 58 lines modified
884 ····<4c9>···DW_AT_name········:·(strp)·(offset:·0x83ac19):·_chain884 ····<4c9>···DW_AT_name········:·(strp)·(offset:·0x83ac19):·_chain
885 ····<4cd>···DW_AT_decl_file···:·(data1)·69885 ····<4cd>···DW_AT_decl_file···:·(data1)·69
886 ····<4ce>···DW_AT_decl_line···:·(data1)·71886 ····<4ce>···DW_AT_decl_line···:·(data1)·71
887 ····<4cf>···DW_AT_decl_column·:·(data1)·20887 ····<4cf>···DW_AT_decl_column·:·(data1)·20
888 ····<4d0>···DW_AT_type········:·(ref_udata)·<0xef0>888 ····<4d0>···DW_AT_type········:·(ref_udata)·<0xef0>
889 ····<4d2>···DW_AT_data_member_location:·(data1)·104889 ····<4d2>···DW_AT_data_member_location:·(data1)·104
890 ·<2><4d3>:·Abbrev·Number:·1·(DW_TAG_member)890 ·<2><4d3>:·Abbrev·Number:·1·(DW_TAG_member)
891 ····<4d4>···DW_AT_name········:·(strp)·(offset:·0x19f80):·_fileno891 ····<4d4>···DW_AT_name········:·(strp)·(offset:·0x19f9a):·_fileno
892 ····<4d8>···DW_AT_decl_file···:·(data1)·69892 ····<4d8>···DW_AT_decl_file···:·(data1)·69
893 ····<4d9>···DW_AT_decl_line···:·(data1)·73893 ····<4d9>···DW_AT_decl_line···:·(data1)·73
894 ····<4da>···DW_AT_decl_column·:·(data1)·7894 ····<4da>···DW_AT_decl_column·:·(data1)·7
895 ····<4db>···DW_AT_type········:·(ref_addr)·<0x46>,·int895 ····<4db>···DW_AT_type········:·(ref_addr)·<0x46>,·int
896 ····<4df>···DW_AT_data_member_location:·(data1)·112896 ····<4df>···DW_AT_data_member_location:·(data1)·112
897 ·<2><4e0>:·Abbrev·Number:·44·(DW_TAG_member)897 ·<2><4e0>:·Abbrev·Number:·44·(DW_TAG_member)
898 ····<4e1>···DW_AT_name········:·(strp)·(offset:·0x1c1cb):·_flags2898 ····<4e1>···DW_AT_name········:·(strp)·(offset:·0x1c1cb):·_flags2
899 ····<4e5>···DW_AT_decl_file···:·(data1)·69899 ····<4e5>···DW_AT_decl_file···:·(data1)·69
Max diff block lines reached; 25374023/25381125 bytes (99.97%) of diff not shown.
3.5 KB
readelf --wide --debug-dump=macro {}
    
Offset 1568, 16 lines modifiedOffset 1568, 16 lines modified
1568 ·DW_MACRO_define_strp·-·lineno·:·0·macro·:·_GNU_SOURCE·11568 ·DW_MACRO_define_strp·-·lineno·:·0·macro·:·_GNU_SOURCE·1
1569 ·DW_MACRO_define_strp·-·lineno·:·0·macro·:·CVC5_STATISTICS_ON·11569 ·DW_MACRO_define_strp·-·lineno·:·0·macro·:·CVC5_STATISTICS_ON·1
1570 ·DW_MACRO_define_strp·-·lineno·:·0·macro·:·CVC5_USE_CRYPTOMINISAT·11570 ·DW_MACRO_define_strp·-·lineno·:·0·macro·:·CVC5_USE_CRYPTOMINISAT·1
1571 ·DW_MACRO_define_strp·-·lineno·:·0·macro·:·NDEBUG·11571 ·DW_MACRO_define_strp·-·lineno·:·0·macro·:·NDEBUG·1
1572 ·DW_MACRO_define_strp·-·lineno·:·0·macro·:·__BUILDING_CVC5LIB·11572 ·DW_MACRO_define_strp·-·lineno·:·0·macro·:·__BUILDING_CVC5LIB·1
1573 ·DW_MACRO_define_strp·-·lineno·:·0·macro·:·cvc5_obj_EXPORTS·11573 ·DW_MACRO_define_strp·-·lineno·:·0·macro·:·cvc5_obj_EXPORTS·1
1574 ·DW_MACRO_define_strp·-·lineno·:·0·macro·:·_FORTIFY_SOURCE·21574 ·DW_MACRO_define_strp·-·lineno·:·0·macro·:·_FORTIFY_SOURCE·2
1575 ·DW_MACRO_define_strp·-·lineno·:·0·macro·:·DEB_BUILD_DATE·"2024-03-18"1575 ·DW_MACRO_define_strp·-·lineno·:·0·macro·:·DEB_BUILD_DATE·"2024-03-19"
1576 ·DW_MACRO_define_strp·-·lineno·:·0·macro·:·DEB_BUILD_TIME·"12:06:23"1576 ·DW_MACRO_define_strp·-·lineno·:·0·macro·:·DEB_BUILD_TIME·"14:06:23"
  
1577 ··Offset:······················0x19e91577 ··Offset:······················0x19e9
1578 ··Version:·····················51578 ··Version:·····················5
1579 ··Offset·size:·················41579 ··Offset·size:·················4
  
1580 ·DW_MACRO_define_strp·-·lineno·:·19·macro·:·_STDC_PREDEF_H·11580 ·DW_MACRO_define_strp·-·lineno·:·19·macro·:·_STDC_PREDEF_H·1
1581 ·DW_MACRO_define_strp·-·lineno·:·38·macro·:·__STDC_IEC_559__·11581 ·DW_MACRO_define_strp·-·lineno·:·38·macro·:·__STDC_IEC_559__·1
Offset 52738, 16 lines modifiedOffset 52738, 16 lines modified
52738 ·DW_MACRO_define_strp·-·lineno·:·0·macro·:·__DECIMAL_BID_FORMAT__·152738 ·DW_MACRO_define_strp·-·lineno·:·0·macro·:·__DECIMAL_BID_FORMAT__·1
52739 ·DW_MACRO_define_strp·-·lineno·:·0·macro·:·CVC5_STATISTICS_ON·152739 ·DW_MACRO_define_strp·-·lineno·:·0·macro·:·CVC5_STATISTICS_ON·1
52740 ·DW_MACRO_define_strp·-·lineno·:·0·macro·:·CVC5_USE_CRYPTOMINISAT·152740 ·DW_MACRO_define_strp·-·lineno·:·0·macro·:·CVC5_USE_CRYPTOMINISAT·1
52741 ·DW_MACRO_define_strp·-·lineno·:·0·macro·:·NDEBUG·152741 ·DW_MACRO_define_strp·-·lineno·:·0·macro·:·NDEBUG·1
52742 ·DW_MACRO_define_strp·-·lineno·:·0·macro·:·__BUILDING_CVC5LIB·152742 ·DW_MACRO_define_strp·-·lineno·:·0·macro·:·__BUILDING_CVC5LIB·1
52743 ·DW_MACRO_define_strp·-·lineno·:·0·macro·:·cvc5_obj_EXPORTS·152743 ·DW_MACRO_define_strp·-·lineno·:·0·macro·:·cvc5_obj_EXPORTS·1
52744 ·DW_MACRO_define_strp·-·lineno·:·0·macro·:·_FORTIFY_SOURCE·252744 ·DW_MACRO_define_strp·-·lineno·:·0·macro·:·_FORTIFY_SOURCE·2
52745 ·DW_MACRO_define_strp·-·lineno·:·0·macro·:·DEB_BUILD_DATE·"2024-03-18"52745 ·DW_MACRO_define_strp·-·lineno·:·0·macro·:·DEB_BUILD_DATE·"2024-03-19"
52746 ·DW_MACRO_define_strp·-·lineno·:·0·macro·:·DEB_BUILD_TIME·"12:06:23"52746 ·DW_MACRO_define_strp·-·lineno·:·0·macro·:·DEB_BUILD_TIME·"14:06:23"
  
52747 ··Offset:······················0x4912952747 ··Offset:······················0x49129
52748 ··Version:·····················552748 ··Version:·····················5
52749 ··Offset·size:·················452749 ··Offset·size:·················4
  
52750 ·DW_MACRO_define_strp·-·lineno·:·39·macro·:·_STDDEF_H·52750 ·DW_MACRO_define_strp·-·lineno·:·39·macro·:·_STDDEF_H·
52751 ·DW_MACRO_define_strp·-·lineno·:·40·macro·:·_STDDEF_H_·52751 ·DW_MACRO_define_strp·-·lineno·:·40·macro·:·_STDDEF_H_·
Offset 1342638, 17 lines modifiedOffset 1342638, 15 lines modified
1342638 ·DW_MACRO_define_strp·-·lineno·:·22·macro·:·CVC5__OPTIONS__THEORY_H·1342638 ·DW_MACRO_define_strp·-·lineno·:·22·macro·:·CVC5__OPTIONS__THEORY_H·
1342639 ·DW_MACRO_start_file·-·lineno:·24·filenum:·421342639 ·DW_MACRO_start_file·-·lineno:·24·filenum:·42
1342640 ·DW_MACRO_end_file1342640 ·DW_MACRO_end_file
1342641 ·DW_MACRO_import·-·offset·:·0x5220c1342641 ·DW_MACRO_import·-·offset·:·0x5220c
1342642 ·DW_MACRO_end_file1342642 ·DW_MACRO_end_file
1342643 ·DW_MACRO_start_file·-·lineno:·49·filenum:·1361342643 ·DW_MACRO_start_file·-·lineno:·49·filenum:·136
1342644 ·DW_MACRO_end_file1342644 ·DW_MACRO_end_file
1342645 ·DW_MACRO_start_file·-·lineno:·51·filenum:·31 
1342646 ·DW_MACRO_end_file 
1342647 ·DW_MACRO_start_file·-·lineno:·52·filenum:·3031342645 ·DW_MACRO_start_file·-·lineno:·51·filenum:·303
1342648 ·DW_MACRO_define_strp·-·lineno·:·30·macro·:·_GLIBCXX_UNORDERED_MAP·11342646 ·DW_MACRO_define_strp·-·lineno·:·30·macro·:·_GLIBCXX_UNORDERED_MAP·1
1342649 ·DW_MACRO_start_file·-·lineno:·41·filenum:·141342647 ·DW_MACRO_start_file·-·lineno:·41·filenum:·14
1342650 ·DW_MACRO_define_strp·-·lineno·:·31·macro·:·_UNORDERED_MAP_H·1342648 ·DW_MACRO_define_strp·-·lineno·:·31·macro·:·_UNORDERED_MAP_H·
1342651 ·DW_MACRO_start_file·-·lineno:·33·filenum:·151342649 ·DW_MACRO_start_file·-·lineno:·33·filenum:·15
1342652 ·DW_MACRO_define_strp·-·lineno·:·31·macro·:·_HASHTABLE_H·11342650 ·DW_MACRO_define_strp·-·lineno·:·31·macro·:·_HASHTABLE_H·1
1342653 ·DW_MACRO_start_file·-·lineno:·35·filenum:·161342651 ·DW_MACRO_start_file·-·lineno:·35·filenum:·16
1342654 ·DW_MACRO_define_strp·-·lineno·:·32·macro·:·_HASHTABLE_POLICY_H·11342652 ·DW_MACRO_define_strp·-·lineno·:·32·macro·:·_HASHTABLE_POLICY_H·1
Offset 1342656, 15 lines modifiedOffset 1342654, 17 lines modified
1342656 ·DW_MACRO_end_file1342654 ·DW_MACRO_end_file
1342657 ·DW_MACRO_end_file1342655 ·DW_MACRO_end_file
1342658 ·DW_MACRO_import·-·offset·:·0x9e111342656 ·DW_MACRO_import·-·offset·:·0x9e11
1342659 ·DW_MACRO_start_file·-·lineno:·56·filenum:·1771342657 ·DW_MACRO_start_file·-·lineno:·56·filenum:·177
1342660 ·DW_MACRO_import·-·offset·:·0x5108541342658 ·DW_MACRO_import·-·offset·:·0x510854
1342661 ·DW_MACRO_end_file1342659 ·DW_MACRO_end_file
1342662 ·DW_MACRO_end_file1342660 ·DW_MACRO_end_file
 1342661 ·DW_MACRO_start_file·-·lineno:·52·filenum:·31
 1342662 ·DW_MACRO_end_file
1342663 ·DW_MACRO_start_file·-·lineno:·53·filenum:·1121342663 ·DW_MACRO_start_file·-·lineno:·54·filenum:·112
1342664 ·DW_MACRO_end_file1342664 ·DW_MACRO_end_file
1342665 ·DW_MACRO_start_file·-·lineno:·57·filenum:·831342665 ·DW_MACRO_start_file·-·lineno:·57·filenum:·83
1342666 ·DW_MACRO_define_strp·-·lineno·:·41·macro·:·__glibcxx_want_freestanding_cstring·1342666 ·DW_MACRO_define_strp·-·lineno·:·41·macro·:·__glibcxx_want_freestanding_cstring·
1342667 ·DW_MACRO_start_file·-·lineno:·42·filenum:·1771342667 ·DW_MACRO_start_file·-·lineno:·42·filenum:·177
1342668 ·DW_MACRO_import·-·offset·:·0x510e401342668 ·DW_MACRO_import·-·offset·:·0x510e40
1342669 ·DW_MACRO_end_file1342669 ·DW_MACRO_end_file
1342670 ·DW_MACRO_start_file·-·lineno:·43·filenum:·1401342670 ·DW_MACRO_start_file·-·lineno:·43·filenum:·140
635 B
readelf --wide --debug-dump=loc {}
    
Offset 4194297, 8 lines modifiedOffset 4194297, 8 lines modified
4194297 ····00c1b04c·v000000000000000·v000000000000003·views·at·00c1b04a·for:4194297 ····00c1b04c·v000000000000000·v000000000000003·views·at·00c1b04a·for:
4194298 ·············0000000000621e88·0000000000621e88·(DW_OP_breg0·(rax):·8;·DW_OP_stack_value)4194298 ·············0000000000621e88·0000000000621e88·(DW_OP_breg0·(rax):·8;·DW_OP_stack_value)
4194299 ····00c1b05a·<End·of·list>4194299 ····00c1b05a·<End·of·list>
  
4194300 ····00c1b05b·v000000000000001·v000000000000003·location·view·pair4194300 ····00c1b05b·v000000000000001·v000000000000003·location·view·pair
  
4194301 ····00c1b05d·v000000000000001·v000000000000003·views·at·00c1b05b·for:4194301 ····00c1b05d·v000000000000001·v000000000000003·views·at·00c1b05b·for:
4194302 [·Too·much·input·for·diff·(SHA256:·5e42bc2e6b81808e45a23514a5da6fd908e2000881ebaa638a090ef457134227)·]4194302 [·Too·much·input·for·diff·(SHA256:·084c5ed55293e43d1e515925e2ae6c021fb74b535bda04576b3d0b09fff60ffc)·]
651 KB
strings --all --bytes=8 {}
    
Offset 1, 29907 lines modifiedOffset 1, 30192 lines modified
1 SGCC:·(Debian·14.2.0-17)·14.2.01 »       1mGCC:·(Debian·14.2.0-17)·14.2.0
2 :·;^/:}32 :·;^/:}3
3 xg9^gO+}3 xg9^gO+}
4 $_yiP{fI4 $_yiP{fI
5 w;hxd4>2 
6 irW~R{l% 
7 VwhJ,|^j5 VwhJ,z^f
 6 F15G8n%U
 7 Bw6|8'|x
 8 FR4T_9pJ
 9 y>d@C90<
 10 !?XhaS?M
 11 {<E'T~;FRPywD
 12 sy;yw."at
 13 ,gp-$2O8_
 14 ]J"h:,/B1
 15 0/,%IWC:
 16 >4s!a9KG
 17 %D7lEv!\
 18 \O6t;v0G
 19 G"LPndra
 20 F#[w·s[eF=
 21 rG~mES%~
 22 Sw_»    2_5H
 23 P2E[(9O8@t
 24 x86`(gSi
 25 L5/s0q((_Ot7
 26 )CPx$j\ny
 27 h-8FUT&o
 28 !gA,RN_d
 29 r>P})H}>0
 30 )p/|tw)4
8 QoX=[?[Z 
9 qRb[T·}vv. 
10 1PU;{»  k9 
11 wAecc%;* 
12 CuBhu78Y^ 
13 b5BJaB~% 
14 'p8]R&)" 
15 L2SX·(itA} 
16 1?ij4{x: 
17 ~cEg`=Z? 
18 5w(z&)gB 
19 r^Y~9SbQ 
20 k)B]WUMp 
21 VelFWJod 
22 )0P>Tn\d 
23 %Byi{|"* 
24 DKXr<X\n 
25 vaqEVTN7,1 
26 xH*»    %Nkj@* 
27 |N6e^!p72 
28 (VTAQ»  Yf6 
29 TX[{ioy% 
30 Bv9;!sX1yvB!; 
31 }]~TQu53 
32 4~dC>q3QVJ 
33 F=+lkT:z 
34 'eF8Hetm 
35 %rt/F9c0f 
36 V#ER}#ER 
37 1Qy.Q)]1 
38 ufV}"FG8[I& 
39 T|W0t7801 
40 5:7(u6e; 
41 VLS9c.tbkv 
42 @9mvPNKe 
43 D9]*RNK=& 
44 D9]*RN+VKI/QN 
45 D9]*RN+!) 
46 D9]*RN;[I& 
47 =I+NuQ?UE&& 
48 kfe\^#|^ 
49 4VXK6IDW31 4VXK6IDW
 32 IolnPQyc
50 ;VgQ|{.ff33 ;VgQ|{.ff
51 YH5Q}{.n34 YH5Q}{.n
 35 VyQ!@}v}eg^F
 36 Nl^Or>,rc
 37 t8Zw<Fw8:
 38 y(»     p·@K{1Q
 39 bZD5nw3A
 40 ffyNgy>u
 41 sNWvefev
 42 ?K5oN7?KM
 43 g:4v`;qd;
 44 DTgB/i*J
 45 K)UR~RY·
 46 8'_)FF@R'
 47 O9Lmba;L>
 48 5Mm\#yG;h
 49 ·9s"O(^q
 50 M$uDk3l&;
 51 =$zwWw^w)
 52 0N%_[fir
 53 7\Cy2{oKC8
 54 32EA"6"|J8
 55 70nH·FWx
 56 >9%]D@kX
 57 NI]J.GC\
52 >&x|0ouT 
53 "b2khrn$B 
54 @~%g81qy8K 
55 xmg5jh?7^ 
56 xO1r7"EzO1r7" 
57 um>E&QZx 
58 yu:r&E#g 
59 ESPr&+#g"E= 
60 wMTglWlZ~ 
61 S3)k~QO1 
62 2R+uu(Fye 
63 9F_B(@s, 
64 %d*»    bRxL 
65 KXkw?Wa/ 
66 Z$yU|g]6 
67 nd5x+KBrR 
68 vckWL_rd 
69 Cq3S}IT5G/ 
70 Ijhf]1IR 
71 t?W32oO| 
72 "XN$>7T@ 
73 wlQ^p9pG 
74 bO)}RY#X 
75 s$"hd>%#4 
76 ]\.~I.r»1B 
77 37;h)2dS 
78 ON6=+szXk58 ON6=+szXk
Max diff block lines reached; 664690/666622 bytes (99.71%) of diff not shown.
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.
122 B
libcvc5parser1-dbgsym_1.1.2-2_amd64.deb
Timeout exceeded; details may be incomplete.
118 B
python3-cvc5-dbgsym_1.1.2-2_amd64.deb
Timeout exceeded; details may be incomplete.