⊟
62.3 MB
/srv/reproducible-results/rbuild-debian/r-b-build.2W8CRF8X/b1/cvc5_1.1.2-2_arm64.changes vs.
/srv/reproducible-results/rbuild-debian/r-b-build.2W8CRF8X/b2/cvc5_1.1.2-2_arm64.changes
⊟
1.52 KB
Files
    
Offset 1, 10 lines modifiedOffset 1, 10 lines modified
  
1 ·cbfbe2a388e01a5f113ec4b56c279c74·1844812·debug·optional·cvc5-dbgsym_1.1.2-2_arm64.deb 
2 ·8e06990c33212a1ad1a1ac40671e4574·96972·math·optional·cvc5_1.1.2-2_arm64.deb 
3 ·dae85d94158957ce98bf8eb0fbb53cb0·179690368·debug·optional·libcvc5-1-dbgsym_1.1.2-2_arm64.deb 
4 ·3151b59f681835f938cbd7f0e5db23b5·5709232·libs·optional·libcvc5-1_1.1.2-2_arm64.deb1 ·9752e876afb3600fa2320742c9913379·1844768·debug·optional·cvc5-dbgsym_1.1.2-2_arm64.deb
 2 ·2970eab0c1875ec365df42c703f5f633·96884·math·optional·cvc5_1.1.2-2_arm64.deb
 3 ·88d0293497663c7415dcc18a2a37b334·179697548·debug·optional·libcvc5-1-dbgsym_1.1.2-2_arm64.deb
 4 ·f95a74c5a762f79c0b6c4d66d9cfde4f·5709632·libs·optional·libcvc5-1_1.1.2-2_arm64.deb
5 ·9efddfd1d9de6042bacc4f4a8758992a·93008·libdevel·optional·libcvc5-dev_1.1.2-2_arm64.deb5 ·9efddfd1d9de6042bacc4f4a8758992a·93008·libdevel·optional·libcvc5-dev_1.1.2-2_arm64.deb
6 ·f7e3a5ed9ac5639ea1cf099659635b8c·3993820·debug·optional·libcvc5parser1-dbgsym_1.1.2-2_arm64.deb 
7 ·a45ed5eba76ec37379a5f08b170d770a·207500·libs·optional·libcvc5parser1_1.1.2-2_arm64.deb 
8 ·d8a7dff510d691cb7b68fc7cffae5bf7·2595960·debug·optional·python3-cvc5-dbgsym_1.1.2-2_arm64.deb 
9 ·564e1550c29c5759e919a7059e683bd0·297780·python·optional·python3-cvc5_1.1.2-2_arm64.deb6 ·4ff6830e36335367c63c7d420b5e2f0a·3993948·debug·optional·libcvc5parser1-dbgsym_1.1.2-2_arm64.deb
 7 ·d6bb300563cd43fce21ebd9dda505b52·207436·libs·optional·libcvc5parser1_1.1.2-2_arm64.deb
 8 ·992e2bd3d74abd1993efca6411a2da10·2595792·debug·optional·python3-cvc5-dbgsym_1.1.2-2_arm64.deb
 9 ·d57ef4659060e867a62f62016d95c58a·297532·python·optional·python3-cvc5_1.1.2-2_arm64.deb
⊟
2.69 KB
cvc5_1.1.2-2_arm64.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····95664·2024-03-19·00:06:23.000000·data.tar.xz3 -rw-r--r--···0········0········0····95576·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.19 KB
data.tar.xz
⊟
2.17 KB
data.tar
⊟
2.15 KB
./usr/bin/cvc5
File has been modified after NT_GNU_BUILD_ID has been applied.
⊟
815 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:·AArch64·feature:·BTI,·PAC3 ··GNU··················0x00000010»  NT_GNU_PROPERTY_TYPE_0»    ······Properties:·AArch64·feature:·BTI,·PAC
  
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:·b58aca2dacd89649e922dd43dbeb18a6db4e7ae56 ··GNU··················0x00000014»  NT_GNU_BUILD_ID·(unique·build·ID·bitstring)»   ····Build·ID:·4df8266d6cc86f0e26343eaa9baa8e860a2e212b
  
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.7.09 ··GNU··················0x00000010»  NT_GNU_ABI_TAG·(ABI·version·tag)»     ····OS:·Linux,·ABI:·3.7.0
⊟
433 B
strings --all --bytes=8 {}
    
