⊟
62.3 MB
/srv/reproducible-results/rbuild-debian/r-b-build.tbaTGF6a/b1/cvc5_1.1.2-2_arm64.changes vs.
/srv/reproducible-results/rbuild-debian/r-b-build.tbaTGF6a/b2/cvc5_1.1.2-2_arm64.changes
⊟
1.52 KB
Files
    
Offset 1, 10 lines modifiedOffset 1, 10 lines modified
  
1 ·5ebb1c6352ea72c6eecf430f1976c53a·1845172·debug·optional·cvc5-dbgsym_1.1.2-2_arm64.deb 
2 ·4911913f3a8cb401c627312216ee55dc·97024·math·optional·cvc5_1.1.2-2_arm64.deb 
3 ·45199733c8027236fada5ef017fe2c1b·179952756·debug·optional·libcvc5-1-dbgsym_1.1.2-2_arm64.deb 
4 ·aae0919cb34f02758016857f82f5c8b2·5713988·libs·optional·libcvc5-1_1.1.2-2_arm64.deb1 ·c37c3d73f6df7f67ef72190960e86e53·1845224·debug·optional·cvc5-dbgsym_1.1.2-2_arm64.deb
 2 ·81a1ae6c6ffe339f3d1560312cbde3fb·96976·math·optional·cvc5_1.1.2-2_arm64.deb
 3 ·e148e980745465c1d9e9932b5e7cdfb6·179956684·debug·optional·libcvc5-1-dbgsym_1.1.2-2_arm64.deb
 4 ·5801736a1df0430fd554a6876f5804c7·5715812·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 ·79213f9577cb1e4cd7dff30f3571f626·4015508·debug·optional·libcvc5parser1-dbgsym_1.1.2-2_arm64.deb6 ·010dc169a3261f2509826e4c0c9a01f4·4015556·debug·optional·libcvc5parser1-dbgsym_1.1.2-2_arm64.deb
7 ·f509fe5688abe84bcbbc141fb585bc83·208068·libs·optional·libcvc5parser1_1.1.2-2_arm64.deb 
8 ·c17fd42d7766e5c8accf68019c5a3999·2586020·debug·optional·python3-cvc5-dbgsym_1.1.2-2_arm64.deb 
9 ·68947ee67a7169d7bca8f4a011f794b4·298904·python·optional·python3-cvc5_1.1.2-2_arm64.deb7 ·7708ab4a7d00840db6a23b4d95cc04aa·208188·libs·optional·libcvc5parser1_1.1.2-2_arm64.deb
 8 ·1f9f22bab911d1d1270b72640e03ffad·2586220·debug·optional·python3-cvc5-dbgsym_1.1.2-2_arm64.deb
 9 ·20a364b7f5f87b0d36942079c1ffdc9c·297884·python·optional·python3-cvc5_1.1.2-2_arm64.deb
⊟
2.26 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····95716·2024-03-19·00:06:23.000000·data.tar.xz3 -rw-r--r--···0········0········0····95668·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.77 KB
data.tar.xz
⊟
1.75 KB
data.tar
⊟
1.73 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:·5491f316bc2304a893bad0f1d6c29710249e1f106 ··GNU··················0x00000014»  NT_GNU_BUILD_ID·(unique·build·ID·bitstring)»   ····Build·ID:·48d5114ce602695e58bb1eb44bf021792d64bece
  
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
⊟
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·39316633·31366263·32333034·61383933·91f316bc2304a893 
3 ··0x00000010·62616430·66316436·63323937·31303234·bad0f1d6c29710242 ··0x00000000·64353131·34636536·30323639·35653538·d5114ce602695e58
 3 ··0x00000010·62623165·62343462·66303231·37393264·bb1eb44bf021792d
4 ··0x00000020·39653166·31302e64·65627567·00000000·9e1f10.debug....4 ··0x00000020·36346265·63652e64·65627567·00000000·64bece.debug....
5 ··0x00000030·327da50b····························2}..5 ··0x00000030·8e2a0348····························.*.H
  
⊟
38.6 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·····1276·2024-03-19·00:06:23.000000·control.tar.xz2 -rw-r--r--···0········0········0·····1280·2024-03-19·00:06:23.000000·control.tar.xz
3 -rw-r--r--···0········0········0··5712520·2024-03-19·00:06:23.000000·data.tar.xz3 -rw-r--r--···0········0········0··5714340·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
⊟
38.0 KB
data.tar.xz
⊟
38.0 KB
data.tar
⊟
38.0 KB
./usr/lib/aarch64-linux-gnu/libcvc5.so.1
File has been modified after NT_GNU_BUILD_ID has been applied.
⊟
13.3 KB
readelf --wide --relocs {}
    
Offset 3687, 15 lines modifiedOffset 3687, 15 lines modified
3687 00000000015cf6e8··0000000000000403·R_AARCH64_RELATIVE························130dac83687 00000000015cf6e8··0000000000000403·R_AARCH64_RELATIVE························130dac8
3688 00000000015cf6f0··0000000000000403·R_AARCH64_RELATIVE························130dad83688 00000000015cf6f0··0000000000000403·R_AARCH64_RELATIVE························130dad8
3689 00000000015cf6f8··0000000000000403·R_AARCH64_RELATIVE························130dae83689 00000000015cf6f8··0000000000000403·R_AARCH64_RELATIVE························130dae8
3690 00000000015cf700··0000000000000403·R_AARCH64_RELATIVE························130db003690 00000000015cf700··0000000000000403·R_AARCH64_RELATIVE························130db00
3691 00000000015cf708··0000000000000403·R_AARCH64_RELATIVE························130db183691 00000000015cf708··0000000000000403·R_AARCH64_RELATIVE························130db18
3692 00000000015cf710··0000000000000403·R_AARCH64_RELATIVE························130db283692 00000000015cf710··0000000000000403·R_AARCH64_RELATIVE························130db28
3693 00000000015cf718··0000000000000403·R_AARCH64_RELATIVE························130db383693 00000000015cf718··0000000000000403·R_AARCH64_RELATIVE························130db38
3694 00000000015cf720··0000000000000403·R_AARCH64_RELATIVE························130e6f83694 00000000015cf720··0000000000000403·R_AARCH64_RELATIVE························130e708
3695 00000000015cf728··0000000000000403·R_AARCH64_RELATIVE························130db503695 00000000015cf728··0000000000000403·R_AARCH64_RELATIVE························130db50
3696 00000000015cf730··0000000000000403·R_AARCH64_RELATIVE························130db603696 00000000015cf730··0000000000000403·R_AARCH64_RELATIVE························130db60
3697 00000000015cf738··0000000000000403·R_AARCH64_RELATIVE························130db783697 00000000015cf738··0000000000000403·R_AARCH64_RELATIVE························130db78
3698 00000000015cf740··0000000000000403·R_AARCH64_RELATIVE························12e04183698 00000000015cf740··0000000000000403·R_AARCH64_RELATIVE························12e0418
3699 00000000015cf748··0000000000000403·R_AARCH64_RELATIVE························130db883699 00000000015cf748··0000000000000403·R_AARCH64_RELATIVE························130db88
3700 00000000015cf750··0000000000000403·R_AARCH64_RELATIVE························130db983700 00000000015cf750··0000000000000403·R_AARCH64_RELATIVE························130db98
3701 00000000015cf758··0000000000000403·R_AARCH64_RELATIVE························130dba83701 00000000015cf758··0000000000000403·R_AARCH64_RELATIVE························130dba8
Offset 3867, 22 lines modifiedOffset 3867, 22 lines modified
3867 00000000015cfc88··0000000000000403·R_AARCH64_RELATIVE························1301b803867 00000000015cfc88··0000000000000403·R_AARCH64_RELATIVE························1301b80
3868 00000000015cfc90··0000000000000403·R_AARCH64_RELATIVE························130e6b83868 00000000015cfc90··0000000000000403·R_AARCH64_RELATIVE························130e6b8
3869 00000000015cfc98··0000000000000403·R_AARCH64_RELATIVE························130e6c03869 00000000015cfc98··0000000000000403·R_AARCH64_RELATIVE························130e6c0
3870 00000000015cfca0··0000000000000403·R_AARCH64_RELATIVE························12e1dc03870 00000000015cfca0··0000000000000403·R_AARCH64_RELATIVE························12e1dc0
3871 00000000015cfca8··0000000000000403·R_AARCH64_RELATIVE························130e6d03871 00000000015cfca8··0000000000000403·R_AARCH64_RELATIVE························130e6d0
3872 00000000015cfcb0··0000000000000403·R_AARCH64_RELATIVE························130e6e03872 00000000015cfcb0··0000000000000403·R_AARCH64_RELATIVE························130e6e0
3873 00000000015cfcb8··0000000000000403·R_AARCH64_RELATIVE························130e7403873 00000000015cfcb8··0000000000000403·R_AARCH64_RELATIVE························130e740
3874 00000000015cfcc0··0000000000000403·R_AARCH64_RELATIVE························130e7003874 00000000015cfcc0··0000000000000403·R_AARCH64_RELATIVE························130e6f8
3875 00000000015cfcc8··0000000000000403·R_AARCH64_RELATIVE························130e7103875 00000000015cfcc8··0000000000000403·R_AARCH64_RELATIVE························130e710
3876 00000000015cfcd0··0000000000000403·R_AARCH64_RELATIVE························130e7283876 00000000015cfcd0··0000000000000403·R_AARCH64_RELATIVE························130e728
3877 00000000015cfcd8··0000000000000403·R_AARCH64_RELATIVE························130e7503877 00000000015cfcd8··0000000000000403·R_AARCH64_RELATIVE························130e750
3878 00000000015cfce0··0000000000000403·R_AARCH64_RELATIVE························130e7683878 00000000015cfce0··0000000000000403·R_AARCH64_RELATIVE························130e768
3879 00000000015cfce8··0000000000000403·R_AARCH64_RELATIVE························130e7803879 00000000015cfce8··0000000000000403·R_AARCH64_RELATIVE························130e780
3880 00000000015cfcf0··0000000000000403·R_AARCH64_RELATIVE························130e7983880 00000000015cfcf0··0000000000000403·R_AARCH64_RELATIVE························130e798
3881 00000000015cfcf8··0000000000000403·R_AARCH64_RELATIVE························130f9403881 00000000015cfcf8··0000000000000403·R_AARCH64_RELATIVE························130f928
3882 00000000015cfd00··0000000000000403·R_AARCH64_RELATIVE························130e7a83882 00000000015cfd00··0000000000000403·R_AARCH64_RELATIVE························130e7a8
3883 00000000015cfd08··0000000000000403·R_AARCH64_RELATIVE························130e7b83883 00000000015cfd08··0000000000000403·R_AARCH64_RELATIVE························130e7b8
3884 00000000015cfd10··0000000000000403·R_AARCH64_RELATIVE························130e7c83884 00000000015cfd10··0000000000000403·R_AARCH64_RELATIVE························130e7c8
3885 00000000015cfd18··0000000000000403·R_AARCH64_RELATIVE························130e7d83885 00000000015cfd18··0000000000000403·R_AARCH64_RELATIVE························130e7d8
3886 00000000015cfd20··0000000000000403·R_AARCH64_RELATIVE························130e7e83886 00000000015cfd20··0000000000000403·R_AARCH64_RELATIVE························130e7e8
3887 00000000015cfd28··0000000000000403·R_AARCH64_RELATIVE························130e8003887 00000000015cfd28··0000000000000403·R_AARCH64_RELATIVE························130e800
3888 00000000015cfd30··0000000000000403·R_AARCH64_RELATIVE························130e8183888 00000000015cfd30··0000000000000403·R_AARCH64_RELATIVE························130e818
Offset 3924, 16 lines modifiedOffset 3924, 16 lines modified
3924 00000000015cfe50··0000000000000403·R_AARCH64_RELATIVE························130eb003924 00000000015cfe50··0000000000000403·R_AARCH64_RELATIVE························130eb00
3925 00000000015cfe58··0000000000000403·R_AARCH64_RELATIVE························130eb103925 00000000015cfe58··0000000000000403·R_AARCH64_RELATIVE························130eb10
3926 00000000015cfe60··0000000000000403·R_AARCH64_RELATIVE························130eb283926 00000000015cfe60··0000000000000403·R_AARCH64_RELATIVE························130eb28
3927 00000000015cfe68··0000000000000403·R_AARCH64_RELATIVE························130eb383927 00000000015cfe68··0000000000000403·R_AARCH64_RELATIVE························130eb38
3928 00000000015cfe70··0000000000000403·R_AARCH64_RELATIVE························130eb483928 00000000015cfe70··0000000000000403·R_AARCH64_RELATIVE························130eb48
3929 00000000015cfe78··0000000000000403·R_AARCH64_RELATIVE························130eb583929 00000000015cfe78··0000000000000403·R_AARCH64_RELATIVE························130eb58
3930 00000000015cfe80··0000000000000403·R_AARCH64_RELATIVE························12dcad83930 00000000015cfe80··0000000000000403·R_AARCH64_RELATIVE························12dcad8
3931 00000000015cfe88··0000000000000403·R_AARCH64_RELATIVE························130eb803931 00000000015cfe88··0000000000000403·R_AARCH64_RELATIVE························130eb68
3932 00000000015cfe90··0000000000000403·R_AARCH64_RELATIVE························130eb683932 00000000015cfe90··0000000000000403·R_AARCH64_RELATIVE························130eb78
3933 00000000015cfe98··0000000000000403·R_AARCH64_RELATIVE························130eb903933 00000000015cfe98··0000000000000403·R_AARCH64_RELATIVE························130eb90
3934 00000000015cfea0··0000000000000403·R_AARCH64_RELATIVE························130eba83934 00000000015cfea0··0000000000000403·R_AARCH64_RELATIVE························130eba8
3935 00000000015cfea8··0000000000000403·R_AARCH64_RELATIVE························130ebb03935 00000000015cfea8··0000000000000403·R_AARCH64_RELATIVE························130ebb0
3936 00000000015cfeb0··0000000000000403·R_AARCH64_RELATIVE························130ebc03936 00000000015cfeb0··0000000000000403·R_AARCH64_RELATIVE························130ebc0
3937 00000000015cfeb8··0000000000000403·R_AARCH64_RELATIVE························12cf9803937 00000000015cfeb8··0000000000000403·R_AARCH64_RELATIVE························12cf980
3938 00000000015cfec0··0000000000000403·R_AARCH64_RELATIVE························130ebe03938 00000000015cfec0··0000000000000403·R_AARCH64_RELATIVE························130ebe0
3939 00000000015cfec8··0000000000000403·R_AARCH64_RELATIVE························130ebf83939 00000000015cfec8··0000000000000403·R_AARCH64_RELATIVE························130ebf8
Offset 4104, 15 lines modifiedOffset 4104, 15 lines modified
4104 00000000015d03f0··0000000000000403·R_AARCH64_RELATIVE························130f8d84104 00000000015d03f0··0000000000000403·R_AARCH64_RELATIVE························130f8d8
4105 00000000015d03f8··0000000000000403·R_AARCH64_RELATIVE························130f8e84105 00000000015d03f8··0000000000000403·R_AARCH64_RELATIVE························130f8e8
4106 00000000015d0400··0000000000000403·R_AARCH64_RELATIVE························130f8f84106 00000000015d0400··0000000000000403·R_AARCH64_RELATIVE························130f8f8
4107 00000000015d0408··0000000000000403·R_AARCH64_RELATIVE························130f9104107 00000000015d0408··0000000000000403·R_AARCH64_RELATIVE························130f910
4108 00000000015d0410··0000000000000403·R_AARCH64_RELATIVE························12cf9284108 00000000015d0410··0000000000000403·R_AARCH64_RELATIVE························12cf928
4109 00000000015d0418··0000000000000403·R_AARCH64_RELATIVE························12cf8284109 00000000015d0418··0000000000000403·R_AARCH64_RELATIVE························12cf828
4110 00000000015d0420··0000000000000403·R_AARCH64_RELATIVE························130f9184110 00000000015d0420··0000000000000403·R_AARCH64_RELATIVE························130f918
4111 00000000015d0428··0000000000000403·R_AARCH64_RELATIVE························130f9284111 00000000015d0428··0000000000000403·R_AARCH64_RELATIVE························130f938
4112 00000000015d0430··0000000000000403·R_AARCH64_RELATIVE························13022a04112 00000000015d0430··0000000000000403·R_AARCH64_RELATIVE························13022a0
4113 00000000015d0438··0000000000000403·R_AARCH64_RELATIVE························13022a84113 00000000015d0438··0000000000000403·R_AARCH64_RELATIVE························13022a8
4114 00000000015d0440··0000000000000403·R_AARCH64_RELATIVE························12d30504114 00000000015d0440··0000000000000403·R_AARCH64_RELATIVE························12d3050
4115 00000000015d0448··0000000000000403·R_AARCH64_RELATIVE························13022984115 00000000015d0448··0000000000000403·R_AARCH64_RELATIVE························1302298
4116 00000000015d0450··0000000000000403·R_AARCH64_RELATIVE························130f0d04116 00000000015d0450··0000000000000403·R_AARCH64_RELATIVE························130f0d0
4117 00000000015d0458··0000000000000403·R_AARCH64_RELATIVE························130f6a04117 00000000015d0458··0000000000000403·R_AARCH64_RELATIVE························130f6a0
4118 00000000015d0460··0000000000000403·R_AARCH64_RELATIVE························13025b84118 00000000015d0460··0000000000000403·R_AARCH64_RELATIVE························13025b8
Offset 8313, 27 lines modifiedOffset 8313, 27 lines modified
8313 00000000015e2460··0000000000000403·R_AARCH64_RELATIVE························1323cb08313 00000000015e2460··0000000000000403·R_AARCH64_RELATIVE························1323cb0
8314 00000000015e2480··0000000000000403·R_AARCH64_RELATIVE························12cf8288314 00000000015e2480··0000000000000403·R_AARCH64_RELATIVE························12cf828
8315 00000000015e24a0··0000000000000403·R_AARCH64_RELATIVE························130d7188315 00000000015e24a0··0000000000000403·R_AARCH64_RELATIVE························130d718
8316 00000000015e24c0··0000000000000403·R_AARCH64_RELATIVE························1323cc88316 00000000015e24c0··0000000000000403·R_AARCH64_RELATIVE························1323cc8
8317 00000000015e24e0··0000000000000403·R_AARCH64_RELATIVE························130dbc08317 00000000015e24e0··0000000000000403·R_AARCH64_RELATIVE························130dbc0
8318 00000000015e2500··0000000000000403·R_AARCH64_RELATIVE························130dbd88318 00000000015e2500··0000000000000403·R_AARCH64_RELATIVE························130dbd8
8319 00000000015e2520··0000000000000403·R_AARCH64_RELATIVE························130dc108319 00000000015e2520··0000000000000403·R_AARCH64_RELATIVE························130dc10
8320 00000000015e2540··0000000000000403·R_AARCH64_RELATIVE························130e700 
8321 00000000015e2560··0000000000000403·R_AARCH64_RELATIVE························130e6f88320 00000000015e2540··0000000000000403·R_AARCH64_RELATIVE························130e6f8
 8321 00000000015e2560··0000000000000403·R_AARCH64_RELATIVE························130e708
8322 00000000015e2580··0000000000000403·R_AARCH64_RELATIVE························130e7108322 00000000015e2580··0000000000000403·R_AARCH64_RELATIVE························130e710
8323 00000000015e25a0··0000000000000403·R_AARCH64_RELATIVE························130e7288323 00000000015e25a0··0000000000000403·R_AARCH64_RELATIVE························130e728
8324 00000000015e25c0··0000000000000403·R_AARCH64_RELATIVE························130e7508324 00000000015e25c0··0000000000000403·R_AARCH64_RELATIVE························130e750
8325 00000000015e25e0··0000000000000403·R_AARCH64_RELATIVE························130e7408325 00000000015e25e0··0000000000000403·R_AARCH64_RELATIVE························130e740
8326 00000000015e2600··0000000000000403·R_AARCH64_RELATIVE························130e7688326 00000000015e2600··0000000000000403·R_AARCH64_RELATIVE························130e768
8327 00000000015e2620··0000000000000403·R_AARCH64_RELATIVE························130e7808327 00000000015e2620··0000000000000403·R_AARCH64_RELATIVE························130e780
8328 00000000015e2640··0000000000000403·R_AARCH64_RELATIVE························130e7988328 00000000015e2640··0000000000000403·R_AARCH64_RELATIVE························130e798
8329 00000000015e2660··0000000000000403·R_AARCH64_RELATIVE························130eb908329 00000000015e2660··0000000000000403·R_AARCH64_RELATIVE························130eb90
8330 00000000015e2680··0000000000000403·R_AARCH64_RELATIVE························1323cf08330 00000000015e2680··0000000000000403·R_AARCH64_RELATIVE························1323cf0
8331 00000000015e26a0··0000000000000403·R_AARCH64_RELATIVE························130f9288331 00000000015e26a0··0000000000000403·R_AARCH64_RELATIVE························130f938
8332 00000000015e26c0··0000000000000403·R_AARCH64_RELATIVE························130f9408332 00000000015e26c0··0000000000000403·R_AARCH64_RELATIVE························130f928
8333 00000000015e26e0··0000000000000403·R_AARCH64_RELATIVE························130e0308333 00000000015e26e0··0000000000000403·R_AARCH64_RELATIVE························130e030
8334 00000000015e2700··0000000000000403·R_AARCH64_RELATIVE························1323d088334 00000000015e2700··0000000000000403·R_AARCH64_RELATIVE························1323d08
8335 00000000015e2720··0000000000000403·R_AARCH64_RELATIVE························130e0f08335 00000000015e2720··0000000000000403·R_AARCH64_RELATIVE························130e0f0
8336 00000000015e2740··0000000000000403·R_AARCH64_RELATIVE························130e1388336 00000000015e2740··0000000000000403·R_AARCH64_RELATIVE························130e138
8337 00000000015e2760··0000000000000403·R_AARCH64_RELATIVE························1323d208337 00000000015e2760··0000000000000403·R_AARCH64_RELATIVE························1323d20
8338 00000000015e2780··0000000000000403·R_AARCH64_RELATIVE························130e1508338 00000000015e2780··0000000000000403·R_AARCH64_RELATIVE························130e150
8339 00000000015e27a0··0000000000000403·R_AARCH64_RELATIVE························1323d388339 00000000015e27a0··0000000000000403·R_AARCH64_RELATIVE························1323d38
Offset 8384, 16 lines modifiedOffset 8384, 16 lines modified
8384 00000000015e2d40··0000000000000403·R_AARCH64_RELATIVE························1323f088384 00000000015e2d40··0000000000000403·R_AARCH64_RELATIVE························1323f08
8385 00000000015e2d60··0000000000000403·R_AARCH64_RELATIVE························130eab08385 00000000015e2d60··0000000000000403·R_AARCH64_RELATIVE························130eab0
8386 00000000015e2d80··0000000000000403·R_AARCH64_RELATIVE························130ead08386 00000000015e2d80··0000000000000403·R_AARCH64_RELATIVE························130ead0
8387 00000000015e2da0··0000000000000403·R_AARCH64_RELATIVE························130e4408387 00000000015e2da0··0000000000000403·R_AARCH64_RELATIVE························130e440
8388 00000000015e2dc0··0000000000000403·R_AARCH64_RELATIVE························1323f208388 00000000015e2dc0··0000000000000403·R_AARCH64_RELATIVE························1323f20
8389 00000000015e2de0··0000000000000403·R_AARCH64_RELATIVE························12dfd408389 00000000015e2de0··0000000000000403·R_AARCH64_RELATIVE························12dfd40
8390 00000000015e2e00··0000000000000403·R_AARCH64_RELATIVE························130e8688390 00000000015e2e00··0000000000000403·R_AARCH64_RELATIVE························130e868
8391 00000000015e2e20··0000000000000403·R_AARCH64_RELATIVE························130eb808391 00000000015e2e20··0000000000000403·R_AARCH64_RELATIVE························130eb68
8392 00000000015e2e40··0000000000000403·R_AARCH64_RELATIVE························130eb688392 00000000015e2e40··0000000000000403·R_AARCH64_RELATIVE························130eb78
8393 00000000015e2e60··0000000000000403·R_AARCH64_RELATIVE························130eca08393 00000000015e2e60··0000000000000403·R_AARCH64_RELATIVE························130eca0
8394 00000000015e2e80··0000000000000403·R_AARCH64_RELATIVE························130ecb88394 00000000015e2e80··0000000000000403·R_AARCH64_RELATIVE························130ecb8
8395 00000000015e2ea0··0000000000000403·R_AARCH64_RELATIVE························130ed388395 00000000015e2ea0··0000000000000403·R_AARCH64_RELATIVE························130ed38
8396 00000000015e2ec0··0000000000000403·R_AARCH64_RELATIVE························130ed488396 00000000015e2ec0··0000000000000403·R_AARCH64_RELATIVE························130ed48
8397 00000000015e2ee0··0000000000000403·R_AARCH64_RELATIVE························130d9688397 00000000015e2ee0··0000000000000403·R_AARCH64_RELATIVE························130d968
8398 00000000015e2f00··0000000000000403·R_AARCH64_RELATIVE························1323f388398 00000000015e2f00··0000000000000403·R_AARCH64_RELATIVE························1323f38
8399 00000000015e2f20··0000000000000403·R_AARCH64_RELATIVE························130d9708399 00000000015e2f20··0000000000000403·R_AARCH64_RELATIVE························130d970
Offset 8865, 15 lines modifiedOffset 8865, 15 lines modified
8865 00000000015e6870··0000000000000403·R_AARCH64_RELATIVE························13321b08865 00000000015e6870··0000000000000403·R_AARCH64_RELATIVE························13321b0
8866 00000000015e6878··0000000000000403·R_AARCH64_RELATIVE························132d3108866 00000000015e6878··0000000000000403·R_AARCH64_RELATIVE························132d310
8867 00000000015e6898··0000000000000403·R_AARCH64_RELATIVE························13328e08867 00000000015e6898··0000000000000403·R_AARCH64_RELATIVE························13328e0
8868 00000000015e68a0··0000000000000403·R_AARCH64_RELATIVE························132d3188868 00000000015e68a0··0000000000000403·R_AARCH64_RELATIVE························132d318
8869 00000000015e68c0··0000000000000403·R_AARCH64_RELATIVE························13328c08869 00000000015e68c0··0000000000000403·R_AARCH64_RELATIVE························13328c0
8870 00000000015e68c8··0000000000000403·R_AARCH64_RELATIVE························132d3288870 00000000015e68c8··0000000000000403·R_AARCH64_RELATIVE························132d328
8871 00000000015e68e8··0000000000000403·R_AARCH64_RELATIVE························13328a88871 00000000015e68e8··0000000000000403·R_AARCH64_RELATIVE························13328a8
8872 00000000015e68f0··0000000000000403·R_AARCH64_RELATIVE························130e6f88872 00000000015e68f0··0000000000000403·R_AARCH64_RELATIVE························130e708
8873 00000000015e6910··0000000000000403·R_AARCH64_RELATIVE························13328888873 00000000015e6910··0000000000000403·R_AARCH64_RELATIVE························1332888
Max diff block lines reached; 1830/13522 bytes (13.53%) 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:·103998256d60b17e23ea0b4f36026e4996baeb476 ··GNU··················0x00000014»  NT_GNU_BUILD_ID·(unique·build·ID·bitstring)»   ····Build·ID:·a8b7f1f9f2d11ce52bb0316af7b1516f4d801e58
⊟
809 B
strings --all --bytes=8 {}
Ordering differences only
    
Offset 8951, 16 lines modifiedOffset 8951, 16 lines modified
8951 prop-row-length8951 prop-row-length
8952 purify-triggers8952 purify-triggers
8953 quant-alpha-equiv8953 quant-alpha-equiv
8954 quant-dsplit8954 quant-dsplit
8955 quant-fun-wd8955 quant-fun-wd
8956 quant-ind8956 quant-ind
8957 quant-rep-mode8957 quant-rep-mode
8958 random-frequency 
8959 random-freq8958 random-freq
 8959 random-frequency
8960 random-partitioning8960 random-partitioning
8961 re-inter-mode8961 re-inter-mode
8962 register-quant-body-terms8962 register-quant-body-terms
8963 relational-triggers8963 relational-triggers
8964 relevance-filter8964 relevance-filter
8965 relevant-triggers8965 relevant-triggers
8966 repeat-simp8966 repeat-simp
Offset 9106, 16 lines modifiedOffset 9106, 16 lines modified
9106 use-fcsimplex9106 use-fcsimplex
9107 use-portfolio9107 use-portfolio
9108 user-pat9108 user-pat
9109 user-pool9109 user-pool
9110 var-elim-quant9110 var-elim-quant
9111 var-ineq-elim-quant9111 var-ineq-elim-quant
9112 wf-checking9112 wf-checking
9113 write-partitions-to 
9114 partitions-out9113 partitions-out
 9114 write-partitions-to
9115 Argument·'9115 Argument·'
9116 '·for·bool·option·9116 '·for·bool·option·
9117 ·is·not·a·bool·constant9117 ·is·not·a·bool·constant
9118 Unrecognized·option·key·or·setting:·9118 Unrecognized·option·key·or·setting:·
9119 Ungettable·option·key·or·setting:·9119 Ungettable·option·key·or·setting:·
9120 ·is·not·a·legal·setting,·value·should·be·at·least·9120 ·is·not·a·legal·setting,·value·should·be·at·least·
9121 ·is·not·a·legal·setting,·value·should·be·at·most·9121 ·is·not·a·legal·setting,·value·should·be·at·most·
⊟
7.84 KB
objdump --line-numbers --disassemble --demangle --reloc --no-show-raw-insn --section=.text {}
    