Offset 1, 8 lines modifiedOffset 1, 8 lines modified
1 /lib/ld-linux-aarch64.so.11 .!+/lib/ld-linux-aarch64.so.1
2 Ut<{~·U>2 Ut<{~·U>
3 _ZTIN4cvc58internal9ExceptionE3 _ZTIN4cvc58internal9ExceptionE
4 _ZNK4cvc56Solver13getOptionInfoERKNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEE4 _ZNK4cvc56Solver13getOptionInfoERKNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEE
5 _ZNK4cvc56Result9isUnknownEv5 _ZNK4cvc56Result9isUnknownEv
6 _ZNK4cvc56Result7isUnsatEv6 _ZNK4cvc56Result7isUnsatEv
7 _ZNK4cvc510OptionInfo9boolValueEv7 _ZNK4cvc510OptionInfo9boolValueEv
8 _ZNK4cvc56Solver9getOptionERKNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEE8 _ZNK4cvc56Solver9getOptionERKNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEE
⊟
866 B
readelf --wide --decompress --hex-dump=.gnu_debuglink {}
error from `readelf --wide --decompress --hex-dump=.gnu_debuglink {}`: readelf: Error: Unable to find program interpreter name readelf: Error: no .dynamic section in the dynamic segment
    
Offset 1, 7 lines modifiedOffset 1, 7 lines modified
  
1 Hex·dump·of·section·'.gnu_debuglink':1 Hex·dump·of·section·'.gnu_debuglink':
2 ··0x00000000·38616361·32646163·64383936·34396539·8aca2dacd89649e9 
3 ··0x00000010·32326464·34336462·65623138·61366462·22dd43dbeb18a6db2 ··0x00000000·66383236·36643663·63383666·30653236·f8266d6cc86f0e26
 3 ··0x00000010·33343365·61613962·61613865·38363061·343eaa9baa8e860a
4 ··0x00000020·34653761·65352e64·65627567·00000000·4e7ae5.debug....4 ··0x00000020·32653231·32622e64·65627567·00000000·2e212b.debug....
5 ··0x00000030·f1d4077e····························...~5 ··0x00000030·50fed30f····························P...
  
⊟
37.7 KB
libcvc5-1_1.1.2-2_arm64.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·····1280·2024-03-19·00:06:23.000000·control.tar.xz2 -rw-r--r--···0········0········0·····1276·2024-03-19·00:06:23.000000·control.tar.xz
3 -rw-r--r--···0········0········0··5707760·2024-03-19·00:06:23.000000·data.tar.xz3 -rw-r--r--···0········0········0··5708164·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
⊟
37.2 KB
data.tar.xz
⊟
37.1 KB
data.tar
⊟
37.1 KB
./usr/lib/aarch64-linux-gnu/libcvc5.so.1
File has been modified after NT_GNU_BUILD_ID has been applied.
⊟
14.4 KB
readelf --wide --relocs {}
    
Offset 3687, 15 lines modifiedOffset 3687, 15 lines modified
3687 00000000015cf6d8··0000000000000403·R_AARCH64_RELATIVE························1316cc83687 00000000015cf6d8··0000000000000403·R_AARCH64_RELATIVE························1316cc8
3688 00000000015cf6e0··0000000000000403·R_AARCH64_RELATIVE························1316cd83688 00000000015cf6e0··0000000000000403·R_AARCH64_RELATIVE························1316cd8
3689 00000000015cf6e8··0000000000000403·R_AARCH64_RELATIVE························1316ce83689 00000000015cf6e8··0000000000000403·R_AARCH64_RELATIVE························1316ce8
3690 00000000015cf6f0··0000000000000403·R_AARCH64_RELATIVE························1316d003690 00000000015cf6f0··0000000000000403·R_AARCH64_RELATIVE························1316d00
3691 00000000015cf6f8··0000000000000403·R_AARCH64_RELATIVE························1316d183691 00000000015cf6f8··0000000000000403·R_AARCH64_RELATIVE························1316d18
3692 00000000015cf700··0000000000000403·R_AARCH64_RELATIVE························1316d283692 00000000015cf700··0000000000000403·R_AARCH64_RELATIVE························1316d28
3693 00000000015cf708··0000000000000403·R_AARCH64_RELATIVE························1316d383693 00000000015cf708··0000000000000403·R_AARCH64_RELATIVE························1316d38
3694 00000000015cf710··0000000000000403·R_AARCH64_RELATIVE························13178f83694 00000000015cf710··0000000000000403·R_AARCH64_RELATIVE························1317908
3695 00000000015cf718··0000000000000403·R_AARCH64_RELATIVE························1316d503695 00000000015cf718··0000000000000403·R_AARCH64_RELATIVE························1316d50
3696 00000000015cf720··0000000000000403·R_AARCH64_RELATIVE························1316d603696 00000000015cf720··0000000000000403·R_AARCH64_RELATIVE························1316d60
3697 00000000015cf728··0000000000000403·R_AARCH64_RELATIVE························1316d783697 00000000015cf728··0000000000000403·R_AARCH64_RELATIVE························1316d78
3698 00000000015cf730··0000000000000403·R_AARCH64_RELATIVE························12e96183698 00000000015cf730··0000000000000403·R_AARCH64_RELATIVE························12e9618
3699 00000000015cf738··0000000000000403·R_AARCH64_RELATIVE························1316d883699 00000000015cf738··0000000000000403·R_AARCH64_RELATIVE························1316d88
3700 00000000015cf740··0000000000000403·R_AARCH64_RELATIVE························1316d983700 00000000015cf740··0000000000000403·R_AARCH64_RELATIVE························1316d98
3701 00000000015cf748··0000000000000403·R_AARCH64_RELATIVE························1316da83701 00000000015cf748··0000000000000403·R_AARCH64_RELATIVE························1316da8
Offset 3790, 31 lines modifiedOffset 3790, 31 lines modified
3790 00000000015cfa10··0000000000000403·R_AARCH64_RELATIVE························13173a83790 00000000015cfa10··0000000000000403·R_AARCH64_RELATIVE························13173a8
3791 00000000015cfa18··0000000000000403·R_AARCH64_RELATIVE························13173b83791 00000000015cfa18··0000000000000403·R_AARCH64_RELATIVE························13173b8
3792 00000000015cfa20··0000000000000403·R_AARCH64_RELATIVE························13173d03792 00000000015cfa20··0000000000000403·R_AARCH64_RELATIVE························13173d0
3793 00000000015cfa28··0000000000000403·R_AARCH64_RELATIVE························13173e03793 00000000015cfa28··0000000000000403·R_AARCH64_RELATIVE························13173e0
3794 00000000015cfa30··0000000000000403·R_AARCH64_RELATIVE························12ef1483794 00000000015cfa30··0000000000000403·R_AARCH64_RELATIVE························12ef148
3795 00000000015cfa38··0000000000000403·R_AARCH64_RELATIVE························13173e83795 00000000015cfa38··0000000000000403·R_AARCH64_RELATIVE························13173e8
3796 00000000015cfa40··0000000000000403·R_AARCH64_RELATIVE························13174003796 00000000015cfa40··0000000000000403·R_AARCH64_RELATIVE························1317400
3797 00000000015cfa48··0000000000000403·R_AARCH64_RELATIVE························13175083797 00000000015cfa48··0000000000000403·R_AARCH64_RELATIVE························1317500
3798 00000000015cfa50··0000000000000403·R_AARCH64_RELATIVE························13174103798 00000000015cfa50··0000000000000403·R_AARCH64_RELATIVE························1317410
3799 00000000015cfa58··0000000000000403·R_AARCH64_RELATIVE························13174203799 00000000015cfa58··0000000000000403·R_AARCH64_RELATIVE························1317420
3800 00000000015cfa60··0000000000000403·R_AARCH64_RELATIVE························13174303800 00000000015cfa60··0000000000000403·R_AARCH64_RELATIVE························1317430
3801 00000000015cfa68··0000000000000403·R_AARCH64_RELATIVE························13174403801 00000000015cfa68··0000000000000403·R_AARCH64_RELATIVE························1317440
3802 00000000015cfa70··0000000000000403·R_AARCH64_RELATIVE························13174503802 00000000015cfa70··0000000000000403·R_AARCH64_RELATIVE························1317450
3803 00000000015cfa78··0000000000000403·R_AARCH64_RELATIVE························13174603803 00000000015cfa78··0000000000000403·R_AARCH64_RELATIVE························1317460
3804 00000000015cfa80··0000000000000403·R_AARCH64_RELATIVE························13174703804 00000000015cfa80··0000000000000403·R_AARCH64_RELATIVE························1317470
3805 00000000015cfa88··0000000000000403·R_AARCH64_RELATIVE························1317af83805 00000000015cfa88··0000000000000403·R_AARCH64_RELATIVE························1317ae0
3806 00000000015cfa90··0000000000000403·R_AARCH64_RELATIVE························13174803806 00000000015cfa90··0000000000000403·R_AARCH64_RELATIVE························1317480
3807 00000000015cfa98··0000000000000403·R_AARCH64_RELATIVE························13174983807 00000000015cfa98··0000000000000403·R_AARCH64_RELATIVE························1317498
3808 00000000015cfaa0··0000000000000403·R_AARCH64_RELATIVE························13174b03808 00000000015cfaa0··0000000000000403·R_AARCH64_RELATIVE························13174b0
3809 00000000015cfaa8··0000000000000403·R_AARCH64_RELATIVE························13174c03809 00000000015cfaa8··0000000000000403·R_AARCH64_RELATIVE························13174c0
3810 00000000015cfab0··0000000000000403·R_AARCH64_RELATIVE························13174d03810 00000000015cfab0··0000000000000403·R_AARCH64_RELATIVE························13174d0
3811 00000000015cfab8··0000000000000403·R_AARCH64_RELATIVE························13174e03811 00000000015cfab8··0000000000000403·R_AARCH64_RELATIVE························13174e0
3812 00000000015cfac0··0000000000000403·R_AARCH64_RELATIVE························13174f03812 00000000015cfac0··0000000000000403·R_AARCH64_RELATIVE························13174f0
3813 00000000015cfac8··0000000000000403·R_AARCH64_RELATIVE························13175003813 00000000015cfac8··0000000000000403·R_AARCH64_RELATIVE························1317510
3814 00000000015cfad0··0000000000000403·R_AARCH64_RELATIVE························12defd83814 00000000015cfad0··0000000000000403·R_AARCH64_RELATIVE························12defd8
3815 00000000015cfad8··0000000000000403·R_AARCH64_RELATIVE························13175183815 00000000015cfad8··0000000000000403·R_AARCH64_RELATIVE························1317518
3816 00000000015cfae0··0000000000000403·R_AARCH64_RELATIVE························13175283816 00000000015cfae0··0000000000000403·R_AARCH64_RELATIVE························1317528
3817 00000000015cfae8··0000000000000403·R_AARCH64_RELATIVE························13175483817 00000000015cfae8··0000000000000403·R_AARCH64_RELATIVE························1317548
3818 00000000015cfaf0··0000000000000403·R_AARCH64_RELATIVE························13175603818 00000000015cfaf0··0000000000000403·R_AARCH64_RELATIVE························1317560
3819 00000000015cfaf8··0000000000000403·R_AARCH64_RELATIVE························13175803819 00000000015cfaf8··0000000000000403·R_AARCH64_RELATIVE························1317580
3820 00000000015cfb00··0000000000000403·R_AARCH64_RELATIVE························13175983820 00000000015cfb00··0000000000000403·R_AARCH64_RELATIVE························1317598
Offset 3867, 15 lines modifiedOffset 3867, 15 lines modified
3867 00000000015cfc78··0000000000000403·R_AARCH64_RELATIVE························130ad803867 00000000015cfc78··0000000000000403·R_AARCH64_RELATIVE························130ad80
3868 00000000015cfc80··0000000000000403·R_AARCH64_RELATIVE························13178b83868 00000000015cfc80··0000000000000403·R_AARCH64_RELATIVE························13178b8
3869 00000000015cfc88··0000000000000403·R_AARCH64_RELATIVE························13178c03869 00000000015cfc88··0000000000000403·R_AARCH64_RELATIVE························13178c0
3870 00000000015cfc90··0000000000000403·R_AARCH64_RELATIVE························12eafc03870 00000000015cfc90··0000000000000403·R_AARCH64_RELATIVE························12eafc0
3871 00000000015cfc98··0000000000000403·R_AARCH64_RELATIVE························13178d03871 00000000015cfc98··0000000000000403·R_AARCH64_RELATIVE························13178d0
3872 00000000015cfca0··0000000000000403·R_AARCH64_RELATIVE························13178e03872 00000000015cfca0··0000000000000403·R_AARCH64_RELATIVE························13178e0
3873 00000000015cfca8··0000000000000403·R_AARCH64_RELATIVE························13179583873 00000000015cfca8··0000000000000403·R_AARCH64_RELATIVE························1317958
3874 00000000015cfcb0··0000000000000403·R_AARCH64_RELATIVE························13179003874 00000000015cfcb0··0000000000000403·R_AARCH64_RELATIVE························13178f8
3875 00000000015cfcb8··0000000000000403·R_AARCH64_RELATIVE························13179103875 00000000015cfcb8··0000000000000403·R_AARCH64_RELATIVE························1317910
3876 00000000015cfcc0··0000000000000403·R_AARCH64_RELATIVE························13179283876 00000000015cfcc0··0000000000000403·R_AARCH64_RELATIVE························1317928
3877 00000000015cfcc8··0000000000000403·R_AARCH64_RELATIVE························13179403877 00000000015cfcc8··0000000000000403·R_AARCH64_RELATIVE························1317940
3878 00000000015cfcd0··0000000000000403·R_AARCH64_RELATIVE························13179683878 00000000015cfcd0··0000000000000403·R_AARCH64_RELATIVE························1317968
3879 00000000015cfcd8··0000000000000403·R_AARCH64_RELATIVE························13179803879 00000000015cfcd8··0000000000000403·R_AARCH64_RELATIVE························1317980
3880 00000000015cfce0··0000000000000403·R_AARCH64_RELATIVE························13179983880 00000000015cfce0··0000000000000403·R_AARCH64_RELATIVE························1317998
3881 00000000015cfce8··0000000000000403·R_AARCH64_RELATIVE························1318b403881 00000000015cfce8··0000000000000403·R_AARCH64_RELATIVE························1318b40
Offset 3892, 15 lines modifiedOffset 3892, 15 lines modified
3892 00000000015cfd40··0000000000000403·R_AARCH64_RELATIVE························1317a683892 00000000015cfd40··0000000000000403·R_AARCH64_RELATIVE························1317a68
3893 00000000015cfd48··0000000000000403·R_AARCH64_RELATIVE························1317a803893 00000000015cfd48··0000000000000403·R_AARCH64_RELATIVE························1317a80
3894 00000000015cfd50··0000000000000403·R_AARCH64_RELATIVE························1317a983894 00000000015cfd50··0000000000000403·R_AARCH64_RELATIVE························1317a98
3895 00000000015cfd58··0000000000000403·R_AARCH64_RELATIVE························1317ab03895 00000000015cfd58··0000000000000403·R_AARCH64_RELATIVE························1317ab0
3896 00000000015cfd60··0000000000000403·R_AARCH64_RELATIVE························1317ac03896 00000000015cfd60··0000000000000403·R_AARCH64_RELATIVE························1317ac0
3897 00000000015cfd68··0000000000000403·R_AARCH64_RELATIVE························12d8b703897 00000000015cfd68··0000000000000403·R_AARCH64_RELATIVE························12d8b70
3898 00000000015cfd70··0000000000000403·R_AARCH64_RELATIVE························1317ad03898 00000000015cfd70··0000000000000403·R_AARCH64_RELATIVE························1317ad0
3899 00000000015cfd78··0000000000000403·R_AARCH64_RELATIVE························1317ae03899 00000000015cfd78··0000000000000403·R_AARCH64_RELATIVE························1317af8
3900 00000000015cfd80··0000000000000403·R_AARCH64_RELATIVE························1317b103900 00000000015cfd80··0000000000000403·R_AARCH64_RELATIVE························1317b10
3901 00000000015cfd88··0000000000000403·R_AARCH64_RELATIVE························1317b283901 00000000015cfd88··0000000000000403·R_AARCH64_RELATIVE························1317b28
3902 00000000015cfd90··0000000000000403·R_AARCH64_RELATIVE························1317b403902 00000000015cfd90··0000000000000403·R_AARCH64_RELATIVE························1317b40
3903 00000000015cfd98··0000000000000403·R_AARCH64_RELATIVE························1317b583903 00000000015cfd98··0000000000000403·R_AARCH64_RELATIVE························1317b58
3904 00000000015cfda0··0000000000000403·R_AARCH64_RELATIVE························12ec0103904 00000000015cfda0··0000000000000403·R_AARCH64_RELATIVE························12ec010
3905 00000000015cfda8··0000000000000403·R_AARCH64_RELATIVE························1317b783905 00000000015cfda8··0000000000000403·R_AARCH64_RELATIVE························1317b78
3906 00000000015cfdb0··0000000000000403·R_AARCH64_RELATIVE························1317b883906 00000000015cfdb0··0000000000000403·R_AARCH64_RELATIVE························1317b88
Offset 8171, 16 lines modifiedOffset 8171, 16 lines modified
8171 00000000015e12a0··0000000000000403·R_AARCH64_RELATIVE························12e8f588171 00000000015e12a0··0000000000000403·R_AARCH64_RELATIVE························12e8f58
8172 00000000015e12c0··0000000000000403·R_AARCH64_RELATIVE························132ca788172 00000000015e12c0··0000000000000403·R_AARCH64_RELATIVE························132ca78
8173 00000000015e12e0··0000000000000403·R_AARCH64_RELATIVE························13171988173 00000000015e12e0··0000000000000403·R_AARCH64_RELATIVE························1317198
8174 00000000015e1300··0000000000000403·R_AARCH64_RELATIVE························12d8b508174 00000000015e1300··0000000000000403·R_AARCH64_RELATIVE························12d8b50
8175 00000000015e1320··0000000000000403·R_AARCH64_RELATIVE························12ef1488175 00000000015e1320··0000000000000403·R_AARCH64_RELATIVE························12ef148
8176 00000000015e1340··0000000000000403·R_AARCH64_RELATIVE························13174008176 00000000015e1340··0000000000000403·R_AARCH64_RELATIVE························1317400
8177 00000000015e1360··0000000000000403·R_AARCH64_RELATIVE························132ca908177 00000000015e1360··0000000000000403·R_AARCH64_RELATIVE························132ca90
8178 00000000015e1380··0000000000000403·R_AARCH64_RELATIVE························13175008178 00000000015e1380··0000000000000403·R_AARCH64_RELATIVE························1317510
8179 00000000015e13a0··0000000000000403·R_AARCH64_RELATIVE························13175088179 00000000015e13a0··0000000000000403·R_AARCH64_RELATIVE························1317500
8180 00000000015e13c0··0000000000000403·R_AARCH64_RELATIVE························130ad808180 00000000015e13c0··0000000000000403·R_AARCH64_RELATIVE························130ad80
8181 00000000015e13e0··0000000000000403·R_AARCH64_RELATIVE························12d8b808181 00000000015e13e0··0000000000000403·R_AARCH64_RELATIVE························12d8b80
8182 00000000015e1400··0000000000000403·R_AARCH64_RELATIVE························13178b88182 00000000015e1400··0000000000000403·R_AARCH64_RELATIVE························13178b8
8183 00000000015e1420··0000000000000403·R_AARCH64_RELATIVE························13178d08183 00000000015e1420··0000000000000403·R_AARCH64_RELATIVE························13178d0
8184 00000000015e1440··0000000000000403·R_AARCH64_RELATIVE························132caa08184 00000000015e1440··0000000000000403·R_AARCH64_RELATIVE························132caa0
8185 00000000015e1460··0000000000000403·R_AARCH64_RELATIVE························1317a588185 00000000015e1460··0000000000000403·R_AARCH64_RELATIVE························1317a58
8186 00000000015e1480··0000000000000403·R_AARCH64_RELATIVE························132cab08186 00000000015e1480··0000000000000403·R_AARCH64_RELATIVE························132cab0
Offset 8313, 16 lines modifiedOffset 8313, 16 lines modified
8313 00000000015e2460··0000000000000403·R_AARCH64_RELATIVE························132ceb08313 00000000015e2460··0000000000000403·R_AARCH64_RELATIVE························132ceb0
8314 00000000015e2480··0000000000000403·R_AARCH64_RELATIVE························12d8a288314 00000000015e2480··0000000000000403·R_AARCH64_RELATIVE························12d8a28
8315 00000000015e24a0··0000000000000403·R_AARCH64_RELATIVE························13169188315 00000000015e24a0··0000000000000403·R_AARCH64_RELATIVE························1316918
8316 00000000015e24c0··0000000000000403·R_AARCH64_RELATIVE························132cec88316 00000000015e24c0··0000000000000403·R_AARCH64_RELATIVE························132cec8
8317 00000000015e24e0··0000000000000403·R_AARCH64_RELATIVE························1316dc08317 00000000015e24e0··0000000000000403·R_AARCH64_RELATIVE························1316dc0
8318 00000000015e2500··0000000000000403·R_AARCH64_RELATIVE························1316dd88318 00000000015e2500··0000000000000403·R_AARCH64_RELATIVE························1316dd8
8319 00000000015e2520··0000000000000403·R_AARCH64_RELATIVE························1316e108319 00000000015e2520··0000000000000403·R_AARCH64_RELATIVE························1316e10
8320 00000000015e2540··0000000000000403·R_AARCH64_RELATIVE························1317900 
8321 00000000015e2560··0000000000000403·R_AARCH64_RELATIVE························13178f88320 00000000015e2540··0000000000000403·R_AARCH64_RELATIVE························13178f8
 8321 00000000015e2560··0000000000000403·R_AARCH64_RELATIVE························1317908
8322 00000000015e2580··0000000000000403·R_AARCH64_RELATIVE························13179108322 00000000015e2580··0000000000000403·R_AARCH64_RELATIVE························1317910
8323 00000000015e25a0··0000000000000403·R_AARCH64_RELATIVE························13179288323 00000000015e25a0··0000000000000403·R_AARCH64_RELATIVE························1317928
8324 00000000015e25c0··0000000000000403·R_AARCH64_RELATIVE························13179408324 00000000015e25c0··0000000000000403·R_AARCH64_RELATIVE························1317940
8325 00000000015e25e0··0000000000000403·R_AARCH64_RELATIVE························13179588325 00000000015e25e0··0000000000000403·R_AARCH64_RELATIVE························1317958
8326 00000000015e2600··0000000000000403·R_AARCH64_RELATIVE························13179688326 00000000015e2600··0000000000000403·R_AARCH64_RELATIVE························1317968
8327 00000000015e2620··0000000000000403·R_AARCH64_RELATIVE························13179808327 00000000015e2620··0000000000000403·R_AARCH64_RELATIVE························1317980
8328 00000000015e2640··0000000000000403·R_AARCH64_RELATIVE························13179988328 00000000015e2640··0000000000000403·R_AARCH64_RELATIVE························1317998
Offset 8719, 16 lines modifiedOffset 8719, 16 lines modified
8719 00000000015e5720··0000000000000403·R_AARCH64_RELATIVE························132dcd08719 00000000015e5720··0000000000000403·R_AARCH64_RELATIVE························132dcd0
8720 00000000015e5740··0000000000000403·R_AARCH64_RELATIVE························13178808720 00000000015e5740··0000000000000403·R_AARCH64_RELATIVE························1317880
8721 00000000015e5760··0000000000000403·R_AARCH64_RELATIVE························132dcf08721 00000000015e5760··0000000000000403·R_AARCH64_RELATIVE························132dcf0
8722 00000000015e5780··0000000000000403·R_AARCH64_RELATIVE························1317a808722 00000000015e5780··0000000000000403·R_AARCH64_RELATIVE························1317a80
8723 00000000015e57a0··0000000000000403·R_AARCH64_RELATIVE························132dd088723 00000000015e57a0··0000000000000403·R_AARCH64_RELATIVE························132dd08
8724 00000000015e57c0··0000000000000403·R_AARCH64_RELATIVE························1317ad08724 00000000015e57c0··0000000000000403·R_AARCH64_RELATIVE························1317ad0
8725 00000000015e57e0··0000000000000403·R_AARCH64_RELATIVE························132dd208725 00000000015e57e0··0000000000000403·R_AARCH64_RELATIVE························132dd20
8726 00000000015e5800··0000000000000403·R_AARCH64_RELATIVE························1317ae0 
8727 00000000015e5820··0000000000000403·R_AARCH64_RELATIVE························1317af88726 00000000015e5800··0000000000000403·R_AARCH64_RELATIVE························1317af8
 8727 00000000015e5820··0000000000000403·R_AARCH64_RELATIVE························1317ae0
8728 00000000015e5840··0000000000000403·R_AARCH64_RELATIVE························132dd388728 00000000015e5840··0000000000000403·R_AARCH64_RELATIVE························132dd38
8729 00000000015e5860··0000000000000403·R_AARCH64_RELATIVE························132dd508729 00000000015e5860··0000000000000403·R_AARCH64_RELATIVE························132dd50
Max diff block lines reached; 3144/14664 bytes (21.44%) of diff not shown.
⊟
628 B
readelf --wide --notes {}
    
Offset 1, 8 lines modifiedOffset 1, 8 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:·AArch64·feature:·BTI,·PAC3 ··GNU··················0x00000010»  NT_GNU_PROPERTY_TYPE_0»    ······Properties:·AArch64·feature:·BTI,·PAC
  
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:·6e072f6d744dd98e15b6a4bc6601e53a0853d58f6 ··GNU··················0x00000014»  NT_GNU_BUILD_ID·(unique·build·ID·bitstring)»   ····Build·ID:·9e2ea166af36b9e5c91615a6b1ac5998d2e09345
⊟
435 B
strings --all --bytes=8 {}
Ordering differences only
    
Offset 8926, 16 lines modifiedOffset 8926, 16 lines modified
8926 preprocess-only8926 preprocess-only
8927 preregister-mode8927 preregister-mode
8928 print-cores-full8928 print-cores-full
8929 print-dot-clusters8929 print-dot-clusters
8930 print-inst8930 print-inst
8931 print-inst-full8931 print-inst-full
8932 produce-abducts8932 produce-abducts
8933 produce-assertions 
8934 interactive-mode8933 interactive-mode
 8934 produce-assertions
8935 produce-assignments8935 produce-assignments
8936 produce-difficulty8936 produce-difficulty
8937 produce-interpolants8937 produce-interpolants
8938 produce-learned-literals8938 produce-learned-literals
8939 produce-proofs8939 produce-proofs
8940 produce-unsat-assumptions8940 produce-unsat-assumptions
8941 proof-alethe-res-pivots8941 proof-alethe-res-pivots
⊟
6.03 KB
objdump --line-numbers --disassemble --demangle --reloc --no-show-raw-insn --section=.text {}
    
Offset 73355, 24 lines modifiedOffset 73355, 24 lines modified
73355 »       adrp»   x1,·1317000·<CaDiCaL::Internal::cover()@@Base+0x42a80>73355 »       adrp»   x1,·1317000·<CaDiCaL::Internal::cover()@@Base+0x42a80>
73356 »       add»    x0,·x19,·x873356 »       add»    x0,·x19,·x8
73357 »       add»    x1,·x1,·#0x18873357 »       add»    x1,·x1,·#0x188
73358 »       str»    w2,·[sp,·#4840]73358 »       str»    w2,·[sp,·#4840]
73359 »       bl»     1194670·<cvc5::internal::Options::Options()@@Base+0x268c>73359 »       bl»     1194670·<cvc5::internal::Options::Options()@@Base+0x268c>
73360 »       mov»    w2,·#0x77··················»    //·#11973360 »       mov»    w2,·#0x77··················»    //·#119
73361 »       mov»    x7,·#0x12e8················»  //·#484073361 »       mov»    x7,·#0x12e8················»  //·#4840
73362 »       adrp»   x1,·12d8000·<CaDiCaL::Internal::cover()@@Base+0x3a80>73362 »       adrp»   x1,·1317000·<CaDiCaL::Internal::cover()@@Base+0x42a80>
73363 »       add»    x0,·x19,·x773363 »       add»    x0,·x19,·x7
73364 »       add»    x1,·x1,·#0xb5073364 »       add»    x1,·x1,·#0x198
73365 »       str»    w2,·[sp,·#4880]73365 »       str»    w2,·[sp,·#4880]
73366 »       bl»     1194670·<cvc5::internal::Options::Options()@@Base+0x268c>73366 »       bl»     1194670·<cvc5::internal::Options::Options()@@Base+0x268c>
73367 »       mov»    w2,·#0x78··················»    //·#12073367 »       mov»    w2,·#0x78··················»    //·#120
73368 »       mov»    x6,·#0x1310················»  //·#488073368 »       mov»    x6,·#0x1310················»  //·#4880
73369 »       adrp»   x1,·1317000·<CaDiCaL::Internal::cover()@@Base+0x42a80>73369 »       adrp»   x1,·12d8000·<CaDiCaL::Internal::cover()@@Base+0x3a80>
73370 »       add»    x0,·x19,·x673370 »       add»    x0,·x19,·x6
73371 »       add»    x1,·x1,·#0x19873371 »       add»    x1,·x1,·#0xb50
73372 »       str»    w2,·[sp,·#4920]73372 »       str»    w2,·[sp,·#4920]
73373 »       bl»     1194670·<cvc5::internal::Options::Options()@@Base+0x268c>73373 »       bl»     1194670·<cvc5::internal::Options::Options()@@Base+0x268c>
73374 »       mov»    w2,·#0x78··················»    //·#12073374 »       mov»    w2,·#0x78··················»    //·#120
73375 »       mov»    x5,·#0x1338················»  //·#492073375 »       mov»    x5,·#0x1338················»  //·#4920
73376 »       adrp»   x1,·1317000·<CaDiCaL::Internal::cover()@@Base+0x42a80>73376 »       adrp»   x1,·1317000·<CaDiCaL::Internal::cover()@@Base+0x42a80>
73377 »       add»    x0,·x19,·x573377 »       add»    x0,·x19,·x5
73378 »       add»    x1,·x1,·#0x1a073378 »       add»    x1,·x1,·#0x1a0
Offset 73769, 15 lines modifiedOffset 73769, 15 lines modified
73769 »       add»    x0,·x19,·x373769 »       add»    x0,·x19,·x3
73770 »       add»    x1,·x1,·#0x50073770 »       add»    x1,·x1,·#0x500
73771 »       str»    w2,·[sp,·#7200]73771 »       str»    w2,·[sp,·#7200]
73772 »       bl»     1194670·<cvc5::internal::Options::Options()@@Base+0x268c>73772 »       bl»     1194670·<cvc5::internal::Options::Options()@@Base+0x268c>
73773 »       mov»    w2,·#0xb1··················»    //·#17773773 »       mov»    w2,·#0xb1··················»    //·#177
73774 »       adrp»   x1,·1317000·<CaDiCaL::Internal::cover()@@Base+0x42a80>73774 »       adrp»   x1,·1317000·<CaDiCaL::Internal::cover()@@Base+0x42a80>
73775 »       mov»    x0,·#0x1c20················»  //·#720073775 »       mov»    x0,·#0x1c20················»  //·#7200
73776 »       add»    x1,·x1,·#0x50873776 »       add»    x1,·x1,·#0x510
73777 »       add»    x0,·x19,·x073777 »       add»    x0,·x19,·x0
73778 »       str»    w2,·[sp,·#7240]73778 »       str»    w2,·[sp,·#7240]
73779 »       bl»     1194670·<cvc5::internal::Options::Options()@@Base+0x268c>73779 »       bl»     1194670·<cvc5::internal::Options::Options()@@Base+0x268c>
73780 »       mov»    w2,·#0xb1··················»    //·#17773780 »       mov»    w2,·#0xb1··················»    //·#177
73781 »       mov»    x30,·#0x1c48················» //·#724073781 »       mov»    x30,·#0x1c48················» //·#7240
73782 »       adrp»   x1,·12de000·<CaDiCaL::Internal::cover()@@Base+0x9a80>73782 »       adrp»   x1,·12de000·<CaDiCaL::Internal::cover()@@Base+0x9a80>
73783 »       add»    x0,·x19,·x3073783 »       add»    x0,·x19,·x30
Offset 74166, 24 lines modifiedOffset 74166, 24 lines modified
74166 »       adrp»   x1,·1317000·<CaDiCaL::Internal::cover()@@Base+0x42a80>74166 »       adrp»   x1,·1317000·<CaDiCaL::Internal::cover()@@Base+0x42a80>
74167 »       mov»    x28,·#0x24e0················» //·#944074167 »       mov»    x28,·#0x24e0················» //·#9440
74168 »       add»    x1,·x1,·#0x8b874168 »       add»    x1,·x1,·#0x8b8
74169 »       add»    x0,·x19,·x2874169 »       add»    x0,·x19,·x28
74170 »       str»    w2,·[sp,·#9480]74170 »       str»    w2,·[sp,·#9480]
74171 »       bl»     1194670·<cvc5::internal::Options::Options()@@Base+0x268c>74171 »       bl»     1194670·<cvc5::internal::Options::Options()@@Base+0x268c>
74172 »       mov»    w2,·#0xe8··················»    //·#23274172 »       mov»    w2,·#0xe8··················»    //·#232
74173 »       adrp»   x1,·1317000·<CaDiCaL::Internal::cover()@@Base+0x42a80>74173 »       adrp»   x1,·12ea000·<CaDiCaL::Internal::cover()@@Base+0x15a80>
74174 »       mov»    x27,·#0x2508················» //·#948074174 »       mov»    x27,·#0x2508················» //·#9480
74175 »       add»    x1,·x1,·#0x8c074175 »       add»    x1,·x1,·#0xfc0
74176 »       add»    x0,·x19,·x2774176 »       add»    x0,·x19,·x27
74177 »       str»    w2,·[sp,·#9520]74177 »       str»    w2,·[sp,·#9520]
74178 »       bl»     1194670·<cvc5::internal::Options::Options()@@Base+0x268c>74178 »       bl»     1194670·<cvc5::internal::Options::Options()@@Base+0x268c>
74179 »       mov»    w2,·#0xe9··················»    //·#23374179 »       mov»    w2,·#0xe9··················»    //·#233
74180 »       adrp»   x1,·12ea000·<CaDiCaL::Internal::cover()@@Base+0x15a80>74180 »       adrp»   x1,·1317000·<CaDiCaL::Internal::cover()@@Base+0x42a80>
74181 »       mov»    x26,·#0x2530················» //·#952074181 »       mov»    x26,·#0x2530················» //·#9520
74182 »       add»    x1,·x1,·#0xfc074182 »       add»    x1,·x1,·#0x8c0
74183 »       add»    x0,·x19,·x2674183 »       add»    x0,·x19,·x26
74184 »       str»    w2,·[sp,·#9560]74184 »       str»    w2,·[sp,·#9560]
74185 »       bl»     1194670·<cvc5::internal::Options::Options()@@Base+0x268c>74185 »       bl»     1194670·<cvc5::internal::Options::Options()@@Base+0x268c>
74186 »       mov»    w2,·#0xe9··················»    //·#23374186 »       mov»    w2,·#0xe9··················»    //·#233
74187 »       adrp»   x1,·1317000·<CaDiCaL::Internal::cover()@@Base+0x42a80>74187 »       adrp»   x1,·1317000·<CaDiCaL::Internal::cover()@@Base+0x42a80>
74188 »       mov»    x25,·#0x2558················» //·#956074188 »       mov»    x25,·#0x2558················» //·#9560
74189 »       add»    x1,·x1,·#0x8d074189 »       add»    x1,·x1,·#0x8d0
Offset 74203, 15 lines modifiedOffset 74203, 15 lines modified
74203 »       add»    x1,·x1,·#0x8f874203 »       add»    x1,·x1,·#0x8f8
74204 »       add»    x0,·x19,·x2374204 »       add»    x0,·x19,·x23
74205 »       str»    w2,·[sp,·#9680]74205 »       str»    w2,·[sp,·#9680]
74206 »       bl»     1194670·<cvc5::internal::Options::Options()@@Base+0x268c>74206 »       bl»     1194670·<cvc5::internal::Options::Options()@@Base+0x268c>
74207 »       mov»    w2,·#0xec··················»    //·#23674207 »       mov»    w2,·#0xec··················»    //·#236
74208 »       adrp»   x1,·1317000·<CaDiCaL::Internal::cover()@@Base+0x42a80>74208 »       adrp»   x1,·1317000·<CaDiCaL::Internal::cover()@@Base+0x42a80>
74209 »       mov»    x22,·#0x25d0················» //·#968074209 »       mov»    x22,·#0x25d0················» //·#9680
74210 »       add»    x1,·x1,·#0x90074210 »       add»    x1,·x1,·#0x908
74211 »       add»    x0,·x19,·x2274211 »       add»    x0,·x19,·x22
74212 »       str»    w2,·[sp,·#9720]74212 »       str»    w2,·[sp,·#9720]
74213 »       bl»     1194670·<cvc5::internal::Options::Options()@@Base+0x268c>74213 »       bl»     1194670·<cvc5::internal::Options::Options()@@Base+0x268c>
74214 »       mov»    w2,·#0xec··················»    //·#23674214 »       mov»    w2,·#0xec··················»    //·#236
74215 »       adrp»   x1,·1317000·<CaDiCaL::Internal::cover()@@Base+0x42a80>74215 »       adrp»   x1,·1317000·<CaDiCaL::Internal::cover()@@Base+0x42a80>
74216 »       mov»    x21,·#0x25f8················» //·#972074216 »       mov»    x21,·#0x25f8················» //·#9720
74217 »       add»    x1,·x1,·#0x91074217 »       add»    x1,·x1,·#0x910
Offset 74895, 23 lines modifiedOffset 74895, 23 lines modified
74895 »       adrp»   x1,·1318000·<CaDiCaL::Internal::cover()@@Base+0x43a80>74895 »       adrp»   x1,·1318000·<CaDiCaL::Internal::cover()@@Base+0x43a80>
74896 »       add»    x0,·x19,·x474896 »       add»    x0,·x19,·x4
74897 »       add»    x1,·x1,·#0x5074897 »       add»    x1,·x1,·#0x50
74898 »       str»    w2,·[sp,·#13640]74898 »       str»    w2,·[sp,·#13640]
74899 »       bl»     1194670·<cvc5::internal::Options::Options()@@Base+0x268c>74899 »       bl»     1194670·<cvc5::internal::Options::Options()@@Base+0x268c>
74900 »       mov»    w2,·#0x14a·················»   //·#33074900 »       mov»    w2,·#0x14a·················»   //·#330
74901 »       mov»    x3,·#0x3548················»  //·#1364074901 »       mov»    x3,·#0x3548················»  //·#13640
74902 »       adrp»   x1,·1318000·<CaDiCaL::Internal::cover()@@Base+0x43a80>74902 »       adrp»   x1,·12e8000·<CaDiCaL::Internal::cover()@@Base+0x13a80>
74903 »       add»    x0,·x19,·x374903 »       add»    x0,·x19,·x3
74904 »       add»    x1,·x1,·#0x6874904 »       add»    x1,·x1,·#0xf48
74905 »       str»    w2,·[sp,·#13680]74905 »       str»    w2,·[sp,·#13680]
74906 »       bl»     1194670·<cvc5::internal::Options::Options()@@Base+0x268c>74906 »       bl»     1194670·<cvc5::internal::Options::Options()@@Base+0x268c>
74907 »       mov»    w2,·#0x14b·················»   //·#33174907 »       mov»    w2,·#0x14b·················»   //·#331
74908 »       adrp»   x1,·12e8000·<CaDiCaL::Internal::cover()@@Base+0x13a80>74908 »       adrp»   x1,·1318000·<CaDiCaL::Internal::cover()@@Base+0x43a80>
74909 »       mov»    x0,·#0x3570················»  //·#1368074909 »       mov»    x0,·#0x3570················»  //·#13680
74910 »       add»    x1,·x1,·#0xf4874910 »       add»    x1,·x1,·#0x68
74911 »       add»    x0,·x19,·x074911 »       add»    x0,·x19,·x0
74912 »       str»    w2,·[sp,·#13720]74912 »       str»    w2,·[sp,·#13720]
74913 »       bl»     1194670·<cvc5::internal::Options::Options()@@Base+0x268c>74913 »       bl»     1194670·<cvc5::internal::Options::Options()@@Base+0x268c>
74914 »       mov»    w2,·#0x14b·················»   //·#33174914 »       mov»    w2,·#0x14b·················»   //·#331
74915 »       mov»    x30,·#0x3598················» //·#1372074915 »       mov»    x30,·#0x3598················» //·#13720
74916 »       adrp»   x1,·1318000·<CaDiCaL::Internal::cover()@@Base+0x43a80>74916 »       adrp»   x1,·1318000·<CaDiCaL::Internal::cover()@@Base+0x43a80>
74917 »       add»    x0,·x19,·x3074917 »       add»    x0,·x19,·x30
Offset 407953, 15 lines modifiedOffset 407953, 15 lines modified
407953 »       add»    x0,·x2,·#0x4e0407953 »       add»    x0,·x2,·#0x4e0
407954 »       bl»     1b3ad0·<cvc5::internal::language::toLanguage(std::__cxx11::basic_string<char,·std::char_traits<char>,·std::allocator<char>·>·const&)@@Base+0x2b70>407954 »       bl»     1b3ad0·<cvc5::internal::language::toLanguage(std::__cxx11::basic_string<char,·std::char_traits<char>,·std::allocator<char>·>·const&)@@Base+0x2b70>
407955 ./obj-aarch64-linux-gnu/src/./src/options/options_handler.cpp:360407955 ./obj-aarch64-linux-gnu/src/./src/options/options_handler.cpp:360
407956 »       bl»     8ede0·<cvc5::internal::Configuration::isAssertionBuild()@plt>407956 »       bl»     8ede0·<cvc5::internal::Configuration::isAssertionBuild()@plt>
407957 ./obj-aarch64-linux-gnu/src/./src/options/options_handler.cpp:360·(discriminator·1)407957 ./obj-aarch64-linux-gnu/src/./src/options/options_handler.cpp:360·(discriminator·1)
407958 »       adrp»   x2,·1317000·<CaDiCaL::Internal::cover()@@Base+0x42a80>407958 »       adrp»   x2,·1317000·<CaDiCaL::Internal::cover()@@Base+0x42a80>
407959 »       mov»    w1,·w0407959 »       mov»    w1,·w0
407960 »       add»    x0,·x2,·#0xae8407960 »       add»    x0,·x2,·#0xb00
407961 »       bl»     1b3ad0·<cvc5::internal::language::toLanguage(std::__cxx11::basic_string<char,·std::char_traits<char>,·std::allocator<char>·>·const&)@@Base+0x2b70>407961 »       bl»     1b3ad0·<cvc5::internal::language::toLanguage(std::__cxx11::basic_string<char,·std::char_traits<char>,·std::allocator<char>·>·const&)@@Base+0x2b70>
407962 ./obj-aarch64-linux-gnu/src/./src/options/options_handler.cpp:361407962 ./obj-aarch64-linux-gnu/src/./src/options/options_handler.cpp:361
407963 »       bl»     89020·<cvc5::internal::Configuration::isCoverageBuild()@plt>407963 »       bl»     89020·<cvc5::internal::Configuration::isCoverageBuild()@plt>
407964 ./obj-aarch64-linux-gnu/src/./src/options/options_handler.cpp:361·(discriminator·1)407964 ./obj-aarch64-linux-gnu/src/./src/options/options_handler.cpp:361·(discriminator·1)
407965 »       adrp»   x2,·12dd000·<CaDiCaL::Internal::cover()@@Base+0x8a80>407965 »       adrp»   x2,·12dd000·<CaDiCaL::Internal::cover()@@Base+0x8a80>
407966 »       mov»    w1,·w0407966 »       mov»    w1,·w0
407967 »       add»    x0,·x2,·#0x4e8407967 »       add»    x0,·x2,·#0x4e8
Offset 4194296, 8 lines modifiedOffset 4194296, 8 lines modified
4194296 »       mov»    x1,·x274194296 »       mov»    x1,·x27
4194297 »       nop4194297 »       nop
4194298 ./obj-aarch64-linux-gnu/src/./src/./expr/node.h:3484194298 ./obj-aarch64-linux-gnu/src/./src/./expr/node.h:348
4194299 »       ldr»    x0,·[x22,·#32]4194299 »       ldr»    x0,·[x22,·#32]
4194300 »       ldr»    x0,·[x0]4194300 »       ldr»    x0,·[x0]
Max diff block lines reached; 268/5984 bytes (4.48%) of diff not shown.
⊟
3.84 KB
readelf --wide --decompress --hex-dump=.rodata {}
    
Offset 17079, 16 lines modifiedOffset 17079, 16 lines modified
17079 ··0x01317490·65000000·00000000·6974652d·6474742d·e.......ite-dtt-17079 ··0x01317490·65000000·00000000·6974652d·6474742d·e.......ite-dtt-
17080 ··0x013174a0·73706c69·742d7175·616e7400·00000000·split-quant.....17080 ··0x013174a0·73706c69·742d7175·616e7400·00000000·split-quant.....
17081 ··0x013174b0·6974652d·6c696674·2d717561·6e740000·ite-lift-quant..17081 ··0x013174b0·6974652d·6c696674·2d717561·6e740000·ite-lift-quant..
17082 ··0x013174c0·6974652d·73696d70·00000000·00000000·ite-simp........17082 ··0x013174c0·6974652d·73696d70·00000000·00000000·ite-simp........
17083 ··0x013174d0·6a682d72·6c762d6f·72646572·00000000·jh-rlv-order....17083 ··0x013174d0·6a682d72·6c762d6f·72646572·00000000·jh-rlv-order....
17084 ··0x013174e0·6a682d73·6b6f6c65·6d000000·00000000·jh-skolem.......17084 ··0x013174e0·6a682d73·6b6f6c65·6d000000·00000000·jh-skolem.......
17085 ··0x013174f0·6a682d73·6b6f6c65·6d2d726c·76000000·jh-skolem-rlv...17085 ··0x013174f0·6a682d73·6b6f6c65·6d2d726c·76000000·jh-skolem-rlv...
17086 ··0x01317500·6c616e67·00000000·696e7075·742d6c61·lang....input-la17086 ··0x01317500·696e7075·742d6c61·6e677561·67650000·input-language..
17087 ··0x01317510·6e677561·67650000·6c656d6d·612d696e·nguage..lemma-in17087 ··0x01317510·6c616e67·00000000·6c656d6d·612d696e·lang....lemma-in
17088 ··0x01317520·70726f63·65737300·6c656d6d·612d696e·process.lemma-in17088 ··0x01317520·70726f63·65737300·6c656d6d·612d696e·process.lemma-in
17089 ··0x01317530·70726f63·6573732d·696e6665·722d6571·process-infer-eq17089 ··0x01317530·70726f63·6573732d·696e6665·722d6571·process-infer-eq
17090 ··0x01317540·2d6c6974·00000000·6c656d6d·612d696e·-lit....lemma-in17090 ··0x01317540·2d6c6974·00000000·6c656d6d·612d696e·-lit....lemma-in
17091 ··0x01317550·70726f63·6573732d·73756273·00000000·process-subs....17091 ··0x01317550·70726f63·6573732d·73756273·00000000·process-subs....
17092 ··0x01317560·6c656d6d·61732d6f·6e2d7265·706c6179·lemmas-on-replay17092 ··0x01317560·6c656d6d·61732d6f·6e2d7265·706c6179·lemmas-on-replay
17093 ··0x01317570·2d666169·6c757265·00000000·00000000·-failure........17093 ··0x01317570·2d666169·6c757265·00000000·00000000·-failure........
17094 ··0x01317580·6c667363·2d657870·616e642d·74727573·lfsc-expand-trus17094 ··0x01317580·6c667363·2d657870·616e642d·74727573·lfsc-expand-trus
Offset 17142, 16 lines modifiedOffset 17142, 16 lines modified
17142 ··0x01317880·6f6e2d72·65706561·742d6974·652d7369·on-repeat-ite-si17142 ··0x01317880·6f6e2d72·65706561·742d6974·652d7369·on-repeat-ite-si
17143 ··0x01317890·6d700000·00000000·6f70742d·7265732d·mp......opt-res-17143 ··0x01317890·6d700000·00000000·6f70742d·7265732d·mp......opt-res-
17144 ··0x013178a0·7265636f·6e737472·75637469·6f6e2d73·reconstruction-s17144 ··0x013178a0·7265636f·6e737472·75637469·6f6e2d73·reconstruction-s
17145 ··0x013178b0·697a6500·00000000·6f757470·75740000·ize.....output..17145 ··0x013178b0·697a6500·00000000·6f757470·75740000·ize.....output..
17146 ··0x013178c0·6f757470·75742d6c·616e6700·00000000·output-lang.....17146 ··0x013178c0·6f757470·75742d6c·616e6700·00000000·output-lang.....
17147 ··0x013178d0·70617273·652d6f6e·6c790000·00000000·parse-only......17147 ··0x013178d0·70617273·652d6f6e·6c790000·00000000·parse-only......
17148 ··0x013178e0·70617274·69616c2d·74726967·67657273·partial-triggers17148 ··0x013178e0·70617274·69616c2d·74726967·67657273·partial-triggers
17149 ··0x013178f0·00000000·00000000·63686563·6b000000·........check... 
17150 ··0x01317900·70617274·6974696f·6e2d6368·65636b00·partition-check.17149 ··0x013178f0·00000000·00000000·70617274·6974696f·........partitio
 17150 ··0x01317900·6e2d6368·65636b00·63686563·6b000000·n-check.check...
17151 ··0x01317910·70617274·6974696f·6e2d636f·6e666c69·partition-confli17151 ··0x01317910·70617274·6974696f·6e2d636f·6e666c69·partition-confli
17152 ··0x01317920·63742d73·697a6500·70617274·6974696f·ct-size.partitio17152 ··0x01317920·63742d73·697a6500·70617274·6974696f·ct-size.partitio
17153 ··0x01317930·6e2d7374·6172742d·74696d65·00000000·n-start-time....17153 ··0x01317930·6e2d7374·6172742d·74696d65·00000000·n-start-time....
17154 ··0x01317940·70617274·6974696f·6e2d7374·72617465·partition-strate17154 ··0x01317940·70617274·6974696f·6e2d7374·72617465·partition-strate
17155 ··0x01317950·67790000·00000000·70617274·6974696f·gy......partitio17155 ··0x01317950·67790000·00000000·70617274·6974696f·gy......partitio
17156 ··0x01317960·6e000000·00000000·70617274·6974696f·n.......partitio17156 ··0x01317960·6e000000·00000000·70617274·6974696f·n.......partitio
17157 ··0x01317970·6e2d7469·6d652d69·6e746572·76616c00·n-time-interval.17157 ··0x01317970·6e2d7469·6d652d69·6e746572·76616c00·n-time-interval.
Offset 17173, 17 lines modifiedOffset 17173, 17 lines modified
17173 ··0x01317a70·7465722d·6d6f6465·00000000·00000000·ter-mode........17173 ··0x01317a70·7465722d·6d6f6465·00000000·00000000·ter-mode........
17174 ··0x01317a80·7072696e·742d636f·7265732d·66756c6c·print-cores-full17174 ··0x01317a80·7072696e·742d636f·7265732d·66756c6c·print-cores-full
17175 ··0x01317a90·00000000·00000000·7072696e·742d646f·........print-do17175 ··0x01317a90·00000000·00000000·7072696e·742d646f·........print-do
17176 ··0x01317aa0·742d636c·75737465·72730000·00000000·t-clusters......17176 ··0x01317aa0·742d636c·75737465·72730000·00000000·t-clusters......
17177 ··0x01317ab0·7072696e·742d696e·73740000·00000000·print-inst......17177 ··0x01317ab0·7072696e·742d696e·73740000·00000000·print-inst......
17178 ··0x01317ac0·7072696e·742d696e·73742d66·756c6c00·print-inst-full.17178 ··0x01317ac0·7072696e·742d696e·73742d66·756c6c00·print-inst-full.
17179 ··0x01317ad0·70726f64·7563652d·61626475·63747300·produce-abducts.17179 ··0x01317ad0·70726f64·7563652d·61626475·63747300·produce-abducts.
17180 ··0x01317ae0·70726f64·7563652d·61737365·7274696f·produce-assertio 
17181 ··0x01317af0·6e730000·00000000·696e7465·72616374·ns......interact 
17182 ··0x01317b00·6976652d·6d6f6465·00000000·00000000·ive-mode........17180 ··0x01317ae0·696e7465·72616374·6976652d·6d6f6465·interactive-mode
 17181 ··0x01317af0·00000000·00000000·70726f64·7563652d·........produce-
 17182 ··0x01317b00·61737365·7274696f·6e730000·00000000·assertions......
17183 ··0x01317b10·70726f64·7563652d·61737369·676e6d65·produce-assignme17183 ··0x01317b10·70726f64·7563652d·61737369·676e6d65·produce-assignme
17184 ··0x01317b20·6e747300·00000000·70726f64·7563652d·nts.....produce-17184 ··0x01317b20·6e747300·00000000·70726f64·7563652d·nts.....produce-
17185 ··0x01317b30·64696666·6963756c·74790000·00000000·difficulty......17185 ··0x01317b30·64696666·6963756c·74790000·00000000·difficulty......
17186 ··0x01317b40·70726f64·7563652d·696e7465·72706f6c·produce-interpol17186 ··0x01317b40·70726f64·7563652d·696e7465·72706f6c·produce-interpol
17187 ··0x01317b50·616e7473·00000000·70726f64·7563652d·ants....produce-17187 ··0x01317b50·616e7473·00000000·70726f64·7563652d·ants....produce-
17188 ··0x01317b60·6c656172·6e65642d·6c697465·72616c73·learned-literals17188 ··0x01317b60·6c656172·6e65642d·6c697465·72616c73·learned-literals
17189 ··0x01317b70·00000000·00000000·70726f64·7563652d·........produce-17189 ··0x01317b70·00000000·00000000·70726f64·7563652d·........produce-
⊟
4.89 KB
readelf --wide --decompress --hex-dump=.data.rel.ro {}
    
Offset 1860, 15 lines modifiedOffset 1860, 15 lines modified
1860 ··0x015cf698·286c3101·00000000·386c3101·00000000·(l1.....8l1.....1860 ··0x015cf698·286c3101·00000000·386c3101·00000000·(l1.....8l1.....
1861 ··0x015cf6a8·586c3101·00000000·686c3101·00000000·Xl1.....hl1.....1861 ··0x015cf6a8·586c3101·00000000·686c3101·00000000·Xl1.....hl1.....
1862 ··0x015cf6b8·806c3101·00000000·986c3101·00000000·.l1......l1.....1862 ··0x015cf6b8·806c3101·00000000·986c3101·00000000·.l1......l1.....
1863 ··0x015cf6c8·a86c3101·00000000·b86c3101·00000000·.l1......l1.....1863 ··0x015cf6c8·a86c3101·00000000·b86c3101·00000000·.l1......l1.....
1864 ··0x015cf6d8·c86c3101·00000000·d86c3101·00000000·.l1......l1.....1864 ··0x015cf6d8·c86c3101·00000000·d86c3101·00000000·.l1......l1.....
1865 ··0x015cf6e8·e86c3101·00000000·006d3101·00000000·.l1......m1.....1865 ··0x015cf6e8·e86c3101·00000000·006d3101·00000000·.l1......m1.....
1866 ··0x015cf6f8·186d3101·00000000·286d3101·00000000·.m1.....(m1.....1866 ··0x015cf6f8·186d3101·00000000·286d3101·00000000·.m1.....(m1.....
1867 ··0x015cf708·386d3101·00000000·f8783101·00000000·8m1......x1.....1867 ··0x015cf708·386d3101·00000000·08793101·00000000·8m1......y1.....
1868 ··0x015cf718·506d3101·00000000·606d3101·00000000·Pm1.....`m1.....1868 ··0x015cf718·506d3101·00000000·606d3101·00000000·Pm1.....`m1.....
1869 ··0x015cf728·786d3101·00000000·18962e01·00000000·xm1.............1869 ··0x015cf728·786d3101·00000000·18962e01·00000000·xm1.............
1870 ··0x015cf738·886d3101·00000000·986d3101·00000000·.m1......m1.....1870 ··0x015cf738·886d3101·00000000·986d3101·00000000·.m1......m1.....
1871 ··0x015cf748·a86d3101·00000000·c06d3101·00000000·.m1......m1.....1871 ··0x015cf748·a86d3101·00000000·c06d3101·00000000·.m1......m1.....
1872 ··0x015cf758·d86d3101·00000000·f86d3101·00000000·.m1......m1.....1872 ··0x015cf758·d86d3101·00000000·f86d3101·00000000·.m1......m1.....
1873 ··0x015cf768·106e3101·00000000·286e3101·00000000·.n1.....(n1.....1873 ··0x015cf768·106e3101·00000000·286e3101·00000000·.n1.....(n1.....
1874 ··0x015cf778·406e3101·00000000·606e3101·00000000·@n1.....`n1.....1874 ··0x015cf778·406e3101·00000000·606e3101·00000000·@n1.....`n1.....
Offset 1912, 23 lines modifiedOffset 1912, 23 lines modified
1912 ··0x015cf9d8·50733101·00000000·50eb2d01·00000000·Ps1.....P.-.....1912 ··0x015cf9d8·50733101·00000000·50eb2d01·00000000·Ps1.....P.-.....
1913 ··0x015cf9e8·28b83001·00000000·68733101·00000000·(.0.....hs1.....1913 ··0x015cf9e8·28b83001·00000000·68733101·00000000·(.0.....hs1.....
1914 ··0x015cf9f8·78733101·00000000·60eb2d01·00000000·xs1.....`.-.....1914 ··0x015cf9f8·78733101·00000000·60eb2d01·00000000·xs1.....`.-.....
1915 ··0x015cfa08·90733101·00000000·a8733101·00000000·.s1......s1.....1915 ··0x015cfa08·90733101·00000000·a8733101·00000000·.s1......s1.....
1916 ··0x015cfa18·b8733101·00000000·d0733101·00000000·.s1......s1.....1916 ··0x015cfa18·b8733101·00000000·d0733101·00000000·.s1......s1.....
1917 ··0x015cfa28·e0733101·00000000·48f12e01·00000000·.s1.....H.......1917 ··0x015cfa28·e0733101·00000000·48f12e01·00000000·.s1.....H.......
1918 ··0x015cfa38·e8733101·00000000·00743101·00000000·.s1......t1.....1918 ··0x015cfa38·e8733101·00000000·00743101·00000000·.s1......t1.....
1919 ··0x015cfa48·08753101·00000000·10743101·00000000·.u1......t1.....1919 ··0x015cfa48·00753101·00000000·10743101·00000000·.u1......t1.....
1920 ··0x015cfa58·20743101·00000000·30743101·00000000··t1.....0t1.....1920 ··0x015cfa58·20743101·00000000·30743101·00000000··t1.....0t1.....
1921 ··0x015cfa68·40743101·00000000·50743101·00000000·@t1.....Pt1.....1921 ··0x015cfa68·40743101·00000000·50743101·00000000·@t1.....Pt1.....
1922 ··0x015cfa78·60743101·00000000·70743101·00000000·`t1.....pt1.....1922 ··0x015cfa78·60743101·00000000·70743101·00000000·`t1.....pt1.....
1923 ··0x015cfa88·f87a3101·00000000·80743101·00000000·.z1......t1.....1923 ··0x015cfa88·e07a3101·00000000·80743101·00000000·.z1......t1.....
1924 ··0x015cfa98·98743101·00000000·b0743101·00000000·.t1......t1.....1924 ··0x015cfa98·98743101·00000000·b0743101·00000000·.t1......t1.....
1925 ··0x015cfaa8·c0743101·00000000·d0743101·00000000·.t1......t1.....1925 ··0x015cfaa8·c0743101·00000000·d0743101·00000000·.t1......t1.....
1926 ··0x015cfab8·e0743101·00000000·f0743101·00000000·.t1......t1.....1926 ··0x015cfab8·e0743101·00000000·f0743101·00000000·.t1......t1.....
1927 ··0x015cfac8·00753101·00000000·d8ef2d01·00000000·.u1.......-.....1927 ··0x015cfac8·10753101·00000000·d8ef2d01·00000000·.u1.......-.....
1928 ··0x015cfad8·18753101·00000000·28753101·00000000·.u1.....(u1.....1928 ··0x015cfad8·18753101·00000000·28753101·00000000·.u1.....(u1.....
1929 ··0x015cfae8·48753101·00000000·60753101·00000000·Hu1.....`u1.....1929 ··0x015cfae8·48753101·00000000·60753101·00000000·Hu1.....`u1.....
1930 ··0x015cfaf8·80753101·00000000·98753101·00000000·.u1......u1.....1930 ··0x015cfaf8·80753101·00000000·98753101·00000000·.u1......u1.....
1931 ··0x015cfb08·a8753101·00000000·c0753101·00000000·.u1......u1.....1931 ··0x015cfb08·a8753101·00000000·c0753101·00000000·.u1......u1.....
1932 ··0x015cfb18·d0753101·00000000·e8753101·00000000·.u1......u1.....1932 ··0x015cfb18·d0753101·00000000·e8753101·00000000·.u1......u1.....
1933 ··0x015cfb28·c0982e01·00000000·00763101·00000000·.........v1.....1933 ··0x015cfb28·c0982e01·00000000·00763101·00000000·.........v1.....
1934 ··0x015cfb38·10763101·00000000·28763101·00000000·.v1.....(v1.....1934 ··0x015cfb38·10763101·00000000·28763101·00000000·.v1.....(v1.....
Offset 1950, 28 lines modifiedOffset 1950, 28 lines modified
1950 ··0x015cfc38·28783101·00000000·38783101·00000000·(x1.....8x1.....1950 ··0x015cfc38·28783101·00000000·38783101·00000000·(x1.....8x1.....
1951 ··0x015cfc48·58783101·00000000·60783101·00000000·Xx1.....`x1.....1951 ··0x015cfc48·58783101·00000000·60783101·00000000·Xx1.....`x1.....
1952 ··0x015cfc58·68783101·00000000·80783101·00000000·hx1......x1.....1952 ··0x015cfc58·68783101·00000000·80783101·00000000·hx1......x1.....
1953 ··0x015cfc68·98783101·00000000·e0c33001·00000000·.x1.......0.....1953 ··0x015cfc68·98783101·00000000·e0c33001·00000000·.x1.......0.....
1954 ··0x015cfc78·80ad3001·00000000·b8783101·00000000·..0......x1.....1954 ··0x015cfc78·80ad3001·00000000·b8783101·00000000·..0......x1.....
1955 ··0x015cfc88·c0783101·00000000·c0af2e01·00000000·.x1.............1955 ··0x015cfc88·c0783101·00000000·c0af2e01·00000000·.x1.............
1956 ··0x015cfc98·d0783101·00000000·e0783101·00000000·.x1......x1.....1956 ··0x015cfc98·d0783101·00000000·e0783101·00000000·.x1......x1.....
1957 ··0x015cfca8·58793101·00000000·00793101·00000000·Xy1......y1.....1957 ··0x015cfca8·58793101·00000000·f8783101·00000000·Xy1......x1.....
1958 ··0x015cfcb8·10793101·00000000·28793101·00000000·.y1.....(y1.....1958 ··0x015cfcb8·10793101·00000000·28793101·00000000·.y1.....(y1.....
1959 ··0x015cfcc8·40793101·00000000·68793101·00000000·@y1.....hy1.....1959 ··0x015cfcc8·40793101·00000000·68793101·00000000·@y1.....hy1.....
1960 ··0x015cfcd8·80793101·00000000·98793101·00000000·.y1......y1.....1960 ··0x015cfcd8·80793101·00000000·98793101·00000000·.y1......y1.....
1961 ··0x015cfce8·408b3101·00000000·a8793101·00000000·@.1......y1.....1961 ··0x015cfce8·408b3101·00000000·a8793101·00000000·@.1......y1.....
1962 ··0x015cfcf8·b8793101·00000000·c8793101·00000000·.y1......y1.....1962 ··0x015cfcf8·b8793101·00000000·c8793101·00000000·.y1......y1.....
1963 ··0x015cfd08·d8793101·00000000·e8793101·00000000·.y1......y1.....1963 ··0x015cfd08·d8793101·00000000·e8793101·00000000·.y1......y1.....
1964 ··0x015cfd18·007a3101·00000000·187a3101·00000000·.z1......z1.....1964 ··0x015cfd18·007a3101·00000000·187a3101·00000000·.z1......z1.....
1965 ··0x015cfd28·307a3101·00000000·407a3101·00000000·0z1.....@z1.....1965 ··0x015cfd28·307a3101·00000000·407a3101·00000000·0z1.....@z1.....
1966 ··0x015cfd38·587a3101·00000000·687a3101·00000000·Xz1.....hz1.....1966 ··0x015cfd38·587a3101·00000000·687a3101·00000000·Xz1.....hz1.....
1967 ··0x015cfd48·807a3101·00000000·987a3101·00000000·.z1......z1.....1967 ··0x015cfd48·807a3101·00000000·987a3101·00000000·.z1......z1.....
1968 ··0x015cfd58·b07a3101·00000000·c07a3101·00000000·.z1......z1.....1968 ··0x015cfd58·b07a3101·00000000·c07a3101·00000000·.z1......z1.....
1969 ··0x015cfd68·708b2d01·00000000·d07a3101·00000000·p.-......z1.....1969 ··0x015cfd68·708b2d01·00000000·d07a3101·00000000·p.-......z1.....
1970 ··0x015cfd78·e07a3101·00000000·107b3101·00000000·.z1......{1.....1970 ··0x015cfd78·f87a3101·00000000·107b3101·00000000·.z1......{1.....
1971 ··0x015cfd88·287b3101·00000000·407b3101·00000000·({1.....@{1.....1971 ··0x015cfd88·287b3101·00000000·407b3101·00000000·({1.....@{1.....
1972 ··0x015cfd98·587b3101·00000000·10c02e01·00000000·X{1.............1972 ··0x015cfd98·587b3101·00000000·10c02e01·00000000·X{1.............
1973 ··0x015cfda8·787b3101·00000000·887b3101·00000000·x{1......{1.....1973 ··0x015cfda8·787b3101·00000000·887b3101·00000000·x{1......{1.....
1974 ··0x015cfdb8·88f72f01·00000000·a87b3101·00000000·../......{1.....1974 ··0x015cfdb8·88f72f01·00000000·a87b3101·00000000·../......{1.....
1975 ··0x015cfdc8·c07b3101·00000000·d07b3101·00000000·.{1......{1.....1975 ··0x015cfdc8·c07b3101·00000000·d07b3101·00000000·.{1......{1.....
1976 ··0x015cfdd8·e07b3101·00000000·f87b3101·00000000·.{1......{1.....1976 ··0x015cfdd8·e07b3101·00000000·f87b3101·00000000·.{1......{1.....
1977 ··0x015cfde8·087c3101·00000000·207c3101·00000000·.|1.....·|1.....1977 ··0x015cfde8·087c3101·00000000·207c3101·00000000·.|1.....·|1.....
⊟
6.03 KB
readelf --wide --decompress --hex-dump=.data {}
    
Offset 308, 17 lines modifiedOffset 308, 17 lines modified
308 ··0x015e1310·00000000·00000000·71010000·00000000·........q.......308 ··0x015e1310·00000000·00000000·71010000·00000000·........q.......
309 ··0x015e1320·48f12e01·00000000·01000000·00000000·H...............309 ··0x015e1320·48f12e01·00000000·01000000·00000000·H...............
310 ··0x015e1330·00000000·00000000·72010000·00000000·........r.......310 ··0x015e1330·00000000·00000000·72010000·00000000·........r.......
311 ··0x015e1340·00743101·00000000·00000000·00000000·.t1.............311 ··0x015e1340·00743101·00000000·00000000·00000000·.t1.............
312 ··0x015e1350·00000000·00000000·73010000·00000000·........s.......312 ··0x015e1350·00000000·00000000·73010000·00000000·........s.......
313 ··0x015e1360·90ca3201·00000000·00000000·00000000·..2.............313 ··0x015e1360·90ca3201·00000000·00000000·00000000·..2.............
314 ··0x015e1370·00000000·00000000·74010000·00000000·........t.......314 ··0x015e1370·00000000·00000000·74010000·00000000·........t.......
315 ··0x015e1380·00753101·00000000·01000000·00000000·.u1.............315 ··0x015e1380·10753101·00000000·01000000·00000000·.u1.............
316 ··0x015e1390·00000000·00000000·75010000·00000000·........u.......316 ··0x015e1390·00000000·00000000·75010000·00000000·........u.......
317 ··0x015e13a0·08753101·00000000·01000000·00000000·.u1.............317 ··0x015e13a0·00753101·00000000·01000000·00000000·.u1.............
318 ··0x015e13b0·00000000·00000000·76010000·00000000·........v.......318 ··0x015e13b0·00000000·00000000·76010000·00000000·........v.......
319 ··0x015e13c0·80ad3001·00000000·01000000·00000000·..0.............319 ··0x015e13c0·80ad3001·00000000·01000000·00000000·..0.............
320 ··0x015e13d0·00000000·00000000·77010000·00000000·........w.......320 ··0x015e13d0·00000000·00000000·77010000·00000000·........w.......
321 ··0x015e13e0·808b2d01·00000000·01000000·00000000·..-.............321 ··0x015e13e0·808b2d01·00000000·01000000·00000000·..-.............
322 ··0x015e13f0·00000000·00000000·78010000·00000000·........x.......322 ··0x015e13f0·00000000·00000000·78010000·00000000·........x.......
323 ··0x015e1400·b8783101·00000000·01000000·00000000·.x1.............323 ··0x015e1400·b8783101·00000000·01000000·00000000·.x1.............
324 ··0x015e1410·00000000·00000000·79010000·00000000·........y.......324 ··0x015e1410·00000000·00000000·79010000·00000000·........y.......
Offset 592, 17 lines modifiedOffset 592, 17 lines modified
592 ··0x015e24d0·00000000·00000000·ff010000·00000000·................592 ··0x015e24d0·00000000·00000000·ff010000·00000000·................
593 ··0x015e24e0·c06d3101·00000000·01000000·00000000·.m1.............593 ··0x015e24e0·c06d3101·00000000·01000000·00000000·.m1.............
594 ··0x015e24f0·00000000·00000000·00020000·00000000·................594 ··0x015e24f0·00000000·00000000·00020000·00000000·................
595 ··0x015e2500·d86d3101·00000000·01000000·00000000·.m1.............595 ··0x015e2500·d86d3101·00000000·01000000·00000000·.m1.............
596 ··0x015e2510·00000000·00000000·01020000·00000000·................596 ··0x015e2510·00000000·00000000·01020000·00000000·................
597 ··0x015e2520·106e3101·00000000·01000000·00000000·.n1.............597 ··0x015e2520·106e3101·00000000·01000000·00000000·.n1.............
598 ··0x015e2530·00000000·00000000·02020000·00000000·................598 ··0x015e2530·00000000·00000000·02020000·00000000·................
599 ··0x015e2540·00793101·00000000·01000000·00000000·.y1.............599 ··0x015e2540·f8783101·00000000·01000000·00000000·.x1.............
600 ··0x015e2550·00000000·00000000·03020000·00000000·................600 ··0x015e2550·00000000·00000000·03020000·00000000·................
601 ··0x015e2560·f8783101·00000000·01000000·00000000·.x1.............601 ··0x015e2560·08793101·00000000·01000000·00000000·.y1.............
602 ··0x015e2570·00000000·00000000·04020000·00000000·................602 ··0x015e2570·00000000·00000000·04020000·00000000·................
603 ··0x015e2580·10793101·00000000·01000000·00000000·.y1.............603 ··0x015e2580·10793101·00000000·01000000·00000000·.y1.............
604 ··0x015e2590·00000000·00000000·05020000·00000000·................604 ··0x015e2590·00000000·00000000·05020000·00000000·................
605 ··0x015e25a0·28793101·00000000·01000000·00000000·(y1.............605 ··0x015e25a0·28793101·00000000·01000000·00000000·(y1.............
606 ··0x015e25b0·00000000·00000000·06020000·00000000·................606 ··0x015e25b0·00000000·00000000·06020000·00000000·................
607 ··0x015e25c0·40793101·00000000·01000000·00000000·@y1.............607 ··0x015e25c0·40793101·00000000·01000000·00000000·@y1.............
608 ··0x015e25d0·00000000·00000000·07020000·00000000·................608 ··0x015e25d0·00000000·00000000·07020000·00000000·................
Offset 1404, 17 lines modifiedOffset 1404, 17 lines modified
1404 ··0x015e5790·00000000·00000000·95030000·00000000·................1404 ··0x015e5790·00000000·00000000·95030000·00000000·................
1405 ··0x015e57a0·08dd3201·00000000·00000000·00000000·..2.............1405 ··0x015e57a0·08dd3201·00000000·00000000·00000000·..2.............
1406 ··0x015e57b0·00000000·00000000·96030000·00000000·................1406 ··0x015e57b0·00000000·00000000·96030000·00000000·................
1407 ··0x015e57c0·d07a3101·00000000·00000000·00000000·.z1.............1407 ··0x015e57c0·d07a3101·00000000·00000000·00000000·.z1.............
1408 ··0x015e57d0·00000000·00000000·97030000·00000000·................1408 ··0x015e57d0·00000000·00000000·97030000·00000000·................
1409 ··0x015e57e0·20dd3201·00000000·00000000·00000000··.2.............1409 ··0x015e57e0·20dd3201·00000000·00000000·00000000··.2.............
1410 ··0x015e57f0·00000000·00000000·98030000·00000000·................1410 ··0x015e57f0·00000000·00000000·98030000·00000000·................
1411 ··0x015e5800·e07a3101·00000000·00000000·00000000·.z1.............1411 ··0x015e5800·f87a3101·00000000·00000000·00000000·.z1.............
1412 ··0x015e5810·00000000·00000000·99030000·00000000·................1412 ··0x015e5810·00000000·00000000·99030000·00000000·................
1413 ··0x015e5820·f87a3101·00000000·00000000·00000000·.z1.............1413 ··0x015e5820·e07a3101·00000000·00000000·00000000·.z1.............
1414 ··0x015e5830·00000000·00000000·9a030000·00000000·................1414 ··0x015e5830·00000000·00000000·9a030000·00000000·................
1415 ··0x015e5840·38dd3201·00000000·00000000·00000000·8.2.............1415 ··0x015e5840·38dd3201·00000000·00000000·00000000·8.2.............
1416 ··0x015e5850·00000000·00000000·9b030000·00000000·................1416 ··0x015e5850·00000000·00000000·9b030000·00000000·................
1417 ··0x015e5860·50dd3201·00000000·00000000·00000000·P.2.............1417 ··0x015e5860·50dd3201·00000000·00000000·00000000·P.2.............
1418 ··0x015e5870·00000000·00000000·9c030000·00000000·................1418 ··0x015e5870·00000000·00000000·9c030000·00000000·................
1419 ··0x015e5880·107b3101·00000000·00000000·00000000·.{1.............1419 ··0x015e5880·107b3101·00000000·00000000·00000000·.{1.............
1420 ··0x015e5890·00000000·00000000·9d030000·00000000·................1420 ··0x015e5890·00000000·00000000·9d030000·00000000·................
Offset 1675, 15 lines modifiedOffset 1675, 15 lines modified
1675 ··0x015e6880·01000000·00000000·01000000·00000000·................1675 ··0x015e6880·01000000·00000000·01000000·00000000·................
1676 ··0x015e6890·00000000·00000000·e0ba3301·00000000·..........3.....1676 ··0x015e6890·00000000·00000000·e0ba3301·00000000·..........3.....
1677 ··0x015e68a0·18653301·00000000·01000000·00000000·.e3.............1677 ··0x015e68a0·18653301·00000000·01000000·00000000·.e3.............
1678 ··0x015e68b0·01000000·00000000·00000000·00000000·................1678 ··0x015e68b0·01000000·00000000·00000000·00000000·................
1679 ··0x015e68c0·c0ba3301·00000000·28653301·00000000·..3.....(e3.....1679 ··0x015e68c0·c0ba3301·00000000·28653301·00000000·..3.....(e3.....
1680 ··0x015e68d0·01000000·01000000·03000000·00000000·................1680 ··0x015e68d0·01000000·01000000·03000000·00000000·................
1681 ··0x015e68e0·00000000·00000000·a8ba3301·00000000·..........3.....1681 ··0x015e68e0·00000000·00000000·a8ba3301·00000000·..........3.....
1682 ··0x015e68f0·f8783101·00000000·00000000·00000000·.x1.............1682 ··0x015e68f0·08793101·00000000·00000000·00000000·.y1.............
1683 ··0x015e6900·01000000·00000000·00000000·00000000·................1683 ··0x015e6900·01000000·00000000·00000000·00000000·................
1684 ··0x015e6910·88ba3301·00000000·38653301·00000000·..3.....8e3.....1684 ··0x015e6910·88ba3301·00000000·38653301·00000000·..3.....8e3.....
1685 ··0x015e6920·01000000·00000000·01000000·00000000·................1685 ··0x015e6920·01000000·00000000·01000000·00000000·................
1686 ··0x015e6930·00000000·00000000·68ba3301·00000000·........h.3.....1686 ··0x015e6930·00000000·00000000·68ba3301·00000000·........h.3.....
1687 ··0x015e6940·50653301·00000000·01000000·00000000·Pe3.............1687 ··0x015e6940·50653301·00000000·01000000·00000000·Pe3.............
1688 ··0x015e6950·01000000·00000000·00000000·00000000·................1688 ··0x015e6950·01000000·00000000·00000000·00000000·................
1689 ··0x015e6960·48ba3301·00000000·60653301·00000000·H.3.....`e3.....1689 ··0x015e6960·48ba3301·00000000·60653301·00000000·H.3.....`e3.....
Offset 2102, 15 lines modifiedOffset 2102, 15 lines modified
2102 ··0x015e8330·10653301·00000000·01000000·00000000·.e3.............2102 ··0x015e8330·10653301·00000000·01000000·00000000·.e3.............
2103 ··0x015e8340·01000000·00000000·00000000·00000000·................2103 ··0x015e8340·01000000·00000000·00000000·00000000·................
2104 ··0x015e8350·e0ba3301·00000000·18653301·00000000·..3......e3.....2104 ··0x015e8350·e0ba3301·00000000·18653301·00000000·..3......e3.....
2105 ··0x015e8360·01000000·00000000·01000000·00000000·................2105 ··0x015e8360·01000000·00000000·01000000·00000000·................
2106 ··0x015e8370·00000000·00000000·c0ba3301·00000000·..........3.....2106 ··0x015e8370·00000000·00000000·c0ba3301·00000000·..........3.....
2107 ··0x015e8380·28653301·00000000·01000000·01000000·(e3.............2107 ··0x015e8380·28653301·00000000·01000000·01000000·(e3.............
2108 ··0x015e8390·03000000·00000000·00000000·00000000·................2108 ··0x015e8390·03000000·00000000·00000000·00000000·................
2109 ··0x015e83a0·a8ba3301·00000000·f8783101·00000000·..3......x1.....2109 ··0x015e83a0·a8ba3301·00000000·08793101·00000000·..3......y1.....
2110 ··0x015e83b0·00000000·00000000·01000000·00000000·................2110 ··0x015e83b0·00000000·00000000·01000000·00000000·................
2111 ··0x015e83c0·00000000·00000000·88ba3301·00000000·..........3.....2111 ··0x015e83c0·00000000·00000000·88ba3301·00000000·..........3.....
2112 ··0x015e83d0·38653301·00000000·01000000·00000000·8e3.............2112 ··0x015e83d0·38653301·00000000·01000000·00000000·8e3.............
2113 ··0x015e83e0·01000000·00000000·00000000·00000000·................2113 ··0x015e83e0·01000000·00000000·00000000·00000000·................
2114 ··0x015e83f0·68ba3301·00000000·50653301·00000000·h.3.....Pe3.....2114 ··0x015e83f0·68ba3301·00000000·50653301·00000000·h.3.....Pe3.....
2115 ··0x015e8400·01000000·00000000·01000000·00000000·................2115 ··0x015e8400·01000000·00000000·01000000·00000000·................
2116 ··0x015e8410·00000000·00000000·48ba3301·00000000·........H.3.....2116 ··0x015e8410·00000000·00000000·48ba3301·00000000·........H.3.....
⊟
811 B
readelf --wide --decompress --hex-dump=.gnu_debuglink {}
error from `readelf --wide --decompress --hex-dump=.gnu_debuglink {}`: readelf: Error: no .dynamic section in the dynamic segment
    
Offset 1, 7 lines modifiedOffset 1, 7 lines modified
  
1 Hex·dump·of·section·'.gnu_debuglink':1 Hex·dump·of·section·'.gnu_debuglink':
2 ··0x00000000·30373266·36643734·34646439·38653135·072f6d744dd98e15 
3 ··0x00000010·62366134·62633636·30316535·33613038·b6a4bc6601e53a082 ··0x00000000·32656131·36366166·33366239·65356339·2ea166af36b9e5c9
 3 ··0x00000010·31363135·61366231·61633539·39386432·1615a6b1ac5998d2
4 ··0x00000020·35336435·38662e64·65627567·00000000·53d58f.debug....4 ··0x00000020·65303933·34352e64·65627567·00000000·e09345.debug....
5 ··0x00000030·a0eadca8····························....5 ··0x00000030·ff4d2dab····························.M-.
  
⊟
2.19 KB
libcvc5parser1_1.1.2-2_arm64.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·····1256·2024-03-19·00:06:23.000000·control.tar.xz2 -rw-r--r--···0········0········0·····1260·2024-03-19·00:06:23.000000·control.tar.xz
3 -rw-r--r--···0········0········0···206052·2024-03-19·00:06:23.000000·data.tar.xz3 -rw-r--r--···0········0········0···205984·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.59 KB
data.tar.xz
⊟
1.57 KB
data.tar
⊟
1.56 KB
./usr/lib/aarch64-linux-gnu/libcvc5parser.so.1
File has been modified after NT_GNU_BUILD_ID has been applied.
⊟
628 B
readelf --wide --notes {}
    
Offset 1, 8 lines modifiedOffset 1, 8 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:·AArch64·feature:·BTI,·PAC3 ··GNU··················0x00000010»  NT_GNU_PROPERTY_TYPE_0»    ······Properties:·AArch64·feature:·BTI,·PAC
  
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:·897ff0caae7173381d37323bba75fdefff3add2d6 ··GNU··················0x00000014»  NT_GNU_BUILD_ID·(unique·build·ID·bitstring)»   ····Build·ID:·54826834f5c898473e652ad9f7ab120d4322dcd4
⊟
811 B
readelf --wide --decompress --hex-dump=.gnu_debuglink {}
error from `readelf --wide --decompress --hex-dump=.gnu_debuglink {}`: readelf: Error: no .dynamic section in the dynamic segment
    
Offset 1, 7 lines modifiedOffset 1, 7 lines modified
  
1 Hex·dump·of·section·'.gnu_debuglink':1 Hex·dump·of·section·'.gnu_debuglink':
2 ··0x00000000·37666630·63616165·37313733·33383164·7ff0caae7173381d 
3 ··0x00000010·33373332·33626261·37356664·65666666·37323bba75fdefff2 ··0x00000000·38323638·33346635·63383938·34373365·826834f5c898473e
 3 ··0x00000010·36353261·64396637·61623132·30643433·652ad9f7ab120d43
4 ··0x00000020·33616464·32642e64·65627567·00000000·3add2d.debug....4 ··0x00000020·32326463·64342e64·65627567·00000000·22dcd4.debug....
5 ··0x00000030·e103e638····························...85 ··0x00000030·abc75cd8····························..\.
  
⊟
2.18 KB
python3-cvc5_1.1.2-2_arm64.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·····1676·2024-03-19·00:06:23.000000·control.tar.xz2 -rw-r--r--···0········0········0·····1676·2024-03-19·00:06:23.000000·control.tar.xz
3 -rw-r--r--···0········0········0···295912·2024-03-19·00:06:23.000000·data.tar.xz3 -rw-r--r--···0········0········0···295664·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.67 KB
data.tar.xz
⊟
1.65 KB
data.tar
⊟
1.63 KB
./usr/lib/python3/dist-packages/cvc5/cvc5_python_base.cpython-312-aarch64-linux-gnu.so
File has been modified after NT_GNU_BUILD_ID has been applied.
⊟
628 B
readelf --wide --notes {}
    
Offset 1, 8 lines modifiedOffset 1, 8 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:·AArch64·feature:·BTI,·PAC3 ··GNU··················0x00000010»  NT_GNU_PROPERTY_TYPE_0»    ······Properties:·AArch64·feature:·BTI,·PAC
  
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:·29b70973829b98772d5088da6e4eb5b85e74e1876 ··GNU··················0x00000014»  NT_GNU_BUILD_ID·(unique·build·ID·bitstring)»   ····Build·ID:·65cbfb564b7f81ce0a4305d6e092309f0af3ecf4
⊟
811 B
readelf --wide --decompress --hex-dump=.gnu_debuglink {}
error from `readelf --wide --decompress --hex-dump=.gnu_debuglink {}`: readelf: Error: no .dynamic section in the dynamic segment
    
Offset 1, 7 lines modifiedOffset 1, 7 lines modified
  
1 Hex·dump·of·section·'.gnu_debuglink':1 Hex·dump·of·section·'.gnu_debuglink':
2 ··0x00000000·62373039·37333832·39623938·37373264·b70973829b98772d 
3 ··0x00000010·35303838·64613665·34656235·62383565·5088da6e4eb5b85e2 ··0x00000000·63626662·35363462·37663831·63653061·cbfb564b7f81ce0a
 3 ··0x00000010·34333035·64366530·39323330·39663061·4305d6e092309f0a
4 ··0x00000020·37346531·38372e64·65627567·00000000·74e187.debug....4 ··0x00000020·66336563·66342e64·65627567·00000000·f3ecf4.debug....
5 ··0x00000030·eaa17a39····························..z95 ··0x00000030·6fa69459····························o..Y
  
⊟
37.4 MB
cvc5-dbgsym_1.1.2-2_arm64.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··1844088·2024-03-19·00:06:23.000000·data.tar.xz3 -rw-r--r--···0········0········0··1844044·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:·arm645 Architecture:·arm64
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:·22887 Installed-Size:·2288
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:·b58aca2dacd89649e922dd43dbeb18a6db4e7ae512 Build-Ids:·4df8266d6cc86f0e26343eaa9baa8e860a2e212b
⊟
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/b5/8aca2dacd89649e922dd43dbeb18a6db4e7ae5.debug1 usr/lib/debug/.build-id/4d/f8266d6cc86f0e26343eaa9baa8e860a2e212b.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/b5/6 drwxr-xr-x···0·root·········(0)·root·········(0)········0·2024-03-19·00:06:23.000000·./usr/lib/debug/.build-id/4d/
7 -rw-r--r--···0·root·········(0)·root·········(0)··2332072·2024-03-19·00:06:23.000000·./usr/lib/debug/.build-id/b5/8aca2dacd89649e922dd43dbeb18a6db4e7ae5.debug7 -rw-r--r--···0·root·········(0)·root·········(0)··2332088·2024-03-19·00:06:23.000000·./usr/lib/debug/.build-id/4d/f8266d6cc86f0e26343eaa9baa8e860a2e212b.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/b5/8aca2dacd89649e922dd43dbeb18a6db4e7ae5.debug vs.
./usr/lib/debug/.build-id/4d/f8266d6cc86f0e26343eaa9baa8e860a2e212b.debug
File has been modified after NT_GNU_BUILD_ID has been applied. Files 78% similar despite different names
⊟
969 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:···························AArch649 ··Machine:···························AArch64
10 ··Version:···························0x110 ··Version:···························0x1
11 ··Entry·point·address:···············0xab8011 ··Entry·point·address:···············0xab80
12 ··Start·of·program·headers:··········64·(bytes·into·file)12 ··Start·of·program·headers:··········64·(bytes·into·file)
13 ··Start·of·section·headers:··········2329512·(bytes·into·file)13 ··Start·of·section·headers:··········2329528·(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:·········1217 ··Number·of·program·headers:·········12
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.56 KB
readelf --wide --sections {}
error from `readelf --wide --sections {}`: readelf: Error: Unable to find program interpreter name
    
Offset 1, 8 lines modifiedOffset 1, 8 lines modified
1 There·are·40·section·headers,·starting·at·offset·0x238ba8:1 There·are·40·section·headers,·starting·at·offset·0x238bb8:
  
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············00000000000002e0·0002e0·000020·00···A··0···0··85 ··[·1]·.note.gnu.property·NOTE············00000000000002e0·0002e0·000020·00···A··0···0··8
6 ··[·2]·.note.gnu.build-id·NOTE············0000000000000300·000300·000024·00···A··0···0··46 ··[·2]·.note.gnu.build-id·NOTE············0000000000000300·000300·000024·00···A··0···0··4
7 ··[·3]·.interp···········NOBITS··········0000000000000324·000324·00001b·00···A··0···0··17 ··[·3]·.interp···········NOBITS··········0000000000000324·000324·00001b·00···A··0···0··1
Offset 27, 23 lines modifiedOffset 27, 23 lines modified
27 ··[22]·.data.rel.ro······NOBITS··········000000000006f5f8·05f5c8·000150·00··WA··0···0··827 ··[22]·.data.rel.ro······NOBITS··········000000000006f5f8·05f5c8·000150·00··WA··0···0··8
28 ··[23]·.dynamic··········NOBITS··········000000000006f748·05f5c8·000260·10··WA··6···0··828 ··[23]·.dynamic··········NOBITS··········000000000006f748·05f5c8·000260·10··WA··6···0··8
29 ··[24]·.got··············NOBITS··········000000000006f9a8·05f5c8·000658·08··WA··0···0··829 ··[24]·.got··············NOBITS··········000000000006f9a8·05f5c8·000658·08··WA··0···0··8
30 ··[25]·.data·············NOBITS··········0000000000070000·05f5c8·006180·00··WA··0···0··830 ··[25]·.data·············NOBITS··········0000000000070000·05f5c8·006180·00··WA··0···0··8
31 ··[26]·.bss··············NOBITS··········0000000000076180·05f5c8·000100·00··WA··0···0··831 ··[26]·.bss··············NOBITS··········0000000000076180·05f5c8·000100·00··WA··0···0··8
32 ··[27]·.comment··········PROGBITS········0000000000000000·0595dc·00001e·01··MS··0···0··132 ··[27]·.comment··········PROGBITS········0000000000000000·0595dc·00001e·01··MS··0···0··1
33 ··[28]·.debug_aranges····PROGBITS········0000000000000000·059600·0001b5·00···C··0···0··833 ··[28]·.debug_aranges····PROGBITS········0000000000000000·059600·0001b5·00···C··0···0··8
34 ··[29]·.debug_info·······PROGBITS········0000000000000000·0597b8·154755·00···C··0···0··834 ··[29]·.debug_info·······PROGBITS········0000000000000000·0597b8·154759·00···C··0···0··8
35 ··[30]·.debug_abbrev·····PROGBITS········0000000000000000·1adf10·0034ce·00···C··0···0··835 ··[30]·.debug_abbrev·····PROGBITS········0000000000000000·1adf18·0034ce·00···C··0···0··8
36 ··[31]·.debug_line·······PROGBITS········0000000000000000·1b13e0·00f412·00···C··0···0··836 ··[31]·.debug_line·······PROGBITS········0000000000000000·1b13e8·00f412·00···C··0···0··8
37 ··[32]·.debug_str········PROGBITS········0000000000000000·1c07f8·02f56f·01·MSC··0···0··837 ··[32]·.debug_str········PROGBITS········0000000000000000·1c0800·02f56f·01·MSC··0···0··8
38 ··[33]·.debug_line_str···PROGBITS········0000000000000000·1efd68·000801·01·MSC··0···0··838 ··[33]·.debug_line_str···PROGBITS········0000000000000000·1efd70·000801·01·MSC··0···0··8
39 ··[34]·.debug_loclists···PROGBITS········0000000000000000·1f0570·02fca8·00···C··0···0··839 ··[34]·.debug_loclists···PROGBITS········0000000000000000·1f0578·02fca8·00···C··0···0··8
40 ··[35]·.debug_macro······PROGBITS········0000000000000000·220218·00a2bc·00···C··0···0··840 ··[35]·.debug_macro······PROGBITS········0000000000000000·220220·00a2c3·00···C··0···0··8
41 ··[36]·.debug_rnglists···PROGBITS········0000000000000000·22a4d8·0070b4·00···C··0···0··841 ··[36]·.debug_rnglists···PROGBITS········0000000000000000·22a4e8·0070b4·00···C··0···0··8
42 ··[37]·.symtab···········SYMTAB··········0000000000000000·231590·003420·18·····38·260··842 ··[37]·.symtab···········SYMTAB··········0000000000000000·2315a0·003420·18·····38·260··8
43 ··[38]·.strtab···········STRTAB··········0000000000000000·2349b0·004049·00······0···0··143 ··[38]·.strtab···········STRTAB··········0000000000000000·2349c0·004049·00······0···0··1
44 ··[39]·.shstrtab·········STRTAB··········0000000000000000·2389f9·0001a9·00······0···0··144 ··[39]·.shstrtab·········STRTAB··········0000000000000000·238a09·0001a9·00······0···0··1
45 Key·to·Flags:45 Key·to·Flags:
46 ··W·(write),·A·(alloc),·X·(execute),·M·(merge),·S·(strings),·I·(info),46 ··W·(write),·A·(alloc),·X·(execute),·M·(merge),·S·(strings),·I·(info),
47 ··L·(link·order),·O·(extra·OS·processing·required),·G·(group),·T·(TLS),47 ··L·(link·order),·O·(extra·OS·processing·required),·G·(group),·T·(TLS),
48 ··C·(compressed),·x·(unknown),·o·(OS·specific),·E·(exclude),48 ··C·(compressed),·x·(unknown),·o·(OS·specific),·E·(exclude),
49 ··D·(mbind),·p·(processor·specific)49 ··D·(mbind),·p·(processor·specific)
⊟
909 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:·AArch64·feature:·BTI,·PAC3 ··GNU··················0x00000010»  NT_GNU_PROPERTY_TYPE_0»    ······Properties:·AArch64·feature:·BTI,·PAC
  
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:·b58aca2dacd89649e922dd43dbeb18a6db4e7ae56 ··GNU··················0x00000014»  NT_GNU_BUILD_ID·(unique·build·ID·bitstring)»   ····Build·ID:·4df8266d6cc86f0e26343eaa9baa8e860a2e212b
  
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.7.09 ··GNU··················0x00000010»  NT_GNU_ABI_TAG·(ABI·version·tag)»     ····OS:·Linux,·ABI:·3.7.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:·28·(DW_TAG_partial_unit)9 ·<0><c>:·Abbrev·Number:·28·(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-aarch64-linux-gnu/src/main11 ····<11>···DW_AT_comp_dir····:·(line_strp)·(offset:·0):·./obj-aarch64-linux-gnu/src/main
12 ·<1><15>:·Abbrev·Number:·18·(DW_TAG_base_type)12 ·<1><15>:·Abbrev·Number:·18·(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:·0xa341f):·unsigned·char15 ····<18>···DW_AT_name········:·(strp)·(offset:·0xa3452):·unsigned·char
16 ·<1><1c>:·Abbrev·Number:·18·(DW_TAG_base_type)16 ·<1><1c>:·Abbrev·Number:·18·(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:·0x4a388):·short·unsigned·int19 ····<1f>···DW_AT_name········:·(strp)·(offset:·0x4a39f):·short·unsigned·int
20 ·<1><23>:·Abbrev·Number:·18·(DW_TAG_base_type)20 ·<1><23>:·Abbrev·Number:·18·(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:·0xbb53b):·unsigned·int23 ····<26>···DW_AT_name········:·(strp)·(offset:·0xbb56e):·unsigned·int
24 ·<1><2a>:·Abbrev·Number:·18·(DW_TAG_base_type)24 ·<1><2a>:·Abbrev·Number:·18·(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:·0x7cd5e):·long·unsigned·int27 ····<2d>···DW_AT_name········:·(strp)·(offset:·0x7cd75):·long·unsigned·int
28 ·<1><31>:·Abbrev·Number:·39·(DW_TAG_typedef)28 ·<1><31>:·Abbrev·Number:·39·(DW_TAG_typedef)
29 ····<32>···DW_AT_name········:·(strp)·(offset:·0xb575):·__int8_t29 ····<32>···DW_AT_name········:·(strp)·(offset:·0xb575):·__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:·18·(DW_TAG_base_type)34 ·<1><3a>:·Abbrev·Number:·18·(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:·0x71564):·signed·char37 ····<3d>···DW_AT_name········:·(strp)·(offset:·0x7157b):·signed·char
38 ·<1><41>:·Abbrev·Number:·39·(DW_TAG_typedef)38 ·<1><41>:·Abbrev·Number:·39·(DW_TAG_typedef)
39 ····<42>···DW_AT_name········:·(strp)·(offset:·0x416be):·__uint8_t39 ····<42>···DW_AT_name········:·(strp)·(offset:·0x416a4):·__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:·39·(DW_TAG_typedef)44 ·<1><4a>:·Abbrev·Number:·39·(DW_TAG_typedef)
45 ····<4b>···DW_AT_name········:·(strp)·(offset:·0xb4067):·__int16_t45 ····<4b>···DW_AT_name········:·(strp)·(offset:·0xb409a):·__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:·18·(DW_TAG_base_type)50 ·<1><53>:·Abbrev·Number:·18·(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:·0x8b47f):·short·int53 ····<56>···DW_AT_name········:·(strp)·(offset:·0x8b496):·short·int
54 ·<1><5a>:·Abbrev·Number:·39·(DW_TAG_typedef)54 ·<1><5a>:·Abbrev·Number:·39·(DW_TAG_typedef)
55 ····<5b>···DW_AT_name········:·(strp)·(offset:·0xb8da4):·__uint16_t55 ····<5b>···DW_AT_name········:·(strp)·(offset:·0xb8dd7):·__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:·39·(DW_TAG_typedef)60 ·<1><63>:·Abbrev·Number:·39·(DW_TAG_typedef)
61 ····<64>···DW_AT_name········:·(strp)·(offset:·0x8b2b3):·__int32_t61 ····<64>···DW_AT_name········:·(strp)·(offset:·0x8b2ca):·__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:·43·(DW_TAG_base_type)66 ·<1><6c>:·Abbrev·Number:·43·(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:·33·(DW_TAG_const_type)70 ·<1><73>:·Abbrev·Number:·33·(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:·39·(DW_TAG_typedef)72 ·<1><75>:·Abbrev·Number:·39·(DW_TAG_typedef)
73 ····<76>···DW_AT_name········:·(strp)·(offset:·0x8fcc5):·__uint32_t73 ····<76>···DW_AT_name········:·(strp)·(offset:·0x8fcdc):·__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:·39·(DW_TAG_typedef)78 ·<1><7e>:·Abbrev·Number:·39·(DW_TAG_typedef)
79 ····<7f>···DW_AT_name········:·(strp)·(offset:·0x63a88):·__int64_t79 ····<7f>···DW_AT_name········:·(strp)·(offset:·0x63a9f):·__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:·18·(DW_TAG_base_type)84 ·<1><88>:·Abbrev·Number:·18·(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:·0xfe12):·long·int87 ····<8b>···DW_AT_name········:·(strp)·(offset:·0xfe12):·long·int
88 ·<1><8f>:·Abbrev·Number:·39·(DW_TAG_typedef)88 ·<1><8f>:·Abbrev·Number:·39·(DW_TAG_typedef)
89 ····<90>···DW_AT_name········:·(strp)·(offset:·0x6894c):·__uint64_t89 ····<90>···DW_AT_name········:·(strp)·(offset:·0x68963):·__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:·39·(DW_TAG_typedef)94 ·<1><98>:·Abbrev·Number:·39·(DW_TAG_typedef)
95 ····<99>···DW_AT_name········:·(strp)·(offset:·0x59fa0):·__int_least8_t95 ····<99>···DW_AT_name········:·(strp)·(offset:·0x59fb7):·__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:·39·(DW_TAG_typedef)100 ·<1><a1>:·Abbrev·Number:·39·(DW_TAG_typedef)
101 ····<a2>···DW_AT_name········:·(strp)·(offset:·0x5ff65):·__uint_least8_t101 ····<a2>···DW_AT_name········:·(strp)·(offset:·0x5ff7c):·__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:·39·(DW_TAG_typedef)106 ·<1><aa>:·Abbrev·Number:·39·(DW_TAG_typedef)
107 ····<ab>···DW_AT_name········:·(strp)·(offset:·0x7fe7a):·__int_least16_t107 ····<ab>···DW_AT_name········:·(strp)·(offset:·0x7fe91):·__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:·39·(DW_TAG_typedef)112 ·<1><b3>:·Abbrev·Number:·39·(DW_TAG_typedef)
113 ····<b4>···DW_AT_name········:·(strp)·(offset:·0x10d65):·__uint_least16_t113 ····<b4>···DW_AT_name········:·(strp)·(offset:·0x10d65):·__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:·39·(DW_TAG_typedef)118 ·<1><bc>:·Abbrev·Number:·39·(DW_TAG_typedef)
119 ····<bd>···DW_AT_name········:·(strp)·(offset:·0x56f98):·__int_least32_t119 ····<bd>···DW_AT_name········:·(strp)·(offset:·0x56faf):·__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:·39·(DW_TAG_typedef)124 ·<1><c5>:·Abbrev·Number:·39·(DW_TAG_typedef)
125 ····<c6>···DW_AT_name········:·(strp)·(offset:·0xcaa9d):·__uint_least32_t125 ····<c6>···DW_AT_name········:·(strp)·(offset:·0xcaa83):·__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:·39·(DW_TAG_typedef)130 ·<1><ce>:·Abbrev·Number:·39·(DW_TAG_typedef)
131 ····<cf>···DW_AT_name········:·(strp)·(offset:·0x2ef45):·__int_least64_t131 ····<cf>···DW_AT_name········:·(strp)·(offset:·0x2ef2b):·__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; 37479067/37487174 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 1774, 16 lines modifiedOffset 1774, 16 lines modified
1774 ·DW_MACRO_define_strp·-·lineno·:·0·macro·:·_GNU_SOURCE·11774 ·DW_MACRO_define_strp·-·lineno·:·0·macro·:·_GNU_SOURCE·1
1775 ·DW_MACRO_define_strp·-·lineno·:·0·macro·:·CVC5_STATISTICS_ON·11775 ·DW_MACRO_define_strp·-·lineno·:·0·macro·:·CVC5_STATISTICS_ON·1
1776 ·DW_MACRO_define_strp·-·lineno·:·0·macro·:·CVC5_USE_CRYPTOMINISAT·11776 ·DW_MACRO_define_strp·-·lineno·:·0·macro·:·CVC5_USE_CRYPTOMINISAT·1
1777 ·DW_MACRO_define_strp·-·lineno·:·0·macro·:·NDEBUG·11777 ·DW_MACRO_define_strp·-·lineno·:·0·macro·:·NDEBUG·1
1778 ·DW_MACRO_define_strp·-·lineno·:·0·macro·:·__BUILDING_CVC5DRIVER·11778 ·DW_MACRO_define_strp·-·lineno·:·0·macro·:·__BUILDING_CVC5DRIVER·1
1779 ·DW_MACRO_define_strp·-·lineno·:·0·macro·:·cvc5_obj_EXPORTS·11779 ·DW_MACRO_define_strp·-·lineno·:·0·macro·:·cvc5_obj_EXPORTS·1
1780 ·DW_MACRO_define_strp·-·lineno·:·0·macro·:·_FORTIFY_SOURCE·21780 ·DW_MACRO_define_strp·-·lineno·:·0·macro·:·_FORTIFY_SOURCE·2
1781 ·DW_MACRO_define_strp·-·lineno·:·0·macro·:·DEB_BUILD_DATE·"2024-03-18"1781 ·DW_MACRO_define_strp·-·lineno·:·0·macro·:·DEB_BUILD_DATE·"2024-03-19"
1782 ·DW_MACRO_define_strp·-·lineno·:·0·macro·:·DEB_BUILD_TIME·"12:06:23"1782 ·DW_MACRO_define_strp·-·lineno·:·0·macro·:·DEB_BUILD_TIME·"14:06:23"
  
1783 ··Offset:······················0x1daf1783 ··Offset:······················0x1daf
1784 ··Version:·····················51784 ··Version:·····················5
1785 ··Offset·size:·················41785 ··Offset·size:·················4
  
1786 ·DW_MACRO_define_strp·-·lineno·:·19·macro·:·_STDC_PREDEF_H·11786 ·DW_MACRO_define_strp·-·lineno·:·19·macro·:·_STDC_PREDEF_H·1
1787 ·DW_MACRO_define_strp·-·lineno·:·38·macro·:·__STDC_IEC_559__·11787 ·DW_MACRO_define_strp·-·lineno·:·38·macro·:·__STDC_IEC_559__·1
Offset 14102, 16 lines modifiedOffset 14102, 16 lines modified
14102 ·DW_MACRO_define_strp·-·lineno·:·0·macro·:·_GNU_SOURCE·114102 ·DW_MACRO_define_strp·-·lineno·:·0·macro·:·_GNU_SOURCE·1
14103 ·DW_MACRO_define_strp·-·lineno·:·0·macro·:·CVC5_STATISTICS_ON·114103 ·DW_MACRO_define_strp·-·lineno·:·0·macro·:·CVC5_STATISTICS_ON·1
14104 ·DW_MACRO_define_strp·-·lineno·:·0·macro·:·CVC5_USE_CRYPTOMINISAT·114104 ·DW_MACRO_define_strp·-·lineno·:·0·macro·:·CVC5_USE_CRYPTOMINISAT·1
14105 ·DW_MACRO_define_strp·-·lineno·:·0·macro·:·NDEBUG·114105 ·DW_MACRO_define_strp·-·lineno·:·0·macro·:·NDEBUG·1
14106 ·DW_MACRO_define_strp·-·lineno·:·0·macro·:·__BUILDING_CVC5DRIVER·114106 ·DW_MACRO_define_strp·-·lineno·:·0·macro·:·__BUILDING_CVC5DRIVER·1
14107 ·DW_MACRO_define_strp·-·lineno·:·0·macro·:·cvc5_obj_EXPORTS·114107 ·DW_MACRO_define_strp·-·lineno·:·0·macro·:·cvc5_obj_EXPORTS·1
14108 ·DW_MACRO_define_strp·-·lineno·:·0·macro·:·_FORTIFY_SOURCE·214108 ·DW_MACRO_define_strp·-·lineno·:·0·macro·:·_FORTIFY_SOURCE·2
14109 ·DW_MACRO_define_strp·-·lineno·:·0·macro·:·DEB_BUILD_DATE·"2024-03-18"14109 ·DW_MACRO_define_strp·-·lineno·:·0·macro·:·DEB_BUILD_DATE·"2024-03-19"
14110 ·DW_MACRO_define_strp·-·lineno·:·0·macro·:·DEB_BUILD_TIME·"12:06:23"14110 ·DW_MACRO_define_strp·-·lineno·:·0·macro·:·DEB_BUILD_TIME·"14:06:23"
  
14111 ··Offset:······················0x131ec14111 ··Offset:······················0x131ec
14112 ··Version:·····················514112 ··Version:·····················5
14113 ··Offset·size:·················414113 ··Offset·size:·················4
  
14114 ·DW_MACRO_define_strp·-·lineno·:·35·macro·:·RLIMIT_CPU·RLIMIT_CPU14114 ·DW_MACRO_define_strp·-·lineno·:·35·macro·:·RLIMIT_CPU·RLIMIT_CPU
14115 ·DW_MACRO_define_strp·-·lineno·:·39·macro·:·RLIMIT_FSIZE·RLIMIT_FSIZE14115 ·DW_MACRO_define_strp·-·lineno·:·39·macro·:·RLIMIT_FSIZE·RLIMIT_FSIZE
⊟
8.91 KB
strings --all --bytes=8 {}
    
Offset 1, 361 lines modifiedOffset 1, 349 lines modified
1 GCC:·(Debian·14.2.0-8)·14.2.01 GCC:·(Debian·14.2.0-8)·14.2.0
2 xBP5lf'v> 
3 S({KwP~( 
4 G{»     s7-uq 
5 @jZe~GWoy 
6 VJTJ+Y,$ 
7 =s_"Dz[vV{"Da_ 
8 S'Bx.4AX2 W(NEY$.D
 3 Zbwbr!mk
 4 =zb9DRc9T
 5 30p(A,x(
 6 z`~9J?AV
 7 xQ[»    M=Zx
 8 %Bh[k`WM[M
 9 !N{[kzQ!>
 10 s;7\@?di!
 11 :{*w["Dv
 12 /W+Pcn%ctP!.
9 V-j<d53@"13 V-j<b53X"
 14 3w{77Wr)
 15 .b}5Yd71
 16 5Xj4Tl"u
 17 Y24udjqW
 18 `>o/·<#u
 19 iuhQ9mP.&:
 20 M'{]Ys-(P"
 21 qiXL}p·)»(
 22 DIj~X@z@v
 23 B}o-icRc
 24 =MCqcnSa
 25 CA|!6oL&
 26 =}V)Uk5?
 27 x=!OO(t0
 28 A0Rm~M0~
 29 u+fPBw<J
 30 N!S%Ck~P
 31 d(B*.3Yw
 32 Zy;A7l2~z
 33 1#K<N2md
 34 bA{&TZq3
 35 9YD~A!7?
 36 =I;w3@vy/F
 37 dWo#(»  2>\
 38 qBI·_ZAV
 39 UPX]ZGVy17
 40 S@vDAha;
 41 ·{jXAe·{
 42 q!l,;xD»{4
 43 50{MS+Y~
 44 4jl%$V*l
 45 KnKaOiN5
 46 o@,U&nqH2
 47 n<[lSO_e
 48 B[H'S#;=
 49 =cF>^D.4
 50 &\~(ypY!q
 51 OniSk3P)!dj
 52 OniSk?P{UI
 53 »       k6p3g9',
 54 Bn^Hv\9!
 55 VH>2·"6i
 56 "k\"WgFl%#
 57 t·cBI8eB#
 58 d3sqn.B35U
 59 qo;B9UQi
 60 gvf1nZlS
 61 f5>ng7{*~)
 62 >:h><>MQ
 63 /e{(=$iJ
 64 \Z+»    zy1b
 65 __o_IkmD
 66 Pl|·wx-;
 67 2R~s/T|Wd
 68 66Qa#'),a
10 jD&`RhV! 
11 ~|f}f>Y] 
12 s:F<n;mSf 
13 W8hFe'g{ 
14 u7BCF0L= 
15 TjP]vp$r 
16 Yn*h9Fdr 
17 `\[!.Z?\! 
18 n^Qb2X1VJ 
19 KU)6Y>), 
20 ·k||*v@O; 
21 +A+(Alv& 
22 c2GUQ#(a 
23 e3m`7#{Il 
24 coQOM»  p~ 
25 8N8nUP» \ 
26 2<)!u|dC 
27 j<"YT·\@ 
28 »       'JL%C{% 
29 K-xRVg&C 
30 %nf<eq?0 
31 <URn»   1S% 
32 »       G#(oXi/ 
33 1#K9Armd 
34 ,D;!z!fwj 
35 ;Fn:.c"{B 
36 R»      dw%c]_.!~ 
37 6>}ud-tQ 
38 injFwT@Em 
39 0\bBaa4A>~r 
40 =Mc}JU/- 
41 K#vj»   T*( 
42 g\SUN^o! 
43 hp9Tc{xM 
44 kMF^&B_6 
45 3$GS#s<L 
46 [8:RgUci 
47 }r?5+US|` 
48 Kb5^6!9V 
49 `2q}u\cj 
50 C$V"tY]:D 
51 v?Db!·s? 
52 G1yoc5BWr 
53 3fu5`>ik 
54 9a8-]s!c 
55 yf2-]7!oL 
56 ,U»     q*L1G 
57 »       T;{9gb" 
58 1q}u\3aUEh 
59 p6MXu·?U 
60 '2WWAIJd 
61 ,Ym>7"EW 
62 uZ&\»   %LX 
Max diff block lines reached; 4511/9069 bytes (49.74%) 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 2187, 11003 lines modifiedOffset 2187, 11003 lines modified
2187 ··[·221b1]··_____fpos_t_defined·12187 ··[·221b1]··_____fpos_t_defined·1
2188 ··[·221c7]··__normal_iterator<unsigned·int*,·std::vector<unsigned·int,·std::allocator<unsigned·int>·>·>2188 ··[·221c7]··__normal_iterator<unsigned·int*,·std::vector<unsigned·int,·std::allocator<unsigned·int>·>·>
2189 ··[·22223]··_ZNK4cvc56Result6isNullEv2189 ··[·22223]··_ZNK4cvc56Result6isNullEv
2190 ··[·2223d]··_ZNKSt10unique_ptrIN4cvc58internal7options13HolderPRINTERESt14default_deleteIS3_EE11get_deleterEv2190 ··[·2223d]··_ZNKSt10unique_ptrIN4cvc58internal7options13HolderPRINTERESt14default_deleteIS3_EE11get_deleterEv
2191 ··[·2229f]··_ZNKSt8_Rb_treeIN4cvc54TermES1_St9_IdentityIS1_ESt4lessIS1_ESaIS1_EE8max_sizeEv2191 ··[·2229f]··_ZNKSt8_Rb_treeIN4cvc54TermES1_St9_IdentityIS1_ESt4lessIS1_ESaIS1_EE8max_sizeEv
2192 ··[·222ef]··_ZNSt3mapIN4cvc54TermENSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEESt4lessIS1_ESaISt4pairIKS1_S7_EEE11upper_boundERSB_2192 ··[·222ef]··_ZNSt3mapIN4cvc54TermENSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEESt4lessIS1_ESaISt4pairIKS1_S7_EEE11upper_boundERSB_
Diff chunk too large, falling back to line-by-line diff (10989 lines added, 10989 lines removed)
2193 ··[·2236d]··_ZNSt22_Optional_payload_baseIlEC4EOS0_2193 ··[·2236d]··_ZNSt22_Optional_payload_baseIlEC4EOS0_
2194 ··[·22395]··DEB_BUILD_TIME·"12:06:23"2194 ··[·22395]··_SC_V7_LP64_OFF64·_SC_V7_LP64_OFF64
2195 ··[·223af]··_SC_V7_LP64_OFF64·_SC_V7_LP64_OFF642195 ··[·223b9]··CLOCK_MONOTONIC_COARSE·6
2196 ··[·223d3]··CLOCK_MONOTONIC_COARSE·62196 ··[·223d2]··_GLIBCXX_HAVE_SYS_STAT_H·1
2197 ··[·223ec]··_GLIBCXX_HAVE_SYS_STAT_H·12197 ··[·223ed]··_ZNSt13_Rb_tree_nodeISt4pairINSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEEmEE9_M_valptrEv
2198 ··[·22407]··_ZNSt13_Rb_tree_nodeISt4pairINSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEEmEE9_M_valptrEv2198 ··[·2244e]··__cpp_rvalue_reference·200610L
2199 ··[·22468]··__cpp_rvalue_reference·200610L2199 ··[·2246d]··_ZNKSt14default_deleteIN4cvc56parser13SymbolManagerEEclEPS2_
2200 ··[·22487]··_ZNKSt14default_deleteIN4cvc56parser13SymbolManagerEEclEPS2_2200 ··[·224aa]··d_sep
2201 ··[·224c4]··d_sep2201 ··[·224b0]··_ZNSt12_Vector_baseIN4cvc54TermESaIS1_EE12_Vector_implC4EOS2_OS4_
2202 ··[·224ca]··_ZNSt12_Vector_baseIN4cvc54TermESaIS1_EE12_Vector_implC4EOS2_OS4_2202 ··[·224f2]··__try·try
2203 ··[·2250c]··__try·try2203 ··[·224fc]··_ZNSt14default_deleteIN4cvc58internal7options12HolderPARSEREEC4Ev
2204 ··[·22516]··_ZNSt14default_deleteIN4cvc58internal7options12HolderPARSEREEC4Ev2204 ··[·2253e]··isSequenceValue
2205 ··[·22558]··isSequenceValue2205 ··[·2254e]··_ZNSt6vectorISt4pairINSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEES6_ESaIS7_EEC4EOS9_RKS8_
2206 ··[·22568]··_ZNSt6vectorISt4pairINSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEES6_ESaIS7_EEC4EOS9_RKS8_2206 ··[·225b0]··__CPU_FREE(cpuset)·__sched_cpufree·(cpuset)
2207 ··[·225ca]··__CPU_FREE(cpuset)·__sched_cpufree·(cpuset)2207 ··[·225dc]··__glibcxx_want_smart_ptr_for_overwrite
2208 ··[·225f6]··__glibcxx_want_smart_ptr_for_overwrite2208 ··[·22603]··_ZNSt15__uniq_ptr_dataIN4cvc58internal3smt16UnsatCoreManagerESt14default_deleteIS3_ELb1ELb1EEaSEOS6_
2209 ··[·2261d]··_ZNSt15__uniq_ptr_dataIN4cvc58internal3smt16UnsatCoreManagerESt14default_deleteIS3_ELb1ELb1EEaSEOS6_2209 ··[·22668]··_ZNSt11_Tuple_implILm0EJPN4cvc58internal7options10HolderSETSESt14default_deleteIS3_EEE7_M_swapERS7_
2210 ··[·22682]··_ZNSt11_Tuple_implILm0EJPN4cvc58internal7options10HolderSETSESt14default_deleteIS3_EEE7_M_swapERS7_2210 ··[·226cc]··_ZNK4cvc512DatatypeDecl12isNullHelperEv
2211 ··[·226e6]··_ZNK4cvc512DatatypeDecl12isNullHelperEv2211 ··[·226f4]··_ZNSt12_Vector_baseIN4cvc516DatatypeSelectorESaIS1_EE19_M_get_Tp_allocatorEv
2212 ··[·2270e]··_ZNSt12_Vector_baseIN4cvc516DatatypeSelectorESaIS1_EE19_M_get_Tp_allocatorEv2212 ··[·22741]··_ZNSt8_Rb_treeINSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEESt4pairIKS5_N4cvc54StatEESt10_Select1stISA_ESt4lessIS5_ESaISA_EE14_M_move_assignERSG_St17integral_constantIbLb1EE
2213 ··[·2275b]··_ZNSt8_Rb_treeINSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEESt4pairIKS5_N4cvc54StatEESt10_Select1stISA_ESt4lessIS5_ESaISA_EE14_M_move_assignERSG_St17integral_constantIbLb1EE2213 ··[·227f6]··_M_erase_at_end
2214 ··[·22810]··_M_erase_at_end2214 ··[·22806]··_ZNSt11_Tuple_implILm1EJSt14default_deleteIN4cvc58internal7options12HolderDRIVEREEEE7_M_swapERS6_
2215 ··[·22820]··_ZNSt11_Tuple_implILm1EJSt14default_deleteIN4cvc58internal7options12HolderDRIVEREEEE7_M_swapERS6_2215 ··[·22868]··_ZNKSt6vectorIjSaIjEE4dataEv
2216 ··[·22882]··_ZNKSt6vectorIjSaIjEE4dataEv2216 ··[·22885]··_ZNK9__gnu_cxx17__normal_iteratorIPKNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEESt6vectorIS6_SaIS6_EEEptEv
2217 ··[·2289f]··_ZNK9__gnu_cxx17__normal_iteratorIPKNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEESt6vectorIS6_SaIS6_EEEptEv2217 ··[·228f8]··__UINT_LEAST32_MAX__·0xffffffffU
2218 ··[·22912]··__UINT_LEAST32_MAX__·0xffffffffU2218 ··[·22919]··_ZNSaISt13_Rb_tree_nodeISt4pairINSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEEmEEEC4Ev
2219 ··[·22933]··_ZNSaISt13_Rb_tree_nodeISt4pairINSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEEmEEEC4Ev2219 ··[·22976]··Trace(tag)·cvc5::internal::__cvc5_true()·?·cvc5::internal::nullStream·:·cvc5::internal::TraceChannel()
2220 ··[·22990]··Trace(tag)·cvc5::internal::__cvc5_true()·?·cvc5::internal::nullStream·:·cvc5::internal::TraceChannel()2220 ··[·229dd]··allocator_traits<std::allocator<char>·>
2221 ··[·229f7]··allocator_traits<std::allocator<char>·>2221 ··[·22a05]··_ZNKSt10unique_ptrIN4cvc58internal7options9HolderSEPESt14default_deleteIS3_EEcvbEv
2222 ··[·22a1f]··_ZNKSt10unique_ptrIN4cvc58internal7options9HolderSEPESt14default_deleteIS3_EEcvbEv2222 ··[·22a58]··_ZNSt6vectorIbSaIbEE4flipEv
2223 ··[·22a72]··_ZNSt6vectorIbSaIbEE4flipEv2223 ··[·22a74]··_ZNSt5tupleIJPN4cvc58internal7options8HolderBVESt14default_deleteIS3_EEE4swapERS7_
2224 ··[·22a8e]··_ZNSt5tupleIJPN4cvc58internal7options8HolderBVESt14default_deleteIS3_EEE4swapERS7_2224 ··[·22ac7]··__need___va_list
2225 ··[·22ae1]··__need___va_list2225 ··[·22ad8]··_GLIBCXX_TXN_SAFE_DYN·
2226 ··[·22af2]··_GLIBCXX_TXN_SAFE_DYN·2226 ··[·22aef]··__gthrw(name)·__gthrw2(__gthrw_·##·name,name,name)
2227 ··[·22b09]··__gthrw(name)·__gthrw2(__gthrw_·##·name,name,name)2227 ··[·22b22]··_ZNSt19_Bit_const_iteratorC4ERKSt13_Bit_iterator
2228 ··[·22b3c]··_ZNSt19_Bit_const_iteratorC4ERKSt13_Bit_iterator2228 ··[·22b53]··_ZNSt3mapINSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEEN4cvc54StatESt4lessIS5_ESaISt4pairIKS5_S7_EEEC4ESt16initializer_listISC_ERKS9_RKSD_
2229 ··[·22b6d]··_ZNSt3mapINSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEEN4cvc54StatESt4lessIS5_ESaISt4pairIKS5_S7_EEEC4ESt16initializer_listISC_ERKS9_RKSD_2229 ··[·22be5]··_ZNKSt19_Optional_base_implIlSt14_Optional_baseIlLb1ELb1EEE6_M_getEv
2230 ··[·22bff]··_ZNKSt19_Optional_base_implIlSt14_Optional_baseIlLb1ELb1EEE6_M_getEv2230 ··[·22c2a]··d_bv
2231 ··[·22c44]··d_bv2231 ··[·22c2f]··EXISTS
2232 ··[·22c49]··EXISTS2232 ··[·22c36]··_ZNKSt6vectorIbSaIbEE7crbeginEv
2233 ··[·22c50]··_ZNKSt6vectorIbSaIbEE7crbeginEv2233 ··[·22c56]··_ZNSt6vectorIN4cvc54main15PortfolioConfigESaIS2_EEC4EmRKS2_RKS3_
2234 ··[·22c70]··_ZNSt6vectorIN4cvc54main15PortfolioConfigESaIS2_EEC4EmRKS2_RKS3_2234 ··[·22c97]··_SC_JOB_CONTROL·_SC_JOB_CONTROL
2235 ··[·22cb1]··_SC_JOB_CONTROL·_SC_JOB_CONTROL2235 ··[·22cb7]··__glibcxx_want_execution
2236 ··[·22cd1]··__glibcxx_want_execution2236 ··[·22cd0]··_ZNSt6vectorIN4cvc523DatatypeConstructorDeclESaIS1_EE4rendEv
2237 ··[·22cea]··_ZNSt6vectorIN4cvc523DatatypeConstructorDeclESaIS1_EE4rendEv2237 ··[·22d0d]··__INO_T_TYPE·__ULONGWORD_TYPE
2238 ··[·22d27]··__INO_T_TYPE·__ULONGWORD_TYPE2238 ··[·22d2b]··__dat
2239 ··[·22d45]··__dat2239 ··[·22d31]··__LC_MEASUREMENT·11
2240 ··[·22d4b]··__LC_MEASUREMENT·112240 ··[·22d45]··__in_chrg
2241 ··[·22d5f]··__in_chrg2241 ··[·22d4f]··_ZNSt11_Tuple_implILm1EJSt14default_deleteIN4cvc58internal7options8HolderFPEEEEC4Ev
2242 ··[·22d69]··_ZNSt11_Tuple_implILm1EJSt14default_deleteIN4cvc58internal7options8HolderFPEEEEC4Ev2242 ··[·22da3]··_Tuple_impl<0,·cvc5::internal::options::HolderSMT*,·std::default_delete<cvc5::internal::options::HolderSMT>·>
2243 ··[·22dbd]··_Tuple_impl<0,·cvc5::internal::options::HolderSMT*,·std::default_delete<cvc5::internal::options::HolderSMT>·>2243 ··[·22e11]··_Arg
2244 ··[·22e2b]··_Arg2244 ··[·22e16]··_PSTL_PRAGMA_LOCATION·"·[Parallel·STL·message]:·"
2245 ··[·22e30]··_PSTL_PRAGMA_LOCATION·"·[Parallel·STL·message]:·"2245 ··[·22e48]··__STDC_UTF_32__·1
2246 ··[·22e62]··__STDC_UTF_32__·12246 ··[·22e5a]··__glibcxx_want_optional·
2247 ··[·22e74]··__glibcxx_want_optional·2247 ··[·22e73]··_ZNSt15__uniq_ptr_implIN4cvc58internal3smt19ResourceOutListenerESt14default_deleteIS3_EEaSEOS6_
2248 ··[·22e8d]··_ZNSt15__uniq_ptr_implIN4cvc58internal3smt19ResourceOutListenerESt14default_deleteIS3_EEaSEOS6_2248 ··[·22ed3]··__uniq_ptr_data<cvc5::internal::options::HolderSEP,·std::default_delete<cvc5::internal::options::HolderSEP>,·true,·true>
2249 ··[·22eed]··__uniq_ptr_data<cvc5::internal::options::HolderSEP,·std::default_delete<cvc5::internal::options::HolderSEP>,·true,·true>2249 ··[·22f4c]··add_lvalue_reference<cvc5::internal::smt::SmtSolver>
2250 ··[·22f66]··add_lvalue_reference<cvc5::internal::smt::SmtSolver>2250 ··[·22f81]··__glibcxx_no_dangling_refs(_U1,_U2)·
2251 ··[·22f9b]··__glibcxx_no_dangling_refs(_U1,_U2)·2251 ··[·22fa6]··long·double
2252 ··[·22fc0]··long·double2252 ··[·22fb2]··_ZNSt4pairISt23_Rb_tree_const_iteratorIS_INSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEEmEEbEC4ERKS9_
2253 ··[·22fcc]··_ZNSt4pairISt23_Rb_tree_const_iteratorIS_INSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEEmEEbEC4ERKS9_2253 ··[·2301e]··_ZNSt15__uniq_ptr_dataIN4cvc58internal7options14HolderPARALLELESt14default_deleteIS3_ELb1ELb1EEC4EOS6_
2254 ··[·23038]··_ZNSt15__uniq_ptr_dataIN4cvc58internal7options14HolderPARALLELESt14default_deleteIS3_ELb1ELb1EEC4EOS6_2254 ··[·23085]··_ZNSt11_Tuple_implILm0EJPN4cvc58internal3smt11SygusSolverESt14default_deleteIS3_EEE7_M_tailERS7_
2255 ··[·2309f]··_ZNSt11_Tuple_implILm0EJPN4cvc58internal3smt11SygusSolverESt14default_deleteIS3_EEE7_M_tailERS7_2255 ··[·230e6]··_ZNSt11char_traitsIwE7compareEPKwS2_m
2256 ··[·23100]··_ZNSt11char_traitsIwE7compareEPKwS2_m2256 ··[·2310c]··_ZNKSt8optionalImE9has_valueEv
2257 ··[·23126]··_ZNKSt8optionalImE9has_valueEv2257 ··[·2312b]··__uniq_ptr_data<cvc5::internal::smt::ContextManager,·std::default_delete<cvc5::internal::smt::ContextManager>,·true,·true>
2258 ··[·23145]··__uniq_ptr_data<cvc5::internal::smt::ContextManager,·std::default_delete<cvc5::internal::smt::ContextManager>,·true,·true>2258 ··[·231a6]··_GLIBCXX_USE_CHMOD·1
2259 ··[·231c0]··_GLIBCXX_USE_CHMOD·12259 ··[·231bb]··_GLIBCXX_USE_ASSIGN_FOR_INIT(T,U)·__is_trivial(T)·&&·__is_assignable(T&,·U)·&&·std::__check_constructible<T,·U>()
2260 ··[·231d5]··_GLIBCXX_USE_ASSIGN_FOR_INIT(T,U)·__is_trivial(T)·&&·__is_assignable(T&,·U)·&&·std::__check_constructible<T,·U>()2260 ··[·2322d]··_ZNSt10_Head_baseILm0EPN4cvc58internal7options9HolderSMTELb0EEC4ERKS5_
2261 ··[·23247]··_ZNSt10_Head_baseILm0EPN4cvc58internal7options9HolderSMTELb0EEC4ERKS5_2261 ··[·23274]··_ZNSt15__uniq_ptr_implIN4cvc58internal3smt14ContextManagerESt14default_deleteIS3_EE10_M_deleterEv
2262 ··[·2328e]··_ZNSt15__uniq_ptr_implIN4cvc58internal3smt14ContextManagerESt14default_deleteIS3_EE10_M_deleterEv2262 ··[·232d6]··__BLKCNT_T_TYPE·__SLONGWORD_TYPE
2263 ··[·232f0]··__BLKCNT_T_TYPE·__SLONGWORD_TYPE2263 ··[·232f7]··_ZNKSt17basic_string_viewIcSt11char_traitsIcEE12find_last_ofES2_m
2264 ··[·23311]··_ZNKSt17basic_string_viewIcSt11char_traitsIcEE12find_last_ofES2_m2264 ··[·23339]··_ZNSt17basic_string_viewIwSt11char_traitsIwEEC4EPKw
2265 ··[·23353]··_ZNSt17basic_string_viewIwSt11char_traitsIwEEC4EPKw2265 ··[·2336d]··_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·...·]
2266 ··[·23387]··_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·...·]yEv2266 ··[·234d0]··_ZNKSt3mapINSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEEN4cvc54StatESt4lessIS5_ESaISt4pairIKS5_S7_EEE5emptyEv
2267 ··[·234ea]··_ZNKSt3mapINSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEEN4cvc54StatESt4lessIS5_ESaISt4pairIKS5_S7_EEE5emptyEv2267 ··[·23545]··_Head_base<1,·std::default_delete<cvc5::internal::options::OptionsHandler>,·true>
2268 ··[·2355f]··_Head_base<1,·std::default_delete<cvc5::internal::options::OptionsHandler>,·true>2268 ··[·23597]··_ZNSt13_Bvector_baseISaIbEE8_S_nwordEm
2269 ··[·235b1]··_ZNSt13_Bvector_baseISaIbEE8_S_nwordEm2269 ··[·235be]··assertFormulaInternal
2270 ··[·235d8]··assertFormulaInternal2270 ··[·235d4]··__ARM_FEATURE_SVE2_BITPERM
2271 ··[·235ee]··__ARM_FEATURE_SVE2_BITPERM2271 ··[·235ef]··mkNullableLift
2272 ··[·23609]··mkNullableLift2272 ··[·235fe]··_ZNSt14default_deleteIN4cvc58internal7options12HolderDRIVEREEC4Ev
2273 ··[·23618]··_ZNSt14default_deleteIN4cvc58internal7options12HolderDRIVEREEC4Ev2273 ··[·23640]··_ZNSt15__uniq_ptr_implIN4cvc54Stat8StatDataESt14default_deleteIS2_EE6_M_ptrEv
2274 ··[·2365a]··_ZNSt15__uniq_ptr_implIN4cvc54Stat8StatDataESt14default_deleteIS2_EE6_M_ptrEv2274 ··[·2368e]··mkFiniteFieldElem
2275 ··[·236a8]··mkFiniteFieldElem2275 ··[·236a0]··ARITH_TRANS_EXP_NEG
2276 ··[·236ba]··ARITH_TRANS_EXP_NEG2276 ··[·236b4]··__glibcxx_allocator_traits_is_always_equal·201411L
2277 ··[·236ce]··__glibcxx_allocator_traits_is_always_equal·201411L2277 ··[·236e7]··_ZNK4cvc58internal9LogicInfo15isTheoryEnabledENS0_6theory8TheoryIdE
2278 ··[·23701]··_ZNK4cvc58internal9LogicInfo15isTheoryEnabledENS0_6theory8TheoryIdE2278 ··[·2372b]··_SC_2_FORT_DEV·_SC_2_FORT_DEV
2279 ··[·23745]··_SC_2_FORT_DEV·_SC_2_FORT_DEV2279 ··[·23749]··__uniq_ptr_data<cvc5::internal::options::HolderBOOLEANS,·std::default_delete<cvc5::internal::options::HolderBOOLEANS>,·true,·true>
2280 ··[·23763]··__uniq_ptr_data<cvc5::internal::options::HolderBOOLEANS,·std::default_delete<cvc5::internal::options::HolderBOOLEANS>,·true,·true>2280 ··[·237cc]··_ZNSt3setIN4cvc54TermESt4lessIS1_ESaIS1_EE6insertESt23_Rb_tree_const_iteratorIS1_EOSt12_Node_handleIS1_S1_SaISt13_Rb_tree_nodeIS1_EEE
2281 ··[·237e6]··_ZNSt3setIN4cvc54TermESt4lessIS1_ESaIS1_EE6insertESt23_Rb_tree_const_iteratorIS1_EOSt12_Node_handleIS1_S1_SaISt13_Rb_tree_nodeIS1_EEE2281 ··[·23852]··_ZNK4cvc56Solver8setLogicERKNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEE
2282 ··[·2386c]··_ZNK4cvc56Solver8setLogicERKNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEE2282 ··[·238a3]··_ZNK4cvc512DatatypeDecl10isResolvedEv
2283 ··[·238bd]··_ZNK4cvc512DatatypeDecl10isResolvedEv2283 ··[·238c9]··_ZNKSt3mapIN4cvc54TermENSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEESt4lessIS1_ESaISt4pairIKS1_S7_EEE5crendEv
2284 ··[·238e3]··_ZNKSt3mapIN4cvc54TermENSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEESt4lessIS1_ESaISt4pairIKS1_S7_EEE5crendEv2284 ··[·2393e]··_IsUnused
2285 ··[·23958]··_IsUnused2285 ··[·23948]··_ZNSt15__new_allocatorIN4cvc54TermEED4Ev
2286 ··[·23962]··_ZNSt15__new_allocatorIN4cvc54TermEED4Ev2286 ··[·23971]··_ZNSt19_Node_handle_commonISt4pairINSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEEmESaISt13_Rb_tree_nodeIS7_EEE7_M_swapERSB_
2287 ··[·2398b]··_ZNSt19_Node_handle_commonISt4pairINSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEEmESaISt13_Rb_tree_nodeIS7_EEE7_M_swapERSB_2287 ··[·239f3]··_vtable_offset
2288 ··[·23a0d]··_vtable_offset2288 ··[·23a02]··_ZNSt8_Rb_treeISt4pairINSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEEmES7_St9_IdentityIS7_ESt4lessIS7_ESaIS7_EE5eraseB5cxx11ESt23_Rb_tree_const_iteratorIS7_E
2289 ··[·23a1c]··_ZNSt8_Rb_treeISt4pairINSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEEmES7_St9_IdentityIS7_ESt4lessIS7_ESaIS7_EE5eraseB5cxx11ESt23_Rb_tree_const_iteratorIS7_E2289 ··[·23aa6]··_ZNKSt7__cxx1112basic_stringIwSt11char_traitsIwESaIwEE7compareEmmRKS4_mm
2290 ··[·23ac0]··_ZNKSt7__cxx1112basic_stringIwSt11char_traitsIwESaIwEE7compareEmmRKS4_mm2290 ··[·23aef]··__FLT64X_EPSILON__·1.92592994438723585305597794258492732e-34F64x
2291 ··[·23b09]··__FLT64X_EPSILON__·1.92592994438723585305597794258492732e-34F64x2291 ··[·23b30]··_GLIBCXX_POSTYPES_H·1
2292 ··[·23b4a]··_GLIBCXX_POSTYPES_H·12292 ··[·23b46]··__ARM_FEATURE_BF16_VECTOR_ARITHMETIC
2293 ··[·23b60]··__ARM_FEATURE_BF16_VECTOR_ARITHMETIC2293 ··[·23b6b]··INT_FAST16_MIN·(-9223372036854775807L-1)
2294 ··[·23b85]··INT_FAST16_MIN·(-9223372036854775807L-1)2294 ··[·23b94]··_ZNSt11_Tuple_implILm0EJPN4cvc58internal3smt9SmtSolverESt14default_deleteIS3_EEE7_M_headERS7_
2295 ··[·23bae]··_ZNSt11_Tuple_implILm0EJPN4cvc58internal3smt9SmtSolverESt14default_deleteIS3_EEE7_M_headERS7_2295 ··[·23bf2]··__cpp_lib_tuples_by_type·201304L
2296 ··[·23c0c]··__cpp_lib_tuples_by_type·201304L2296 ··[·23c13]··__TIME_T_TYPE·__SLONGWORD_TYPE
2297 ··[·23c2d]··__TIME_T_TYPE·__SLONGWORD_TYPE2297 ··[·23c32]··getInterpolant
2298 ··[·23c4c]··getInterpolant2298 ··[·23c41]··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::__cx[·...·truncated·by·diffoscope;·len:·350,·SHA:·81491adab825dbd61f9775b4dcfb8208d81a5431c0692b25f688255f369a4a34·...·]
2299 ··[·23c5b]··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·...·]>·>2299 ··[·23e9c]··rebind<std::_Rb_tree_node<cvc5::Term>·>
2300 ··[·23eb6]··rebind<std::_Rb_tree_node<cvc5::Term>·>2300 ··[·23ec4]··PTHREAD_RWLOCK_WRITER_NONRECURSIVE_INITIALIZER_NP·{·{·__PTHREAD_RWLOCK_INITIALIZER·(PTHREAD_RWLOCK_PREFER_WRITER_NONRECURSIVE_NP)·}·}
2301 ··[·23ede]··PTHREAD_RWLOCK_WRITER_NONRECURSIVE_INITIALIZER_NP·{·{·__PTHREAD_RWLOCK_INITIALIZER·(PTHREAD_RWLOCK_PREFER_WRITER_NONRECURSIVE_NP)·}·}2301 ··[·23f4a]··_ZNSt10_Head_baseILm1ESt14default_deleteIN4cvc58internal3smt15AbductionSolverEELb1EE7_M_headERKS6_
2302 ··[·23f64]··_ZNSt10_Head_baseILm1ESt14default_deleteIN4cvc58internal3smt15AbductionSolverEELb1EE7_M_headERKS6_2302 ··[·23fad]··_ZNSt8optionalIlEaSESt9nullopt_t
2303 ··[·23fc7]··_ZNSt8optionalIlEaSESt9nullopt_t2303 ··[·23fce]··_ZNSt16initializer_listIPKcEC4EPKS1_m
2304 ··[·23fe8]··_ZNSt16initializer_listIPKcEC4EPKS1_m2304 ··[·23ff4]··_SC_2_PBS_ACCOUNTING·_SC_2_PBS_ACCOUNTING
2305 ··[·2400e]··_SC_2_PBS_ACCOUNTING·_SC_2_PBS_ACCOUNTING2305 ··[·2401e]··_ZNSt15basic_streambufIcSt11char_traitsIcEE9showmanycEv
2306 ··[·24038]··_ZNSt15basic_streambufIcSt11char_traitsIcEE9showmanycEv2306 ··[·24056]··_POSIX_TRACE·-1
2307 ··[·24070]··_POSIX_TRACE·-12307 ··[·24066]··_Head_base<1,·std::default_delete<cvc5::internal::smt::InterpolationSolver>,·true>
2308 ··[·24080]··_Head_base<1,·std::default_delete<cvc5::internal::smt::InterpolationSolver>,·true>2308 ··[·240b9]··_ZNSt10_Head_baseILm0EPN4cvc58internal7options13HolderBUILTINELb0EE7_M_headERS5_
2309 ··[·240d3]··_ZNSt10_Head_baseILm0EPN4cvc58internal7options13HolderBUILTINELb0EE7_M_headERS5_2309 ··[·2410a]··_M_parent
2310 ··[·24124]··_M_parent2310 ··[·24114]··_ZNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEpLEc
2311 ··[·2412e]··_ZNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEpLEc2311 ··[·2414e]··_ZNSt16allocator_traitsISaIwEE10deallocateERS0_Pwm
2312 ··[·24168]··_ZNSt16allocator_traitsISaIwEE10deallocateERS0_Pwm2312 ··[·24181]··PDP_ENDIAN·__PDP_ENDIAN
Max diff block lines reached; 358/1698747 bytes (0.02%) of diff not shown.
⊟
24.9 MB
libcvc5-1-dbgsym_1.1.2-2_arm64.deb
⊟
454 B
file list
    
Offset 1, 3 lines modifiedOffset 1, 3 lines modified
1 -rw-r--r--···0········0········0········4·2024-03-19·00:06:23.000000·debian-binary1 -rw-r--r--···0········0········0········4·2024-03-19·00:06:23.000000·debian-binary
2 -rw-r--r--···0········0········0······552·2024-03-19·00:06:23.000000·control.tar.xz2 -rw-r--r--···0········0········0······556·2024-03-19·00:06:23.000000·control.tar.xz
3 -rw-r--r--···0········0········0·179689624·2024-03-19·00:06:23.000000·data.tar.xz3 -rw-r--r--···0········0········0·179696800·2024-03-19·00:06:23.000000·data.tar.xz
⊟
661 B
control.tar.xz
⊟
633 B
control.tar
⊟
385 B
./control
    
Offset 6, 8 lines modifiedOffset 6, 8 lines modified
6 Maintainer:·Debian·Science·Maintainers·<debian-science-maintainers@alioth-lists.debian.net>6 Maintainer:·Debian·Science·Maintainers·<debian-science-maintainers@alioth-lists.debian.net>
7 Installed-Size:·1787807 Installed-Size:·178780
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:·6e072f6d744dd98e15b6a4bc6601e53a0853d58f13 Build-Ids:·9e2ea166af36b9e5c91615a6b1ac5998d2e09345
⊟
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/6e/072f6d744dd98e15b6a4bc6601e53a0853d58f.debug1 usr/lib/debug/.build-id/9e/2ea166af36b9e5c91615a6b1ac5998d2e09345.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/6e/6 drwxr-xr-x···0·root·········(0)·root·········(0)········0·2024-03-19·00:06:23.000000·./usr/lib/debug/.build-id/9e/
7 -rw-r--r--···0·root·········(0)·root·········(0)·183059840·2024-03-19·00:06:23.000000·./usr/lib/debug/.build-id/6e/072f6d744dd98e15b6a4bc6601e53a0853d58f.debug7 -rw-r--r--···0·root·········(0)·root·········(0)·183059664·2024-03-19·00:06:23.000000·./usr/lib/debug/.build-id/9e/2ea166af36b9e5c91615a6b1ac5998d2e09345.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/6e/072f6d744dd98e15b6a4bc6601e53a0853d58f.debug vs.
./usr/lib/debug/.build-id/9e/2ea166af36b9e5c91615a6b1ac5998d2e09345.debug
File has been modified after NT_GNU_BUILD_ID has been applied. Files 96% similar despite different names
⊟
865 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:···························AArch649 ··Machine:···························AArch64
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:··········183057280·(bytes·into·file)13 ··Start·of·section·headers:··········183057104·(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.51 KB
readelf --wide --sections {}
    
Offset 1, 8 lines modifiedOffset 1, 8 lines modified
1 There·are·40·section·headers,·starting·at·offset·0xae93b80:1 There·are·40·section·headers,·starting·at·offset·0xae93ad0:
  
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············0000000000000270·000270·000020·00···A··0···0··85 ··[·1]·.note.gnu.property·NOTE············0000000000000270·000270·000020·00···A··0···0··8
6 ··[·2]·.note.gnu.build-id·NOTE············0000000000000290·000290·000024·00···A··0···0··46 ··[·2]·.note.gnu.build-id·NOTE············0000000000000290·000290·000024·00···A··0···0··4
7 ··[·3]·.gnu.hash·········NOBITS··········00000000000002b8·0002b4·004d18·00···A··4···0··87 ··[·3]·.gnu.hash·········NOBITS··········00000000000002b8·0002b4·004d18·00···A··4···0··8
Offset 27, 23 lines modifiedOffset 27, 23 lines modified
27 ··[22]·.data.rel.ro······NOBITS··········00000000015c8288·007070·013ae8·00··WA··0···0··827 ··[22]·.data.rel.ro······NOBITS··········00000000015c8288·007070·013ae8·00··WA··0···0··8
28 ··[23]·.dynamic··········NOBITS··········00000000015dbd70·007070·000260·10··WA··5···0··828 ··[23]·.dynamic··········NOBITS··········00000000015dbd70·007070·000260·10··WA··5···0··8
29 ··[24]·.got··············NOBITS··········00000000015dbfd0·007070·004030·08··WA··0···0··829 ··[24]·.got··············NOBITS··········00000000015dbfd0·007070·004030·08··WA··0···0··8
30 ··[25]·.data·············NOBITS··········00000000015e0000·007070·009ca8·00··WA··0···0·1630 ··[25]·.data·············NOBITS··········00000000015e0000·007070·009ca8·00··WA··0···0·16
31 ··[26]·.bss··············NOBITS··········00000000015e9ca8·007070·003340·00··WA··0···0··831 ··[26]·.bss··············NOBITS··········00000000015e9ca8·007070·003340·00··WA··0···0··8
32 ··[27]·.comment··········PROGBITS········0000000000000000·0002b4·00001e·01··MS··0···0··132 ··[27]·.comment··········PROGBITS········0000000000000000·0002b4·00001e·01··MS··0···0··1
33 ··[28]·.debug_aranges····PROGBITS········0000000000000000·0002d8·00c607·00···C··0···0··833 ··[28]·.debug_aranges····PROGBITS········0000000000000000·0002d8·00c607·00···C··0···0··8
34 ··[29]·.debug_info·······PROGBITS········0000000000000000·00c8e0·87e726f·00···C··0···0··834 ··[29]·.debug_info·······PROGBITS········0000000000000000·00c8e0·87e718b·00···C··0···0··8
35 ··[30]·.debug_abbrev·····PROGBITS········0000000000000000·87f3b50·0dad88·00···C··0···0··835 ··[30]·.debug_abbrev·····PROGBITS········0000000000000000·87f3a70·0dad88·00···C··0···0··8
36 ··[31]·.debug_line·······PROGBITS········0000000000000000·88ce8d8·7cc940·00···C··0···0··836 ··[31]·.debug_line·······PROGBITS········0000000000000000·88ce7f8·7cc940·00···C··0···0··8
37 ··[32]·.debug_str········PROGBITS········0000000000000000·909b218·3dfe09·01·MSC··0···0··837 ··[32]·.debug_str········PROGBITS········0000000000000000·909b138·3dfe05·01·MSC··0···0··8
38 ··[33]·.debug_line_str···PROGBITS········0000000000000000·947b028·0028b6·01·MSC··0···0··838 ··[33]·.debug_line_str···PROGBITS········0000000000000000·947af40·0028b6·01·MSC··0···0··8
39 ··[34]·.debug_loclists···PROGBITS········0000000000000000·947d8e0·11477ed·00···C··0···0··839 ··[34]·.debug_loclists···PROGBITS········0000000000000000·947d7f8·11477ed·00···C··0···0··8
40 ··[35]·.debug_macro······PROGBITS········0000000000000000·a5c50d0·160818·00···C··0···0··840 ··[35]·.debug_macro······PROGBITS········0000000000000000·a5c4fe8·16084f·00···C··0···0··8
41 ··[36]·.debug_rnglists···PROGBITS········0000000000000000·a7258e8·48726f·00···C··0···0··841 ··[36]·.debug_rnglists···PROGBITS········0000000000000000·a725838·48726f·00···C··0···0··8
42 ··[37]·.symtab···········SYMTAB··········0000000000000000·abacb58·0e9af0·18·····38·37166··842 ··[37]·.symtab···········SYMTAB··········0000000000000000·abacaa8·0e9af0·18·····38·37166··8
43 ··[38]·.strtab···········STRTAB··········0000000000000000·ac96648·1fd398·00······0···0··143 ··[38]·.strtab···········STRTAB··········0000000000000000·ac96598·1fd398·00······0···0··1
44 ··[39]·.shstrtab·········STRTAB··········0000000000000000·ae939e0·0001a0·00······0···0··144 ··[39]·.shstrtab·········STRTAB··········0000000000000000·ae93930·0001a0·00······0···0··1
45 Key·to·Flags:45 Key·to·Flags:
46 ··W·(write),·A·(alloc),·X·(execute),·M·(merge),·S·(strings),·I·(info),46 ··W·(write),·A·(alloc),·X·(execute),·M·(merge),·S·(strings),·I·(info),
47 ··L·(link·order),·O·(extra·OS·processing·required),·G·(group),·T·(TLS),47 ··L·(link·order),·O·(extra·OS·processing·required),·G·(group),·T·(TLS),
48 ··C·(compressed),·x·(unknown),·o·(OS·specific),·E·(exclude),48 ··C·(compressed),·x·(unknown),·o·(OS·specific),·E·(exclude),
49 ··R·(retain),·D·(mbind),·p·(processor·specific)49 ··R·(retain),·D·(mbind),·p·(processor·specific)
⊟
628 B
readelf --wide --notes {}
    
Offset 1, 8 lines modifiedOffset 1, 8 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:·AArch64·feature:·BTI,·PAC3 ··GNU··················0x00000010»  NT_GNU_PROPERTY_TYPE_0»    ······Properties:·AArch64·feature:·BTI,·PAC
  
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:·6e072f6d744dd98e15b6a4bc6601e53a0853d58f6 ··GNU··················0x00000014»  NT_GNU_BUILD_ID·(unique·build·ID·bitstring)»   ····Build·ID:·9e2ea166af36b9e5c91615a6b1ac5998d2e09345
⊟
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:·2·(DW_TAG_partial_unit)9 ·<0><c>:·Abbrev·Number:·2·(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:·0x15):·./obj-aarch64-linux-gnu/src11 ····<11>···DW_AT_comp_dir····:·(line_strp)·(offset:·0x15):·./obj-aarch64-linux-gnu/src
12 ·<1><15>:·Abbrev·Number:·101·(DW_TAG_base_type)12 ·<1><15>:·Abbrev·Number:·101·(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:·0x161dd):·long·int15 ····<18>···DW_AT_name········:·(strp)·(offset:·0x161f7):·long·int
16 ·<1><1c>:·Abbrev·Number:·101·(DW_TAG_base_type)16 ·<1><1c>:·Abbrev·Number:·101·(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:·0xeb39):·long·unsigned·int19 ····<1f>···DW_AT_name········:·(strp)·(offset:·0xeb39):·long·unsigned·int
20 ·<1><23>:·Abbrev·Number:·101·(DW_TAG_base_type)20 ·<1><23>:·Abbrev·Number:·101·(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:·0x1ae94):·unsigned·char23 ····<26>···DW_AT_name········:·(strp)·(offset:·0x1ae94):·unsigned·char
24 ·<1><2a>:·Abbrev·Number:·101·(DW_TAG_base_type)24 ·<1><2a>:·Abbrev·Number:·101·(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:·0x1296d):·short·unsigned·int27 ····<2d>···DW_AT_name········:·(strp)·(offset:·0x12987):·short·unsigned·int
28 ·<1><31>:·Abbrev·Number:·101·(DW_TAG_base_type)28 ·<1><31>:·Abbrev·Number:·101·(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:·0xc9bd):·unsigned·int31 ····<34>···DW_AT_name········:·(strp)·(offset:·0xc9bd):·unsigned·int
32 ·<1><38>:·Abbrev·Number:·101·(DW_TAG_base_type)32 ·<1><38>:·Abbrev·Number:·101·(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:·101·(DW_TAG_base_type)100 ·<1><b8>:·Abbrev·Number:·101·(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:·0x20010):·char32_t103 ····<bb>···DW_AT_name········:·(strp)·(offset:·0x20010):·char32_t
104 ·<1><bf>:·Abbrev·Number:·101·(DW_TAG_base_type)104 ·<1><bf>:·Abbrev·Number:·101·(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:·0x14308):·__int128107 ····<c2>···DW_AT_name········:·(strp)·(offset:·0x14322):·__int128
108 ·<1><c6>:·Abbrev·Number:·101·(DW_TAG_base_type)108 ·<1><c6>:·Abbrev·Number:·101·(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:·0x238a1):·__int128·unsigned111 ····<c9>···DW_AT_name········:·(strp)·(offset:·0x238a1):·__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:········0xff6·(32-bit)114 ···Length:········0xff6·(32-bit)
Offset 807, 29 lines modifiedOffset 807, 29 lines modified
807 ····<457>···DW_AT_name········:·(strp)·(offset:·0x1f2bf):·_IO_read_end807 ····<457>···DW_AT_name········:·(strp)·(offset:·0x1f2bf):·_IO_read_end
808 ····<45b>···DW_AT_decl_file···:·(data1)·68808 ····<45b>···DW_AT_decl_file···:·(data1)·68
809 ····<45c>···DW_AT_decl_line···:·(data1)·55809 ····<45c>···DW_AT_decl_line···:·(data1)·55
810 ····<45d>···DW_AT_decl_column·:·(data1)·9810 ····<45d>···DW_AT_decl_column·:·(data1)·9
811 ····<45e>···DW_AT_type········:·(ref_udata)·<0x13d>811 ····<45e>···DW_AT_type········:·(ref_udata)·<0x13d>
812 ····<45f>···DW_AT_data_member_location:·(data1)·16812 ····<45f>···DW_AT_data_member_location:·(data1)·16
813 ·<2><460>:·Abbrev·Number:·68·(DW_TAG_member)813 ·<2><460>:·Abbrev·Number:·68·(DW_TAG_member)
814 ····<461>···DW_AT_name········:·(strp)·(offset:·0x10709):·_IO_read_base814 ····<461>···DW_AT_name········:·(strp)·(offset:·0x10723):·_IO_read_base
815 ····<465>···DW_AT_decl_file···:·(data1)·68815 ····<465>···DW_AT_decl_file···:·(data1)·68
816 ····<466>···DW_AT_decl_line···:·(data1)·56816 ····<466>···DW_AT_decl_line···:·(data1)·56
817 ····<467>···DW_AT_decl_column·:·(data1)·9817 ····<467>···DW_AT_decl_column·:·(data1)·9
818 ····<468>···DW_AT_type········:·(ref_udata)·<0x13d>818 ····<468>···DW_AT_type········:·(ref_udata)·<0x13d>
819 ····<469>···DW_AT_data_member_location:·(data1)·24819 ····<469>···DW_AT_data_member_location:·(data1)·24
820 ·<2><46a>:·Abbrev·Number:·68·(DW_TAG_member)820 ·<2><46a>:·Abbrev·Number:·68·(DW_TAG_member)
821 ····<46b>···DW_AT_name········:·(strp)·(offset:·0x51af):·_IO_write_base821 ····<46b>···DW_AT_name········:·(strp)·(offset:·0x51af):·_IO_write_base
822 ····<46f>···DW_AT_decl_file···:·(data1)·68822 ····<46f>···DW_AT_decl_file···:·(data1)·68
823 ····<470>···DW_AT_decl_line···:·(data1)·57823 ····<470>···DW_AT_decl_line···:·(data1)·57
824 ····<471>···DW_AT_decl_column·:·(data1)·9824 ····<471>···DW_AT_decl_column·:·(data1)·9
825 ····<472>···DW_AT_type········:·(ref_udata)·<0x13d>825 ····<472>···DW_AT_type········:·(ref_udata)·<0x13d>
826 ····<473>···DW_AT_data_member_location:·(data1)·32826 ····<473>···DW_AT_data_member_location:·(data1)·32
827 ·<2><474>:·Abbrev·Number:·68·(DW_TAG_member)827 ·<2><474>:·Abbrev·Number:·68·(DW_TAG_member)
828 ····<475>···DW_AT_name········:·(strp)·(offset:·0xfd34):·_IO_write_ptr828 ····<475>···DW_AT_name········:·(strp)·(offset:·0xfd4e):·_IO_write_ptr
829 ····<479>···DW_AT_decl_file···:·(data1)·68829 ····<479>···DW_AT_decl_file···:·(data1)·68
830 ····<47a>···DW_AT_decl_line···:·(data1)·58830 ····<47a>···DW_AT_decl_line···:·(data1)·58
831 ····<47b>···DW_AT_decl_column·:·(data1)·9831 ····<47b>···DW_AT_decl_column·:·(data1)·9
832 ····<47c>···DW_AT_type········:·(ref_udata)·<0x13d>832 ····<47c>···DW_AT_type········:·(ref_udata)·<0x13d>
833 ····<47d>···DW_AT_data_member_location:·(data1)·40833 ····<47d>···DW_AT_data_member_location:·(data1)·40
834 ·<2><47e>:·Abbrev·Number:·68·(DW_TAG_member)834 ·<2><47e>:·Abbrev·Number:·68·(DW_TAG_member)
835 ····<47f>···DW_AT_name········:·(strp)·(offset:·0xe409):·_IO_write_end835 ····<47f>···DW_AT_name········:·(strp)·(offset:·0xe409):·_IO_write_end
Offset 842, 36 lines modifiedOffset 842, 36 lines modified
842 ····<489>···DW_AT_name········:·(strp)·(offset:·0xb6dc):·_IO_buf_base842 ····<489>···DW_AT_name········:·(strp)·(offset:·0xb6dc):·_IO_buf_base
843 ····<48d>···DW_AT_decl_file···:·(data1)·68843 ····<48d>···DW_AT_decl_file···:·(data1)·68
844 ····<48e>···DW_AT_decl_line···:·(data1)·60844 ····<48e>···DW_AT_decl_line···:·(data1)·60
845 ····<48f>···DW_AT_decl_column·:·(data1)·9845 ····<48f>···DW_AT_decl_column·:·(data1)·9
846 ····<490>···DW_AT_type········:·(ref_udata)·<0x13d>846 ····<490>···DW_AT_type········:·(ref_udata)·<0x13d>
847 ····<491>···DW_AT_data_member_location:·(data1)·56847 ····<491>···DW_AT_data_member_location:·(data1)·56
848 ·<2><492>:·Abbrev·Number:·68·(DW_TAG_member)848 ·<2><492>:·Abbrev·Number:·68·(DW_TAG_member)
849 ····<493>···DW_AT_name········:·(strp)·(offset:·0x155bf):·_IO_buf_end849 ····<493>···DW_AT_name········:·(strp)·(offset:·0x155d9):·_IO_buf_end
850 ····<497>···DW_AT_decl_file···:·(data1)·68850 ····<497>···DW_AT_decl_file···:·(data1)·68
851 ····<498>···DW_AT_decl_line···:·(data1)·61851 ····<498>···DW_AT_decl_line···:·(data1)·61
852 ····<499>···DW_AT_decl_column·:·(data1)·9852 ····<499>···DW_AT_decl_column·:·(data1)·9
853 ····<49a>···DW_AT_type········:·(ref_udata)·<0x13d>853 ····<49a>···DW_AT_type········:·(ref_udata)·<0x13d>
854 ····<49b>···DW_AT_data_member_location:·(data1)·64854 ····<49b>···DW_AT_data_member_location:·(data1)·64
855 ·<2><49c>:·Abbrev·Number:·68·(DW_TAG_member)855 ·<2><49c>:·Abbrev·Number:·68·(DW_TAG_member)
856 ····<49d>···DW_AT_name········:·(strp)·(offset:·0xe47c):·_IO_save_base856 ····<49d>···DW_AT_name········:·(strp)·(offset:·0xe47c):·_IO_save_base
857 ····<4a1>···DW_AT_decl_file···:·(data1)·68857 ····<4a1>···DW_AT_decl_file···:·(data1)·68
858 ····<4a2>···DW_AT_decl_line···:·(data1)·64858 ····<4a2>···DW_AT_decl_line···:·(data1)·64
859 ····<4a3>···DW_AT_decl_column·:·(data1)·9859 ····<4a3>···DW_AT_decl_column·:·(data1)·9
860 ····<4a4>···DW_AT_type········:·(ref_udata)·<0x13d>860 ····<4a4>···DW_AT_type········:·(ref_udata)·<0x13d>
861 ····<4a5>···DW_AT_data_member_location:·(data1)·72861 ····<4a5>···DW_AT_data_member_location:·(data1)·72
862 ·<2><4a6>:·Abbrev·Number:·68·(DW_TAG_member)862 ·<2><4a6>:·Abbrev·Number:·68·(DW_TAG_member)
863 ····<4a7>···DW_AT_name········:·(strp)·(offset:·0x11090):·_IO_backup_base863 ····<4a7>···DW_AT_name········:·(strp)·(offset:·0x110aa):·_IO_backup_base
864 ····<4ab>···DW_AT_decl_file···:·(data1)·68864 ····<4ab>···DW_AT_decl_file···:·(data1)·68
865 ····<4ac>···DW_AT_decl_line···:·(data1)·65865 ····<4ac>···DW_AT_decl_line···:·(data1)·65
866 ····<4ad>···DW_AT_decl_column·:·(data1)·9866 ····<4ad>···DW_AT_decl_column·:·(data1)·9
867 ····<4ae>···DW_AT_type········:·(ref_udata)·<0x13d>867 ····<4ae>···DW_AT_type········:·(ref_udata)·<0x13d>
868 ····<4af>···DW_AT_data_member_location:·(data1)·80868 ····<4af>···DW_AT_data_member_location:·(data1)·80
869 ·<2><4b0>:·Abbrev·Number:·68·(DW_TAG_member)869 ·<2><4b0>:·Abbrev·Number:·68·(DW_TAG_member)
870 ····<4b1>···DW_AT_name········:·(strp)·(offset:·0x18e72):·_IO_save_end870 ····<4b1>···DW_AT_name········:·(strp)·(offset:·0x18e8c):·_IO_save_end
871 ····<4b5>···DW_AT_decl_file···:·(data1)·68871 ····<4b5>···DW_AT_decl_file···:·(data1)·68
872 ····<4b6>···DW_AT_decl_line···:·(data1)·66872 ····<4b6>···DW_AT_decl_line···:·(data1)·66
873 ····<4b7>···DW_AT_decl_column·:·(data1)·9873 ····<4b7>···DW_AT_decl_column·:·(data1)·9
874 ····<4b8>···DW_AT_type········:·(ref_udata)·<0x13d>874 ····<4b8>···DW_AT_type········:·(ref_udata)·<0x13d>
875 ····<4b9>···DW_AT_data_member_location:·(data1)·88875 ····<4b9>···DW_AT_data_member_location:·(data1)·88
876 ·<2><4ba>:·Abbrev·Number:·68·(DW_TAG_member)876 ·<2><4ba>:·Abbrev·Number:·68·(DW_TAG_member)
877 ····<4bb>···DW_AT_name········:·(strp)·(offset:·0x4bcd):·_markers877 ····<4bb>···DW_AT_name········:·(strp)·(offset:·0x4bcd):·_markers
Offset 884, 15 lines modifiedOffset 884, 15 lines modified
884 ····<4c6>···DW_AT_name········:·(strp)·(offset:·0x83aa45):·_chain884 ····<4c6>···DW_AT_name········:·(strp)·(offset:·0x83aa45):·_chain
885 ····<4ca>···DW_AT_decl_file···:·(data1)·68885 ····<4ca>···DW_AT_decl_file···:·(data1)·68
886 ····<4cb>···DW_AT_decl_line···:·(data1)·70886 ····<4cb>···DW_AT_decl_line···:·(data1)·70
887 ····<4cc>···DW_AT_decl_column·:·(data1)·20887 ····<4cc>···DW_AT_decl_column·:·(data1)·20
888 ····<4cd>···DW_AT_type········:·(ref_udata)·<0xee0>888 ····<4cd>···DW_AT_type········:·(ref_udata)·<0xee0>
889 ····<4cf>···DW_AT_data_member_location:·(data1)·104889 ····<4cf>···DW_AT_data_member_location:·(data1)·104
890 ·<2><4d0>:·Abbrev·Number:·4·(DW_TAG_member)890 ·<2><4d0>:·Abbrev·Number:·4·(DW_TAG_member)
891 ····<4d1>···DW_AT_name········:·(strp)·(offset:·0x1a0ec):·_fileno891 ····<4d1>···DW_AT_name········:·(strp)·(offset:·0x1a106):·_fileno
892 ····<4d5>···DW_AT_decl_file···:·(data1)·68892 ····<4d5>···DW_AT_decl_file···:·(data1)·68
893 ····<4d6>···DW_AT_decl_line···:·(data1)·72893 ····<4d6>···DW_AT_decl_line···:·(data1)·72
894 ····<4d7>···DW_AT_decl_column·:·(data1)·7894 ····<4d7>···DW_AT_decl_column·:·(data1)·7
895 ····<4d8>···DW_AT_type········:·(ref_addr)·<0x46>,·int895 ····<4d8>···DW_AT_type········:·(ref_addr)·<0x46>,·int
896 ····<4dc>···DW_AT_data_member_location:·(data1)·112896 ····<4dc>···DW_AT_data_member_location:·(data1)·112
897 ·<2><4dd>:·Abbrev·Number:·4·(DW_TAG_member)897 ·<2><4dd>:·Abbrev·Number:·4·(DW_TAG_member)
898 ····<4de>···DW_AT_name········:·(strp)·(offset:·0x1c36d):·_flags2898 ····<4de>···DW_AT_name········:·(strp)·(offset:·0x1c36d):·_flags2
Offset 905, 29 lines modifiedOffset 905, 29 lines modified
Max diff block lines reached; 25377943/25384990 bytes (99.97%) of diff not shown.
⊟
3.54 KB
readelf --wide --debug-dump=macro {}
    
Offset 1601, 16 lines modifiedOffset 1601, 16 lines modified
1601 ·DW_MACRO_define_strp·-·lineno·:·0·macro·:·_GNU_SOURCE·11601 ·DW_MACRO_define_strp·-·lineno·:·0·macro·:·_GNU_SOURCE·1
1602 ·DW_MACRO_define_strp·-·lineno·:·0·macro·:·CVC5_STATISTICS_ON·11602 ·DW_MACRO_define_strp·-·lineno·:·0·macro·:·CVC5_STATISTICS_ON·1
1603 ·DW_MACRO_define_strp·-·lineno·:·0·macro·:·CVC5_USE_CRYPTOMINISAT·11603 ·DW_MACRO_define_strp·-·lineno·:·0·macro·:·CVC5_USE_CRYPTOMINISAT·1
1604 ·DW_MACRO_define_strp·-·lineno·:·0·macro·:·NDEBUG·11604 ·DW_MACRO_define_strp·-·lineno·:·0·macro·:·NDEBUG·1
1605 ·DW_MACRO_define_strp·-·lineno·:·0·macro·:·__BUILDING_CVC5LIB·11605 ·DW_MACRO_define_strp·-·lineno·:·0·macro·:·__BUILDING_CVC5LIB·1
1606 ·DW_MACRO_define_strp·-·lineno·:·0·macro·:·cvc5_obj_EXPORTS·11606 ·DW_MACRO_define_strp·-·lineno·:·0·macro·:·cvc5_obj_EXPORTS·1
1607 ·DW_MACRO_define_strp·-·lineno·:·0·macro·:·_FORTIFY_SOURCE·21607 ·DW_MACRO_define_strp·-·lineno·:·0·macro·:·_FORTIFY_SOURCE·2
1608 ·DW_MACRO_define_strp·-·lineno·:·0·macro·:·DEB_BUILD_DATE·"2024-03-18"1608 ·DW_MACRO_define_strp·-·lineno·:·0·macro·:·DEB_BUILD_DATE·"2024-03-19"
1609 ·DW_MACRO_define_strp·-·lineno·:·0·macro·:·DEB_BUILD_TIME·"12:06:23"1609 ·DW_MACRO_define_strp·-·lineno·:·0·macro·:·DEB_BUILD_TIME·"14:06:23"
  
1610 ··Offset:······················0x1b261610 ··Offset:······················0x1b26
1611 ··Version:·····················51611 ··Version:·····················5
1612 ··Offset·size:·················41612 ··Offset·size:·················4
  
1613 ·DW_MACRO_define_strp·-·lineno·:·19·macro·:·_STDC_PREDEF_H·11613 ·DW_MACRO_define_strp·-·lineno·:·19·macro·:·_STDC_PREDEF_H·1
1614 ·DW_MACRO_define_strp·-·lineno·:·38·macro·:·__STDC_IEC_559__·11614 ·DW_MACRO_define_strp·-·lineno·:·38·macro·:·__STDC_IEC_559__·1
Offset 52288, 16 lines modifiedOffset 52288, 16 lines modified
52288 ·DW_MACRO_define_strp·-·lineno·:·0·macro·:·__DECIMAL_BID_FORMAT__·152288 ·DW_MACRO_define_strp·-·lineno·:·0·macro·:·__DECIMAL_BID_FORMAT__·1
52289 ·DW_MACRO_define_strp·-·lineno·:·0·macro·:·CVC5_STATISTICS_ON·152289 ·DW_MACRO_define_strp·-·lineno·:·0·macro·:·CVC5_STATISTICS_ON·1
52290 ·DW_MACRO_define_strp·-·lineno·:·0·macro·:·CVC5_USE_CRYPTOMINISAT·152290 ·DW_MACRO_define_strp·-·lineno·:·0·macro·:·CVC5_USE_CRYPTOMINISAT·1
52291 ·DW_MACRO_define_strp·-·lineno·:·0·macro·:·NDEBUG·152291 ·DW_MACRO_define_strp·-·lineno·:·0·macro·:·NDEBUG·1
52292 ·DW_MACRO_define_strp·-·lineno·:·0·macro·:·__BUILDING_CVC5LIB·152292 ·DW_MACRO_define_strp·-·lineno·:·0·macro·:·__BUILDING_CVC5LIB·1
52293 ·DW_MACRO_define_strp·-·lineno·:·0·macro·:·cvc5_obj_EXPORTS·152293 ·DW_MACRO_define_strp·-·lineno·:·0·macro·:·cvc5_obj_EXPORTS·1
52294 ·DW_MACRO_define_strp·-·lineno·:·0·macro·:·_FORTIFY_SOURCE·252294 ·DW_MACRO_define_strp·-·lineno·:·0·macro·:·_FORTIFY_SOURCE·2
52295 ·DW_MACRO_define_strp·-·lineno·:·0·macro·:·DEB_BUILD_DATE·"2024-03-18"52295 ·DW_MACRO_define_strp·-·lineno·:·0·macro·:·DEB_BUILD_DATE·"2024-03-19"
52296 ·DW_MACRO_define_strp·-·lineno·:·0·macro·:·DEB_BUILD_TIME·"12:06:23"52296 ·DW_MACRO_define_strp·-·lineno·:·0·macro·:·DEB_BUILD_TIME·"14:06:23"
  
52297 ··Offset:······················0x48c8252297 ··Offset:······················0x48c82
52298 ··Version:·····················552298 ··Version:·····················5
52299 ··Offset·size:·················452299 ··Offset·size:·················4
  
52300 ·DW_MACRO_define_strp·-·lineno·:·39·macro·:·_STDDEF_H·52300 ·DW_MACRO_define_strp·-·lineno·:·39·macro·:·_STDDEF_H·
52301 ·DW_MACRO_define_strp·-·lineno·:·40·macro·:·_STDDEF_H_·52301 ·DW_MACRO_define_strp·-·lineno·:·40·macro·:·_STDDEF_H_·
Offset 1309608, 17 lines modifiedOffset 1309608, 19 lines modified
1309608 ·DW_MACRO_define_strp·-·lineno·:·22·macro·:·CVC5__OPTIONS__THEORY_H·1309608 ·DW_MACRO_define_strp·-·lineno·:·22·macro·:·CVC5__OPTIONS__THEORY_H·
1309609 ·DW_MACRO_start_file·-·lineno:·24·filenum:·421309609 ·DW_MACRO_start_file·-·lineno:·24·filenum:·42
1309610 ·DW_MACRO_end_file1309610 ·DW_MACRO_end_file
1309611 ·DW_MACRO_import·-·offset·:·0x51b3d1309611 ·DW_MACRO_import·-·offset·:·0x51b3d
1309612 ·DW_MACRO_end_file1309612 ·DW_MACRO_end_file
1309613 ·DW_MACRO_start_file·-·lineno:·49·filenum:·1361309613 ·DW_MACRO_start_file·-·lineno:·49·filenum:·136
1309614 ·DW_MACRO_end_file1309614 ·DW_MACRO_end_file
 1309615 ·DW_MACRO_start_file·-·lineno:·51·filenum:·112
 1309616 ·DW_MACRO_end_file
1309615 ·DW_MACRO_start_file·-·lineno:·50·filenum:·311309617 ·DW_MACRO_start_file·-·lineno:·52·filenum:·31
1309616 ·DW_MACRO_end_file1309618 ·DW_MACRO_end_file
1309617 ·DW_MACRO_start_file·-·lineno:·52·filenum:·2911309619 ·DW_MACRO_start_file·-·lineno:·53·filenum:·291
1309618 ·DW_MACRO_define_strp·-·lineno·:·30·macro·:·_GLIBCXX_UNORDERED_MAP·11309620 ·DW_MACRO_define_strp·-·lineno·:·30·macro·:·_GLIBCXX_UNORDERED_MAP·1
1309619 ·DW_MACRO_start_file·-·lineno:·41·filenum:·181309621 ·DW_MACRO_start_file·-·lineno:·41·filenum:·18
1309620 ·DW_MACRO_define_strp·-·lineno·:·31·macro·:·_UNORDERED_MAP_H·1309622 ·DW_MACRO_define_strp·-·lineno·:·31·macro·:·_UNORDERED_MAP_H·
1309621 ·DW_MACRO_start_file·-·lineno:·33·filenum:·131309623 ·DW_MACRO_start_file·-·lineno:·33·filenum:·13
1309622 ·DW_MACRO_define_strp·-·lineno·:·31·macro·:·_HASHTABLE_H·11309624 ·DW_MACRO_define_strp·-·lineno·:·31·macro·:·_HASHTABLE_H·1
1309623 ·DW_MACRO_start_file·-·lineno:·35·filenum:·141309625 ·DW_MACRO_start_file·-·lineno:·35·filenum:·14
1309624 ·DW_MACRO_define_strp·-·lineno·:·32·macro·:·_HASHTABLE_POLICY_H·11309626 ·DW_MACRO_define_strp·-·lineno·:·32·macro·:·_HASHTABLE_POLICY_H·1
Offset 1309626, 16 lines modifiedOffset 1309628, 14 lines modified
1309626 ·DW_MACRO_end_file1309628 ·DW_MACRO_end_file
1309627 ·DW_MACRO_end_file1309629 ·DW_MACRO_end_file
1309628 ·DW_MACRO_import·-·offset·:·0x9e381309630 ·DW_MACRO_import·-·offset·:·0x9e38
1309629 ·DW_MACRO_start_file·-·lineno:·56·filenum:·1771309631 ·DW_MACRO_start_file·-·lineno:·56·filenum:·177
1309630 ·DW_MACRO_import·-·offset·:·0x4f3b8f1309632 ·DW_MACRO_import·-·offset·:·0x4f3b8f
1309631 ·DW_MACRO_end_file1309633 ·DW_MACRO_end_file
1309632 ·DW_MACRO_end_file1309634 ·DW_MACRO_end_file
1309633 ·DW_MACRO_start_file·-·lineno:·54·filenum:·112 
1309634 ·DW_MACRO_end_file 
1309635 ·DW_MACRO_start_file·-·lineno:·57·filenum:·831309635 ·DW_MACRO_start_file·-·lineno:·57·filenum:·83
1309636 ·DW_MACRO_define_strp·-·lineno·:·41·macro·:·__glibcxx_want_freestanding_cstring·1309636 ·DW_MACRO_define_strp·-·lineno·:·41·macro·:·__glibcxx_want_freestanding_cstring·
1309637 ·DW_MACRO_start_file·-·lineno:·42·filenum:·1771309637 ·DW_MACRO_start_file·-·lineno:·42·filenum:·177
1309638 ·DW_MACRO_import·-·offset·:·0x4f417b1309638 ·DW_MACRO_import·-·offset·:·0x4f417b
1309639 ·DW_MACRO_end_file1309639 ·DW_MACRO_end_file
1309640 ·DW_MACRO_start_file·-·lineno:·43·filenum:·1401309640 ·DW_MACRO_start_file·-·lineno:·43·filenum:·140
1309641 ·DW_MACRO_import·-·offset·:·0x10ad11309641 ·DW_MACRO_import·-·offset·:·0x10ad1
⊟
609 B
readelf --wide --debug-dump=loc {}
    
Offset 4194297, 8 lines modifiedOffset 4194297, 8 lines modified
4194297 ····00bcc2d6·v000000000000006·v000000000000007·location·view·pair4194297 ····00bcc2d6·v000000000000006·v000000000000007·location·view·pair
  
4194298 ····00bcc2d8·v000000000000006·v000000000000007·views·at·00bcc2d6·for:4194298 ····00bcc2d8·v000000000000006·v000000000000007·views·at·00bcc2d6·for:
4194299 ·············0000000000467ef0·0000000000467ef0·(DW_OP_reg24·(x24))4194299 ·············0000000000467ef0·0000000000467ef0·(DW_OP_reg24·(x24))
4194300 ····00bcc2e4·<End·of·list>4194300 ····00bcc2e4·<End·of·list>
  
4194301 ····00bcc2e5·v000000000000006·v000000000000008·location·view·pair4194301 ····00bcc2e5·v000000000000006·v000000000000008·location·view·pair
4194302 [·Too·much·input·for·diff·(SHA256:·72669013cfe1e7475a84c97b499d1efe4c2d8ffea172be93412bf3f4e07eab76)·]4194302 [·Too·much·input·for·diff·(SHA256:·b210b9f85de9af70bbbeea06ff792029ed42747b5545d8a901737039d46b9af3)·]
⊟
657 KB
strings --all --bytes=8 {}
    
Offset 1, 30328 lines modifiedOffset 1, 30456 lines modified
1 GCC:·(Debian·14.2.0-8)·14.2.01 EGCC:·(Debian·14.2.0-8)·14.2.0
2 "DE*9m!6D2 "DE*9m!6D
3 };Y8T8R83 };Y8T8R8
4 =T8R8V8Q4 =T8R8V8Q
5 Ny<_m·gUm~!5 Ny<_m·gUm~!
6 }TY?eVv_86 }TY?eVv_8
7 »       ]w&?D8s37 »       ]w&?D8s3
8 g9$mGzX: 
9 a7Rkj?"L 
10 a_z[#3Ce8 if:hi|=·
 9 }qL7iPqLOiRqL/i!
 10 jV|ZUQ{G
 11 #rDf<AD,
 12 6=nc5pjz5
 13 &H'PTJK1(
 14 12TYcE%L.
 15 vBO?f_DV
 16 B|cwZGH?Bu
11 L9:tT$L8AT17 L9:tT$L8AT
12 NXnc"-6·&_ 
13 `Rqi?"m>18 ]8-PGf"D
 19 7BvA.{!/Z
14 ->Ff]{&H20 ->Ff]{&H
15 qQ6<SogC 
16 ·);b{MBLv 
17 7+]TYN|k21 B'8icBDq
 22 #NI^a<N8)
 23 4XS0(O.M
 24 `$3T2Fbq
18 T2zAn3Hf-25 T2zAn3Hf-
19 X0}@{@yp 
20 ]?|{x}|| 
21 R..\|.9sp 
22 d\,IZg%[O 
23 ^0Q6C&1jos 
24 Cm%Y]<Zf 
25 OHgu@/p<> 
26 Y1J'Gc%<a 
27 Ut+FFb>o 
28 MW=H8y&- 
29 @~2]6yF+P 
30 F#yRq·o~Y 
31 pIsMS|9Y 
32 0?',b2#@ 
33 :GA'>PFA/ 
34 }B)kkj-P 
35 U5v@»   cr+'b~ 
36 f~M][|/Ye: 
37 #lQoWcAt 
38 HD5o2`/M 
39 KCVSWD;IM 
40 ?BX9Y*_J 
41 4N*B=Pq!z 
42 F&OLV$L' 
43 f1%sF&fa 
44 evqdk~|gk~|gk~|g 
45 ~"YE6hP(>e/i( 
46 fw7X]11ej 
47 G!L#bB:* 
48 [0EGVwa+ 
49 XA~·.CE($ 
50 I>WEf&y` 
51 |`·_)sV: 
52 2qq!P]\X- 
53 H0&z]7,G 
54 fj\J\Js( 
55 mhv»    rG/j 
56 M|nY(^dl 
57 ix»     -zm=P 
58 .zXPX^h^ 
59 >%Wb!<>3 
60 b]/~Q/~Q 
61 B<Wbm(Sb 
62 oxH7<,;M 
63 (a+g2lpC!2v 
64 KUzkB-um 
65 7TCN~qpM 
66 $v("ORMP\ 
67 PkBmxwHm 
68 z0Ds[c>P 
69 e,1f-1J+L 
70 3<yT[G[i 
71 7be@hu(Q 
72 6_+UcWN[ 
73 2-vUiKUea# 
74 TN[buTcWB[ 
75 oi%f&.$. 
76 73»     v{-0a 
77 ;R'i<g}GzG 
78 SJ:*%]3` 
79 .=y}n6FO 
80 )o-}+kL. 
81 yZ9'aABq 
82 z|cu=,VwL 
83 L6K3q@=J!R 
84 DM~ssg%;f 
85 K?_64:.# 
86 fQ5N.%j]# 
87 Bk|7;»  )C 
88 ^pD:!eM- 
89 nW4T`h\- 
90 xdU<,td( 
91 C#@J{wu) 
92 UL1oHcT>A 
93 GSA?3D}f 
94 =3)'co\N 
95 4{\[lylWk 
96 t~+xu6;N 
97 O=|A5[X$h 
98 k'K`o8YZ 
99 h%\41Xyf 
100 Ow~h&I4J; 
101 7+{P\O;( 
102 RoA{)~M~#5 
103 i%3i.LOM 
104 dVJ)C!"}3< 
105 (47vi5!uC 
106 *=a8c0O- 
107 ";9h?ngI 
108 QL.Cmbq-2 
109 V[M|QEWR 
110 ""_Nrnjj 
111 E=X»    `s=)oK 
112 vI7qS7%s 
113 ghJWLGI+ 
114 t·[t;daA 
115 c%6(6c$Q 
Max diff block lines reached; 669317/672936 bytes (99.46%) 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_arm64.deb
Timeout exceeded; details may be incomplete.
⊟
118 B
python3-cvc5-dbgsym_1.1.2-2_arm64.deb
Timeout exceeded; details may be incomplete.
Generated by diffoscope 284