Offset 73054, 23 lines modifiedOffset 73054, 23 lines modified
73054 »       mov»    w2,·#0x53··················»    //·#8373054 »       mov»    w2,·#0x53··················»    //·#83
73055 »       adrp»   x1,·130d000·<CaDiCaL::Internal::cover()@@Base+0x41c80>73055 »       adrp»   x1,·130d000·<CaDiCaL::Internal::cover()@@Base+0x41c80>
73056 »       add»    x0,·x19,·#0xd2073056 »       add»    x0,·x19,·#0xd20
73057 »       add»    x1,·x1,·#0xd1073057 »       add»    x1,·x1,·#0xd10
73058 »       str»    w2,·[sp,·#3400]73058 »       str»    w2,·[sp,·#3400]
73059 »       bl»     118ba40·<cvc5::internal::Options::Options()@@Base+0x14fc>73059 »       bl»     118ba40·<cvc5::internal::Options::Options()@@Base+0x14fc>
73060 »       mov»    w2,·#0x54··················»    //·#8473060 »       mov»    w2,·#0x54··················»    //·#84
73061 »       adrp»   x1,·130d000·<CaDiCaL::Internal::cover()@@Base+0x41c80>73061 »       adrp»   x1,·132b000·<CaDiCaL::Internal::cover()@@Base+0x5fc80>
73062 »       add»    x0,·x19,·#0xd4873062 »       add»    x0,·x19,·#0xd48
73063 »       add»    x1,·x1,·#0xd2873063 »       add»    x1,·x1,·#0xc30
73064 »       str»    w2,·[sp,·#3440]73064 »       str»    w2,·[sp,·#3440]
73065 »       bl»     118ba40·<cvc5::internal::Options::Options()@@Base+0x14fc>73065 »       bl»     118ba40·<cvc5::internal::Options::Options()@@Base+0x14fc>
73066 »       mov»    w2,·#0x55··················»    //·#8573066 »       mov»    w2,·#0x55··················»    //·#85
73067 »       adrp»   x1,·132b000·<CaDiCaL::Internal::cover()@@Base+0x5fc80>73067 »       adrp»   x1,·130d000·<CaDiCaL::Internal::cover()@@Base+0x41c80>
73068 »       add»    x0,·x19,·#0xd7073068 »       add»    x0,·x19,·#0xd70
73069 »       add»    x1,·x1,·#0xc3073069 »       add»    x1,·x1,·#0xd28
73070 »       str»    w2,·[sp,·#3480]73070 »       str»    w2,·[sp,·#3480]
73071 »       bl»     118ba40·<cvc5::internal::Options::Options()@@Base+0x14fc>73071 »       bl»     118ba40·<cvc5::internal::Options::Options()@@Base+0x14fc>
73072 »       mov»    w2,·#0x55··················»    //·#8573072 »       mov»    w2,·#0x55··················»    //·#85
73073 »       adrp»   x1,·1303000·<CaDiCaL::Internal::cover()@@Base+0x37c80>73073 »       adrp»   x1,·1303000·<CaDiCaL::Internal::cover()@@Base+0x37c80>
73074 »       add»    x0,·x19,·#0xd9873074 »       add»    x0,·x19,·#0xd98
73075 »       add»    x1,·x1,·#0x26073075 »       add»    x1,·x1,·#0x260
73076 »       str»    w2,·[sp,·#3520]73076 »       str»    w2,·[sp,·#3520]
Offset 73289, 24 lines modifiedOffset 73289, 24 lines modified
73289 »       adrp»   x1,·130d000·<CaDiCaL::Internal::cover()@@Base+0x41c80>73289 »       adrp»   x1,·130d000·<CaDiCaL::Internal::cover()@@Base+0x41c80>
73290 »       add»    x0,·x19,·x873290 »       add»    x0,·x19,·x8
73291 »       add»    x1,·x1,·#0xf8873291 »       add»    x1,·x1,·#0xf88
73292 »       str»    w2,·[sp,·#4840]73292 »       str»    w2,·[sp,·#4840]
73293 »       bl»     118ba40·<cvc5::internal::Options::Options()@@Base+0x14fc>73293 »       bl»     118ba40·<cvc5::internal::Options::Options()@@Base+0x14fc>
73294 »       mov»    w2,·#0x77··················»    //·#11973294 »       mov»    w2,·#0x77··················»    //·#119
73295 »       mov»    x7,·#0x12e8················»  //·#484073295 »       mov»    x7,·#0x12e8················»  //·#4840
73296 »       adrp»   x1,·130d000·<CaDiCaL::Internal::cover()@@Base+0x41c80>73296 »       adrp»   x1,·12cf000·<CaDiCaL::Internal::cover()@@Base+0x3c80>
73297 »       add»    x0,·x19,·x773297 »       add»    x0,·x19,·x7
73298 »       add»    x1,·x1,·#0xf9873298 »       add»    x1,·x1,·#0x950
73299 »       str»    w2,·[sp,·#4880]73299 »       str»    w2,·[sp,·#4880]
73300 »       bl»     118ba40·<cvc5::internal::Options::Options()@@Base+0x14fc>73300 »       bl»     118ba40·<cvc5::internal::Options::Options()@@Base+0x14fc>
73301 »       mov»    w2,·#0x78··················»    //·#12073301 »       mov»    w2,·#0x78··················»    //·#120
73302 »       mov»    x6,·#0x1310················»  //·#488073302 »       mov»    x6,·#0x1310················»  //·#4880
73303 »       adrp»   x1,·12cf000·<CaDiCaL::Internal::cover()@@Base+0x3c80>73303 »       adrp»   x1,·130d000·<CaDiCaL::Internal::cover()@@Base+0x41c80>
73304 »       add»    x0,·x19,·x673304 »       add»    x0,·x19,·x6
73305 »       add»    x1,·x1,·#0x95073305 »       add»    x1,·x1,·#0xf98
73306 »       str»    w2,·[sp,·#4920]73306 »       str»    w2,·[sp,·#4920]
73307 »       bl»     118ba40·<cvc5::internal::Options::Options()@@Base+0x14fc>73307 »       bl»     118ba40·<cvc5::internal::Options::Options()@@Base+0x14fc>
73308 »       mov»    w2,·#0x78··················»    //·#12073308 »       mov»    w2,·#0x78··················»    //·#120
73309 »       mov»    x5,·#0x1338················»  //·#492073309 »       mov»    x5,·#0x1338················»  //·#4920
73310 »       adrp»   x1,·130d000·<CaDiCaL::Internal::cover()@@Base+0x41c80>73310 »       adrp»   x1,·130d000·<CaDiCaL::Internal::cover()@@Base+0x41c80>
73311 »       add»    x0,·x19,·x573311 »       add»    x0,·x19,·x5
73312 »       add»    x1,·x1,·#0xfa073312 »       add»    x1,·x1,·#0xfa0
Offset 74079, 45 lines modifiedOffset 74079, 45 lines modified
74079 »       mov»    x3,·#0x2468················»  //·#932074079 »       mov»    x3,·#0x2468················»  //·#9320
74080 »       adrp»   x1,·1303000·<CaDiCaL::Internal::cover()@@Base+0x37c80>74080 »       adrp»   x1,·1303000·<CaDiCaL::Internal::cover()@@Base+0x37c80>
74081 »       add»    x0,·x19,·x374081 »       add»    x0,·x19,·x3
74082 »       add»    x1,·x1,·#0x1e074082 »       add»    x1,·x1,·#0x1e0
74083 »       str»    w2,·[sp,·#9360]74083 »       str»    w2,·[sp,·#9360]
74084 »       bl»     118ba40·<cvc5::internal::Options::Options()@@Base+0x14fc>74084 »       bl»     118ba40·<cvc5::internal::Options::Options()@@Base+0x14fc>
74085 »       mov»    w2,·#0xe6··················»    //·#23074085 »       mov»    w2,·#0xe6··················»    //·#230
74086 »       adrp»   x1,·12cf000·<CaDiCaL::Internal::cover()@@Base+0x3c80>74086 »       adrp»   x1,·1301000·<CaDiCaL::Internal::cover()@@Base+0x35c80>
74087 »       mov»    x0,·#0x2490················»  //·#936074087 »       mov»    x0,·#0x2490················»  //·#9360
74088 »       add»    x1,·x1,·#0x98074088 »       add»    x1,·x1,·#0xb80
74089 »       add»    x0,·x19,·x074089 »       add»    x0,·x19,·x0
74090 »       str»    w2,·[sp,·#9400]74090 »       str»    w2,·[sp,·#9400]
74091 »       bl»     118ba40·<cvc5::internal::Options::Options()@@Base+0x14fc>74091 »       bl»     118ba40·<cvc5::internal::Options::Options()@@Base+0x14fc>
74092 »       mov»    w2,·#0xe7··················»    //·#23174092 »       mov»    w2,·#0xe7··················»    //·#231
74093 »       mov»    x30,·#0x24b8················» //·#940074093 »       mov»    x30,·#0x24b8················» //·#9400
74094 »       adrp»   x1,·1301000·<CaDiCaL::Internal::cover()@@Base+0x35c80>74094 »       adrp»   x1,·12cf000·<CaDiCaL::Internal::cover()@@Base+0x3c80>
74095 »       add»    x0,·x19,·x3074095 »       add»    x0,·x19,·x30
74096 »       add»    x1,·x1,·#0xb8074096 »       add»    x1,·x1,·#0x980
74097 »       str»    w2,·[sp,·#9440]74097 »       str»    w2,·[sp,·#9440]
74098 »       bl»     118ba40·<cvc5::internal::Options::Options()@@Base+0x14fc>74098 »       bl»     118ba40·<cvc5::internal::Options::Options()@@Base+0x14fc>
74099 »       mov»    w2,·#0xe7··················»    //·#23174099 »       mov»    w2,·#0xe7··················»    //·#231
74100 »       adrp»   x1,·130e000·<CaDiCaL::Internal::cover()@@Base+0x42c80>74100 »       adrp»   x1,·130e000·<CaDiCaL::Internal::cover()@@Base+0x42c80>
74101 »       mov»    x28,·#0x24e0················» //·#944074101 »       mov»    x28,·#0x24e0················» //·#9440
74102 »       add»    x1,·x1,·#0x6b874102 »       add»    x1,·x1,·#0x6b8
74103 »       add»    x0,·x19,·x2874103 »       add»    x0,·x19,·x28
74104 »       str»    w2,·[sp,·#9480]74104 »       str»    w2,·[sp,·#9480]
74105 »       bl»     118ba40·<cvc5::internal::Options::Options()@@Base+0x14fc>74105 »       bl»     118ba40·<cvc5::internal::Options::Options()@@Base+0x14fc>
74106 »       mov»    w2,·#0xe8··················»    //·#23274106 »       mov»    w2,·#0xe8··················»    //·#232
74107 »       adrp»   x1,·130e000·<CaDiCaL::Internal::cover()@@Base+0x42c80>74107 »       adrp»   x1,·12e1000·<CaDiCaL::Internal::cover()@@Base+0x15c80>
74108 »       mov»    x27,·#0x2508················» //·#948074108 »       mov»    x27,·#0x2508················» //·#9480
74109 »       add»    x1,·x1,·#0x6c074109 »       add»    x1,·x1,·#0xdc0
74110 »       add»    x0,·x19,·x2774110 »       add»    x0,·x19,·x27
74111 »       str»    w2,·[sp,·#9520]74111 »       str»    w2,·[sp,·#9520]
74112 »       bl»     118ba40·<cvc5::internal::Options::Options()@@Base+0x14fc>74112 »       bl»     118ba40·<cvc5::internal::Options::Options()@@Base+0x14fc>
74113 »       mov»    w2,·#0xe9··················»    //·#23374113 »       mov»    w2,·#0xe9··················»    //·#233
74114 »       adrp»   x1,·12e1000·<CaDiCaL::Internal::cover()@@Base+0x15c80>74114 »       adrp»   x1,·130e000·<CaDiCaL::Internal::cover()@@Base+0x42c80>
74115 »       mov»    x26,·#0x2530················» //·#952074115 »       mov»    x26,·#0x2530················» //·#9520
74116 »       add»    x1,·x1,·#0xdc074116 »       add»    x1,·x1,·#0x6c0
74117 »       add»    x0,·x19,·x2674117 »       add»    x0,·x19,·x26
74118 »       str»    w2,·[sp,·#9560]74118 »       str»    w2,·[sp,·#9560]
74119 »       bl»     118ba40·<cvc5::internal::Options::Options()@@Base+0x14fc>74119 »       bl»     118ba40·<cvc5::internal::Options::Options()@@Base+0x14fc>
74120 »       mov»    w2,·#0xe9··················»    //·#23374120 »       mov»    w2,·#0xe9··················»    //·#233
74121 »       adrp»   x1,·130e000·<CaDiCaL::Internal::cover()@@Base+0x42c80>74121 »       adrp»   x1,·130e000·<CaDiCaL::Internal::cover()@@Base+0x42c80>
74122 »       mov»    x25,·#0x2558················» //·#956074122 »       mov»    x25,·#0x2558················» //·#9560
74123 »       add»    x1,·x1,·#0x6d074123 »       add»    x1,·x1,·#0x6d0
Offset 74137, 15 lines modifiedOffset 74137, 15 lines modified
74137 »       add»    x1,·x1,·#0x6f874137 »       add»    x1,·x1,·#0x6f8
74138 »       add»    x0,·x19,·x2374138 »       add»    x0,·x19,·x23
74139 »       str»    w2,·[sp,·#9680]74139 »       str»    w2,·[sp,·#9680]
74140 »       bl»     118ba40·<cvc5::internal::Options::Options()@@Base+0x14fc>74140 »       bl»     118ba40·<cvc5::internal::Options::Options()@@Base+0x14fc>
74141 »       mov»    w2,·#0xec··················»    //·#23674141 »       mov»    w2,·#0xec··················»    //·#236
74142 »       adrp»   x1,·130e000·<CaDiCaL::Internal::cover()@@Base+0x42c80>74142 »       adrp»   x1,·130e000·<CaDiCaL::Internal::cover()@@Base+0x42c80>
74143 »       mov»    x22,·#0x25d0················» //·#968074143 »       mov»    x22,·#0x25d0················» //·#9680
74144 »       add»    x1,·x1,·#0x70074144 »       add»    x1,·x1,·#0x708
74145 »       add»    x0,·x19,·x2274145 »       add»    x0,·x19,·x22
74146 »       str»    w2,·[sp,·#9720]74146 »       str»    w2,·[sp,·#9720]
74147 »       bl»     118ba40·<cvc5::internal::Options::Options()@@Base+0x14fc>74147 »       bl»     118ba40·<cvc5::internal::Options::Options()@@Base+0x14fc>
74148 »       mov»    w2,·#0xec··················»    //·#23674148 »       mov»    w2,·#0xec··················»    //·#236
74149 »       adrp»   x1,·130e000·<CaDiCaL::Internal::cover()@@Base+0x42c80>74149 »       adrp»   x1,·130e000·<CaDiCaL::Internal::cover()@@Base+0x42c80>
74150 »       mov»    x21,·#0x25f8················» //·#972074150 »       mov»    x21,·#0x25f8················» //·#9720
74151 »       add»    x1,·x1,·#0x71074151 »       add»    x1,·x1,·#0x710
Offset 74551, 15 lines modifiedOffset 74551, 15 lines modified
74551 »       add»    x1,·x1,·#0xb6874551 »       add»    x1,·x1,·#0xb68
74552 »       str»    w2,·[sp,·#12040]74552 »       str»    w2,·[sp,·#12040]
74553 »       bl»     118ba40·<cvc5::internal::Options::Options()@@Base+0x14fc>74553 »       bl»     118ba40·<cvc5::internal::Options::Options()@@Base+0x14fc>
74554 »       mov»    w2,·#0x124·················»   //·#29274554 »       mov»    w2,·#0x124·················»   //·#292
74555 »       mov»    x16,·#0x2f08················» //·#1204074555 »       mov»    x16,·#0x2f08················» //·#12040
74556 »       adrp»   x1,·130e000·<CaDiCaL::Internal::cover()@@Base+0x42c80>74556 »       adrp»   x1,·130e000·<CaDiCaL::Internal::cover()@@Base+0x42c80>
74557 »       add»    x0,·x19,·x1674557 »       add»    x0,·x19,·x16
74558 »       add»    x1,·x1,·#0xb8074558 »       add»    x1,·x1,·#0xb78
74559 »       str»    w2,·[sp,·#12080]74559 »       str»    w2,·[sp,·#12080]
74560 »       bl»     118ba40·<cvc5::internal::Options::Options()@@Base+0x14fc>74560 »       bl»     118ba40·<cvc5::internal::Options::Options()@@Base+0x14fc>
74561 »       mov»    w2,·#0x124·················»   //·#29274561 »       mov»    w2,·#0x124·················»   //·#292
74562 »       mov»    x15,·#0x2f30················» //·#1208074562 »       mov»    x15,·#0x2f30················» //·#12080
74563 »       adrp»   x1,·130e000·<CaDiCaL::Internal::cover()@@Base+0x42c80>74563 »       adrp»   x1,·130e000·<CaDiCaL::Internal::cover()@@Base+0x42c80>
74564 »       add»    x0,·x19,·x1574564 »       add»    x0,·x19,·x15
74565 »       add»    x1,·x1,·#0xb9074565 »       add»    x1,·x1,·#0xb90
Offset 74674, 24 lines modifiedOffset 74674, 24 lines modified
Max diff block lines reached; 2313/7845 bytes (29.48%) of diff not shown.
⊟
3.84 KB
readelf --wide --decompress --hex-dump=.rodata {}
    
Offset 17142, 16 lines modifiedOffset 17142, 16 lines modified
17142 ··0x0130e680·6f6e2d72·65706561·742d6974·652d7369·on-repeat-ite-si17142 ··0x0130e680·6f6e2d72·65706561·742d6974·652d7369·on-repeat-ite-si
17143 ··0x0130e690·6d700000·00000000·6f70742d·7265732d·mp......opt-res-17143 ··0x0130e690·6d700000·00000000·6f70742d·7265732d·mp......opt-res-
17144 ··0x0130e6a0·7265636f·6e737472·75637469·6f6e2d73·reconstruction-s17144 ··0x0130e6a0·7265636f·6e737472·75637469·6f6e2d73·reconstruction-s
17145 ··0x0130e6b0·697a6500·00000000·6f757470·75740000·ize.....output..17145 ··0x0130e6b0·697a6500·00000000·6f757470·75740000·ize.....output..
17146 ··0x0130e6c0·6f757470·75742d6c·616e6700·00000000·output-lang.....17146 ··0x0130e6c0·6f757470·75742d6c·616e6700·00000000·output-lang.....
17147 ··0x0130e6d0·70617273·652d6f6e·6c790000·00000000·parse-only......17147 ··0x0130e6d0·70617273·652d6f6e·6c790000·00000000·parse-only......
17148 ··0x0130e6e0·70617274·69616c2d·74726967·67657273·partial-triggers17148 ··0x0130e6e0·70617274·69616c2d·74726967·67657273·partial-triggers
17149 ··0x0130e6f0·00000000·00000000·63686563·6b000000·........check... 
17150 ··0x0130e700·70617274·6974696f·6e2d6368·65636b00·partition-check.17149 ··0x0130e6f0·00000000·00000000·70617274·6974696f·........partitio
 17150 ··0x0130e700·6e2d6368·65636b00·63686563·6b000000·n-check.check...
17151 ··0x0130e710·70617274·6974696f·6e2d636f·6e666c69·partition-confli17151 ··0x0130e710·70617274·6974696f·6e2d636f·6e666c69·partition-confli
17152 ··0x0130e720·63742d73·697a6500·70617274·6974696f·ct-size.partitio17152 ··0x0130e720·63742d73·697a6500·70617274·6974696f·ct-size.partitio
17153 ··0x0130e730·6e2d7374·6172742d·74696d65·00000000·n-start-time....17153 ··0x0130e730·6e2d7374·6172742d·74696d65·00000000·n-start-time....
17154 ··0x0130e740·70617274·6974696f·6e000000·00000000·partition.......17154 ··0x0130e740·70617274·6974696f·6e000000·00000000·partition.......
17155 ··0x0130e750·70617274·6974696f·6e2d7374·72617465·partition-strate17155 ··0x0130e750·70617274·6974696f·6e2d7374·72617465·partition-strate
17156 ··0x0130e760·67790000·00000000·70617274·6974696f·gy......partitio17156 ··0x0130e760·67790000·00000000·70617274·6974696f·gy......partitio
17157 ··0x0130e770·6e2d7469·6d652d69·6e746572·76616c00·n-time-interval.17157 ··0x0130e770·6e2d7469·6d652d69·6e746572·76616c00·n-time-interval.
Offset 17214, 16 lines modifiedOffset 17214, 16 lines modified
17214 ··0x0130eb00·70757269·66792d74·72696767·65727300·purify-triggers.17214 ··0x0130eb00·70757269·66792d74·72696767·65727300·purify-triggers.
17215 ··0x0130eb10·7175616e·742d616c·7068612d·65717569·quant-alpha-equi17215 ··0x0130eb10·7175616e·742d616c·7068612d·65717569·quant-alpha-equi
17216 ··0x0130eb20·76000000·00000000·7175616e·742d6473·v.......quant-ds17216 ··0x0130eb20·76000000·00000000·7175616e·742d6473·v.......quant-ds
17217 ··0x0130eb30·706c6974·00000000·7175616e·742d6675·plit....quant-fu17217 ··0x0130eb30·706c6974·00000000·7175616e·742d6675·plit....quant-fu
17218 ··0x0130eb40·6e2d7764·00000000·7175616e·742d696e·n-wd....quant-in17218 ··0x0130eb40·6e2d7764·00000000·7175616e·742d696e·n-wd....quant-in
17219 ··0x0130eb50·64000000·00000000·7175616e·742d7265·d.......quant-re17219 ··0x0130eb50·64000000·00000000·7175616e·742d7265·d.......quant-re
17220 ··0x0130eb60·702d6d6f·64650000·72616e64·6f6d2d66·p-mode..random-f17220 ··0x0130eb60·702d6d6f·64650000·72616e64·6f6d2d66·p-mode..random-f
 17221 ··0x0130eb70·72657100·00000000·72616e64·6f6d2d66·req.....random-f
17221 ··0x0130eb70·72657175·656e6379·00000000·00000000·requency........17222 ··0x0130eb80·72657175·656e6379·00000000·00000000·requency........
17222 ··0x0130eb80·72616e64·6f6d2d66·72657100·00000000·random-freq..... 
17223 ··0x0130eb90·72616e64·6f6d2d70·61727469·74696f6e·random-partition17223 ··0x0130eb90·72616e64·6f6d2d70·61727469·74696f6e·random-partition
17224 ··0x0130eba0·696e6700·00000000·72652d65·6c696d00·ing.....re-elim.17224 ··0x0130eba0·696e6700·00000000·72652d65·6c696d00·ing.....re-elim.
17225 ··0x0130ebb0·72652d69·6e746572·2d6d6f64·65000000·re-inter-mode...17225 ··0x0130ebb0·72652d69·6e746572·2d6d6f64·65000000·re-inter-mode...
17226 ··0x0130ebc0·72656769·73746572·2d717561·6e742d62·register-quant-b17226 ··0x0130ebc0·72656769·73746572·2d717561·6e742d62·register-quant-b
17227 ··0x0130ebd0·6f64792d·7465726d·73000000·00000000·ody-terms.......17227 ··0x0130ebd0·6f64792d·7465726d·73000000·00000000·ody-terms.......
17228 ··0x0130ebe0·72656c61·74696f6e·616c2d74·72696767·relational-trigg17228 ··0x0130ebe0·72656c61·74696f6e·616c2d74·72696767·relational-trigg
17229 ··0x0130ebf0·65727300·00000000·72656c65·76616e63·ers.....relevanc17229 ··0x0130ebf0·65727300·00000000·72656c65·76616e63·ers.....relevanc
Offset 17433, 17 lines modifiedOffset 17433, 17 lines modified
17433 ··0x0130f8b0·7573652d·706f7274·666f6c69·6f000000·use-portfolio...17433 ··0x0130f8b0·7573652d·706f7274·666f6c69·6f000000·use-portfolio...
17434 ··0x0130f8c0·7573652d·736f6900·75736572·2d706174·use-soi.user-pat17434 ··0x0130f8c0·7573652d·736f6900·75736572·2d706174·use-soi.user-pat
17435 ··0x0130f8d0·00000000·00000000·75736572·2d706f6f·........user-poo17435 ··0x0130f8d0·00000000·00000000·75736572·2d706f6f·........user-poo
17436 ··0x0130f8e0·6c000000·00000000·7661722d·656c696d·l.......var-elim17436 ··0x0130f8e0·6c000000·00000000·7661722d·656c696d·l.......var-elim
17437 ··0x0130f8f0·2d717561·6e740000·7661722d·696e6571·-quant..var-ineq17437 ··0x0130f8f0·2d717561·6e740000·7661722d·696e6571·-quant..var-ineq
17438 ··0x0130f900·2d656c69·6d2d7175·616e7400·00000000·-elim-quant.....17438 ··0x0130f900·2d656c69·6d2d7175·616e7400·00000000·-elim-quant.....
17439 ··0x0130f910·76657262·6f736500·77662d63·6865636b·verbose.wf-check17439 ··0x0130f910·76657262·6f736500·77662d63·6865636b·verbose.wf-check
17440 ··0x0130f920·696e6700·00000000·77726974·652d7061·ing.....write-pa17440 ··0x0130f920·696e6700·00000000·70617274·6974696f·ing.....partitio
 17441 ··0x0130f930·6e732d6f·75740000·77726974·652d7061·ns-out..write-pa
17441 ··0x0130f930·72746974·696f6e73·2d746f00·00000000·rtitions-to.....17442 ··0x0130f940·72746974·696f6e73·2d746f00·00000000·rtitions-to.....
17442 ··0x0130f940·70617274·6974696f·6e732d6f·75740000·partitions-out.. 
17443 ··0x0130f950·41726775·6d656e74·20270000·00000000·Argument·'......17443 ··0x0130f950·41726775·6d656e74·20270000·00000000·Argument·'......
17444 ··0x0130f960·2720666f·7220626f·6f6c206f·7074696f·'·for·bool·optio17444 ··0x0130f960·2720666f·7220626f·6f6c206f·7074696f·'·for·bool·optio
17445 ··0x0130f970·6e200000·00000000·20697320·6e6f7420·n·......·is·not·17445 ··0x0130f970·6e200000·00000000·20697320·6e6f7420·n·......·is·not·
17446 ··0x0130f980·6120626f·6f6c2063·6f6e7374·616e7400·a·bool·constant.17446 ··0x0130f980·6120626f·6f6c2063·6f6e7374·616e7400·a·bool·constant.
17447 ··0x0130f990·556e7265·636f676e·697a6564·206f7074·Unrecognized·opt17447 ··0x0130f990·556e7265·636f676e·697a6564·206f7074·Unrecognized·opt
17448 ··0x0130f9a0·696f6e20·6b657920·6f722073·65747469·ion·key·or·setti17448 ··0x0130f9a0·696f6e20·6b657920·6f722073·65747469·ion·key·or·setti
17449 ··0x0130f9b0·6e673a20·00000000·25660000·00000000·ng:·....%f......17449 ··0x0130f9b0·6e673a20·00000000·25660000·00000000·ng:·....%f......
⊟
4.71 KB
readelf --wide --decompress --hex-dump=.data.rel.ro {}
    
Offset 1860, 15 lines modifiedOffset 1860, 15 lines modified
1860 ··0x015cf6a8·28da3001·00000000·38da3001·00000000·(.0.....8.0.....1860 ··0x015cf6a8·28da3001·00000000·38da3001·00000000·(.0.....8.0.....
1861 ··0x015cf6b8·58da3001·00000000·68da3001·00000000·X.0.....h.0.....1861 ··0x015cf6b8·58da3001·00000000·68da3001·00000000·X.0.....h.0.....
1862 ··0x015cf6c8·80da3001·00000000·98da3001·00000000·..0.......0.....1862 ··0x015cf6c8·80da3001·00000000·98da3001·00000000·..0.......0.....
1863 ··0x015cf6d8·a8da3001·00000000·b8da3001·00000000·..0.......0.....1863 ··0x015cf6d8·a8da3001·00000000·b8da3001·00000000·..0.......0.....
1864 ··0x015cf6e8·c8da3001·00000000·d8da3001·00000000·..0.......0.....1864 ··0x015cf6e8·c8da3001·00000000·d8da3001·00000000·..0.......0.....
1865 ··0x015cf6f8·e8da3001·00000000·00db3001·00000000·..0.......0.....1865 ··0x015cf6f8·e8da3001·00000000·00db3001·00000000·..0.......0.....
1866 ··0x015cf708·18db3001·00000000·28db3001·00000000·..0.....(.0.....1866 ··0x015cf708·18db3001·00000000·28db3001·00000000·..0.....(.0.....
1867 ··0x015cf718·38db3001·00000000·f8e63001·00000000·8.0.......0.....1867 ··0x015cf718·38db3001·00000000·08e73001·00000000·8.0.......0.....
1868 ··0x015cf728·50db3001·00000000·60db3001·00000000·P.0.....`.0.....1868 ··0x015cf728·50db3001·00000000·60db3001·00000000·P.0.....`.0.....
1869 ··0x015cf738·78db3001·00000000·18042e01·00000000·x.0.............1869 ··0x015cf738·78db3001·00000000·18042e01·00000000·x.0.............
1870 ··0x015cf748·88db3001·00000000·98db3001·00000000·..0.......0.....1870 ··0x015cf748·88db3001·00000000·98db3001·00000000·..0.......0.....
1871 ··0x015cf758·a8db3001·00000000·c0db3001·00000000·..0.......0.....1871 ··0x015cf758·a8db3001·00000000·c0db3001·00000000·..0.......0.....
1872 ··0x015cf768·d8db3001·00000000·f8db3001·00000000·..0.......0.....1872 ··0x015cf768·d8db3001·00000000·f8db3001·00000000·..0.......0.....
1873 ··0x015cf778·10dc3001·00000000·28dc3001·00000000·..0.....(.0.....1873 ··0x015cf778·10dc3001·00000000·28dc3001·00000000·..0.....(.0.....
1874 ··0x015cf788·40dc3001·00000000·60dc3001·00000000·@.0.....`.0.....1874 ··0x015cf788·40dc3001·00000000·60dc3001·00000000·@.0.....`.0.....
Offset 1950, 19 lines modifiedOffset 1950, 19 lines modified
1950 ··0x015cfc48·28e63001·00000000·38e63001·00000000·(.0.....8.0.....1950 ··0x015cfc48·28e63001·00000000·38e63001·00000000·(.0.....8.0.....
1951 ··0x015cfc58·58e63001·00000000·60e63001·00000000·X.0.....`.0.....1951 ··0x015cfc58·58e63001·00000000·60e63001·00000000·X.0.....`.0.....
1952 ··0x015cfc68·68e63001·00000000·80e63001·00000000·h.0.......0.....1952 ··0x015cfc68·68e63001·00000000·80e63001·00000000·h.0.......0.....
1953 ··0x015cfc78·98e63001·00000000·e0313001·00000000·..0......10.....1953 ··0x015cfc78·98e63001·00000000·e0313001·00000000·..0......10.....
1954 ··0x015cfc88·801b3001·00000000·b8e63001·00000000·..0.......0.....1954 ··0x015cfc88·801b3001·00000000·b8e63001·00000000·..0.......0.....
1955 ··0x015cfc98·c0e63001·00000000·c01d2e01·00000000·..0.............1955 ··0x015cfc98·c0e63001·00000000·c01d2e01·00000000·..0.............
1956 ··0x015cfca8·d0e63001·00000000·e0e63001·00000000·..0.......0.....1956 ··0x015cfca8·d0e63001·00000000·e0e63001·00000000·..0.......0.....
1957 ··0x015cfcb8·40e73001·00000000·00e73001·00000000·@.0.......0.....1957 ··0x015cfcb8·40e73001·00000000·f8e63001·00000000·@.0.......0.....
1958 ··0x015cfcc8·10e73001·00000000·28e73001·00000000·..0.....(.0.....1958 ··0x015cfcc8·10e73001·00000000·28e73001·00000000·..0.....(.0.....
1959 ··0x015cfcd8·50e73001·00000000·68e73001·00000000·P.0.....h.0.....1959 ··0x015cfcd8·50e73001·00000000·68e73001·00000000·P.0.....h.0.....
1960 ··0x015cfce8·80e73001·00000000·98e73001·00000000·..0.......0.....1960 ··0x015cfce8·80e73001·00000000·98e73001·00000000·..0.......0.....
1961 ··0x015cfcf8·40f93001·00000000·a8e73001·00000000·@.0.......0.....1961 ··0x015cfcf8·28f93001·00000000·a8e73001·00000000·(.0.......0.....
1962 ··0x015cfd08·b8e73001·00000000·c8e73001·00000000·..0.......0.....1962 ··0x015cfd08·b8e73001·00000000·c8e73001·00000000·..0.......0.....
1963 ··0x015cfd18·d8e73001·00000000·e8e73001·00000000·..0.......0.....1963 ··0x015cfd18·d8e73001·00000000·e8e73001·00000000·..0.......0.....
1964 ··0x015cfd28·00e83001·00000000·18e83001·00000000·..0.......0.....1964 ··0x015cfd28·00e83001·00000000·18e83001·00000000·..0.......0.....
1965 ··0x015cfd38·30e83001·00000000·40e83001·00000000·0.0.....@.0.....1965 ··0x015cfd38·30e83001·00000000·40e83001·00000000·0.0.....@.0.....
1966 ··0x015cfd48·58e83001·00000000·68e83001·00000000·X.0.....h.0.....1966 ··0x015cfd48·58e83001·00000000·68e83001·00000000·X.0.....h.0.....
1967 ··0x015cfd58·80e83001·00000000·98e83001·00000000·..0.......0.....1967 ··0x015cfd58·80e83001·00000000·98e83001·00000000·..0.......0.....
1968 ··0x015cfd68·b0e83001·00000000·c0e83001·00000000·..0.......0.....1968 ··0x015cfd68·b0e83001·00000000·c0e83001·00000000·..0.......0.....
Offset 1979, 15 lines modifiedOffset 1979, 15 lines modified
1979 ··0x015cfe18·60ea3001·00000000·70ea3001·00000000·`.0.....p.0.....1979 ··0x015cfe18·60ea3001·00000000·70ea3001·00000000·`.0.....p.0.....
1980 ··0x015cfe28·80ea3001·00000000·98ea3001·00000000·..0.......0.....1980 ··0x015cfe28·80ea3001·00000000·98ea3001·00000000·..0.......0.....
1981 ··0x015cfe38·b0ea3001·00000000·d0ea3001·00000000·..0.......0.....1981 ··0x015cfe38·b0ea3001·00000000·d0ea3001·00000000·..0.......0.....
1982 ··0x015cfe48·f0ea3001·00000000·00eb3001·00000000·..0.......0.....1982 ··0x015cfe48·f0ea3001·00000000·00eb3001·00000000·..0.......0.....
1983 ··0x015cfe58·10eb3001·00000000·28eb3001·00000000·..0.....(.0.....1983 ··0x015cfe58·10eb3001·00000000·28eb3001·00000000·..0.....(.0.....
1984 ··0x015cfe68·38eb3001·00000000·48eb3001·00000000·8.0.....H.0.....1984 ··0x015cfe68·38eb3001·00000000·48eb3001·00000000·8.0.....H.0.....
1985 ··0x015cfe78·58eb3001·00000000·d8ca2d01·00000000·X.0.......-.....1985 ··0x015cfe78·58eb3001·00000000·d8ca2d01·00000000·X.0.......-.....
1986 ··0x015cfe88·80eb3001·00000000·68eb3001·00000000·..0.....h.0.....1986 ··0x015cfe88·68eb3001·00000000·78eb3001·00000000·h.0.....x.0.....
1987 ··0x015cfe98·90eb3001·00000000·a8eb3001·00000000·..0.......0.....1987 ··0x015cfe98·90eb3001·00000000·a8eb3001·00000000·..0.......0.....
1988 ··0x015cfea8·b0eb3001·00000000·c0eb3001·00000000·..0.......0.....1988 ··0x015cfea8·b0eb3001·00000000·c0eb3001·00000000·..0.......0.....
1989 ··0x015cfeb8·80f92c01·00000000·e0eb3001·00000000·..,.......0.....1989 ··0x015cfeb8·80f92c01·00000000·e0eb3001·00000000·..,.......0.....
1990 ··0x015cfec8·f8eb3001·00000000·10ec3001·00000000·..0.......0.....1990 ··0x015cfec8·f8eb3001·00000000·10ec3001·00000000·..0.......0.....
1991 ··0x015cfed8·28ec3001·00000000·38ec3001·00000000·(.0.....8.0.....1991 ··0x015cfed8·28ec3001·00000000·38ec3001·00000000·(.0.....8.0.....
1992 ··0x015cfee8·58ec3001·00000000·70ec3001·00000000·X.0.....p.0.....1992 ··0x015cfee8·58ec3001·00000000·70ec3001·00000000·X.0.....p.0.....
1993 ··0x015cfef8·88ec3001·00000000·98f92c01·00000000·..0.......,.....1993 ··0x015cfef8·88ec3001·00000000·98f92c01·00000000·..0.......,.....
Offset 2069, 15 lines modifiedOffset 2069, 15 lines modified
2069 ··0x015d03b8·28fd2d01·00000000·78f83001·00000000·(.-.....x.0.....2069 ··0x015d03b8·28fd2d01·00000000·78f83001·00000000·(.-.....x.0.....
2070 ··0x015d03c8·90f83001·00000000·a0f83001·00000000·..0.......0.....2070 ··0x015d03c8·90f83001·00000000·a0f83001·00000000·..0.......0.....
2071 ··0x015d03d8·b0f83001·00000000·c0f83001·00000000·..0.......0.....2071 ··0x015d03d8·b0f83001·00000000·c0f83001·00000000·..0.......0.....
2072 ··0x015d03e8·c8f83001·00000000·d8f83001·00000000·..0.......0.....2072 ··0x015d03e8·c8f83001·00000000·d8f83001·00000000·..0.......0.....
2073 ··0x015d03f8·e8f83001·00000000·f8f83001·00000000·..0.......0.....2073 ··0x015d03f8·e8f83001·00000000·f8f83001·00000000·..0.......0.....
2074 ··0x015d0408·10f93001·00000000·28f92c01·00000000·..0.....(.,.....2074 ··0x015d0408·10f93001·00000000·28f92c01·00000000·..0.....(.,.....
2075 ··0x015d0418·28f82c01·00000000·18f93001·00000000·(.,.......0.....2075 ··0x015d0418·28f82c01·00000000·18f93001·00000000·(.,.......0.....
2076 ··0x015d0428·28f93001·00000000·a0223001·00000000·(.0......"0.....2076 ··0x015d0428·38f93001·00000000·a0223001·00000000·8.0......"0.....
2077 ··0x015d0438·a8223001·00000000·50302d01·00000000·."0.....P0-.....2077 ··0x015d0438·a8223001·00000000·50302d01·00000000·."0.....P0-.....
2078 ··0x015d0448·98223001·00000000·d0f03001·00000000·."0.......0.....2078 ··0x015d0448·98223001·00000000·d0f03001·00000000·."0.......0.....
2079 ··0x015d0458·a0f63001·00000000·b8253001·00000000·..0......%0.....2079 ··0x015d0458·a0f63001·00000000·b8253001·00000000·..0......%0.....
2080 ··0x015d0468·28583001·00000000·c8d02d01·00000000·(X0.......-.....2080 ··0x015d0468·28583001·00000000·c8d02d01·00000000·(X0.......-.....
2081 ··0x015d0478·e03a3001·00000000·40432d01·00000000·.:0.....@C-.....2081 ··0x015d0478·e03a3001·00000000·40432d01·00000000·.:0.....@C-.....
2082 ··0x015d0488·58432d01·00000000·d83a3001·00000000·XC-......:0.....2082 ··0x015d0488·58432d01·00000000·d83a3001·00000000·XC-......:0.....
2083 ··0x015d0498·403b3001·00000000·503b3001·00000000·@;0.....P;0.....2083 ··0x015d0498·403b3001·00000000·503b3001·00000000·@;0.....P;0.....
⊟
6.03 KB
readelf --wide --decompress --hex-dump=.data {}
    
Offset 592, 17 lines modifiedOffset 592, 17 lines modified
592 ··0x015e24d0·00000000·00000000·ff010000·00000000·................592 ··0x015e24d0·00000000·00000000·ff010000·00000000·................
593 ··0x015e24e0·c0db3001·00000000·01000000·00000000·..0.............593 ··0x015e24e0·c0db3001·00000000·01000000·00000000·..0.............
594 ··0x015e24f0·00000000·00000000·00020000·00000000·................594 ··0x015e24f0·00000000·00000000·00020000·00000000·................
595 ··0x015e2500·d8db3001·00000000·01000000·00000000·..0.............595 ··0x015e2500·d8db3001·00000000·01000000·00000000·..0.............
596 ··0x015e2510·00000000·00000000·01020000·00000000·................596 ··0x015e2510·00000000·00000000·01020000·00000000·................
597 ··0x015e2520·10dc3001·00000000·01000000·00000000·..0.............597 ··0x015e2520·10dc3001·00000000·01000000·00000000·..0.............
598 ··0x015e2530·00000000·00000000·02020000·00000000·................598 ··0x015e2530·00000000·00000000·02020000·00000000·................
599 ··0x015e2540·00e73001·00000000·01000000·00000000·..0.............599 ··0x015e2540·f8e63001·00000000·01000000·00000000·..0.............
600 ··0x015e2550·00000000·00000000·03020000·00000000·................600 ··0x015e2550·00000000·00000000·03020000·00000000·................
601 ··0x015e2560·f8e63001·00000000·01000000·00000000·..0.............601 ··0x015e2560·08e73001·00000000·01000000·00000000·..0.............
602 ··0x015e2570·00000000·00000000·04020000·00000000·................602 ··0x015e2570·00000000·00000000·04020000·00000000·................
603 ··0x015e2580·10e73001·00000000·01000000·00000000·..0.............603 ··0x015e2580·10e73001·00000000·01000000·00000000·..0.............
604 ··0x015e2590·00000000·00000000·05020000·00000000·................604 ··0x015e2590·00000000·00000000·05020000·00000000·................
605 ··0x015e25a0·28e73001·00000000·01000000·00000000·(.0.............605 ··0x015e25a0·28e73001·00000000·01000000·00000000·(.0.............
606 ··0x015e25b0·00000000·00000000·06020000·00000000·................606 ··0x015e25b0·00000000·00000000·06020000·00000000·................
607 ··0x015e25c0·50e73001·00000000·01000000·00000000·P.0.............607 ··0x015e25c0·50e73001·00000000·01000000·00000000·P.0.............
608 ··0x015e25d0·00000000·00000000·07020000·00000000·................608 ··0x015e25d0·00000000·00000000·07020000·00000000·................
Offset 614, 17 lines modifiedOffset 614, 17 lines modified
614 ··0x015e2630·00000000·00000000·0a020000·00000000·................614 ··0x015e2630·00000000·00000000·0a020000·00000000·................
615 ··0x015e2640·98e73001·00000000·01000000·00000000·..0.............615 ··0x015e2640·98e73001·00000000·01000000·00000000·..0.............
616 ··0x015e2650·00000000·00000000·0b020000·00000000·................616 ··0x015e2650·00000000·00000000·0b020000·00000000·................
617 ··0x015e2660·90eb3001·00000000·00000000·00000000·..0.............617 ··0x015e2660·90eb3001·00000000·00000000·00000000·..0.............
618 ··0x015e2670·00000000·00000000·0c020000·00000000·................618 ··0x015e2670·00000000·00000000·0c020000·00000000·................
619 ··0x015e2680·f03c3201·00000000·00000000·00000000·.<2.............619 ··0x015e2680·f03c3201·00000000·00000000·00000000·.<2.............
620 ··0x015e2690·00000000·00000000·0d020000·00000000·................620 ··0x015e2690·00000000·00000000·0d020000·00000000·................
621 ··0x015e26a0·28f93001·00000000·01000000·00000000·(.0.............621 ··0x015e26a0·38f93001·00000000·01000000·00000000·8.0.............
622 ··0x015e26b0·00000000·00000000·0e020000·00000000·................622 ··0x015e26b0·00000000·00000000·0e020000·00000000·................
623 ··0x015e26c0·40f93001·00000000·01000000·00000000·@.0.............623 ··0x015e26c0·28f93001·00000000·01000000·00000000·(.0.............
624 ··0x015e26d0·00000000·00000000·0f020000·00000000·................624 ··0x015e26d0·00000000·00000000·0f020000·00000000·................
625 ··0x015e26e0·30e03001·00000000·00000000·00000000·0.0.............625 ··0x015e26e0·30e03001·00000000·00000000·00000000·0.0.............
626 ··0x015e26f0·00000000·00000000·10020000·00000000·................626 ··0x015e26f0·00000000·00000000·10020000·00000000·................
627 ··0x015e2700·083d3201·00000000·00000000·00000000·.=2.............627 ··0x015e2700·083d3201·00000000·00000000·00000000·.=2.............
628 ··0x015e2710·00000000·00000000·11020000·00000000·................628 ··0x015e2710·00000000·00000000·11020000·00000000·................
629 ··0x015e2720·f0e03001·00000000·01000000·00000000·..0.............629 ··0x015e2720·f0e03001·00000000·01000000·00000000·..0.............
630 ··0x015e2730·00000000·00000000·12020000·00000000·................630 ··0x015e2730·00000000·00000000·12020000·00000000·................
Offset 734, 17 lines modifiedOffset 734, 17 lines modified
734 ··0x015e2db0·00000000·00000000·46020000·00000000·........F.......734 ··0x015e2db0·00000000·00000000·46020000·00000000·........F.......
735 ··0x015e2dc0·203f3201·00000000·00000000·00000000··?2.............735 ··0x015e2dc0·203f3201·00000000·00000000·00000000··?2.............
736 ··0x015e2dd0·00000000·00000000·47020000·00000000·........G.......736 ··0x015e2dd0·00000000·00000000·47020000·00000000·........G.......
737 ··0x015e2de0·40fd2d01·00000000·01000000·00000000·@.-.............737 ··0x015e2de0·40fd2d01·00000000·01000000·00000000·@.-.............
738 ··0x015e2df0·00000000·00000000·48020000·00000000·........H.......738 ··0x015e2df0·00000000·00000000·48020000·00000000·........H.......
739 ··0x015e2e00·68e83001·00000000·01000000·00000000·h.0.............739 ··0x015e2e00·68e83001·00000000·01000000·00000000·h.0.............
740 ··0x015e2e10·00000000·00000000·49020000·00000000·........I.......740 ··0x015e2e10·00000000·00000000·49020000·00000000·........I.......
741 ··0x015e2e20·80eb3001·00000000·01000000·00000000·..0.............741 ··0x015e2e20·68eb3001·00000000·01000000·00000000·h.0.............
742 ··0x015e2e30·00000000·00000000·4a020000·00000000·........J.......742 ··0x015e2e30·00000000·00000000·4a020000·00000000·........J.......
743 ··0x015e2e40·68eb3001·00000000·01000000·00000000·h.0.............743 ··0x015e2e40·78eb3001·00000000·01000000·00000000·x.0.............
744 ··0x015e2e50·00000000·00000000·4b020000·00000000·........K.......744 ··0x015e2e50·00000000·00000000·4b020000·00000000·........K.......
745 ··0x015e2e60·a0ec3001·00000000·01000000·00000000·..0.............745 ··0x015e2e60·a0ec3001·00000000·01000000·00000000·..0.............
746 ··0x015e2e70·00000000·00000000·4c020000·00000000·........L.......746 ··0x015e2e70·00000000·00000000·4c020000·00000000·........L.......
747 ··0x015e2e80·b8ec3001·00000000·01000000·00000000·..0.............747 ··0x015e2e80·b8ec3001·00000000·01000000·00000000·..0.............
748 ··0x015e2e90·00000000·00000000·4d020000·00000000·........M.......748 ··0x015e2e90·00000000·00000000·4d020000·00000000·........M.......
749 ··0x015e2ea0·38ed3001·00000000·01000000·00000000·8.0.............749 ··0x015e2ea0·38ed3001·00000000·01000000·00000000·8.0.............
750 ··0x015e2eb0·00000000·00000000·4e020000·00000000·........N.......750 ··0x015e2eb0·00000000·00000000·4e020000·00000000·........N.......
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·e0283301·00000000·.........(3.....1676 ··0x015e6890·00000000·00000000·e0283301·00000000·.........(3.....
1677 ··0x015e68a0·18d33201·00000000·01000000·00000000·..2.............1677 ··0x015e68a0·18d33201·00000000·01000000·00000000·..2.............
1678 ··0x015e68b0·01000000·00000000·00000000·00000000·................1678 ··0x015e68b0·01000000·00000000·00000000·00000000·................
1679 ··0x015e68c0·c0283301·00000000·28d33201·00000000·.(3.....(.2.....1679 ··0x015e68c0·c0283301·00000000·28d33201·00000000·.(3.....(.2.....
1680 ··0x015e68d0·01000000·01000000·03000000·00000000·................1680 ··0x015e68d0·01000000·01000000·03000000·00000000·................
1681 ··0x015e68e0·00000000·00000000·a8283301·00000000·.........(3.....1681 ··0x015e68e0·00000000·00000000·a8283301·00000000·.........(3.....
1682 ··0x015e68f0·f8e63001·00000000·00000000·00000000·..0.............1682 ··0x015e68f0·08e73001·00000000·00000000·00000000·..0.............
1683 ··0x015e6900·01000000·00000000·00000000·00000000·................1683 ··0x015e6900·01000000·00000000·00000000·00000000·................
1684 ··0x015e6910·88283301·00000000·38d33201·00000000·.(3.....8.2.....1684 ··0x015e6910·88283301·00000000·38d33201·00000000·.(3.....8.2.....
1685 ··0x015e6920·01000000·00000000·01000000·00000000·................1685 ··0x015e6920·01000000·00000000·01000000·00000000·................
1686 ··0x015e6930·00000000·00000000·68283301·00000000·........h(3.....1686 ··0x015e6930·00000000·00000000·68283301·00000000·........h(3.....
1687 ··0x015e6940·50d33201·00000000·01000000·00000000·P.2.............1687 ··0x015e6940·50d33201·00000000·01000000·00000000·P.2.............
1688 ··0x015e6950·01000000·00000000·00000000·00000000·................1688 ··0x015e6950·01000000·00000000·00000000·00000000·................
1689 ··0x015e6960·48283301·00000000·60d33201·00000000·H(3.....`.2.....1689 ··0x015e6960·48283301·00000000·60d33201·00000000·H(3.....`.2.....
Offset 2102, 15 lines modifiedOffset 2102, 15 lines modified
2102 ··0x015e8330·10d33201·00000000·01000000·00000000·..2.............2102 ··0x015e8330·10d33201·00000000·01000000·00000000·..2.............
2103 ··0x015e8340·01000000·00000000·00000000·00000000·................2103 ··0x015e8340·01000000·00000000·00000000·00000000·................
2104 ··0x015e8350·e0283301·00000000·18d33201·00000000·.(3.......2.....2104 ··0x015e8350·e0283301·00000000·18d33201·00000000·.(3.......2.....
2105 ··0x015e8360·01000000·00000000·01000000·00000000·................2105 ··0x015e8360·01000000·00000000·01000000·00000000·................
2106 ··0x015e8370·00000000·00000000·c0283301·00000000·.........(3.....2106 ··0x015e8370·00000000·00000000·c0283301·00000000·.........(3.....
2107 ··0x015e8380·28d33201·00000000·01000000·01000000·(.2.............2107 ··0x015e8380·28d33201·00000000·01000000·01000000·(.2.............
2108 ··0x015e8390·03000000·00000000·00000000·00000000·................2108 ··0x015e8390·03000000·00000000·00000000·00000000·................
2109 ··0x015e83a0·a8283301·00000000·f8e63001·00000000·.(3.......0.....2109 ··0x015e83a0·a8283301·00000000·08e73001·00000000·.(3.......0.....
2110 ··0x015e83b0·00000000·00000000·01000000·00000000·................2110 ··0x015e83b0·00000000·00000000·01000000·00000000·................
2111 ··0x015e83c0·00000000·00000000·88283301·00000000·.........(3.....2111 ··0x015e83c0·00000000·00000000·88283301·00000000·.........(3.....
2112 ··0x015e83d0·38d33201·00000000·01000000·00000000·8.2.............2112 ··0x015e83d0·38d33201·00000000·01000000·00000000·8.2.............
2113 ··0x015e83e0·01000000·00000000·00000000·00000000·................2113 ··0x015e83e0·01000000·00000000·00000000·00000000·................
2114 ··0x015e83f0·68283301·00000000·50d33201·00000000·h(3.....P.2.....2114 ··0x015e83f0·68283301·00000000·50d33201·00000000·h(3.....P.2.....
2115 ··0x015e8400·01000000·00000000·01000000·00000000·................2115 ··0x015e8400·01000000·00000000·01000000·00000000·................
2116 ··0x015e8410·00000000·00000000·48283301·00000000·........H(3.....2116 ··0x015e8410·00000000·00000000·48283301·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·33393938·32353664·36306231·37653233·3998256d60b17e23 
3 ··0x00000010·65613062·34663336·30323665·34393936·ea0b4f36026e49962 ··0x00000000·62376631·66396632·64313163·65353262·b7f1f9f2d11ce52b
 3 ··0x00000010·62303331·36616637·62313531·36663464·b0316af7b1516f4d
4 ··0x00000020·62616562·34372e64·65627567·00000000·baeb47.debug....4 ··0x00000020·38303165·35382e64·65627567·00000000·801e58.debug....
5 ··0x00000030·068cd98a····························....5 ··0x00000030·660be26d····························f..m
  
⊟
2.11 KB
libcvc5parser1_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·····1260·2024-03-19·00:06:23.000000·control.tar.xz2 -rw-r--r--···0········0········0·····1260·2024-03-19·00:06:23.000000·control.tar.xz
3 -rw-r--r--···0········0········0···206616·2024-03-19·00:06:23.000000·data.tar.xz3 -rw-r--r--···0········0········0···206736·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:·efe58aaf75465840ce3d85ee70d9767d00992f906 ··GNU··················0x00000014»  NT_GNU_BUILD_ID·(unique·build·ID·bitstring)»   ····Build·ID:·970f41825131cf163d71a500179420f3b545290e
⊟
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·65353861·61663735·34363538·34306365·e58aaf75465840ce 
3 ··0x00000010·33643835·65653730·64393736·37643030·3d85ee70d9767d002 ··0x00000000·30663431·38323531·33316366·31363364·0f41825131cf163d
 3 ··0x00000010·37316135·30303137·39343230·66336235·71a500179420f3b5
4 ··0x00000020·39393266·39302e64·65627567·00000000·992f90.debug....4 ··0x00000020·34353239·30652e64·65627567·00000000·45290e.debug....
5 ··0x00000030·84240fac····························.$..5 ··0x00000030·c90594cc····························....
  
⊟
2.27 KB
python3-cvc5_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·····1672·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···297040·2024-03-19·00:06:23.000000·data.tar.xz3 -rw-r--r--···0········0········0···296016·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-313-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:·93af99550bc3d54244e026c13fd22adeb6e158316 ··GNU··················0x00000014»  NT_GNU_BUILD_ID·(unique·build·ID·bitstring)»   ····Build·ID:·166621ab2963bbf5d9a7fca5d62a2ca97a33ab6c
⊟
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·61663939·35353062·63336435·34323434·af99550bc3d54244 
3 ··0x00000010·65303236·63313366·64323261·64656236·e026c13fd22adeb62 ··0x00000000·36363231·61623239·36336262·66356439·6621ab2963bbf5d9
 3 ··0x00000010·61376663·61356436·32613263·61393761·a7fca5d62a2ca97a
4 ··0x00000020·65313538·33312e64·65627567·00000000·e15831.debug....4 ··0x00000020·33336162·36632e64·65627567·00000000·33ab6c.debug....
5 ··0x00000030·fe740272····························.t.r5 ··0x00000030·1cab1cc6····························....
  
⊟
37.4 MB
cvc5-dbgsym_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······528·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··1844452·2024-03-19·00:06:23.000000·data.tar.xz3 -rw-r--r--···0········0········0··1844500·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:·22947 Installed-Size:·2294
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:·5491f316bc2304a893bad0f1d6c29710249e1f1012 Build-Ids:·48d5114ce602695e58bb1eb44bf021792d64bece
⊟
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/54/91f316bc2304a893bad0f1d6c29710249e1f10.debug1 usr/lib/debug/.build-id/48/d5114ce602695e58bb1eb44bf021792d64bece.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/54/6 drwxr-xr-x···0·root·········(0)·root·········(0)········0·2024-03-19·00:06:23.000000·./usr/lib/debug/.build-id/48/
7 -rw-r--r--···0·root·········(0)·root·········(0)··2338520·2024-03-19·00:06:23.000000·./usr/lib/debug/.build-id/54/91f316bc2304a893bad0f1d6c29710249e1f10.debug7 -rw-r--r--···0·root·········(0)·root·········(0)··2338448·2024-03-19·00:06:23.000000·./usr/lib/debug/.build-id/48/d5114ce602695e58bb1eb44bf021792d64bece.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/54/91f316bc2304a893bad0f1d6c29710249e1f10.debug vs.
./usr/lib/debug/.build-id/48/d5114ce602695e58bb1eb44bf021792d64bece.debug
File has been modified after NT_GNU_BUILD_ID has been applied. Files 75% 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:···············0xb04011 ··Entry·point·address:···············0xb040
12 ··Start·of·program·headers:··········64·(bytes·into·file)12 ··Start·of·program·headers:··········64·(bytes·into·file)
13 ··Start·of·section·headers:··········2335960·(bytes·into·file)13 ··Start·of·section·headers:··········2335888·(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·0x23a4d8:1 There·are·40·section·headers,·starting·at·offset·0x23a490:
  
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·05aa9c·00001f·01··MS··0···0··132 ··[27]·.comment··········PROGBITS········0000000000000000·05aa9c·00001f·01··MS··0···0··1
33 ··[28]·.debug_aranges····PROGBITS········0000000000000000·05aac0·0001b9·00···C··0···0··833 ··[28]·.debug_aranges····PROGBITS········0000000000000000·05aac0·0001b9·00···C··0···0··8
34 ··[29]·.debug_info·······PROGBITS········0000000000000000·05ac80·15473e·00···C··0···0··834 ··[29]·.debug_info·······PROGBITS········0000000000000000·05ac80·15470c·00···C··0···0··8
35 ··[30]·.debug_abbrev·····PROGBITS········0000000000000000·1af3c0·0034cf·00···C··0···0··835 ··[30]·.debug_abbrev·····PROGBITS········0000000000000000·1af390·0034cf·00···C··0···0··8
36 ··[31]·.debug_line·······PROGBITS········0000000000000000·1b2890·00f4af·00···C··0···0··836 ··[31]·.debug_line·······PROGBITS········0000000000000000·1b2860·00f4af·00···C··0···0··8
37 ··[32]·.debug_str········PROGBITS········0000000000000000·1c1d40·02f6d6·01·MSC··0···0··837 ··[32]·.debug_str········PROGBITS········0000000000000000·1c1d10·02f6d3·01·MSC··0···0··8
38 ··[33]·.debug_line_str···PROGBITS········0000000000000000·1f1418·000803·01·MSC··0···0··838 ··[33]·.debug_line_str···PROGBITS········0000000000000000·1f13e8·000803·01·MSC··0···0··8
39 ··[34]·.debug_loclists···PROGBITS········0000000000000000·1f1c20·02fcd1·00···C··0···0··839 ··[34]·.debug_loclists···PROGBITS········0000000000000000·1f1bf0·02fcd1·00···C··0···0··8
40 ··[35]·.debug_macro······PROGBITS········0000000000000000·2218f8·00a518·00···C··0···0··840 ··[35]·.debug_macro······PROGBITS········0000000000000000·2218c8·00a4fa·00···C··0···0··8
41 ··[36]·.debug_rnglists···PROGBITS········0000000000000000·22be10·007095·00···C··0···0··841 ··[36]·.debug_rnglists···PROGBITS········0000000000000000·22bdc8·007095·00···C··0···0··8
42 ··[37]·.symtab···········SYMTAB··········0000000000000000·232ea8·003438·18·····38·261··842 ··[37]·.symtab···········SYMTAB··········0000000000000000·232e60·003438·18·····38·261··8
43 ··[38]·.strtab···········STRTAB··········0000000000000000·2362e0·004049·00······0···0··143 ··[38]·.strtab···········STRTAB··········0000000000000000·236298·004049·00······0···0··1
44 ··[39]·.shstrtab·········STRTAB··········0000000000000000·23a329·0001a9·00······0···0··144 ··[39]·.shstrtab·········STRTAB··········0000000000000000·23a2e1·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:·5491f316bc2304a893bad0f1d6c29710249e1f106 ··GNU··················0x00000014»  NT_GNU_BUILD_ID·(unique·build·ID·bitstring)»   ····Build·ID:·48d5114ce602695e58bb1eb44bf021792d64bece
  
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:·29·(DW_TAG_partial_unit)9 ·<0><c>:·Abbrev·Number:·29·(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:·0xa38de):·unsigned·char15 ····<18>···DW_AT_name········:·(strp)·(offset:·0xa3911):·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:·0x4a627):·short·unsigned·int19 ····<1f>···DW_AT_name········:·(strp)·(offset:·0x4a63e):·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:·0xbb9f9):·unsigned·int23 ····<26>···DW_AT_name········:·(strp)·(offset:·0xbba2c):·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:·0x7d169):·long·unsigned·int27 ····<2d>···DW_AT_name········:·(strp)·(offset:·0x7d180):·long·unsigned·int
28 ·<1><31>:·Abbrev·Number:·40·(DW_TAG_typedef)28 ·<1><31>:·Abbrev·Number:·40·(DW_TAG_typedef)
29 ····<32>···DW_AT_name········:·(strp)·(offset:·0xb5db):·__int8_t29 ····<32>···DW_AT_name········:·(strp)·(offset:·0xb5db):·__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:·0x718c9):·signed·char37 ····<3d>···DW_AT_name········:·(strp)·(offset:·0x718e0):·signed·char
38 ·<1><41>:·Abbrev·Number:·40·(DW_TAG_typedef)38 ·<1><41>:·Abbrev·Number:·40·(DW_TAG_typedef)
39 ····<42>···DW_AT_name········:·(strp)·(offset:·0x41949):·__uint8_t39 ····<42>···DW_AT_name········:·(strp)·(offset:·0x4192f):·__uint8_t
40 ····<46>···DW_AT_decl_file···:·(data1)·3140 ····<46>···DW_AT_decl_file···:·(data1)·31
41 ····<47>···DW_AT_decl_line···:·(data1)·3841 ····<47>···DW_AT_decl_line···:·(data1)·38
42 ····<48>···DW_AT_decl_column·:·(data1)·2342 ····<48>···DW_AT_decl_column·:·(data1)·23
43 ····<49>···DW_AT_type········:·(ref_udata)·<0x15>,·unsigned·char43 ····<49>···DW_AT_type········:·(ref_udata)·<0x15>,·unsigned·char
44 ·<1><4a>:·Abbrev·Number:·40·(DW_TAG_typedef)44 ·<1><4a>:·Abbrev·Number:·40·(DW_TAG_typedef)
45 ····<4b>···DW_AT_name········:·(strp)·(offset:·0xb450c):·__int16_t45 ····<4b>···DW_AT_name········:·(strp)·(offset:·0xb453f):·__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:·0x8b8bc):·short·int53 ····<56>···DW_AT_name········:·(strp)·(offset:·0x8b8d3):·short·int
54 ·<1><5a>:·Abbrev·Number:·40·(DW_TAG_typedef)54 ·<1><5a>:·Abbrev·Number:·40·(DW_TAG_typedef)
55 ····<5b>···DW_AT_name········:·(strp)·(offset:·0xb9262):·__uint16_t55 ····<5b>···DW_AT_name········:·(strp)·(offset:·0xb9295):·__uint16_t
56 ····<5f>···DW_AT_decl_file···:·(data1)·3156 ····<5f>···DW_AT_decl_file···:·(data1)·31
57 ····<60>···DW_AT_decl_line···:·(data1)·4057 ····<60>···DW_AT_decl_line···:·(data1)·40
58 ····<61>···DW_AT_decl_column·:·(data1)·2858 ····<61>···DW_AT_decl_column·:·(data1)·28
59 ····<62>···DW_AT_type········:·(ref_udata)·<0x1c>,·short·unsigned·int59 ····<62>···DW_AT_type········:·(ref_udata)·<0x1c>,·short·unsigned·int
60 ·<1><63>:·Abbrev·Number:·40·(DW_TAG_typedef)60 ·<1><63>:·Abbrev·Number:·40·(DW_TAG_typedef)
61 ····<64>···DW_AT_name········:·(strp)·(offset:·0x8b6f0):·__int32_t61 ····<64>···DW_AT_name········:·(strp)·(offset:·0x8b707):·__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:·22·(DW_TAG_base_type)66 ·<1><6c>:·Abbrev·Number:·22·(DW_TAG_base_type)
67 ····<6d>···DW_AT_byte_size···:·(data1)·467 ····<6d>···DW_AT_byte_size···:·(data1)·4
68 ····<6e>···DW_AT_encoding····:·(data1)·5»    (signed)68 ····<6e>···DW_AT_encoding····:·(data1)·5»    (signed)
69 ····<6f>···DW_AT_name········:·(string)·int69 ····<6f>···DW_AT_name········:·(string)·int
70 ·<1><73>:·Abbrev·Number:·34·(DW_TAG_const_type)70 ·<1><73>:·Abbrev·Number:·34·(DW_TAG_const_type)
71 ····<74>···DW_AT_type········:·(ref_udata)·<0x6c>,·int71 ····<74>···DW_AT_type········:·(ref_udata)·<0x6c>,·int
72 ·<1><75>:·Abbrev·Number:·40·(DW_TAG_typedef)72 ·<1><75>:·Abbrev·Number:·40·(DW_TAG_typedef)
73 ····<76>···DW_AT_name········:·(strp)·(offset:·0x90148):·__uint32_t73 ····<76>···DW_AT_name········:·(strp)·(offset:·0x9015f):·__uint32_t
74 ····<7a>···DW_AT_decl_file···:·(data1)·3174 ····<7a>···DW_AT_decl_file···:·(data1)·31
75 ····<7b>···DW_AT_decl_line···:·(data1)·4275 ····<7b>···DW_AT_decl_line···:·(data1)·42
76 ····<7c>···DW_AT_decl_column·:·(data1)·2276 ····<7c>···DW_AT_decl_column·:·(data1)·22
77 ····<7d>···DW_AT_type········:·(ref_udata)·<0x23>,·unsigned·int77 ····<7d>···DW_AT_type········:·(ref_udata)·<0x23>,·unsigned·int
78 ·<1><7e>:·Abbrev·Number:·40·(DW_TAG_typedef)78 ·<1><7e>:·Abbrev·Number:·40·(DW_TAG_typedef)
79 ····<7f>···DW_AT_name········:·(strp)·(offset:·0x63d34):·__int64_t79 ····<7f>···DW_AT_name········:·(strp)·(offset:·0x63d4b):·__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:·0xfe83):·long·int87 ····<8b>···DW_AT_name········:·(strp)·(offset:·0xfe83):·long·int
88 ·<1><8f>:·Abbrev·Number:·40·(DW_TAG_typedef)88 ·<1><8f>:·Abbrev·Number:·40·(DW_TAG_typedef)
89 ····<90>···DW_AT_name········:·(strp)·(offset:·0x68c83):·__uint64_t89 ····<90>···DW_AT_name········:·(strp)·(offset:·0x68c9a):·__uint64_t
90 ····<94>···DW_AT_decl_file···:·(data1)·3190 ····<94>···DW_AT_decl_file···:·(data1)·31
91 ····<95>···DW_AT_decl_line···:·(data1)·4591 ····<95>···DW_AT_decl_line···:·(data1)·45
92 ····<96>···DW_AT_decl_column·:·(data1)·2792 ····<96>···DW_AT_decl_column·:·(data1)·27
93 ····<97>···DW_AT_type········:·(ref_udata)·<0x2a>,·long·unsigned·int93 ····<97>···DW_AT_type········:·(ref_udata)·<0x2a>,·long·unsigned·int
94 ·<1><98>:·Abbrev·Number:·40·(DW_TAG_typedef)94 ·<1><98>:·Abbrev·Number:·40·(DW_TAG_typedef)
95 ····<99>···DW_AT_name········:·(strp)·(offset:·0x5a239):·__int_least8_t95 ····<99>···DW_AT_name········:·(strp)·(offset:·0x5a250):·__int_least8_t
96 ····<9d>···DW_AT_decl_file···:·(data1)·3196 ····<9d>···DW_AT_decl_file···:·(data1)·31
97 ····<9e>···DW_AT_decl_line···:·(data1)·5297 ····<9e>···DW_AT_decl_line···:·(data1)·52
98 ····<9f>···DW_AT_decl_column·:·(data1)·1898 ····<9f>···DW_AT_decl_column·:·(data1)·18
99 ····<a0>···DW_AT_type········:·(ref_udata)·<0x31>,·__int8_t,·signed·char99 ····<a0>···DW_AT_type········:·(ref_udata)·<0x31>,·__int8_t,·signed·char
100 ·<1><a1>:·Abbrev·Number:·40·(DW_TAG_typedef)100 ·<1><a1>:·Abbrev·Number:·40·(DW_TAG_typedef)
101 ····<a2>···DW_AT_name········:·(strp)·(offset:·0x60210):·__uint_least8_t101 ····<a2>···DW_AT_name········:·(strp)·(offset:·0x60227):·__uint_least8_t
102 ····<a6>···DW_AT_decl_file···:·(data1)·31102 ····<a6>···DW_AT_decl_file···:·(data1)·31
103 ····<a7>···DW_AT_decl_line···:·(data1)·53103 ····<a7>···DW_AT_decl_line···:·(data1)·53
104 ····<a8>···DW_AT_decl_column·:·(data1)·19104 ····<a8>···DW_AT_decl_column·:·(data1)·19
105 ····<a9>···DW_AT_type········:·(ref_udata)·<0x41>,·__uint8_t,·unsigned·char105 ····<a9>···DW_AT_type········:·(ref_udata)·<0x41>,·__uint8_t,·unsigned·char
106 ·<1><aa>:·Abbrev·Number:·40·(DW_TAG_typedef)106 ·<1><aa>:·Abbrev·Number:·40·(DW_TAG_typedef)
107 ····<ab>···DW_AT_name········:·(strp)·(offset:·0x80285):·__int_least16_t107 ····<ab>···DW_AT_name········:·(strp)·(offset:·0x8029c):·__int_least16_t
108 ····<af>···DW_AT_decl_file···:·(data1)·31108 ····<af>···DW_AT_decl_file···:·(data1)·31
109 ····<b0>···DW_AT_decl_line···:·(data1)·54109 ····<b0>···DW_AT_decl_line···:·(data1)·54
110 ····<b1>···DW_AT_decl_column·:·(data1)·19110 ····<b1>···DW_AT_decl_column·:·(data1)·19
111 ····<b2>···DW_AT_type········:·(ref_udata)·<0x4a>,·__int16_t,·short·int111 ····<b2>···DW_AT_type········:·(ref_udata)·<0x4a>,·__int16_t,·short·int
112 ·<1><b3>:·Abbrev·Number:·40·(DW_TAG_typedef)112 ·<1><b3>:·Abbrev·Number:·40·(DW_TAG_typedef)
113 ····<b4>···DW_AT_name········:·(strp)·(offset:·0x10dd6):·__uint_least16_t113 ····<b4>···DW_AT_name········:·(strp)·(offset:·0x10dd6):·__uint_least16_t
114 ····<b8>···DW_AT_decl_file···:·(data1)·31114 ····<b8>···DW_AT_decl_file···:·(data1)·31
115 ····<b9>···DW_AT_decl_line···:·(data1)·55115 ····<b9>···DW_AT_decl_line···:·(data1)·55
116 ····<ba>···DW_AT_decl_column·:·(data1)·20116 ····<ba>···DW_AT_decl_column·:·(data1)·20
117 ····<bb>···DW_AT_type········:·(ref_udata)·<0x5a>,·__uint16_t,·short·unsigned·int117 ····<bb>···DW_AT_type········:·(ref_udata)·<0x5a>,·__uint16_t,·short·unsigned·int
118 ·<1><bc>:·Abbrev·Number:·40·(DW_TAG_typedef)118 ·<1><bc>:·Abbrev·Number:·40·(DW_TAG_typedef)
119 ····<bd>···DW_AT_name········:·(strp)·(offset:·0x57231):·__int_least32_t119 ····<bd>···DW_AT_name········:·(strp)·(offset:·0x57248):·__int_least32_t
120 ····<c1>···DW_AT_decl_file···:·(data1)·31120 ····<c1>···DW_AT_decl_file···:·(data1)·31
121 ····<c2>···DW_AT_decl_line···:·(data1)·56121 ····<c2>···DW_AT_decl_line···:·(data1)·56
122 ····<c3>···DW_AT_decl_column·:·(data1)·19122 ····<c3>···DW_AT_decl_column·:·(data1)·19
123 ····<c4>···DW_AT_type········:·(ref_udata)·<0x63>,·__int32_t,·int123 ····<c4>···DW_AT_type········:·(ref_udata)·<0x63>,·__int32_t,·int
124 ·<1><c5>:·Abbrev·Number:·40·(DW_TAG_typedef)124 ·<1><c5>:·Abbrev·Number:·40·(DW_TAG_typedef)
125 ····<c6>···DW_AT_name········:·(strp)·(offset:·0xcaf7d):·__uint_least32_t125 ····<c6>···DW_AT_name········:·(strp)·(offset:·0xcaf63):·__uint_least32_t
126 ····<ca>···DW_AT_decl_file···:·(data1)·31126 ····<ca>···DW_AT_decl_file···:·(data1)·31
127 ····<cb>···DW_AT_decl_line···:·(data1)·57127 ····<cb>···DW_AT_decl_line···:·(data1)·57
128 ····<cc>···DW_AT_decl_column·:·(data1)·20128 ····<cc>···DW_AT_decl_column·:·(data1)·20
129 ····<cd>···DW_AT_type········:·(ref_udata)·<0x75>,·__uint32_t,·unsigned·int129 ····<cd>···DW_AT_type········:·(ref_udata)·<0x75>,·__uint32_t,·unsigned·int
130 ·<1><ce>:·Abbrev·Number:·40·(DW_TAG_typedef)130 ·<1><ce>:·Abbrev·Number:·40·(DW_TAG_typedef)
131 ····<cf>···DW_AT_name········:·(strp)·(offset:·0x2f198):·__int_least64_t131 ····<cf>···DW_AT_name········:·(strp)·(offset:·0x2f17e):·__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; 37480147/37488254 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 1814, 16 lines modifiedOffset 1814, 16 lines modified
1814 ·DW_MACRO_define_strp·-·lineno·:·0·macro·:·_GNU_SOURCE·11814 ·DW_MACRO_define_strp·-·lineno·:·0·macro·:·_GNU_SOURCE·1
1815 ·DW_MACRO_define_strp·-·lineno·:·0·macro·:·CVC5_STATISTICS_ON·11815 ·DW_MACRO_define_strp·-·lineno·:·0·macro·:·CVC5_STATISTICS_ON·1
1816 ·DW_MACRO_define_strp·-·lineno·:·0·macro·:·CVC5_USE_CRYPTOMINISAT·11816 ·DW_MACRO_define_strp·-·lineno·:·0·macro·:·CVC5_USE_CRYPTOMINISAT·1
1817 ·DW_MACRO_define_strp·-·lineno·:·0·macro·:·NDEBUG·11817 ·DW_MACRO_define_strp·-·lineno·:·0·macro·:·NDEBUG·1
1818 ·DW_MACRO_define_strp·-·lineno·:·0·macro·:·__BUILDING_CVC5DRIVER·11818 ·DW_MACRO_define_strp·-·lineno·:·0·macro·:·__BUILDING_CVC5DRIVER·1
1819 ·DW_MACRO_define_strp·-·lineno·:·0·macro·:·cvc5_obj_EXPORTS·11819 ·DW_MACRO_define_strp·-·lineno·:·0·macro·:·cvc5_obj_EXPORTS·1
1820 ·DW_MACRO_define_strp·-·lineno·:·0·macro·:·_FORTIFY_SOURCE·21820 ·DW_MACRO_define_strp·-·lineno·:·0·macro·:·_FORTIFY_SOURCE·2
1821 ·DW_MACRO_define_strp·-·lineno·:·0·macro·:·DEB_BUILD_DATE·"2024-03-18"1821 ·DW_MACRO_define_strp·-·lineno·:·0·macro·:·DEB_BUILD_DATE·"2024-03-19"
1822 ·DW_MACRO_define_strp·-·lineno·:·0·macro·:·DEB_BUILD_TIME·"12:06:23"1822 ·DW_MACRO_define_strp·-·lineno·:·0·macro·:·DEB_BUILD_TIME·"14:06:23"
  
1823 ··Offset:······················0x1e411823 ··Offset:······················0x1e41
1824 ··Version:·····················51824 ··Version:·····················5
1825 ··Offset·size:·················41825 ··Offset·size:·················4
  
1826 ·DW_MACRO_define_strp·-·lineno·:·19·macro·:·_STDC_PREDEF_H·11826 ·DW_MACRO_define_strp·-·lineno·:·19·macro·:·_STDC_PREDEF_H·1
1827 ·DW_MACRO_define_strp·-·lineno·:·38·macro·:·__STDC_IEC_559__·11827 ·DW_MACRO_define_strp·-·lineno·:·38·macro·:·__STDC_IEC_559__·1
Offset 14312, 16 lines modifiedOffset 14312, 16 lines modified
14312 ·DW_MACRO_define_strp·-·lineno·:·0·macro·:·_GNU_SOURCE·114312 ·DW_MACRO_define_strp·-·lineno·:·0·macro·:·_GNU_SOURCE·1
14313 ·DW_MACRO_define_strp·-·lineno·:·0·macro·:·CVC5_STATISTICS_ON·114313 ·DW_MACRO_define_strp·-·lineno·:·0·macro·:·CVC5_STATISTICS_ON·1
14314 ·DW_MACRO_define_strp·-·lineno·:·0·macro·:·CVC5_USE_CRYPTOMINISAT·114314 ·DW_MACRO_define_strp·-·lineno·:·0·macro·:·CVC5_USE_CRYPTOMINISAT·1
14315 ·DW_MACRO_define_strp·-·lineno·:·0·macro·:·NDEBUG·114315 ·DW_MACRO_define_strp·-·lineno·:·0·macro·:·NDEBUG·1
14316 ·DW_MACRO_define_strp·-·lineno·:·0·macro·:·__BUILDING_CVC5DRIVER·114316 ·DW_MACRO_define_strp·-·lineno·:·0·macro·:·__BUILDING_CVC5DRIVER·1
14317 ·DW_MACRO_define_strp·-·lineno·:·0·macro·:·cvc5_obj_EXPORTS·114317 ·DW_MACRO_define_strp·-·lineno·:·0·macro·:·cvc5_obj_EXPORTS·1
14318 ·DW_MACRO_define_strp·-·lineno·:·0·macro·:·_FORTIFY_SOURCE·214318 ·DW_MACRO_define_strp·-·lineno·:·0·macro·:·_FORTIFY_SOURCE·2
14319 ·DW_MACRO_define_strp·-·lineno·:·0·macro·:·DEB_BUILD_DATE·"2024-03-18"14319 ·DW_MACRO_define_strp·-·lineno·:·0·macro·:·DEB_BUILD_DATE·"2024-03-19"
14320 ·DW_MACRO_define_strp·-·lineno·:·0·macro·:·DEB_BUILD_TIME·"12:06:23"14320 ·DW_MACRO_define_strp·-·lineno·:·0·macro·:·DEB_BUILD_TIME·"14:06:23"
  
14321 ··Offset:······················0x134da14321 ··Offset:······················0x134da
14322 ··Version:·····················514322 ··Version:·····················5
14323 ··Offset·size:·················414323 ··Offset·size:·················4
  
14324 ·DW_MACRO_define_strp·-·lineno·:·35·macro·:·RLIMIT_CPU·RLIMIT_CPU14324 ·DW_MACRO_define_strp·-·lineno·:·35·macro·:·RLIMIT_CPU·RLIMIT_CPU
14325 ·DW_MACRO_define_strp·-·lineno·:·39·macro·:·RLIMIT_FSIZE·RLIMIT_FSIZE14325 ·DW_MACRO_define_strp·-·lineno·:·39·macro·:·RLIMIT_FSIZE·RLIMIT_FSIZE
⊟
8.58 KB
strings --all --bytes=8 {}
    
Offset 1, 353 lines modifiedOffset 1, 333 lines modified
1 GCC:·(Debian·14.2.0-19)·14.2.01 GCC:·(Debian·14.2.0-19)·14.2.0
2 D$&sEG\i2 D$&sEG\i
 3 7%\/0ufnQ!
 4 $Bdtbgv&B
 5 sqWpane!
 6 S|}>cVP!.UWC
 7 B|+TALih
 8 Jm=X3B38
 9 2fg[odR!f47
 10 %>h"Vo*~
 11 kE~^t`13a
 12 Fu[*ux,x&[
 13 ?({PDQpyX
 14 ^md@$-P0
 15 /pD*tMh?
 16 @9,qr!L/
 17 S]'Y=(ar
 18 _<l^9..G
 19 I8"IrI}x"
 20 'JGai8FbL
 21 R<!!u|dC
 22 n-PAAu^p
 23 Ph6'SKouCmC
 24 4Eb·BLRV
 25 64w»    {.0-
 26 /ZQ^1qr-
 27 'c]_.&~%L?V"
 28 Y»      dc?uCmm
 29 [·n+#I\l7
 30 f"&C0V>W
 31 injFwT@Em
 32 H`j1#a74
 33 @S6.0.ml
 34 {IS}og+jt
 35 Gh{!wr=<Rk
3 :_ba:>5rd7= 
4 #/A9N~cT 
5 K=LszxfT<L 
6 RcrG5txJ 
7 DoGb4F^5T 
8 <x)Tx>,~UP) 
9 lW|:2XeW 
10 XTc[DBS" 
11 bOK+xQ!:V*Q 
12 C"DVOvA/" 
13 \*DBg#l. 
14 !n#!fGY\ 
15 gp7$Bx.VA 
16 !?u"Da#= 
17 »       [5`XZo) 
18 3w{77Wr) 
19 XM+Tb35m 
20 ?tOk*0q0,S 
21 MbT]b)Xa 
22 C=2$g'[p 
23 Kvh.mgFQ 
24 .G/*G1[G 
25 9_q.vjMx9D{0 
26 v&_B}0v*· 
27 sS%;Z[jc) 
28 8.RCXJS: 
29 w-llF3I+ 
30 LxJ#+Q~x 
31 vJ)Af;[ke 
32 <=c<%)S7 
33 RCeW?·B9Q 
34 %:X!@qRJ 
35 pJlR+LnU 
36 zgysv_F0 
37 J#Yx.(@e* 
38 v·Fuj;>o'6 
39 zFV9Qu&i 
40 <URn»   1S% 
41 I»      eW[q3_Oa 
42 \euyG:QL 
43 p^!Gw·jX 
44 >|J66VJudH+ 
45 <otEOSmK 
46 QYQ-?^+e_ 
47 '*lM4zS%[ 
48 OUNqo"DD6 
49 d2d·E»   V{l 
50 [m~gp:+: 
51 =meb?yt1L/V 
52 cBtc12`o 
53 x'`-Q*Zdi36 y'`-Q*Zdi
54 8*U8*ueR 
55 `nfH%v37' 
56 &3WWBIIf 
57 "k\"Wg&n&# 
58 vc,/9.!7 
59 zwk)BK~k_ 
60 =H·t-.X+ASs 
61 MRl6y9lt 
62 -gpx?l#\*7LY 
63 JTF5-=Eu 
64 )|\BS-hs 
65 wKBk*7y·e 
66 E=·v`6eH 
67 ;T>3z+wa 
68 OeSV8SgJ[ 
69 4!++2!&R 
70 <>byF8N\ 
71 A\fi#»  o4eR 
72 bS-w)-Zj 
73 O,wj<^#~ 
74 bm]`L.s= 
75 8EcNqIBL 
76 M/yenu2·V 
77 ms\hf>-Vg»       
78 aE!e8BjI 
79 .,vCIe8]j 
80 E|\j[3M+ 
81 b_;!fuBls 
82 YGz@J)0· 
83 (4\Fym7ir 
84 #eRlJ(M3 
85 O9IcNzLu 
86 Rga{tzj@g37 ]R0KWg@:
 38 w>·W<P}U
 39 a@nVP)2·"7h
 40 H1K4h%ZR
 41 ywEg?~"R.
 42 |lywm2z58
 43 0;M(}1XpJ
 44 Z\d8;"JU
 45 pC+s·?GTM^
Max diff block lines reached; 6944/8738 bytes (79.47%) 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 2195, 11039 lines modifiedOffset 2195, 11039 lines modified
2195 ··[·2230b]··_____fpos_t_defined·12195 ··[·2230b]··_____fpos_t_defined·1
2196 ··[·22321]··__normal_iterator<unsigned·int*,·std::vector<unsigned·int,·std::allocator<unsigned·int>·>·>2196 ··[·22321]··__normal_iterator<unsigned·int*,·std::vector<unsigned·int,·std::allocator<unsigned·int>·>·>
2197 ··[·2237d]··_ZNK4cvc56Result6isNullEv2197 ··[·2237d]··_ZNK4cvc56Result6isNullEv
2198 ··[·22397]··_ZNKSt10unique_ptrIN4cvc58internal7options13HolderPRINTERESt14default_deleteIS3_EE11get_deleterEv2198 ··[·22397]··_ZNKSt10unique_ptrIN4cvc58internal7options13HolderPRINTERESt14default_deleteIS3_EE11get_deleterEv
2199 ··[·223f9]··_ZNKSt8_Rb_treeIN4cvc54TermES1_St9_IdentityIS1_ESt4lessIS1_ESaIS1_EE8max_sizeEv2199 ··[·223f9]··_ZNKSt8_Rb_treeIN4cvc54TermES1_St9_IdentityIS1_ESt4lessIS1_ESaIS1_EE8max_sizeEv
2200 ··[·22449]··_ZNSt3mapIN4cvc54TermENSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEESt4lessIS1_ESaISt4pairIKS1_S7_EEE11upper_boundERSB_2200 ··[·22449]··_ZNSt3mapIN4cvc54TermENSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEESt4lessIS1_ESaISt4pairIKS1_S7_EEE11upper_boundERSB_
Diff chunk too large, falling back to line-by-line diff (11025 lines added, 11025 lines removed)
2201 ··[·224c7]··_ZNSt22_Optional_payload_baseIlEC4EOS0_2201 ··[·224c7]··_ZNSt22_Optional_payload_baseIlEC4EOS0_
2202 ··[·224ef]··DEB_BUILD_TIME·"12:06:23"2202 ··[·224ef]··_SC_V7_LP64_OFF64·_SC_V7_LP64_OFF64
2203 ··[·22509]··_SC_V7_LP64_OFF64·_SC_V7_LP64_OFF642203 ··[·22513]··CLOCK_MONOTONIC_COARSE·6
2204 ··[·2252d]··CLOCK_MONOTONIC_COARSE·62204 ··[·2252c]··_GLIBCXX_HAVE_SYS_STAT_H·1
2205 ··[·22546]··_GLIBCXX_HAVE_SYS_STAT_H·12205 ··[·22547]··_ZNSt13_Rb_tree_nodeISt4pairINSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEEmEE9_M_valptrEv
2206 ··[·22561]··_ZNSt13_Rb_tree_nodeISt4pairINSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEEmEE9_M_valptrEv2206 ··[·225a8]··__cpp_rvalue_reference·200610L
2207 ··[·225c2]··__cpp_rvalue_reference·200610L2207 ··[·225c7]··_ZNKSt14default_deleteIN4cvc56parser13SymbolManagerEEclEPS2_
2208 ··[·225e1]··_ZNKSt14default_deleteIN4cvc56parser13SymbolManagerEEclEPS2_2208 ··[·22604]··d_sep
2209 ··[·2261e]··d_sep2209 ··[·2260a]··_ZNSt12_Vector_baseIN4cvc54TermESaIS1_EE12_Vector_implC4EOS2_OS4_
2210 ··[·22624]··_ZNSt12_Vector_baseIN4cvc54TermESaIS1_EE12_Vector_implC4EOS2_OS4_2210 ··[·2264c]··__try·try
2211 ··[·22666]··__try·try2211 ··[·22656]··_ZNSt14default_deleteIN4cvc58internal7options12HolderPARSEREEC4Ev
2212 ··[·22670]··_ZNSt14default_deleteIN4cvc58internal7options12HolderPARSEREEC4Ev2212 ··[·22698]··isSequenceValue
2213 ··[·226b2]··isSequenceValue2213 ··[·226a8]··_ZNSt6vectorISt4pairINSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEES6_ESaIS7_EEC4EOS9_RKS8_
2214 ··[·226c2]··_ZNSt6vectorISt4pairINSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEES6_ESaIS7_EEC4EOS9_RKS8_2214 ··[·2270a]··__CPU_FREE(cpuset)·__sched_cpufree·(cpuset)
2215 ··[·22724]··__CPU_FREE(cpuset)·__sched_cpufree·(cpuset)2215 ··[·22736]··__glibcxx_want_smart_ptr_for_overwrite
2216 ··[·22750]··__glibcxx_want_smart_ptr_for_overwrite2216 ··[·2275d]··_ZNSt15__uniq_ptr_dataIN4cvc58internal3smt16UnsatCoreManagerESt14default_deleteIS3_ELb1ELb1EEaSEOS6_
2217 ··[·22777]··_ZNSt15__uniq_ptr_dataIN4cvc58internal3smt16UnsatCoreManagerESt14default_deleteIS3_ELb1ELb1EEaSEOS6_2217 ··[·227c2]··_ZNSt11_Tuple_implILm0EJPN4cvc58internal7options10HolderSETSESt14default_deleteIS3_EEE7_M_swapERS7_
2218 ··[·227dc]··_ZNSt11_Tuple_implILm0EJPN4cvc58internal7options10HolderSETSESt14default_deleteIS3_EEE7_M_swapERS7_2218 ··[·22826]··_ZNK4cvc512DatatypeDecl12isNullHelperEv
2219 ··[·22840]··_ZNK4cvc512DatatypeDecl12isNullHelperEv2219 ··[·2284e]··_ZNSt12_Vector_baseIN4cvc516DatatypeSelectorESaIS1_EE19_M_get_Tp_allocatorEv
2220 ··[·22868]··_ZNSt12_Vector_baseIN4cvc516DatatypeSelectorESaIS1_EE19_M_get_Tp_allocatorEv2220 ··[·2289b]··_ZNSt8_Rb_treeINSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEESt4pairIKS5_N4cvc54StatEESt10_Select1stISA_ESt4lessIS5_ESaISA_EE14_M_move_assignERSG_St17integral_constantIbLb1EE
2221 ··[·228b5]··_ZNSt8_Rb_treeINSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEESt4pairIKS5_N4cvc54StatEESt10_Select1stISA_ESt4lessIS5_ESaISA_EE14_M_move_assignERSG_St17integral_constantIbLb1EE2221 ··[·22950]··_M_erase_at_end
2222 ··[·2296a]··_M_erase_at_end2222 ··[·22960]··_ZNSt11_Tuple_implILm1EJSt14default_deleteIN4cvc58internal7options12HolderDRIVEREEEE7_M_swapERS6_
2223 ··[·2297a]··_ZNSt11_Tuple_implILm1EJSt14default_deleteIN4cvc58internal7options12HolderDRIVEREEEE7_M_swapERS6_2223 ··[·229c2]··_ZNKSt6vectorIjSaIjEE4dataEv
2224 ··[·229dc]··_ZNKSt6vectorIjSaIjEE4dataEv2224 ··[·229df]··_ZNK9__gnu_cxx17__normal_iteratorIPKNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEESt6vectorIS6_SaIS6_EEEptEv
2225 ··[·229f9]··_ZNK9__gnu_cxx17__normal_iteratorIPKNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEESt6vectorIS6_SaIS6_EEEptEv2225 ··[·22a52]··__UINT_LEAST32_MAX__·0xffffffffU
2226 ··[·22a6c]··__UINT_LEAST32_MAX__·0xffffffffU2226 ··[·22a73]··_ZNSaISt13_Rb_tree_nodeISt4pairINSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEEmEEEC4Ev
2227 ··[·22a8d]··_ZNSaISt13_Rb_tree_nodeISt4pairINSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEEmEEEC4Ev2227 ··[·22ad0]··Trace(tag)·cvc5::internal::__cvc5_true()·?·cvc5::internal::nullStream·:·cvc5::internal::TraceChannel()
2228 ··[·22aea]··Trace(tag)·cvc5::internal::__cvc5_true()·?·cvc5::internal::nullStream·:·cvc5::internal::TraceChannel()2228 ··[·22b37]··allocator_traits<std::allocator<char>·>
2229 ··[·22b51]··allocator_traits<std::allocator<char>·>2229 ··[·22b5f]··_ZNKSt10unique_ptrIN4cvc58internal7options9HolderSEPESt14default_deleteIS3_EEcvbEv
2230 ··[·22b79]··_ZNKSt10unique_ptrIN4cvc58internal7options9HolderSEPESt14default_deleteIS3_EEcvbEv2230 ··[·22bb2]··_ZNSt6vectorIbSaIbEE4flipEv
2231 ··[·22bcc]··_ZNSt6vectorIbSaIbEE4flipEv2231 ··[·22bce]··_ZNSt5tupleIJPN4cvc58internal7options8HolderBVESt14default_deleteIS3_EEE4swapERS7_
2232 ··[·22be8]··_ZNSt5tupleIJPN4cvc58internal7options8HolderBVESt14default_deleteIS3_EEE4swapERS7_2232 ··[·22c21]··__need___va_list
2233 ··[·22c3b]··__need___va_list2233 ··[·22c32]··_GLIBCXX_TXN_SAFE_DYN·
2234 ··[·22c4c]··_GLIBCXX_TXN_SAFE_DYN·2234 ··[·22c49]··__gthrw(name)·__gthrw2(__gthrw_·##·name,name,name)
2235 ··[·22c63]··__gthrw(name)·__gthrw2(__gthrw_·##·name,name,name)2235 ··[·22c7c]··_ZNSt19_Bit_const_iteratorC4ERKSt13_Bit_iterator
2236 ··[·22c96]··_ZNSt19_Bit_const_iteratorC4ERKSt13_Bit_iterator2236 ··[·22cad]··_ZNSt3mapINSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEEN4cvc54StatESt4lessIS5_ESaISt4pairIKS5_S7_EEEC4ESt16initializer_listISC_ERKS9_RKSD_
2237 ··[·22cc7]··_ZNSt3mapINSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEEN4cvc54StatESt4lessIS5_ESaISt4pairIKS5_S7_EEEC4ESt16initializer_listISC_ERKS9_RKSD_2237 ··[·22d3f]··_ZNKSt19_Optional_base_implIlSt14_Optional_baseIlLb1ELb1EEE6_M_getEv
2238 ··[·22d59]··_ZNKSt19_Optional_base_implIlSt14_Optional_baseIlLb1ELb1EEE6_M_getEv2238 ··[·22d84]··d_bv
2239 ··[·22d9e]··d_bv2239 ··[·22d89]··EXISTS
2240 ··[·22da3]··EXISTS2240 ··[·22d90]··_ZNKSt6vectorIbSaIbEE7crbeginEv
2241 ··[·22daa]··_ZNKSt6vectorIbSaIbEE7crbeginEv2241 ··[·22db0]··_ZNSt6vectorIN4cvc54main15PortfolioConfigESaIS2_EEC4EmRKS2_RKS3_
2242 ··[·22dca]··_ZNSt6vectorIN4cvc54main15PortfolioConfigESaIS2_EEC4EmRKS2_RKS3_2242 ··[·22df1]··_SC_JOB_CONTROL·_SC_JOB_CONTROL
2243 ··[·22e0b]··_SC_JOB_CONTROL·_SC_JOB_CONTROL2243 ··[·22e11]··__glibcxx_want_execution
2244 ··[·22e2b]··__glibcxx_want_execution2244 ··[·22e2a]··_ZNSt6vectorIN4cvc523DatatypeConstructorDeclESaIS1_EE4rendEv
2245 ··[·22e44]··_ZNSt6vectorIN4cvc523DatatypeConstructorDeclESaIS1_EE4rendEv2245 ··[·22e67]··__INO_T_TYPE·__ULONGWORD_TYPE
2246 ··[·22e81]··__INO_T_TYPE·__ULONGWORD_TYPE2246 ··[·22e85]··__dat
2247 ··[·22e9f]··__dat2247 ··[·22e8b]··__LC_MEASUREMENT·11
2248 ··[·22ea5]··__LC_MEASUREMENT·112248 ··[·22e9f]··__in_chrg
2249 ··[·22eb9]··__in_chrg2249 ··[·22ea9]··_ZNSt11_Tuple_implILm1EJSt14default_deleteIN4cvc58internal7options8HolderFPEEEEC4Ev
2250 ··[·22ec3]··_ZNSt11_Tuple_implILm1EJSt14default_deleteIN4cvc58internal7options8HolderFPEEEEC4Ev2250 ··[·22efd]··SCHED_FLAG_UTIL_CLAMP_MAX·0x40
2251 ··[·22f17]··SCHED_FLAG_UTIL_CLAMP_MAX·0x402251 ··[·22f1c]··_Tuple_impl<0,·cvc5::internal::options::HolderSMT*,·std::default_delete<cvc5::internal::options::HolderSMT>·>
2252 ··[·22f36]··_Tuple_impl<0,·cvc5::internal::options::HolderSMT*,·std::default_delete<cvc5::internal::options::HolderSMT>·>2252 ··[·22f8a]··_Arg
2253 ··[·22fa4]··_Arg2253 ··[·22f8f]··_PSTL_PRAGMA_LOCATION·"·[Parallel·STL·message]:·"
2254 ··[·22fa9]··_PSTL_PRAGMA_LOCATION·"·[Parallel·STL·message]:·"2254 ··[·22fc1]··__STDC_UTF_32__·1
2255 ··[·22fdb]··__STDC_UTF_32__·12255 ··[·22fd3]··__glibcxx_want_optional·
2256 ··[·22fed]··__glibcxx_want_optional·2256 ··[·22fec]··_ZNSt15__uniq_ptr_implIN4cvc58internal3smt19ResourceOutListenerESt14default_deleteIS3_EEaSEOS6_
2257 ··[·23006]··_ZNSt15__uniq_ptr_implIN4cvc58internal3smt19ResourceOutListenerESt14default_deleteIS3_EEaSEOS6_2257 ··[·2304c]··__uniq_ptr_data<cvc5::internal::options::HolderSEP,·std::default_delete<cvc5::internal::options::HolderSEP>,·true,·true>
2258 ··[·23066]··__uniq_ptr_data<cvc5::internal::options::HolderSEP,·std::default_delete<cvc5::internal::options::HolderSEP>,·true,·true>2258 ··[·230c5]··add_lvalue_reference<cvc5::internal::smt::SmtSolver>
2259 ··[·230df]··add_lvalue_reference<cvc5::internal::smt::SmtSolver>2259 ··[·230fa]··__glibcxx_no_dangling_refs(_U1,_U2)·
2260 ··[·23114]··__glibcxx_no_dangling_refs(_U1,_U2)·2260 ··[·2311f]··long·double
2261 ··[·23139]··long·double2261 ··[·2312b]··_ZNSt4pairISt23_Rb_tree_const_iteratorIS_INSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEEmEEbEC4ERKS9_
2262 ··[·23145]··_ZNSt4pairISt23_Rb_tree_const_iteratorIS_INSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEEmEEbEC4ERKS9_2262 ··[·23197]··_ZNSt15__uniq_ptr_dataIN4cvc58internal7options14HolderPARALLELESt14default_deleteIS3_ELb1ELb1EEC4EOS6_
2263 ··[·231b1]··_ZNSt15__uniq_ptr_dataIN4cvc58internal7options14HolderPARALLELESt14default_deleteIS3_ELb1ELb1EEC4EOS6_2263 ··[·231fe]··_ZNSt11_Tuple_implILm0EJPN4cvc58internal3smt11SygusSolverESt14default_deleteIS3_EEE7_M_tailERS7_
2264 ··[·23218]··_ZNSt11_Tuple_implILm0EJPN4cvc58internal3smt11SygusSolverESt14default_deleteIS3_EEE7_M_tailERS7_2264 ··[·2325f]··_ZNSt11char_traitsIwE7compareEPKwS2_m
2265 ··[·23279]··_ZNSt11char_traitsIwE7compareEPKwS2_m2265 ··[·23285]··_ZNKSt8optionalImE9has_valueEv
2266 ··[·2329f]··_ZNKSt8optionalImE9has_valueEv2266 ··[·232a4]··__uniq_ptr_data<cvc5::internal::smt::ContextManager,·std::default_delete<cvc5::internal::smt::ContextManager>,·true,·true>
2267 ··[·232be]··__uniq_ptr_data<cvc5::internal::smt::ContextManager,·std::default_delete<cvc5::internal::smt::ContextManager>,·true,·true>2267 ··[·2331f]··_GLIBCXX_USE_CHMOD·1
2268 ··[·23339]··_GLIBCXX_USE_CHMOD·12268 ··[·23334]··_GLIBCXX_USE_ASSIGN_FOR_INIT(T,U)·__is_trivial(T)·&&·__is_assignable(T&,·U)·&&·std::__check_constructible<T,·U>()
2269 ··[·2334e]··_GLIBCXX_USE_ASSIGN_FOR_INIT(T,U)·__is_trivial(T)·&&·__is_assignable(T&,·U)·&&·std::__check_constructible<T,·U>()2269 ··[·233a6]··_ZNSt10_Head_baseILm0EPN4cvc58internal7options9HolderSMTELb0EEC4ERKS5_
2270 ··[·233c0]··_ZNSt10_Head_baseILm0EPN4cvc58internal7options9HolderSMTELb0EEC4ERKS5_2270 ··[·233ed]··_ZNSt15__uniq_ptr_implIN4cvc58internal3smt14ContextManagerESt14default_deleteIS3_EE10_M_deleterEv
2271 ··[·23407]··_ZNSt15__uniq_ptr_implIN4cvc58internal3smt14ContextManagerESt14default_deleteIS3_EE10_M_deleterEv2271 ··[·2344f]··__BLKCNT_T_TYPE·__SLONGWORD_TYPE
2272 ··[·23469]··__BLKCNT_T_TYPE·__SLONGWORD_TYPE2272 ··[·23470]··_ZNKSt17basic_string_viewIcSt11char_traitsIcEE12find_last_ofES2_m
2273 ··[·2348a]··_ZNKSt17basic_string_viewIcSt11char_traitsIcEE12find_last_ofES2_m2273 ··[·234b2]··_ZNSt17basic_string_viewIwSt11char_traitsIwEEC4EPKw
2274 ··[·234cc]··_ZNSt17basic_string_viewIwSt11char_traitsIwEEC4EPKw2274 ··[·234e6]··_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·...·]
2275 ··[·23500]··_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·...·]yEv2275 ··[·23649]··_ZNKSt3mapINSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEEN4cvc54StatESt4lessIS5_ESaISt4pairIKS5_S7_EEE5emptyEv
2276 ··[·23663]··_ZNKSt3mapINSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEEN4cvc54StatESt4lessIS5_ESaISt4pairIKS5_S7_EEE5emptyEv2276 ··[·236be]··_Head_base<1,·std::default_delete<cvc5::internal::options::OptionsHandler>,·true>
2277 ··[·236d8]··_Head_base<1,·std::default_delete<cvc5::internal::options::OptionsHandler>,·true>2277 ··[·23710]··_ZNSt13_Bvector_baseISaIbEE8_S_nwordEm
2278 ··[·2372a]··_ZNSt13_Bvector_baseISaIbEE8_S_nwordEm2278 ··[·23737]··assertFormulaInternal
2279 ··[·23751]··assertFormulaInternal2279 ··[·2374d]··__ARM_FEATURE_SVE2_BITPERM
2280 ··[·23767]··__ARM_FEATURE_SVE2_BITPERM2280 ··[·23768]··mkNullableLift
2281 ··[·23782]··mkNullableLift2281 ··[·23777]··_ZNSt14default_deleteIN4cvc58internal7options12HolderDRIVEREEC4Ev
2282 ··[·23791]··_ZNSt14default_deleteIN4cvc58internal7options12HolderDRIVEREEC4Ev2282 ··[·237b9]··_ZNSt15__uniq_ptr_implIN4cvc54Stat8StatDataESt14default_deleteIS2_EE6_M_ptrEv
2283 ··[·237d3]··_ZNSt15__uniq_ptr_implIN4cvc54Stat8StatDataESt14default_deleteIS2_EE6_M_ptrEv2283 ··[·23807]··mkFiniteFieldElem
2284 ··[·23821]··mkFiniteFieldElem2284 ··[·23819]··ARITH_TRANS_EXP_NEG
2285 ··[·23833]··ARITH_TRANS_EXP_NEG2285 ··[·2382d]··__glibcxx_allocator_traits_is_always_equal·201411L
2286 ··[·23847]··__glibcxx_allocator_traits_is_always_equal·201411L2286 ··[·23860]··_ZNK4cvc58internal9LogicInfo15isTheoryEnabledENS0_6theory8TheoryIdE
2287 ··[·2387a]··_ZNK4cvc58internal9LogicInfo15isTheoryEnabledENS0_6theory8TheoryIdE2287 ··[·238a4]··_SC_2_FORT_DEV·_SC_2_FORT_DEV
2288 ··[·238be]··_SC_2_FORT_DEV·_SC_2_FORT_DEV2288 ··[·238c2]··__uniq_ptr_data<cvc5::internal::options::HolderBOOLEANS,·std::default_delete<cvc5::internal::options::HolderBOOLEANS>,·true,·true>
2289 ··[·238dc]··__uniq_ptr_data<cvc5::internal::options::HolderBOOLEANS,·std::default_delete<cvc5::internal::options::HolderBOOLEANS>,·true,·true>2289 ··[·23945]··_ZNSt3setIN4cvc54TermESt4lessIS1_ESaIS1_EE6insertESt23_Rb_tree_const_iteratorIS1_EOSt12_Node_handleIS1_S1_SaISt13_Rb_tree_nodeIS1_EEE
2290 ··[·2395f]··_ZNSt3setIN4cvc54TermESt4lessIS1_ESaIS1_EE6insertESt23_Rb_tree_const_iteratorIS1_EOSt12_Node_handleIS1_S1_SaISt13_Rb_tree_nodeIS1_EEE2290 ··[·239cb]··_ZNK4cvc56Solver8setLogicERKNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEE
2291 ··[·239e5]··_ZNK4cvc56Solver8setLogicERKNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEE2291 ··[·23a1c]··_ZNK4cvc512DatatypeDecl10isResolvedEv
2292 ··[·23a36]··_ZNK4cvc512DatatypeDecl10isResolvedEv2292 ··[·23a42]··_ZNKSt3mapIN4cvc54TermENSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEESt4lessIS1_ESaISt4pairIKS1_S7_EEE5crendEv
2293 ··[·23a5c]··_ZNKSt3mapIN4cvc54TermENSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEESt4lessIS1_ESaISt4pairIKS1_S7_EEE5crendEv2293 ··[·23ab7]··_IsUnused
2294 ··[·23ad1]··_IsUnused2294 ··[·23ac1]··_ZNSt15__new_allocatorIN4cvc54TermEED4Ev
2295 ··[·23adb]··_ZNSt15__new_allocatorIN4cvc54TermEED4Ev2295 ··[·23aea]··_ZNSt19_Node_handle_commonISt4pairINSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEEmESaISt13_Rb_tree_nodeIS7_EEE7_M_swapERSB_
2296 ··[·23b04]··_ZNSt19_Node_handle_commonISt4pairINSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEEmESaISt13_Rb_tree_nodeIS7_EEE7_M_swapERSB_2296 ··[·23b6c]··_vtable_offset
2297 ··[·23b86]··_vtable_offset2297 ··[·23b7b]··_ZNSt8_Rb_treeISt4pairINSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEEmES7_St9_IdentityIS7_ESt4lessIS7_ESaIS7_EE5eraseB5cxx11ESt23_Rb_tree_const_iteratorIS7_E
2298 ··[·23b95]··_ZNSt8_Rb_treeISt4pairINSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEEmES7_St9_IdentityIS7_ESt4lessIS7_ESaIS7_EE5eraseB5cxx11ESt23_Rb_tree_const_iteratorIS7_E2298 ··[·23c1f]··_ZNKSt7__cxx1112basic_stringIwSt11char_traitsIwESaIwEE7compareEmmRKS4_mm
2299 ··[·23c39]··_ZNKSt7__cxx1112basic_stringIwSt11char_traitsIwESaIwEE7compareEmmRKS4_mm2299 ··[·23c68]··__FLT64X_EPSILON__·1.92592994438723585305597794258492732e-34F64x
2300 ··[·23c82]··__FLT64X_EPSILON__·1.92592994438723585305597794258492732e-34F64x2300 ··[·23ca9]··_GLIBCXX_POSTYPES_H·1
2301 ··[·23cc3]··_GLIBCXX_POSTYPES_H·12301 ··[·23cbf]··__ARM_FEATURE_BF16_VECTOR_ARITHMETIC
2302 ··[·23cd9]··__ARM_FEATURE_BF16_VECTOR_ARITHMETIC2302 ··[·23ce4]··INT_FAST16_MIN·(-9223372036854775807L-1)
2303 ··[·23cfe]··INT_FAST16_MIN·(-9223372036854775807L-1)2303 ··[·23d0d]··_ZNSt11_Tuple_implILm0EJPN4cvc58internal3smt9SmtSolverESt14default_deleteIS3_EEE7_M_headERS7_
2304 ··[·23d27]··_ZNSt11_Tuple_implILm0EJPN4cvc58internal3smt9SmtSolverESt14default_deleteIS3_EEE7_M_headERS7_2304 ··[·23d6b]··__cpp_lib_tuples_by_type·201304L
2305 ··[·23d85]··__cpp_lib_tuples_by_type·201304L2305 ··[·23d8c]··__TIME_T_TYPE·__SLONGWORD_TYPE
2306 ··[·23da6]··__TIME_T_TYPE·__SLONGWORD_TYPE2306 ··[·23dab]··getInterpolant
2307 ··[·23dc5]··getInterpolant2307 ··[·23dba]··reverse_iterator<__gnu_cxx::__normal_iterator<std::pair<std::__cxx11::basic_string<char,·std::char_traits<char>,·std::allocator<char>·>,·std::__cxx11::basic_string<char,·std::char_traits<char>,·std::allocator<char>·>·>*,·std::vector<std::pair<std::__c[·...·truncated·by·diffoscope;·len:·351,·SHA:·3c2c53a771c8664696f5031be69b50b9e637d46c5dd411f7468c3c970b1125a7·...·]
2308 ··[·23dd4]··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:·350,·SHA:·e8ffeae747f18d4a016727d24c399bfaf4e8de9bcfd55b8eb68b85bab3b19fc8·...·]>·>2308 ··[·24015]··rebind<std::_Rb_tree_node<cvc5::Term>·>
2309 ··[·2402f]··rebind<std::_Rb_tree_node<cvc5::Term>·>2309 ··[·2403d]··PTHREAD_RWLOCK_WRITER_NONRECURSIVE_INITIALIZER_NP·{·{·__PTHREAD_RWLOCK_INITIALIZER·(PTHREAD_RWLOCK_PREFER_WRITER_NONRECURSIVE_NP)·}·}
2310 ··[·24057]··PTHREAD_RWLOCK_WRITER_NONRECURSIVE_INITIALIZER_NP·{·{·__PTHREAD_RWLOCK_INITIALIZER·(PTHREAD_RWLOCK_PREFER_WRITER_NONRECURSIVE_NP)·}·}2310 ··[·240c3]··_ZNSt10_Head_baseILm1ESt14default_deleteIN4cvc58internal3smt15AbductionSolverEELb1EE7_M_headERKS6_
2311 ··[·240dd]··_ZNSt10_Head_baseILm1ESt14default_deleteIN4cvc58internal3smt15AbductionSolverEELb1EE7_M_headERKS6_2311 ··[·24126]··_ZNSt8optionalIlEaSESt9nullopt_t
2312 ··[·24140]··_ZNSt8optionalIlEaSESt9nullopt_t2312 ··[·24147]··_ZNSt16initializer_listIPKcEC4EPKS1_m
2313 ··[·24161]··_ZNSt16initializer_listIPKcEC4EPKS1_m2313 ··[·2416d]··_SC_2_PBS_ACCOUNTING·_SC_2_PBS_ACCOUNTING
2314 ··[·24187]··_SC_2_PBS_ACCOUNTING·_SC_2_PBS_ACCOUNTING2314 ··[·24197]··_ZNSt15basic_streambufIcSt11char_traitsIcEE9showmanycEv
2315 ··[·241b1]··_ZNSt15basic_streambufIcSt11char_traitsIcEE9showmanycEv2315 ··[·241cf]··_POSIX_TRACE·-1
2316 ··[·241e9]··_POSIX_TRACE·-12316 ··[·241df]··_Head_base<1,·std::default_delete<cvc5::internal::smt::InterpolationSolver>,·true>
2317 ··[·241f9]··_Head_base<1,·std::default_delete<cvc5::internal::smt::InterpolationSolver>,·true>2317 ··[·24232]··_ZNSt10_Head_baseILm0EPN4cvc58internal7options13HolderBUILTINELb0EE7_M_headERS5_
2318 ··[·2424c]··_ZNSt10_Head_baseILm0EPN4cvc58internal7options13HolderBUILTINELb0EE7_M_headERS5_2318 ··[·24283]··_M_parent
2319 ··[·2429d]··_M_parent2319 ··[·2428d]··_ZNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEpLEc
2320 ··[·242a7]··_ZNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEpLEc2320 ··[·242c7]··_ZNSt16allocator_traitsISaIwEE10deallocateERS0_Pwm
Max diff block lines reached; 358/1701589 bytes (0.02%) of diff not shown.
⊟
24.9 MB
libcvc5-1-dbgsym_1.1.2-2_arm64.deb
⊟
369 B
file list
    
Offset 1, 3 lines modifiedOffset 1, 3 lines modified
1 -rw-r--r--···0········0········0········4·2024-03-19·00:06:23.000000·debian-binary1 -rw-r--r--···0········0········0········4·2024-03-19·00:06:23.000000·debian-binary
2 -rw-r--r--···0········0········0······552·2024-03-19·00:06:23.000000·control.tar.xz2 -rw-r--r--···0········0········0······552·2024-03-19·00:06:23.000000·control.tar.xz
3 -rw-r--r--···0········0········0·179952012·2024-03-19·00:06:23.000000·data.tar.xz3 -rw-r--r--···0········0········0·179955940·2024-03-19·00:06:23.000000·data.tar.xz
⊟
802 B
control.tar.xz
⊟
774 B
control.tar
⊟
526 B
./control
    
Offset 1, 13 lines modifiedOffset 1, 13 lines modified
1 Package:·libcvc5-1-dbgsym1 Package:·libcvc5-1-dbgsym
2 Source:·cvc52 Source:·cvc5
3 Version:·1.1.2-23 Version:·1.1.2-2
4 Auto-Built-Package:·debug-symbols4 Auto-Built-Package:·debug-symbols
5 Architecture:·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:·1790457 Installed-Size:·179047
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:·103998256d60b17e23ea0b4f36026e4996baeb4713 Build-Ids:·a8b7f1f9f2d11ce52bb0316af7b1516f4d801e58
⊟
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/10/3998256d60b17e23ea0b4f36026e4996baeb47.debug1 usr/lib/debug/.build-id/a8/b7f1f9f2d11ce52bb0316af7b1516f4d801e58.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/10/6 drwxr-xr-x···0·root·········(0)·root·········(0)········0·2024-03-19·00:06:23.000000·./usr/lib/debug/.build-id/a8/
7 -rw-r--r--···0·root·········(0)·root·········(0)·183331688·2024-03-19·00:06:23.000000·./usr/lib/debug/.build-id/10/3998256d60b17e23ea0b4f36026e4996baeb47.debug7 -rw-r--r--···0·root·········(0)·root·········(0)·183333312·2024-03-19·00:06:23.000000·./usr/lib/debug/.build-id/a8/b7f1f9f2d11ce52bb0316af7b1516f4d801e58.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/10/3998256d60b17e23ea0b4f36026e4996baeb47.debug vs.
./usr/lib/debug/.build-id/a8/b7f1f9f2d11ce52bb0316af7b1516f4d801e58.debug
File has been modified after NT_GNU_BUILD_ID has been applied. Files 94% 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:··········183329128·(bytes·into·file)13 ··Start·of·section·headers:··········183330752·(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·0xaed6168:1 There·are·40·section·headers,·starting·at·offset·0xaed67c0:
  
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·004d0c·00···A··4···0··87 ··[·3]·.gnu.hash·········NOBITS··········00000000000002b8·0002b4·004d0c·00···A··4···0··8
Offset 27, 23 lines modifiedOffset 27, 23 lines modified
27 ··[22]·.data.rel.ro······NOBITS··········00000000015c8298·007080·013ae8·00··WA··0···0··827 ··[22]·.data.rel.ro······NOBITS··········00000000015c8298·007080·013ae8·00··WA··0···0··8
28 ··[23]·.dynamic··········NOBITS··········00000000015dbd80·007080·000260·10··WA··5···0··828 ··[23]·.dynamic··········NOBITS··········00000000015dbd80·007080·000260·10··WA··5···0··8
29 ··[24]·.got··············NOBITS··········00000000015dbfe0·007080·004018·08··WA··0···0··829 ··[24]·.got··············NOBITS··········00000000015dbfe0·007080·004018·08··WA··0···0··8
30 ··[25]·.data·············NOBITS··········00000000015e0000·007080·009ca8·00··WA··0···0·1630 ··[25]·.data·············NOBITS··········00000000015e0000·007080·009ca8·00··WA··0···0·16
31 ··[26]·.bss··············NOBITS··········00000000015e9ca8·007080·003340·00··WA··0···0··831 ··[26]·.bss··············NOBITS··········00000000015e9ca8·007080·003340·00··WA··0···0··8
32 ··[27]·.comment··········PROGBITS········0000000000000000·0002b4·00001f·01··MS··0···0··132 ··[27]·.comment··········PROGBITS········0000000000000000·0002b4·00001f·01··MS··0···0··1
33 ··[28]·.debug_aranges····PROGBITS········0000000000000000·0002d8·00c435·00···C··0···0··833 ··[28]·.debug_aranges····PROGBITS········0000000000000000·0002d8·00c435·00···C··0···0··8
34 ··[29]·.debug_info·······PROGBITS········0000000000000000·00c710·8812185·00···C··0···0··834 ··[29]·.debug_info·······PROGBITS········0000000000000000·00c710·881284b·00···C··0···0··8
35 ··[30]·.debug_abbrev·····PROGBITS········0000000000000000·881e898·0db387·00···C··0···0··835 ··[30]·.debug_abbrev·····PROGBITS········0000000000000000·881ef60·0db387·00···C··0···0··8
36 ··[31]·.debug_line·······PROGBITS········0000000000000000·88f9c20·7d1a44·00···C··0···0··836 ··[31]·.debug_line·······PROGBITS········0000000000000000·88fa2e8·7d1a44·00···C··0···0··8
37 ··[32]·.debug_str········PROGBITS········0000000000000000·90cb668·3e026e·01·MSC··0···0··837 ··[32]·.debug_str········PROGBITS········0000000000000000·90cbd30·3e0270·01·MSC··0···0··8
38 ··[33]·.debug_line_str···PROGBITS········0000000000000000·94ab8d8·0028d3·01·MSC··0···0··838 ··[33]·.debug_line_str···PROGBITS········0000000000000000·94abfa0·0028d3·01·MSC··0···0··8
39 ··[34]·.debug_loclists···PROGBITS········0000000000000000·94ae1b0·1153903·00···C··0···0··839 ··[34]·.debug_loclists···PROGBITS········0000000000000000·94ae878·1153900·00···C··0···0··8
40 ··[35]·.debug_macro······PROGBITS········0000000000000000·a601ab8·168fa2·00···C··0···0··840 ··[35]·.debug_macro······PROGBITS········0000000000000000·a602178·168f3b·00···C··0···0··8
41 ··[36]·.debug_rnglists···PROGBITS········0000000000000000·a76aa60·488ba2·00···C··0···0··841 ··[36]·.debug_rnglists···PROGBITS········0000000000000000·a76b0b8·488ba2·00···C··0···0··8
42 ··[37]·.symtab···········SYMTAB··········0000000000000000·abf3608·0e8db8·18·····38·37028··842 ··[37]·.symtab···········SYMTAB··········0000000000000000·abf3c60·0e8db8·18·····38·37028··8
43 ··[38]·.strtab···········STRTAB··········0000000000000000·acdc3c0·1f9c05·00······0···0··143 ··[38]·.strtab···········STRTAB··········0000000000000000·acdca18·1f9c05·00······0···0··1
44 ··[39]·.shstrtab·········STRTAB··········0000000000000000·aed5fc5·0001a0·00······0···0··144 ··[39]·.shstrtab·········STRTAB··········0000000000000000·aed661d·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:·103998256d60b17e23ea0b4f36026e4996baeb476 ··GNU··················0x00000014»  NT_GNU_BUILD_ID·(unique·build·ID·bitstring)»   ····Build·ID:·a8b7f1f9f2d11ce52bb0316af7b1516f4d801e58
⊟
24.2 MB
readelf --wide --debug-dump=info {}
    
Offset 8, 27 lines modifiedOffset 8, 27 lines modified
8 ···Pointer·Size:··88 ···Pointer·Size:··8
9 ·<0><c>:·Abbrev·Number:·1·(DW_TAG_partial_unit)9 ·<0><c>:·Abbrev·Number:·1·(DW_TAG_partial_unit)
10 ····<d>···DW_AT_stmt_list···:·(sec_offset)·010 ····<d>···DW_AT_stmt_list···:·(sec_offset)·0
11 ····<11>···DW_AT_comp_dir····:·(line_strp)·(offset:·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:·16·(DW_TAG_base_type)12 ·<1><15>:·Abbrev·Number:·16·(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:·0x163eb):·long·int15 ····<18>···DW_AT_name········:·(strp)·(offset:·0x16405):·long·int
16 ·<1><1c>:·Abbrev·Number:·16·(DW_TAG_base_type)16 ·<1><1c>:·Abbrev·Number:·16·(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:·0xecba):·long·unsigned·int19 ····<1f>···DW_AT_name········:·(strp)·(offset:·0xecba):·long·unsigned·int
20 ·<1><23>:·Abbrev·Number:·16·(DW_TAG_base_type)20 ·<1><23>:·Abbrev·Number:·16·(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:·0x1b200):·unsigned·char23 ····<26>···DW_AT_name········:·(strp)·(offset:·0x1b200):·unsigned·char
24 ·<1><2a>:·Abbrev·Number:·16·(DW_TAG_base_type)24 ·<1><2a>:·Abbrev·Number:·16·(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:·0x12b23):·short·unsigned·int27 ····<2d>···DW_AT_name········:·(strp)·(offset:·0x12b3d):·short·unsigned·int
28 ·<1><31>:·Abbrev·Number:·16·(DW_TAG_base_type)28 ·<1><31>:·Abbrev·Number:·16·(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:·0xcad9):·unsigned·int31 ····<34>···DW_AT_name········:·(strp)·(offset:·0xcad9):·unsigned·int
32 ·<1><38>:·Abbrev·Number:·16·(DW_TAG_base_type)32 ·<1><38>:·Abbrev·Number:·16·(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:·16·(DW_TAG_base_type)100 ·<1><b8>:·Abbrev·Number:·16·(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:·0x204dd):·char32_t103 ····<bb>···DW_AT_name········:·(strp)·(offset:·0x204dd):·char32_t
104 ·<1><bf>:·Abbrev·Number:·16·(DW_TAG_base_type)104 ·<1><bf>:·Abbrev·Number:·16·(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:·0x14485):·__int128107 ····<c2>···DW_AT_name········:·(strp)·(offset:·0x1449f):·__int128
108 ·<1><c6>:·Abbrev·Number:·16·(DW_TAG_base_type)108 ·<1><c6>:·Abbrev·Number:·16·(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:·0x23da5):·__int128·unsigned111 ····<c9>···DW_AT_name········:·(strp)·(offset:·0x23da5):·__int128·unsigned
112 ·<1><cd>:·Abbrev·Number:·0112 ·<1><cd>:·Abbrev·Number:·0
113 ··Compilation·Unit·@·offset·0xce:113 ··Compilation·Unit·@·offset·0xce:
114 ···Length:········0x1006·(32-bit)114 ···Length:········0x1006·(32-bit)
Offset 807, 29 lines modifiedOffset 807, 29 lines modified
807 ····<45a>···DW_AT_name········:·(strp)·(offset:·0x1f6d3):·_IO_read_end807 ····<45a>···DW_AT_name········:·(strp)·(offset:·0x1f6d3):·_IO_read_end
808 ····<45e>···DW_AT_decl_file···:·(data1)·68808 ····<45e>···DW_AT_decl_file···:·(data1)·68
809 ····<45f>···DW_AT_decl_line···:·(data1)·56809 ····<45f>···DW_AT_decl_line···:·(data1)·56
810 ····<460>···DW_AT_decl_column·:·(data1)·9810 ····<460>···DW_AT_decl_column·:·(data1)·9
811 ····<461>···DW_AT_type········:·(ref_udata)·<0x13d>811 ····<461>···DW_AT_type········:·(ref_udata)·<0x13d>
812 ····<462>···DW_AT_data_member_location:·(data1)·16812 ····<462>···DW_AT_data_member_location:·(data1)·16
813 ·<2><463>:·Abbrev·Number:·43·(DW_TAG_member)813 ·<2><463>:·Abbrev·Number:·43·(DW_TAG_member)
814 ····<464>···DW_AT_name········:·(strp)·(offset:·0x10886):·_IO_read_base814 ····<464>···DW_AT_name········:·(strp)·(offset:·0x108a0):·_IO_read_base
815 ····<468>···DW_AT_decl_file···:·(data1)·68815 ····<468>···DW_AT_decl_file···:·(data1)·68
816 ····<469>···DW_AT_decl_line···:·(data1)·57816 ····<469>···DW_AT_decl_line···:·(data1)·57
817 ····<46a>···DW_AT_decl_column·:·(data1)·9817 ····<46a>···DW_AT_decl_column·:·(data1)·9
818 ····<46b>···DW_AT_type········:·(ref_udata)·<0x13d>818 ····<46b>···DW_AT_type········:·(ref_udata)·<0x13d>
819 ····<46c>···DW_AT_data_member_location:·(data1)·24819 ····<46c>···DW_AT_data_member_location:·(data1)·24
820 ·<2><46d>:·Abbrev·Number:·43·(DW_TAG_member)820 ·<2><46d>:·Abbrev·Number:·43·(DW_TAG_member)
821 ····<46e>···DW_AT_name········:·(strp)·(offset:·0x5249):·_IO_write_base821 ····<46e>···DW_AT_name········:·(strp)·(offset:·0x5249):·_IO_write_base
822 ····<472>···DW_AT_decl_file···:·(data1)·68822 ····<472>···DW_AT_decl_file···:·(data1)·68
823 ····<473>···DW_AT_decl_line···:·(data1)·58823 ····<473>···DW_AT_decl_line···:·(data1)·58
824 ····<474>···DW_AT_decl_column·:·(data1)·9824 ····<474>···DW_AT_decl_column·:·(data1)·9
825 ····<475>···DW_AT_type········:·(ref_udata)·<0x13d>825 ····<475>···DW_AT_type········:·(ref_udata)·<0x13d>
826 ····<476>···DW_AT_data_member_location:·(data1)·32826 ····<476>···DW_AT_data_member_location:·(data1)·32
827 ·<2><477>:·Abbrev·Number:·43·(DW_TAG_member)827 ·<2><477>:·Abbrev·Number:·43·(DW_TAG_member)
828 ····<478>···DW_AT_name········:·(strp)·(offset:·0xfeb5):·_IO_write_ptr828 ····<478>···DW_AT_name········:·(strp)·(offset:·0xfecf):·_IO_write_ptr
829 ····<47c>···DW_AT_decl_file···:·(data1)·68829 ····<47c>···DW_AT_decl_file···:·(data1)·68
830 ····<47d>···DW_AT_decl_line···:·(data1)·59830 ····<47d>···DW_AT_decl_line···:·(data1)·59
831 ····<47e>···DW_AT_decl_column·:·(data1)·9831 ····<47e>···DW_AT_decl_column·:·(data1)·9
832 ····<47f>···DW_AT_type········:·(ref_udata)·<0x13d>832 ····<47f>···DW_AT_type········:·(ref_udata)·<0x13d>
833 ····<480>···DW_AT_data_member_location:·(data1)·40833 ····<480>···DW_AT_data_member_location:·(data1)·40
834 ·<2><481>:·Abbrev·Number:·43·(DW_TAG_member)834 ·<2><481>:·Abbrev·Number:·43·(DW_TAG_member)
835 ····<482>···DW_AT_name········:·(strp)·(offset:·0xe58a):·_IO_write_end835 ····<482>···DW_AT_name········:·(strp)·(offset:·0xe58a):·_IO_write_end
Offset 842, 36 lines modifiedOffset 842, 36 lines modified
842 ····<48c>···DW_AT_name········:·(strp)·(offset:·0xb7cb):·_IO_buf_base842 ····<48c>···DW_AT_name········:·(strp)·(offset:·0xb7cb):·_IO_buf_base
843 ····<490>···DW_AT_decl_file···:·(data1)·68843 ····<490>···DW_AT_decl_file···:·(data1)·68
844 ····<491>···DW_AT_decl_line···:·(data1)·61844 ····<491>···DW_AT_decl_line···:·(data1)·61
845 ····<492>···DW_AT_decl_column·:·(data1)·9845 ····<492>···DW_AT_decl_column·:·(data1)·9
846 ····<493>···DW_AT_type········:·(ref_udata)·<0x13d>846 ····<493>···DW_AT_type········:·(ref_udata)·<0x13d>
847 ····<494>···DW_AT_data_member_location:·(data1)·56847 ····<494>···DW_AT_data_member_location:·(data1)·56
848 ·<2><495>:·Abbrev·Number:·43·(DW_TAG_member)848 ·<2><495>:·Abbrev·Number:·43·(DW_TAG_member)
849 ····<496>···DW_AT_name········:·(strp)·(offset:·0x157b9):·_IO_buf_end849 ····<496>···DW_AT_name········:·(strp)·(offset:·0x157d3):·_IO_buf_end
850 ····<49a>···DW_AT_decl_file···:·(data1)·68850 ····<49a>···DW_AT_decl_file···:·(data1)·68
851 ····<49b>···DW_AT_decl_line···:·(data1)·62851 ····<49b>···DW_AT_decl_line···:·(data1)·62
852 ····<49c>···DW_AT_decl_column·:·(data1)·9852 ····<49c>···DW_AT_decl_column·:·(data1)·9
853 ····<49d>···DW_AT_type········:·(ref_udata)·<0x13d>853 ····<49d>···DW_AT_type········:·(ref_udata)·<0x13d>
854 ····<49e>···DW_AT_data_member_location:·(data1)·64854 ····<49e>···DW_AT_data_member_location:·(data1)·64
855 ·<2><49f>:·Abbrev·Number:·43·(DW_TAG_member)855 ·<2><49f>:·Abbrev·Number:·43·(DW_TAG_member)
856 ····<4a0>···DW_AT_name········:·(strp)·(offset:·0xe5fd):·_IO_save_base856 ····<4a0>···DW_AT_name········:·(strp)·(offset:·0xe5fd):·_IO_save_base
857 ····<4a4>···DW_AT_decl_file···:·(data1)·68857 ····<4a4>···DW_AT_decl_file···:·(data1)·68
858 ····<4a5>···DW_AT_decl_line···:·(data1)·65858 ····<4a5>···DW_AT_decl_line···:·(data1)·65
859 ····<4a6>···DW_AT_decl_column·:·(data1)·9859 ····<4a6>···DW_AT_decl_column·:·(data1)·9
860 ····<4a7>···DW_AT_type········:·(ref_udata)·<0x13d>860 ····<4a7>···DW_AT_type········:·(ref_udata)·<0x13d>
861 ····<4a8>···DW_AT_data_member_location:·(data1)·72861 ····<4a8>···DW_AT_data_member_location:·(data1)·72
862 ·<2><4a9>:·Abbrev·Number:·43·(DW_TAG_member)862 ·<2><4a9>:·Abbrev·Number:·43·(DW_TAG_member)
863 ····<4aa>···DW_AT_name········:·(strp)·(offset:·0x1120d):·_IO_backup_base863 ····<4aa>···DW_AT_name········:·(strp)·(offset:·0x11227):·_IO_backup_base
864 ····<4ae>···DW_AT_decl_file···:·(data1)·68864 ····<4ae>···DW_AT_decl_file···:·(data1)·68
865 ····<4af>···DW_AT_decl_line···:·(data1)·66865 ····<4af>···DW_AT_decl_line···:·(data1)·66
866 ····<4b0>···DW_AT_decl_column·:·(data1)·9866 ····<4b0>···DW_AT_decl_column·:·(data1)·9
867 ····<4b1>···DW_AT_type········:·(ref_udata)·<0x13d>867 ····<4b1>···DW_AT_type········:·(ref_udata)·<0x13d>
868 ····<4b2>···DW_AT_data_member_location:·(data1)·80868 ····<4b2>···DW_AT_data_member_location:·(data1)·80
869 ·<2><4b3>:·Abbrev·Number:·43·(DW_TAG_member)869 ·<2><4b3>:·Abbrev·Number:·43·(DW_TAG_member)
870 ····<4b4>···DW_AT_name········:·(strp)·(offset:·0x190ef):·_IO_save_end870 ····<4b4>···DW_AT_name········:·(strp)·(offset:·0x19109):·_IO_save_end
871 ····<4b8>···DW_AT_decl_file···:·(data1)·68871 ····<4b8>···DW_AT_decl_file···:·(data1)·68
872 ····<4b9>···DW_AT_decl_line···:·(data1)·67872 ····<4b9>···DW_AT_decl_line···:·(data1)·67
873 ····<4ba>···DW_AT_decl_column·:·(data1)·9873 ····<4ba>···DW_AT_decl_column·:·(data1)·9
874 ····<4bb>···DW_AT_type········:·(ref_udata)·<0x13d>874 ····<4bb>···DW_AT_type········:·(ref_udata)·<0x13d>
875 ····<4bc>···DW_AT_data_member_location:·(data1)·88875 ····<4bc>···DW_AT_data_member_location:·(data1)·88
876 ·<2><4bd>:·Abbrev·Number:·43·(DW_TAG_member)876 ·<2><4bd>:·Abbrev·Number:·43·(DW_TAG_member)
877 ····<4be>···DW_AT_name········:·(strp)·(offset:·0x4c67):·_markers877 ····<4be>···DW_AT_name········:·(strp)·(offset:·0x4c67):·_markers
Offset 884, 58 lines modifiedOffset 884, 58 lines modified
884 ····<4c9>···DW_AT_name········:·(strp)·(offset:·0x83b40c):·_chain884 ····<4c9>···DW_AT_name········:·(strp)·(offset:·0x83b40c):·_chain
885 ····<4cd>···DW_AT_decl_file···:·(data1)·68885 ····<4cd>···DW_AT_decl_file···:·(data1)·68
886 ····<4ce>···DW_AT_decl_line···:·(data1)·71886 ····<4ce>···DW_AT_decl_line···:·(data1)·71
887 ····<4cf>···DW_AT_decl_column·:·(data1)·20887 ····<4cf>···DW_AT_decl_column·:·(data1)·20
888 ····<4d0>···DW_AT_type········:·(ref_udata)·<0xef0>888 ····<4d0>···DW_AT_type········:·(ref_udata)·<0xef0>
889 ····<4d2>···DW_AT_data_member_location:·(data1)·104889 ····<4d2>···DW_AT_data_member_location:·(data1)·104
890 ·<2><4d3>:·Abbrev·Number:·1·(DW_TAG_member)890 ·<2><4d3>:·Abbrev·Number:·1·(DW_TAG_member)
891 ····<4d4>···DW_AT_name········:·(strp)·(offset:·0x1a3db):·_fileno891 ····<4d4>···DW_AT_name········:·(strp)·(offset:·0x1a3f5):·_fileno
892 ····<4d8>···DW_AT_decl_file···:·(data1)·68892 ····<4d8>···DW_AT_decl_file···:·(data1)·68
893 ····<4d9>···DW_AT_decl_line···:·(data1)·73893 ····<4d9>···DW_AT_decl_line···:·(data1)·73
894 ····<4da>···DW_AT_decl_column·:·(data1)·7894 ····<4da>···DW_AT_decl_column·:·(data1)·7
895 ····<4db>···DW_AT_type········:·(ref_addr)·<0x46>,·int895 ····<4db>···DW_AT_type········:·(ref_addr)·<0x46>,·int
896 ····<4df>···DW_AT_data_member_location:·(data1)·112896 ····<4df>···DW_AT_data_member_location:·(data1)·112
897 ·<2><4e0>:·Abbrev·Number:·44·(DW_TAG_member)897 ·<2><4e0>:·Abbrev·Number:·44·(DW_TAG_member)
898 ····<4e1>···DW_AT_name········:·(strp)·(offset:·0x1c6fd):·_flags2898 ····<4e1>···DW_AT_name········:·(strp)·(offset:·0x1c6fd):·_flags2
899 ····<4e5>···DW_AT_decl_file···:·(data1)·68899 ····<4e5>···DW_AT_decl_file···:·(data1)·68
Max diff block lines reached; 25377229/25384335 bytes (99.97%) of diff not shown.
⊟
1.99 KB
readelf --wide --debug-dump=macro {}
    
Offset 1641, 16 lines modifiedOffset 1641, 16 lines modified
1641 ·DW_MACRO_define_strp·-·lineno·:·0·macro·:·_GNU_SOURCE·11641 ·DW_MACRO_define_strp·-·lineno·:·0·macro·:·_GNU_SOURCE·1
1642 ·DW_MACRO_define_strp·-·lineno·:·0·macro·:·CVC5_STATISTICS_ON·11642 ·DW_MACRO_define_strp·-·lineno·:·0·macro·:·CVC5_STATISTICS_ON·1
1643 ·DW_MACRO_define_strp·-·lineno·:·0·macro·:·CVC5_USE_CRYPTOMINISAT·11643 ·DW_MACRO_define_strp·-·lineno·:·0·macro·:·CVC5_USE_CRYPTOMINISAT·1
1644 ·DW_MACRO_define_strp·-·lineno·:·0·macro·:·NDEBUG·11644 ·DW_MACRO_define_strp·-·lineno·:·0·macro·:·NDEBUG·1
1645 ·DW_MACRO_define_strp·-·lineno·:·0·macro·:·__BUILDING_CVC5LIB·11645 ·DW_MACRO_define_strp·-·lineno·:·0·macro·:·__BUILDING_CVC5LIB·1
1646 ·DW_MACRO_define_strp·-·lineno·:·0·macro·:·cvc5_obj_EXPORTS·11646 ·DW_MACRO_define_strp·-·lineno·:·0·macro·:·cvc5_obj_EXPORTS·1
1647 ·DW_MACRO_define_strp·-·lineno·:·0·macro·:·_FORTIFY_SOURCE·21647 ·DW_MACRO_define_strp·-·lineno·:·0·macro·:·_FORTIFY_SOURCE·2
1648 ·DW_MACRO_define_strp·-·lineno·:·0·macro·:·DEB_BUILD_DATE·"2024-03-18"1648 ·DW_MACRO_define_strp·-·lineno·:·0·macro·:·DEB_BUILD_DATE·"2024-03-19"
1649 ·DW_MACRO_define_strp·-·lineno·:·0·macro·:·DEB_BUILD_TIME·"12:06:23"1649 ·DW_MACRO_define_strp·-·lineno·:·0·macro·:·DEB_BUILD_TIME·"14:06:23"
  
1650 ··Offset:······················0x1bb71650 ··Offset:······················0x1bb7
1651 ··Version:·····················51651 ··Version:·····················5
1652 ··Offset·size:·················41652 ··Offset·size:·················4
  
1653 ·DW_MACRO_define_strp·-·lineno·:·19·macro·:·_STDC_PREDEF_H·11653 ·DW_MACRO_define_strp·-·lineno·:·19·macro·:·_STDC_PREDEF_H·1
1654 ·DW_MACRO_define_strp·-·lineno·:·38·macro·:·__STDC_IEC_559__·11654 ·DW_MACRO_define_strp·-·lineno·:·38·macro·:·__STDC_IEC_559__·1
Offset 52818, 16 lines modifiedOffset 52818, 16 lines modified
52818 ·DW_MACRO_define_strp·-·lineno·:·0·macro·:·__DECIMAL_BID_FORMAT__·152818 ·DW_MACRO_define_strp·-·lineno·:·0·macro·:·__DECIMAL_BID_FORMAT__·1
52819 ·DW_MACRO_define_strp·-·lineno·:·0·macro·:·CVC5_STATISTICS_ON·152819 ·DW_MACRO_define_strp·-·lineno·:·0·macro·:·CVC5_STATISTICS_ON·1
52820 ·DW_MACRO_define_strp·-·lineno·:·0·macro·:·CVC5_USE_CRYPTOMINISAT·152820 ·DW_MACRO_define_strp·-·lineno·:·0·macro·:·CVC5_USE_CRYPTOMINISAT·1
52821 ·DW_MACRO_define_strp·-·lineno·:·0·macro·:·NDEBUG·152821 ·DW_MACRO_define_strp·-·lineno·:·0·macro·:·NDEBUG·1
52822 ·DW_MACRO_define_strp·-·lineno·:·0·macro·:·__BUILDING_CVC5LIB·152822 ·DW_MACRO_define_strp·-·lineno·:·0·macro·:·__BUILDING_CVC5LIB·1
52823 ·DW_MACRO_define_strp·-·lineno·:·0·macro·:·cvc5_obj_EXPORTS·152823 ·DW_MACRO_define_strp·-·lineno·:·0·macro·:·cvc5_obj_EXPORTS·1
52824 ·DW_MACRO_define_strp·-·lineno·:·0·macro·:·_FORTIFY_SOURCE·252824 ·DW_MACRO_define_strp·-·lineno·:·0·macro·:·_FORTIFY_SOURCE·2
52825 ·DW_MACRO_define_strp·-·lineno·:·0·macro·:·DEB_BUILD_DATE·"2024-03-18"52825 ·DW_MACRO_define_strp·-·lineno·:·0·macro·:·DEB_BUILD_DATE·"2024-03-19"
52826 ·DW_MACRO_define_strp·-·lineno·:·0·macro·:·DEB_BUILD_TIME·"12:06:23"52826 ·DW_MACRO_define_strp·-·lineno·:·0·macro·:·DEB_BUILD_TIME·"14:06:23"
  
52827 ··Offset:······················0x493fd52827 ··Offset:······················0x493fd
52828 ··Version:·····················552828 ··Version:·····················5
52829 ··Offset·size:·················452829 ··Offset·size:·················4
  
52830 ·DW_MACRO_define_strp·-·lineno·:·39·macro·:·_STDDEF_H·52830 ·DW_MACRO_define_strp·-·lineno·:·39·macro·:·_STDDEF_H·
52831 ·DW_MACRO_define_strp·-·lineno·:·40·macro·:·_STDDEF_H_·52831 ·DW_MACRO_define_strp·-·lineno·:·40·macro·:·_STDDEF_H_·
⊟
565 B
readelf --wide --debug-dump=loc {}
    
Offset 4194297, 8 lines modifiedOffset 4194297, 8 lines modified
  
4194297 ····00bcc3b4·v000000000000000·v000000000000004·views·at·00bcc3b2·for:4194297 ····00bcc3b4·v000000000000000·v000000000000004·views·at·00bcc3b2·for:
4194298 ·············0000000000458840·0000000000458840·(DW_OP_addr:·12d5de0;·DW_OP_stack_value)4194298 ·············0000000000458840·0000000000458840·(DW_OP_addr:·12d5de0;·DW_OP_stack_value)
4194299 ····00bcc3c9·<End·of·list>4194299 ····00bcc3c9·<End·of·list>
  
4194300 ····00bcc3ca·v000000000000000·v000000000000004·location·view·pair4194300 ····00bcc3ca·v000000000000000·v000000000000004·location·view·pair
  
4194301 [·Too·much·input·for·diff·(SHA256:·3467433c6281dd158a1b3ceb6cd0be653e6ed710a08d71418a951780684fc69b)·]4194301 [·Too·much·input·for·diff·(SHA256:·a3ef337dc1a71b0c2ac0edbe15eb0a8cc3fdd516781b6738afd4246fab2079e8)·]
⊟
659 KB
strings --all --bytes=8 {}
    
Offset 1, 30384 lines modifiedOffset 1, 30544 lines modified
1 GGCC:·(Debian·14.2.0-19)·14.2.01 XGCC:·(Debian·14.2.0-19)·14.2.0
2 o69nCi_,2 o69nCi_,
3 »       GUW~i{^E3 »       GUW~i{^E
4 _smY_kb$4 _smY_kb$
5 U_N?pZezmAF5 U_N?pZezmAF
 6 eC)98j6@#
 7 4·+\6P~~
 8 UMUYBPsUsq
 9 n`i@|*cyZ
 10 A6Os!Ahv;p
 11 &q0Q1K4O
 12 AU.Rn>S»V*C
 13 `=·iY(s@R
 14 kC)>XeS»
 15 A*E/jnk\*
 16 AC$x7J)+A
 17 4aqEVTv7,>
 18 IPhRK4y%
 19 lznh?v}k
 20 -L`ll36J
 21 s*pmh)hP
 22 {`k,-·,CBp·-
 23 d<?LhKlX
 24 xBgIs%d{C
 25 M\d$-!""
 26 #W-7-Z>}D
 27 L+[>»   /lx»j
6 iu»     Zp~4W?U 
7 -i$n!nKS 
8 Y3p·7C5XaY 
9 jp}pw=sjP 
10 <!_!\NC% 
11 SEMz"Lv7 
12 2~L.T&5/ 
13 hqyQyx~~T2 
14 e7h\]?d/ 
15 d/eD}sb+ 
16 =:/PGf!DS 
17 h<'"^Fsj 
18 tq(}.(c<q, 
19 5Xn?K_uE 
20 pAF#XWKht 
21 sye=,$d/9BL 
22 u'nc~'n8 
23 ~_ciuV+h,75 
24 OmJ4F[E7L 
25 olG?MG?s 
26 #4O#4$5Gjr" 
27 I2b?G_·& 
28 HSIR{·I~ 
29 8C1lbo\4 
30 H,a\e8d$W 
31 |sUXM7!o 
32 `Zto"CG> 
33 eMd»    =Ih! 
34 ?g^,~d^[2w; 
35 d':Drj» Q 
36 }TcRNd<z 
37 |FAY;h5Q28 |FAY;h5Q
 29 E(mKk#rJ7
 30 »       6wNitfQ
38 OJpB»   srk'b 
39 sB»     srk'by 
40 wB»     srk'b9 
41 OtB»    srk'b 
42 )mSpJ3ch 
43 )]%rJK-&31 )]%rJK5p
44 hHl0Dh0( 
45 +|y+*yzMvX1y 
46 %r:/8$6@PtX 
47 p?b%6w#@! 
48 (c_jn=1C 
49 LhXWqAY! 
50 »       X7;=&P' 
51 OM]9Co-mw 
52 lE:gWf+: 
53 y[2P*'8k 
54 6N[k?-OG 
55 tND52tr( 
56 HlD^%h#MS· 
57 "wj9B?-`V 
58 cv.|KwOG 
59 POD8AWzJ 
60 azm1U[Ai<4· 
61 ["7|E·1n 
62 ^L\|/n\! 
63 P5@u]!EV 
64 Z4]N;QHN 
65 CQU3r;5m 
66 C:|A:+rU.b 
67 s6»     |2_D6 
68 FP3yRiiR 
69 =68n!{MGLJ 
70 SJu`ut{o&>b 
71 {2Ux&#wS 
72 pN·Y+L2[E 
73 $W[A6kW-e 
74 ent:IOXY32 ,29{Z6Z9;
 33 t,NL~:1A
 34 vf»     sISme
 35 +Mt]Y+*y
 36 `Wge#ZYg`
 37 n;»     <HnIbW
 38 BN.3\\"$
 39 Zpmd9hTfIt
 40 t#H;D3%wd
 41 f[h[fc#6*
 42 [btlJ~T/D;%o
 43 sQ9_*jq(2
 44 !1].G@i[
 45 N7-4)jUt
 46 [5<B}5<B
 47 fXg\h^i.
 48 `Zm4-7dn7
 49 tLQ/zR!7?
 50 ,QZXX{~V"Wcc
 51 FdVQ2yR»
 52 @tgE=s[n
 53 kh$gLGv&
 54 54eL+;_M'
 55 -scAsX;k
 56 "T]_1]{H
 57 }6x·mA;y(
 58 F9j>9j>>
 59 e"odml+`
 60 6hw+t>KB
 61 d»      t(Z39i
Max diff block lines reached; 673254/675237 bytes (99.71%) of diff not shown.
⊟
54.0 B
.fini
Timeout exceeded; details may be incomplete.
⊟
58.0 B
.rodata
Timeout exceeded; details may be incomplete.
⊟
70.0 B
.eh_frame_hdr
Timeout exceeded; details may be incomplete.
⊟
62.0 B
.eh_frame
Timeout exceeded; details may be incomplete.
⊟
78.0 B
.gcc_except_table
Timeout exceeded; details may be incomplete.
⊟
56.0 B
.tdata
Timeout exceeded; details may be incomplete.
⊟
54.0 B
.tbss
Timeout exceeded; details may be incomplete.
⊟
66.0 B
.init_array
Timeout exceeded; details may be incomplete.
⊟
66.0 B
.fini_array
Timeout exceeded; details may be incomplete.
⊟
68.0 B
.data.rel.ro
Timeout exceeded; details may be incomplete.
⊟
60.0 B
.dynamic
Timeout exceeded; details may be incomplete.
⊟
52.0 B
.got
Timeout exceeded; details may be incomplete.
⊟
54.0 B
.data
Timeout exceeded; details may be incomplete.
⊟
52.0 B
.bss
Timeout exceeded; details may be incomplete.
⊟
60.0 B
.comment
Timeout exceeded; details may be incomplete.
⊟
64.0 B
.debug_str
Timeout exceeded; details may be incomplete.
⊟
74.0 B
.debug_line_str
Timeout exceeded; details may be incomplete.
⊟
58.0 B
.strtab
Timeout exceeded; details may be incomplete.
⊟
62.0 B
.shstrtab
Timeout exceeded; details may be incomplete.
⊟
122 B
libcvc5parser1-dbgsym_1.1.2-2_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 291