62.3 MB
/srv/reproducible-results/rbuild-debian/r-b-build.4nCOEq0k/b1/cvc5_1.1.2-2_amd64.changes vs.
/srv/reproducible-results/rbuild-debian/r-b-build.4nCOEq0k/b2/cvc5_1.1.2-2_amd64.changes
1.52 KB
Files
    
Offset 1, 10 lines modifiedOffset 1, 10 lines modified
  
1 ·ad261bf91416d0260fc638ee55ccbcf6·1882820·debug·optional·cvc5-dbgsym_1.1.2-2_amd64.deb 
2 ·e2026acffd0971ae40b2f76f5957541d·108252·math·optional·cvc5_1.1.2-2_amd64.deb 
3 ·e8d55f5031052c713292b5efdd1d7771·182983880·debug·optional·libcvc5-1-dbgsym_1.1.2-2_amd64.deb 
4 ·6d4720737d1ea0c7ba11381aed554961·6695508·libs·optional·libcvc5-1_1.1.2-2_amd64.deb1 ·427315441bb9c37e93804ab77ed6380e·1883504·debug·optional·cvc5-dbgsym_1.1.2-2_amd64.deb
 2 ·eb36a05ef8ab2ace04ae37d5207b3a82·107888·math·optional·cvc5_1.1.2-2_amd64.deb
 3 ·f3ba5cbdf29cf171fe05036e204a0e76·182982084·debug·optional·libcvc5-1-dbgsym_1.1.2-2_amd64.deb
 4 ·752a3bb79e6bc3c1499c81abcc33eba8·6697540·libs·optional·libcvc5-1_1.1.2-2_amd64.deb
5 ·ac8ddc29b51a2e586d2e7f24e288929b·93012·libdevel·optional·libcvc5-dev_1.1.2-2_amd64.deb5 ·ac8ddc29b51a2e586d2e7f24e288929b·93012·libdevel·optional·libcvc5-dev_1.1.2-2_amd64.deb
6 ·73018ddbe556ea8ea5ad5789b9e70a5f·4113564·debug·optional·libcvc5parser1-dbgsym_1.1.2-2_amd64.deb 
7 ·2914f2c33e7a5cd9409ecf6d4bd5d4b3·237424·libs·optional·libcvc5parser1_1.1.2-2_amd64.deb 
8 ·010af32e6cce4c3691eb2581cc1bed30·2663824·debug·optional·python3-cvc5-dbgsym_1.1.2-2_amd64.deb 
9 ·0df1845dff157f79a410864114d69908·340228·python·optional·python3-cvc5_1.1.2-2_amd64.deb6 ·74b84b4c4688ba3eedeabd428114233d·4113496·debug·optional·libcvc5parser1-dbgsym_1.1.2-2_amd64.deb
 7 ·8bed5d68fc70c485c7dc7c6949c75d51·237584·libs·optional·libcvc5parser1_1.1.2-2_amd64.deb
 8 ·b04845f21e8d937e70a3371187a9f18a·2664344·debug·optional·python3-cvc5-dbgsym_1.1.2-2_amd64.deb
 9 ·112e36f8b16a2d54dcd0780bce60f77b·339368·python·optional·python3-cvc5_1.1.2-2_amd64.deb
2.7 KB
cvc5_1.1.2-2_amd64.deb
367 B
file list
    
Offset 1, 3 lines modifiedOffset 1, 3 lines modified
1 -rw-r--r--···0········0········0········4·2024-03-19·00:06:23.000000·debian-binary1 -rw-r--r--···0········0········0········4·2024-03-19·00:06:23.000000·debian-binary
2 -rw-r--r--···0········0········0·····1116·2024-03-19·00:06:23.000000·control.tar.xz2 -rw-r--r--···0········0········0·····1116·2024-03-19·00:06:23.000000·control.tar.xz
3 -rw-r--r--···0········0········0···106944·2024-03-19·00:06:23.000000·data.tar.xz3 -rw-r--r--···0········0········0···106580·2024-03-19·00:06:23.000000·data.tar.xz
98.0 B
control.tar.xz
70.0 B
control.tar
48.0 B
./md5sums
30.0 B
./md5sums
Files differ
2.2 KB
data.tar.xz
2.18 KB
data.tar
2.16 KB
./usr/bin/cvc5
File has been modified after NT_GNU_BUILD_ID has been applied.
821 B
readelf --wide --notes {}
    
Offset 1, 12 lines modifiedOffset 1, 12 lines modified
  
1 Displaying·notes·found·in:·.note.gnu.property1 Displaying·notes·found·in:·.note.gnu.property
2 ··Owner················Data·size·»  Description2 ··Owner················Data·size·»  Description
3 ··GNU··················0x00000010»  NT_GNU_PROPERTY_TYPE_0»    ······Properties:·x86·ISA·needed:·x86-64-baseline3 ··GNU··················0x00000010»  NT_GNU_PROPERTY_TYPE_0»    ······Properties:·x86·ISA·needed:·x86-64-baseline
  
4 Displaying·notes·found·in:·.note.gnu.build-id4 Displaying·notes·found·in:·.note.gnu.build-id
5 ··Owner················Data·size·»  Description5 ··Owner················Data·size·»  Description
6 ··GNU··················0x00000014»  NT_GNU_BUILD_ID·(unique·build·ID·bitstring)»   ····Build·ID:·cddb8153a838783a7d6ab7da5f32c569d047e03d6 ··GNU··················0x00000014»  NT_GNU_BUILD_ID·(unique·build·ID·bitstring)»   ····Build·ID:·b9ae1db60dd8f912facbb2051d4ea58503099b87
  
7 Displaying·notes·found·in:·.note.ABI-tag7 Displaying·notes·found·in:·.note.ABI-tag
8 ··Owner················Data·size·»  Description8 ··Owner················Data·size·»  Description
9 ··GNU··················0x00000010»  NT_GNU_ABI_TAG·(ABI·version·tag)»     ····OS:·Linux,·ABI:·3.2.09 ··GNU··················0x00000010»  NT_GNU_ABI_TAG·(ABI·version·tag)»     ····OS:·Linux,·ABI:·3.2.0
438 B
strings --all --bytes=8 {}
    
Offset 1, 8 lines modifiedOffset 1, 8 lines modified
1 =/lib64/ld-linux-x86-64.so.21 /lib64/ld-linux-x86-64.so.2
2 t<{~_d&'<oq|s2 t<{~_d&'<oq|s
3 _ZTIN4cvc58internal9ExceptionE3 _ZTIN4cvc58internal9ExceptionE
4 _ZNK4cvc56Solver13getOptionInfoERKNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEE4 _ZNK4cvc56Solver13getOptionInfoERKNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEE
5 _ZNK4cvc56Result9isUnknownEv5 _ZNK4cvc56Result9isUnknownEv
6 _ZNK4cvc56Result7isUnsatEv6 _ZNK4cvc56Result7isUnsatEv
7 _ZNK4cvc510OptionInfo9boolValueEv7 _ZNK4cvc510OptionInfo9boolValueEv
8 _ZNK4cvc56Solver9getOptionERKNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEE8 _ZNK4cvc56Solver9getOptionERKNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEE
866 B
error from `readelf --wide --decompress --hex-dump=.gnu_debuglink {}`: readelf: Error: Unable to find program interpreter name readelf: Error: no .dynamic section in the dynamic segment
    
Offset 1, 7 lines modifiedOffset 1, 7 lines modified
  
1 Hex·dump·of·section·'.gnu_debuglink':1 Hex·dump·of·section·'.gnu_debuglink':
2 ··0x00000000·64623831·35336138·33383738·33613764·db8153a838783a7d 
3 ··0x00000010·36616237·64613566·33326335·36396430·6ab7da5f32c569d02 ··0x00000000·61653164·62363064·64386639·31326661·ae1db60dd8f912fa
 3 ··0x00000010·63626232·30353164·34656135·38353033·cbb2051d4ea58503
4 ··0x00000020·34376530·33642e64·65627567·00000000·47e03d.debug....4 ··0x00000020·30393962·38372e64·65627567·00000000·099b87.debug....
5 ··0x00000030·1576cdd5····························.v..5 ··0x00000030·40b4d313····························@...
  
33.1 KB
libcvc5-1_1.1.2-2_amd64.deb
367 B
file list
    
Offset 1, 3 lines modifiedOffset 1, 3 lines modified
1 -rw-r--r--···0········0········0········4·2024-03-19·00:06:23.000000·debian-binary1 -rw-r--r--···0········0········0········4·2024-03-19·00:06:23.000000·debian-binary
2 -rw-r--r--···0········0········0·····1280·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··6694036·2024-03-19·00:06:23.000000·data.tar.xz3 -rw-r--r--···0········0········0··6696068·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
32.6 KB
data.tar.xz
32.6 KB
data.tar
32.5 KB
./usr/lib/x86_64-linux-gnu/libcvc5.so.1
File has been modified after NT_GNU_BUILD_ID has been applied.
11.4 KB
readelf --wide --relocs {}
    
Offset 3796, 15 lines modifiedOffset 3796, 15 lines modified
3796 000000000186cfc8··0000000000000008·R_X86_64_RELATIVE·························15a325f3796 000000000186cfc8··0000000000000008·R_X86_64_RELATIVE·························15a325f
3797 000000000186cfd0··0000000000000008·R_X86_64_RELATIVE·························15a32583797 000000000186cfd0··0000000000000008·R_X86_64_RELATIVE·························15a3258
3798 000000000186cfe0··0000000000000008·R_X86_64_RELATIVE·························15a43933798 000000000186cfe0··0000000000000008·R_X86_64_RELATIVE·························15a4393
3799 000000000186cfe8··0000000000000008·R_X86_64_RELATIVE·························159acc93799 000000000186cfe8··0000000000000008·R_X86_64_RELATIVE·························159acc9
3800 000000000186cff0··0000000000000008·R_X86_64_RELATIVE·························159ace33800 000000000186cff0··0000000000000008·R_X86_64_RELATIVE·························159ace3
3801 000000000186d000··0000000000000008·R_X86_64_RELATIVE·························15a43933801 000000000186d000··0000000000000008·R_X86_64_RELATIVE·························15a4393
3802 000000000186d008··0000000000000008·R_X86_64_RELATIVE·························159e8f73802 000000000186d008··0000000000000008·R_X86_64_RELATIVE·························159e8f7
3803 000000000186d010··0000000000000008·R_X86_64_RELATIVE·························15a57a13803 000000000186d010··0000000000000008·R_X86_64_RELATIVE·························15a578d
3804 000000000186d020··0000000000000008·R_X86_64_RELATIVE·························15a646c3804 000000000186d020··0000000000000008·R_X86_64_RELATIVE·························15a646c
3805 000000000186d028··0000000000000008·R_X86_64_RELATIVE·························15a48873805 000000000186d028··0000000000000008·R_X86_64_RELATIVE·························15a4887
3806 000000000186d030··0000000000000008·R_X86_64_RELATIVE·························15a48793806 000000000186d030··0000000000000008·R_X86_64_RELATIVE·························15a4879
3807 000000000186d040··0000000000000008·R_X86_64_RELATIVE·························15a48553807 000000000186d040··0000000000000008·R_X86_64_RELATIVE·························15a4855
3808 000000000186d048··0000000000000008·R_X86_64_RELATIVE·························15a485f3808 000000000186d048··0000000000000008·R_X86_64_RELATIVE·························15a485f
3809 000000000186d050··0000000000000008·R_X86_64_RELATIVE·························15a48683809 000000000186d050··0000000000000008·R_X86_64_RELATIVE·························15a4868
3810 000000000186d058··0000000000000008·R_X86_64_RELATIVE·························15a47393810 000000000186d058··0000000000000008·R_X86_64_RELATIVE·························15a4739
Offset 4227, 29 lines modifiedOffset 4227, 29 lines modified
4227 000000000186df28··0000000000000008·R_X86_64_RELATIVE·························15a5a784227 000000000186df28··0000000000000008·R_X86_64_RELATIVE·························15a5a78
4228 000000000186df30··0000000000000008·R_X86_64_RELATIVE·························15a5a954228 000000000186df30··0000000000000008·R_X86_64_RELATIVE·························15a5a95
4229 000000000186df38··0000000000000008·R_X86_64_RELATIVE·························15a50cc4229 000000000186df38··0000000000000008·R_X86_64_RELATIVE·························15a50cc
4230 000000000186df40··0000000000000008·R_X86_64_RELATIVE·························15a5a9f4230 000000000186df40··0000000000000008·R_X86_64_RELATIVE·························15a5a9f
4231 000000000186df48··0000000000000008·R_X86_64_RELATIVE·························15a6a2f4231 000000000186df48··0000000000000008·R_X86_64_RELATIVE·························15a6a2f
4232 000000000186df50··0000000000000008·R_X86_64_RELATIVE·························15a50d34232 000000000186df50··0000000000000008·R_X86_64_RELATIVE·························15a50d3
4233 000000000186df58··0000000000000008·R_X86_64_RELATIVE·························15a64fb4233 000000000186df58··0000000000000008·R_X86_64_RELATIVE·························15a64fb
4234 000000000186df60··0000000000000008·R_X86_64_RELATIVE·························15a57a14234 000000000186df60··0000000000000008·R_X86_64_RELATIVE·························15a578d
4235 000000000186df68··0000000000000008·R_X86_64_RELATIVE·························15a50ef4235 000000000186df68··0000000000000008·R_X86_64_RELATIVE·························15a50ef
4236 000000000186df70··0000000000000008·R_X86_64_RELATIVE·························15a50f64236 000000000186df70··0000000000000008·R_X86_64_RELATIVE·························15a50f6
4237 000000000186df78··0000000000000008·R_X86_64_RELATIVE·························159dff44237 000000000186df78··0000000000000008·R_X86_64_RELATIVE·························159dff4
4238 000000000186df80··0000000000000008·R_X86_64_RELATIVE·························15a5baf4238 000000000186df80··0000000000000008·R_X86_64_RELATIVE·························15a5baf
4239 000000000186df88··0000000000000008·R_X86_64_RELATIVE·························15a65064239 000000000186df88··0000000000000008·R_X86_64_RELATIVE·························15a6506
4240 000000000186df90··0000000000000008·R_X86_64_RELATIVE·························15a4dbf4240 000000000186df90··0000000000000008·R_X86_64_RELATIVE·························15a4dbf
4241 000000000186df98··0000000000000008·R_X86_64_RELATIVE·························15a51024241 000000000186df98··0000000000000008·R_X86_64_RELATIVE·························15a5102
4242 000000000186dfa0··0000000000000008·R_X86_64_RELATIVE·························15a51124242 000000000186dfa0··0000000000000008·R_X86_64_RELATIVE·························15a5112
4243 000000000186dfa8··0000000000000008·R_X86_64_RELATIVE·························15a512a4243 000000000186dfa8··0000000000000008·R_X86_64_RELATIVE·························15a512a
4244 000000000186dfb0··0000000000000008·R_X86_64_RELATIVE·························15a513f4244 000000000186dfb0··0000000000000008·R_X86_64_RELATIVE·························15a513f
4245 000000000186dfb8··0000000000000008·R_X86_64_RELATIVE·························15a51524245 000000000186dfb8··0000000000000008·R_X86_64_RELATIVE·························15a5152
4246 000000000186dfc0··0000000000000008·R_X86_64_RELATIVE·························15a516a4246 000000000186dfc0··0000000000000008·R_X86_64_RELATIVE·························15a516a
4247 000000000186dfc8··0000000000000008·R_X86_64_RELATIVE·························15a517b4247 000000000186dfc8··0000000000000008·R_X86_64_RELATIVE·························15a517b
4248 000000000186dfd0··0000000000000008·R_X86_64_RELATIVE·························15a57964248 000000000186dfd0··0000000000000008·R_X86_64_RELATIVE·························15a5782
4249 000000000186dfd8··0000000000000008·R_X86_64_RELATIVE·························15a5ab74249 000000000186dfd8··0000000000000008·R_X86_64_RELATIVE·························15a5ab7
4250 000000000186dfe0··0000000000000008·R_X86_64_RELATIVE·························15a518a4250 000000000186dfe0··0000000000000008·R_X86_64_RELATIVE·························15a518a
4251 000000000186dfe8··0000000000000008·R_X86_64_RELATIVE·························15a651a4251 000000000186dfe8··0000000000000008·R_X86_64_RELATIVE·························15a651a
4252 000000000186dff0··0000000000000008·R_X86_64_RELATIVE·························15a519a4252 000000000186dff0··0000000000000008·R_X86_64_RELATIVE·························15a519a
4253 000000000186dff8··0000000000000008·R_X86_64_RELATIVE·························15a51a94253 000000000186dff8··0000000000000008·R_X86_64_RELATIVE·························15a51a9
4254 000000000186e000··0000000000000008·R_X86_64_RELATIVE·························15a51c04254 000000000186e000··0000000000000008·R_X86_64_RELATIVE·························15a51c0
4255 000000000186e008··0000000000000008·R_X86_64_RELATIVE·························15a65274255 000000000186e008··0000000000000008·R_X86_64_RELATIVE·························15a6527
Offset 4291, 16 lines modifiedOffset 4291, 16 lines modified
4291 000000000186e128··0000000000000008·R_X86_64_RELATIVE·························15a656a4291 000000000186e128··0000000000000008·R_X86_64_RELATIVE·························15a656a
4292 000000000186e130··0000000000000008·R_X86_64_RELATIVE·························15a657d4292 000000000186e130··0000000000000008·R_X86_64_RELATIVE·························15a657d
4293 000000000186e138··0000000000000008·R_X86_64_RELATIVE·························15a52724293 000000000186e138··0000000000000008·R_X86_64_RELATIVE·························15a5272
4294 000000000186e140··0000000000000008·R_X86_64_RELATIVE·························15a65924294 000000000186e140··0000000000000008·R_X86_64_RELATIVE·························15a6592
4295 000000000186e148··0000000000000008·R_X86_64_RELATIVE·························15a65a24295 000000000186e148··0000000000000008·R_X86_64_RELATIVE·························15a65a2
4296 000000000186e150··0000000000000008·R_X86_64_RELATIVE·························15a527f4296 000000000186e150··0000000000000008·R_X86_64_RELATIVE·························15a527f
4297 000000000186e158··0000000000000008·R_X86_64_RELATIVE·························159cdd34297 000000000186e158··0000000000000008·R_X86_64_RELATIVE·························159cdd3
4298 000000000186e160··0000000000000008·R_X86_64_RELATIVE·························15a529f 
4299 000000000186e168··0000000000000008·R_X86_64_RELATIVE·························15a528e4298 000000000186e160··0000000000000008·R_X86_64_RELATIVE·························15a528e
 4299 000000000186e168··0000000000000008·R_X86_64_RELATIVE·························15a529a
4300 000000000186e170··0000000000000008·R_X86_64_RELATIVE·························15a5f074300 000000000186e170··0000000000000008·R_X86_64_RELATIVE·························15a5f07
4301 000000000186e178··0000000000000008·R_X86_64_RELATIVE·························15a52ab4301 000000000186e178··0000000000000008·R_X86_64_RELATIVE·························15a52ab
4302 000000000186e180··0000000000000008·R_X86_64_RELATIVE·························15a52b34302 000000000186e180··0000000000000008·R_X86_64_RELATIVE·························15a52b3
4303 000000000186e188··0000000000000008·R_X86_64_RELATIVE·························15a65af4303 000000000186e188··0000000000000008·R_X86_64_RELATIVE·························15a65af
4304 000000000186e190··0000000000000008·R_X86_64_RELATIVE·························15983634304 000000000186e190··0000000000000008·R_X86_64_RELATIVE·························1598363
4305 000000000186e198··0000000000000008·R_X86_64_RELATIVE·························15a65cc4305 000000000186e198··0000000000000008·R_X86_64_RELATIVE·························15a65cc
4306 000000000186e1a0··0000000000000008·R_X86_64_RELATIVE·························15a6da24306 000000000186e1a0··0000000000000008·R_X86_64_RELATIVE·························15a6da2
Offset 4471, 15 lines modifiedOffset 4471, 15 lines modified
4471 000000000186e6c8··0000000000000008·R_X86_64_RELATIVE·························15a57704471 000000000186e6c8··0000000000000008·R_X86_64_RELATIVE·························15a5770
4472 000000000186e6d0··0000000000000008·R_X86_64_RELATIVE·························15a686c4472 000000000186e6d0··0000000000000008·R_X86_64_RELATIVE·························15a686c
4473 000000000186e6d8··0000000000000008·R_X86_64_RELATIVE·························15a687e4473 000000000186e6d8··0000000000000008·R_X86_64_RELATIVE·························15a687e
4474 000000000186e6e0··0000000000000008·R_X86_64_RELATIVE·························15a577a4474 000000000186e6e0··0000000000000008·R_X86_64_RELATIVE·························15a577a
4475 000000000186e6e8··0000000000000008·R_X86_64_RELATIVE·························15983294475 000000000186e6e8··0000000000000008·R_X86_64_RELATIVE·························1598329
4476 000000000186e6f0··0000000000000008·R_X86_64_RELATIVE·························15982ce4476 000000000186e6f0··0000000000000008·R_X86_64_RELATIVE·························15982ce
4477 000000000186e6f8··0000000000000008·R_X86_64_RELATIVE·························15a5dbc4477 000000000186e6f8··0000000000000008·R_X86_64_RELATIVE·························15a5dbc
4478 000000000186e700··0000000000000008·R_X86_64_RELATIVE·························15a57824478 000000000186e700··0000000000000008·R_X86_64_RELATIVE·························15a5791
4479 000000000186e710··0000000000000008·R_X86_64_RELATIVE·························1879c484479 000000000186e710··0000000000000008·R_X86_64_RELATIVE·························1879c48
4480 000000000186e718··0000000000000008·R_X86_64_RELATIVE·························14a35404480 000000000186e718··0000000000000008·R_X86_64_RELATIVE·························14a3540
4481 000000000186e720··0000000000000008·R_X86_64_RELATIVE·························14a36004481 000000000186e720··0000000000000008·R_X86_64_RELATIVE·························14a3600
4482 000000000186e728··0000000000000008·R_X86_64_RELATIVE·························14a33504482 000000000186e728··0000000000000008·R_X86_64_RELATIVE·························14a3350
4483 000000000186e730··0000000000000008·R_X86_64_RELATIVE·························14a55304483 000000000186e730··0000000000000008·R_X86_64_RELATIVE·························14a5530
4484 000000000186e738··0000000000000008·R_X86_64_RELATIVE·························14a33304484 000000000186e738··0000000000000008·R_X86_64_RELATIVE·························14a3330
4485 000000000186e740··0000000000000008·R_X86_64_RELATIVE·························14a36e04485 000000000186e740··0000000000000008·R_X86_64_RELATIVE·························14a36e0
Offset 8478, 15 lines modifiedOffset 8478, 15 lines modified
8478 000000000187f300··0000000000000008·R_X86_64_RELATIVE·························159a6ce8478 000000000187f300··0000000000000008·R_X86_64_RELATIVE·························159a6ce
8479 000000000187f320··0000000000000008·R_X86_64_RELATIVE·························15983498479 000000000187f320··0000000000000008·R_X86_64_RELATIVE·························1598349
8480 000000000187f340··0000000000000008·R_X86_64_RELATIVE·························159e8f78480 000000000187f340··0000000000000008·R_X86_64_RELATIVE·························159e8f7
8481 000000000187f360··0000000000000008·R_X86_64_RELATIVE·························15a5ba08481 000000000187f360··0000000000000008·R_X86_64_RELATIVE·························15a5ba0
8482 000000000187f380··0000000000000008·R_X86_64_RELATIVE·························15a5b9d8482 000000000187f380··0000000000000008·R_X86_64_RELATIVE·························15a5b9d
8483 000000000187f3a0··0000000000000008·R_X86_64_RELATIVE·························15a50fd8483 000000000187f3a0··0000000000000008·R_X86_64_RELATIVE·························15a50fd
8484 000000000187f3c0··0000000000000008·R_X86_64_RELATIVE·························15a4fc38484 000000000187f3c0··0000000000000008·R_X86_64_RELATIVE·························15a4fc3
8485 000000000187f3e0··0000000000000008·R_X86_64_RELATIVE·························15a57a18485 000000000187f3e0··0000000000000008·R_X86_64_RELATIVE·························15a578d
8486 000000000187f400··0000000000000008·R_X86_64_RELATIVE·························15983638486 000000000187f400··0000000000000008·R_X86_64_RELATIVE·························1598363
8487 000000000187f420··0000000000000008·R_X86_64_RELATIVE·························15a50ef8487 000000000187f420··0000000000000008·R_X86_64_RELATIVE·························15a50ef
8488 000000000187f440··0000000000000008·R_X86_64_RELATIVE·························15a5baf8488 000000000187f440··0000000000000008·R_X86_64_RELATIVE·························15a5baf
8489 000000000187f460··0000000000000008·R_X86_64_RELATIVE·························15a5bac8489 000000000187f460··0000000000000008·R_X86_64_RELATIVE·························15a5bac
8490 000000000187f480··0000000000000008·R_X86_64_RELATIVE·························15a5bbd8490 000000000187f480··0000000000000008·R_X86_64_RELATIVE·························15a5bbd
8491 000000000187f4a0··0000000000000008·R_X86_64_RELATIVE·························15a5bba8491 000000000187f4a0··0000000000000008·R_X86_64_RELATIVE·························15a5bba
8492 000000000187f4c0··0000000000000008·R_X86_64_RELATIVE·························159cdd38492 000000000187f4c0··0000000000000008·R_X86_64_RELATIVE·························159cdd3
Offset 8629, 16 lines modifiedOffset 8629, 16 lines modified
8629 00000000018805e0··0000000000000008·R_X86_64_RELATIVE·························15a513f8629 00000000018805e0··0000000000000008·R_X86_64_RELATIVE·························15a513f
8630 0000000001880600··0000000000000008·R_X86_64_RELATIVE·························15a4dbf8630 0000000001880600··0000000000000008·R_X86_64_RELATIVE·························15a4dbf
8631 0000000001880620··0000000000000008·R_X86_64_RELATIVE·························15a51528631 0000000001880620··0000000000000008·R_X86_64_RELATIVE·························15a5152
8632 0000000001880640··0000000000000008·R_X86_64_RELATIVE·························15a516a8632 0000000001880640··0000000000000008·R_X86_64_RELATIVE·························15a516a
8633 0000000001880660··0000000000000008·R_X86_64_RELATIVE·························15a517b8633 0000000001880660··0000000000000008·R_X86_64_RELATIVE·························15a517b
8634 0000000001880680··0000000000000008·R_X86_64_RELATIVE·························15a5f078634 0000000001880680··0000000000000008·R_X86_64_RELATIVE·························15a5f07
8635 00000000018806a0··0000000000000008·R_X86_64_RELATIVE·························15a5f048635 00000000018806a0··0000000000000008·R_X86_64_RELATIVE·························15a5f04
 8636 00000000018806c0··0000000000000008·R_X86_64_RELATIVE·························15a5791
8636 00000000018806c0··0000000000000008·R_X86_64_RELATIVE·························15a57828637 00000000018806e0··0000000000000008·R_X86_64_RELATIVE·························15a5782
8637 00000000018806e0··0000000000000008·R_X86_64_RELATIVE·························15a5796 
8638 0000000001880700··0000000000000008·R_X86_64_RELATIVE·························15a5f1e8638 0000000001880700··0000000000000008·R_X86_64_RELATIVE·························15a5f1e
8639 0000000001880720··0000000000000008·R_X86_64_RELATIVE·························15a5f1b8639 0000000001880720··0000000000000008·R_X86_64_RELATIVE·························15a5f1b
8640 0000000001880740··0000000000000008·R_X86_64_RELATIVE·························15a4f188640 0000000001880740··0000000000000008·R_X86_64_RELATIVE·························15a4f18
8641 0000000001880760··0000000000000008·R_X86_64_RELATIVE·························15a5f338641 0000000001880760··0000000000000008·R_X86_64_RELATIVE·························15a5f33
8642 0000000001880780··0000000000000008·R_X86_64_RELATIVE·························15a5f308642 0000000001880780··0000000000000008·R_X86_64_RELATIVE·························15a5f30
8643 00000000018807a0··0000000000000008·R_X86_64_RELATIVE·························15a5f498643 00000000018807a0··0000000000000008·R_X86_64_RELATIVE·························15a5f49
8644 00000000018807c0··0000000000000008·R_X86_64_RELATIVE·························15a5f468644 00000000018807c0··0000000000000008·R_X86_64_RELATIVE·························15a5f46
Offset 8689, 16 lines modifiedOffset 8689, 16 lines modified
8689 0000000001880d60··0000000000000008·R_X86_64_RELATIVE·························15a60938689 0000000001880d60··0000000000000008·R_X86_64_RELATIVE·························15a6093
8690 0000000001880d80··0000000000000008·R_X86_64_RELATIVE·························15a52448690 0000000001880d80··0000000000000008·R_X86_64_RELATIVE·························15a5244
8691 0000000001880da0··0000000000000008·R_X86_64_RELATIVE·························157adb08691 0000000001880da0··0000000000000008·R_X86_64_RELATIVE·························157adb0
8692 0000000001880dc0··0000000000000008·R_X86_64_RELATIVE·························15a60ab8692 0000000001880dc0··0000000000000008·R_X86_64_RELATIVE·························15a60ab
8693 0000000001880de0··0000000000000008·R_X86_64_RELATIVE·························15a60a88693 0000000001880de0··0000000000000008·R_X86_64_RELATIVE·························15a60a8
8694 0000000001880e00··0000000000000008·R_X86_64_RELATIVE·························159d4498694 0000000001880e00··0000000000000008·R_X86_64_RELATIVE·························159d449
8695 0000000001880e20··0000000000000008·R_X86_64_RELATIVE·························15a51de8695 0000000001880e20··0000000000000008·R_X86_64_RELATIVE·························15a51de
8696 0000000001880e40··0000000000000008·R_X86_64_RELATIVE·························15a529f 
8697 0000000001880e60··0000000000000008·R_X86_64_RELATIVE·························15a528e8696 0000000001880e40··0000000000000008·R_X86_64_RELATIVE·························15a528e
 8697 0000000001880e60··0000000000000008·R_X86_64_RELATIVE·························15a529a
8698 0000000001880e80··0000000000000008·R_X86_64_RELATIVE·························15a531b8698 0000000001880e80··0000000000000008·R_X86_64_RELATIVE·························15a531b
8699 0000000001880ea0··0000000000000008·R_X86_64_RELATIVE·························15a532c8699 0000000001880ea0··0000000000000008·R_X86_64_RELATIVE·························15a532c
8700 0000000001880ec0··0000000000000008·R_X86_64_RELATIVE·························15a537c8700 0000000001880ec0··0000000000000008·R_X86_64_RELATIVE·························15a537c
Max diff block lines reached; 258/11606 bytes (2.22%) of diff not shown.
430 B
readelf --wide --notes {}
    
Offset 1, 4 lines modifiedOffset 1, 4 lines modified
  
1 Displaying·notes·found·in:·.note.gnu.build-id1 Displaying·notes·found·in:·.note.gnu.build-id
2 ··Owner················Data·size·»  Description2 ··Owner················Data·size·»  Description
3 ··GNU··················0x00000014»  NT_GNU_BUILD_ID·(unique·build·ID·bitstring)»   ····Build·ID:·54f551147e36f28d61dcc7b962b3e462609294123 ··GNU··················0x00000014»  NT_GNU_BUILD_ID·(unique·build·ID·bitstring)»   ····Build·ID:·e18d18c4a8614110952eb5935546aeca551bd131
744 B
strings --all --bytes=8 {}
Ordering differences only
    
Offset 26778, 16 lines modifiedOffset 26778, 16 lines modified
26778 proof-granularity26778 proof-granularity
26779 proof-mode26779 proof-mode
26780 proof-pedantic26780 proof-pedantic
26781 proof-rewrite-rcons-rec-limit26781 proof-rewrite-rcons-rec-limit
26782 prop-row-length26782 prop-row-length
26783 quant-dsplit26783 quant-dsplit
26784 quant-rep-mode26784 quant-rep-mode
26785 random-frequency 
26786 random-freq26785 random-freq
 26786 random-frequency
26787 re-inter-mode26787 re-inter-mode
26788 replay-early-close-depth26788 replay-early-close-depth
26789 replay-lemma-reject-cut26789 replay-lemma-reject-cut
26790 replay-num-err-penalty26790 replay-num-err-penalty
26791 replay-reject-cut26791 replay-reject-cut
26792 restart-int-base26792 restart-int-base
26793 restart-int-inc26793 restart-int-inc
Offset 26843, 16 lines modifiedOffset 26843, 16 lines modified
26843 trigger-active-sel26843 trigger-active-sel
26844 trigger-sel26844 trigger-sel
26845 uf-ss-abort-card26845 uf-ss-abort-card
26846 unate-lemmas26846 unate-lemmas
26847 unsat-cores-mode26847 unsat-cores-mode
26848 user-pat26848 user-pat
26849 user-pool26849 user-pool
26850 write-partitions-to 
26851 partitions-out26850 partitions-out
 26851 write-partitions-to
26852 Argument·'26852 Argument·'
26853 '·for·bool·option·26853 '·for·bool·option·
26854 ·is·not·a·bool·constant26854 ·is·not·a·bool·constant
26855 ·is·negative26855 ·is·negative
26856 ·did·parse·only·partially·as·26856 ·did·parse·only·partially·as·
26857 ,·leaving·'26857 ,·leaving·'
26858 ·did·not·parse·as·26858 ·did·not·parse·as·
7.85 KB
objdump --line-numbers --disassemble --demangle --reloc --no-show-raw-insn --section=.text {}
    
Offset 668316, 19 lines modifiedOffset 668316, 19 lines modified
668316 »       movl···$0x52,0xd20(%rsp)668316 »       movl···$0x52,0xd20(%rsp)
668317 »       call···13ffb30·<cvc5::internal::Options::Options()@@Base+0x12d0>668317 »       call···13ffb30·<cvc5::internal::Options::Options()@@Base+0x12d0>
668318 »       lea····0xd50(%rsp),%rdi668318 »       lea····0xd50(%rsp),%rdi
668319 »       lea····0x12d3969(%rip),%rsi········668319 »       lea····0x12d3969(%rip),%rsi········
668320 »       movl···$0x53,0xd48(%rsp)668320 »       movl···$0x53,0xd48(%rsp)
668321 »       call···13ffb30·<cvc5::internal::Options::Options()@@Base+0x12d0>668321 »       call···13ffb30·<cvc5::internal::Options::Options()@@Base+0x12d0>
668322 »       lea····0xd78(%rsp),%rdi668322 »       lea····0xd78(%rsp),%rdi
668323 »       lea····0x12d1e18(%rip),%rsi········668323 »       lea····0x12d4c25(%rip),%rsi········
668324 »       movl···$0x54,0xd70(%rsp)668324 »       movl···$0x54,0xd70(%rsp)
668325 »       call···13ffb30·<cvc5::internal::Options::Options()@@Base+0x12d0>668325 »       call···13ffb30·<cvc5::internal::Options::Options()@@Base+0x12d0>
668326 »       lea····0xda0(%rsp),%rdi668326 »       lea····0xda0(%rsp),%rdi
668327 »       lea····0x12d4c06(%rip),%rsi········668327 »       lea····0x12d1df9(%rip),%rsi········
668328 »       movl···$0x55,0xd98(%rsp)668328 »       movl···$0x55,0xd98(%rsp)
668329 »       call···13ffb30·<cvc5::internal::Options::Options()@@Base+0x12d0>668329 »       call···13ffb30·<cvc5::internal::Options::Options()@@Base+0x12d0>
668330 »       lea····0xdc8(%rsp),%rdi668330 »       lea····0xdc8(%rsp),%rdi
668331 »       lea····0x12d1432(%rip),%rsi········668331 »       lea····0x12d1432(%rip),%rsi········
668332 »       movl···$0x55,0xdc0(%rsp)668332 »       movl···$0x55,0xdc0(%rsp)
668333 »       call···13ffb30·<cvc5::internal::Options::Options()@@Base+0x12d0>668333 »       call···13ffb30·<cvc5::internal::Options::Options()@@Base+0x12d0>
668334 »       lea····0xdf0(%rsp),%rdi668334 »       lea····0xdf0(%rsp),%rdi
Offset 668692, 19 lines modifiedOffset 668692, 19 lines modified
668692 »       movl···$0xae,0x1bd0(%rsp)668692 »       movl···$0xae,0x1bd0(%rsp)
668693 »       call···13ffb30·<cvc5::internal::Options::Options()@@Base+0x12d0>668693 »       call···13ffb30·<cvc5::internal::Options::Options()@@Base+0x12d0>
668694 »       lea····0x1c00(%rsp),%rdi668694 »       lea····0x1c00(%rsp),%rdi
668695 »       lea····0x12d1421(%rip),%rsi········668695 »       lea····0x12d1421(%rip),%rsi········
668696 »       movl···$0xaf,0x1bf8(%rsp)668696 »       movl···$0xaf,0x1bf8(%rsp)
668697 »       call···13ffb30·<cvc5::internal::Options::Options()@@Base+0x12d0>668697 »       call···13ffb30·<cvc5::internal::Options::Options()@@Base+0x12d0>
668698 »       lea····0x1c28(%rsp),%rdi668698 »       lea····0x1c28(%rsp),%rdi
668699 »       lea····0x12d154a(%rip),%rsi········668699 »       lea····0x12d1410(%rip),%rsi········
668700 »       movl···$0xb0,0x1c20(%rsp)668700 »       movl···$0xb0,0x1c20(%rsp)
668701 »       call···13ffb30·<cvc5::internal::Options::Options()@@Base+0x12d0>668701 »       call···13ffb30·<cvc5::internal::Options::Options()@@Base+0x12d0>
668702 »       lea····0x1c50(%rsp),%rdi668702 »       lea····0x1c50(%rsp),%rdi
668703 »       lea····0x12d13f1(%rip),%rsi········668703 »       lea····0x12d152b(%rip),%rsi········
668704 »       movl···$0xb1,0x1c48(%rsp)668704 »       movl···$0xb1,0x1c48(%rsp)
668705 »       call···13ffb30·<cvc5::internal::Options::Options()@@Base+0x12d0>668705 »       call···13ffb30·<cvc5::internal::Options::Options()@@Base+0x12d0>
668706 »       lea····0x1c78(%rsp),%rdi668706 »       lea····0x1c78(%rsp),%rdi
668707 »       lea····0x12d2dfb(%rip),%rsi········668707 »       lea····0x12d2dfb(%rip),%rsi········
668708 »       movl···$0xb1,0x1c70(%rsp)668708 »       movl···$0xb1,0x1c70(%rsp)
668709 »       call···13ffb30·<cvc5::internal::Options::Options()@@Base+0x12d0>668709 »       call···13ffb30·<cvc5::internal::Options::Options()@@Base+0x12d0>
668710 »       lea····0x1ca0(%rsp),%rdi668710 »       lea····0x1ca0(%rsp),%rdi
Offset 668912, 19 lines modifiedOffset 668912, 19 lines modified
668912 »       movl···$0xe4,0x2468(%rsp)668912 »       movl···$0xe4,0x2468(%rsp)
668913 »       call···13ffb30·<cvc5::internal::Options::Options()@@Base+0x12d0>668913 »       call···13ffb30·<cvc5::internal::Options::Options()@@Base+0x12d0>
668914 »       lea····0x2498(%rsp),%rdi668914 »       lea····0x2498(%rsp),%rdi
668915 »       lea····0x12d22be(%rip),%rsi········668915 »       lea····0x12d22be(%rip),%rsi········
668916 »       movl···$0xe5,0x2490(%rsp)668916 »       movl···$0xe5,0x2490(%rsp)
668917 »       call···13ffb30·<cvc5::internal::Options::Options()@@Base+0x12d0>668917 »       call···13ffb30·<cvc5::internal::Options::Options()@@Base+0x12d0>
668918 »       lea····0x24c0(%rsp),%rdi668918 »       lea····0x24c0(%rsp),%rdi
668919 »       lea····0x12d1545(%rip),%rsi········668919 »       lea····0x12c4107(%rip),%rsi········
668920 »       movl···$0xe6,0x24b8(%rsp)668920 »       movl···$0xe6,0x24b8(%rsp)
668921 »       call···13ffb30·<cvc5::internal::Options::Options()@@Base+0x12d0>668921 »       call···13ffb30·<cvc5::internal::Options::Options()@@Base+0x12d0>
668922 »       lea····0x24e8(%rsp),%rdi668922 »       lea····0x24e8(%rsp),%rdi
668923 »       lea····0x12c40e8(%rip),%rsi········668923 »       lea····0x12d1512(%rip),%rsi········
668924 »       movl···$0xe7,0x24e0(%rsp)668924 »       movl···$0xe7,0x24e0(%rsp)
668925 »       call···13ffb30·<cvc5::internal::Options::Options()@@Base+0x12d0>668925 »       call···13ffb30·<cvc5::internal::Options::Options()@@Base+0x12d0>
668926 »       lea····0x2510(%rsp),%rdi668926 »       lea····0x2510(%rsp),%rdi
668927 »       lea····0x12d0e55(%rip),%rsi········668927 »       lea····0x12d0e55(%rip),%rsi········
668928 »       movl···$0xe7,0x2508(%rsp)668928 »       movl···$0xe7,0x2508(%rsp)
668929 »       call···13ffb30·<cvc5::internal::Options::Options()@@Base+0x12d0>668929 »       call···13ffb30·<cvc5::internal::Options::Options()@@Base+0x12d0>
668930 »       lea····0x2538(%rsp),%rdi668930 »       lea····0x2538(%rsp),%rdi
Offset 668956, 19 lines modifiedOffset 668956, 19 lines modified
668956 »       movl···$0xec,0x2620(%rsp)668956 »       movl···$0xec,0x2620(%rsp)
668957 »       call···13ffb30·<cvc5::internal::Options::Options()@@Base+0x12d0>668957 »       call···13ffb30·<cvc5::internal::Options::Options()@@Base+0x12d0>
668958 »       lea····0x2650(%rsp),%rdi668958 »       lea····0x2650(%rsp),%rdi
668959 »       lea····0x12d0d98(%rip),%rsi········668959 »       lea····0x12d0d98(%rip),%rsi········
668960 »       movl···$0xed,0x2648(%rsp)668960 »       movl···$0xed,0x2648(%rsp)
668961 »       call···13ffb30·<cvc5::internal::Options::Options()@@Base+0x12d0>668961 »       call···13ffb30·<cvc5::internal::Options::Options()@@Base+0x12d0>
668962 »       lea····0x2678(%rsp),%rdi668962 »       lea····0x2678(%rsp),%rdi
668963 »       lea····0x12d0a0e(%rip),%rsi········668963 »       lea····0x12d0d8e(%rip),%rsi········
668964 »       movl···$0xee,0x2670(%rsp)668964 »       movl···$0xee,0x2670(%rsp)
668965 »       call···13ffb30·<cvc5::internal::Options::Options()@@Base+0x12d0>668965 »       call···13ffb30·<cvc5::internal::Options::Options()@@Base+0x12d0>
668966 »       lea····0x26a0(%rsp),%rdi668966 »       lea····0x26a0(%rsp),%rdi
668967 »       lea····0x12d0d6f(%rip),%rsi········668967 »       lea····0x12d09ef(%rip),%rsi········
668968 »       movl···$0xef,0x2698(%rsp)668968 »       movl···$0xef,0x2698(%rsp)
668969 »       call···13ffb30·<cvc5::internal::Options::Options()@@Base+0x12d0>668969 »       call···13ffb30·<cvc5::internal::Options::Options()@@Base+0x12d0>
668970 »       lea····0x26c8(%rsp),%rdi668970 »       lea····0x26c8(%rsp),%rdi
668971 »       lea····0x12d0d63(%rip),%rsi········668971 »       lea····0x12d0d63(%rip),%rsi········
668972 »       movl···$0xef,0x26c0(%rsp)668972 »       movl···$0xef,0x26c0(%rsp)
668973 »       call···13ffb30·<cvc5::internal::Options::Options()@@Base+0x12d0>668973 »       call···13ffb30·<cvc5::internal::Options::Options()@@Base+0x12d0>
668974 »       lea····0x26f0(%rsp),%rdi668974 »       lea····0x26f0(%rsp),%rdi
Offset 669044, 19 lines modifiedOffset 669044, 19 lines modified
669044 »       movl···$0x101,0x2990(%rsp)669044 »       movl···$0x101,0x2990(%rsp)
669045 »       call···13ffb30·<cvc5::internal::Options::Options()@@Base+0x12d0>669045 »       call···13ffb30·<cvc5::internal::Options::Options()@@Base+0x12d0>
669046 »       lea····0x29c0(%rsp),%rdi669046 »       lea····0x29c0(%rsp),%rdi
669047 »       lea····0x12d241d(%rip),%rsi········669047 »       lea····0x12d241d(%rip),%rsi········
669048 »       movl···$0x102,0x29b8(%rsp)669048 »       movl···$0x102,0x29b8(%rsp)
669049 »       call···13ffb30·<cvc5::internal::Options::Options()@@Base+0x12d0>669049 »       call···13ffb30·<cvc5::internal::Options::Options()@@Base+0x12d0>
669050 »       lea····0x29e8(%rsp),%rdi669050 »       lea····0x29e8(%rsp),%rdi
669051 »       lea····0x12d2427(%rip),%rsi········669051 »       lea····0x12d2411(%rip),%rsi········
669052 »       movl···$0x103,0x29e0(%rsp)669052 »       movl···$0x103,0x29e0(%rsp)
669053 »       call···13ffb30·<cvc5::internal::Options::Options()@@Base+0x12d0>669053 »       call···13ffb30·<cvc5::internal::Options::Options()@@Base+0x12d0>
669054 »       lea····0x2a10(%rsp),%rdi669054 »       lea····0x2a10(%rsp),%rdi
669055 »       lea····0x12d23f2(%rip),%rsi········669055 »       lea····0x12d2408(%rip),%rsi········
669056 »       movl···$0x104,0x2a08(%rsp)669056 »       movl···$0x104,0x2a08(%rsp)
669057 »       call···13ffb30·<cvc5::internal::Options::Options()@@Base+0x12d0>669057 »       call···13ffb30·<cvc5::internal::Options::Options()@@Base+0x12d0>
669058 »       lea····0x2a38(%rsp),%rdi669058 »       lea····0x2a38(%rsp),%rdi
669059 »       lea····0x12d23fd(%rip),%rsi········669059 »       lea····0x12d23fd(%rip),%rsi········
669060 »       movl···$0x104,0x2a30(%rsp)669060 »       movl···$0x104,0x2a30(%rsp)
669061 »       call···13ffb30·<cvc5::internal::Options::Options()@@Base+0x12d0>669061 »       call···13ffb30·<cvc5::internal::Options::Options()@@Base+0x12d0>
669062 »       lea····0x2a60(%rsp),%rdi669062 »       lea····0x2a60(%rsp),%rdi
Offset 669180, 15 lines modifiedOffset 669180, 15 lines modified
669180 »       movl···$0x122,0x2ee0(%rsp)669180 »       movl···$0x122,0x2ee0(%rsp)
669181 »       call···13ffb30·<cvc5::internal::Options::Options()@@Base+0x12d0>669181 »       call···13ffb30·<cvc5::internal::Options::Options()@@Base+0x12d0>
669182 »       lea····0x2f10(%rsp),%rdi669182 »       lea····0x2f10(%rsp),%rdi
669183 »       lea····0x12d0834(%rip),%rsi········669183 »       lea····0x12d0834(%rip),%rsi········
669184 »       movl···$0x123,0x2f08(%rsp)669184 »       movl···$0x123,0x2f08(%rsp)
669185 »       call···13ffb30·<cvc5::internal::Options::Options()@@Base+0x12d0>669185 »       call···13ffb30·<cvc5::internal::Options::Options()@@Base+0x12d0>
669186 »       lea····0x2f38(%rsp),%rdi669186 »       lea····0x2f38(%rsp),%rdi
669187 »       lea····0x12d0826(%rip),%rsi········669187 »       lea····0x12d0821(%rip),%rsi········
669188 »       movl···$0x124,0x2f30(%rsp)669188 »       movl···$0x124,0x2f30(%rsp)
669189 »       call···13ffb30·<cvc5::internal::Options::Options()@@Base+0x12d0>669189 »       call···13ffb30·<cvc5::internal::Options::Options()@@Base+0x12d0>
669190 »       lea····0x2f60(%rsp),%rdi669190 »       lea····0x2f60(%rsp),%rdi
669191 »       lea····0x12d146f(%rip),%rsi········669191 »       lea····0x12d146f(%rip),%rsi········
669192 »       movl···$0x124,0x2f58(%rsp)669192 »       movl···$0x124,0x2f58(%rsp)
669193 »       call···13ffb30·<cvc5::internal::Options::Options()@@Base+0x12d0>669193 »       call···13ffb30·<cvc5::internal::Options::Options()@@Base+0x12d0>
669194 »       lea····0x2f88(%rsp),%rdi669194 »       lea····0x2f88(%rsp),%rdi
Offset 669252, 19 lines modifiedOffset 669252, 19 lines modified
669252 »       movl···$0x133,0x31b0(%rsp)669252 »       movl···$0x133,0x31b0(%rsp)
669253 »       call···13ffb30·<cvc5::internal::Options::Options()@@Base+0x12d0>669253 »       call···13ffb30·<cvc5::internal::Options::Options()@@Base+0x12d0>
669254 »       lea····0x31e0(%rsp),%rdi669254 »       lea····0x31e0(%rsp),%rdi
669255 »       lea····0x12d06d1(%rip),%rsi········669255 »       lea····0x12d06d1(%rip),%rsi········
669256 »       movl···$0x134,0x31d8(%rsp)669256 »       movl···$0x134,0x31d8(%rsp)
669257 »       call···13ffb30·<cvc5::internal::Options::Options()@@Base+0x12d0>669257 »       call···13ffb30·<cvc5::internal::Options::Options()@@Base+0x12d0>
669258 »       lea····0x3208(%rsp),%rdi669258 »       lea····0x3208(%rsp),%rdi
669259 »       lea····0x12c36d3(%rip),%rsi········669259 »       lea····0x12d06b9(%rip),%rsi········
669260 »       movl···$0x135,0x3200(%rsp)669260 »       movl···$0x135,0x3200(%rsp)
669261 »       call···13ffb30·<cvc5::internal::Options::Options()@@Base+0x12d0>669261 »       call···13ffb30·<cvc5::internal::Options::Options()@@Base+0x12d0>
669262 »       lea····0x3230(%rsp),%rdi669262 »       lea····0x3230(%rsp),%rdi
Max diff block lines reached; 2239/7852 bytes (28.52%) of diff not shown.
2.63 KB
readelf --wide --decompress --hex-dump=.rodata {}
    
Offset 22565, 16 lines modifiedOffset 22565, 16 lines modified
22565 ··0x015a5220·616e756c·61726974·79007072·6f6f662d·anularity.proof-22565 ··0x015a5220·616e756c·61726974·79007072·6f6f662d·anularity.proof-
22566 ··0x015a5230·6d6f6465·0070726f·6f662d70·6564616e·mode.proof-pedan22566 ··0x015a5230·6d6f6465·0070726f·6f662d70·6564616e·mode.proof-pedan
22567 ··0x015a5240·74696300·70726f6f·662d7265·77726974·tic.proof-rewrit22567 ··0x015a5240·74696300·70726f6f·662d7265·77726974·tic.proof-rewrit
22568 ··0x015a5250·652d7263·6f6e732d·7265632d·6c696d69·e-rcons-rec-limi22568 ··0x015a5250·652d7263·6f6e732d·7265632d·6c696d69·e-rcons-rec-limi
22569 ··0x015a5260·74007072·6f702d72·6f772d6c·656e6774·t.prop-row-lengt22569 ··0x015a5260·74007072·6f702d72·6f772d6c·656e6774·t.prop-row-lengt
22570 ··0x015a5270·68007175·616e742d·6473706c·69740071·h.quant-dsplit.q22570 ··0x015a5270·68007175·616e742d·6473706c·69740071·h.quant-dsplit.q
22571 ··0x015a5280·75616e74·2d726570·2d6d6f64·65007261·uant-rep-mode.ra22571 ··0x015a5280·75616e74·2d726570·2d6d6f64·65007261·uant-rep-mode.ra
 22572 ··0x015a5290·6e646f6d·2d667265·71007261·6e646f6d·ndom-freq.random
22572 ··0x015a5290·6e646f6d·2d667265·7175656e·63790072·ndom-frequency.r22573 ··0x015a52a0·2d667265·7175656e·63790072·652d656c·-frequency.re-el
22573 ··0x015a52a0·616e646f·6d2d6672·65710072·652d656c·andom-freq.re-el 
22574 ··0x015a52b0·696d0072·652d696e·7465722d·6d6f6465·im.re-inter-mode22574 ··0x015a52b0·696d0072·652d696e·7465722d·6d6f6465·im.re-inter-mode
22575 ··0x015a52c0·00726570·6c61792d·6561726c·792d636c·.replay-early-cl22575 ··0x015a52c0·00726570·6c61792d·6561726c·792d636c·.replay-early-cl
22576 ··0x015a52d0·6f73652d·64657074·68007265·706c6179·ose-depth.replay22576 ··0x015a52d0·6f73652d·64657074·68007265·706c6179·ose-depth.replay
22577 ··0x015a52e0·2d6c656d·6d612d72·656a6563·742d6375·-lemma-reject-cu22577 ··0x015a52e0·2d6c656d·6d612d72·656a6563·742d6375·-lemma-reject-cu
22578 ··0x015a52f0·74007265·706c6179·2d6e756d·2d657272·t.replay-num-err22578 ··0x015a52f0·74007265·706c6179·2d6e756d·2d657272·t.replay-num-err
22579 ··0x015a5300·2d70656e·616c7479·00726570·6c61792d·-penalty.replay-22579 ··0x015a5300·2d70656e·616c7479·00726570·6c61792d·-penalty.replay-
22580 ··0x015a5310·72656a65·63742d63·75740072·65737461·reject-cut.resta22580 ··0x015a5310·72656a65·63742d63·75740072·65737461·reject-cut.resta
Offset 22644, 17 lines modifiedOffset 22644, 17 lines modified
22644 ··0x015a5710·63650074·72696767·65722d61·63746976·ce.trigger-activ22644 ··0x015a5710·63650074·72696767·65722d61·63746976·ce.trigger-activ
22645 ··0x015a5720·652d7365·6c007472·69676765·722d7365·e-sel.trigger-se22645 ··0x015a5720·652d7365·6c007472·69676765·722d7365·e-sel.trigger-se
22646 ··0x015a5730·6c007566·2d737300·75662d73·732d6162·l.uf-ss.uf-ss-ab22646 ··0x015a5730·6c007566·2d737300·75662d73·732d6162·l.uf-ss.uf-ss-ab
22647 ··0x015a5740·6f72742d·63617264·00756e61·74652d6c·ort-card.unate-l22647 ··0x015a5740·6f72742d·63617264·00756e61·74652d6c·ort-card.unate-l
22648 ··0x015a5750·656d6d61·7300756e·7361742d·636f7265·emmas.unsat-core22648 ··0x015a5750·656d6d61·7300756e·7361742d·636f7265·emmas.unsat-core
22649 ··0x015a5760·732d6d6f·64650075·7365722d·70617400·s-mode.user-pat.22649 ··0x015a5760·732d6d6f·64650075·7365722d·70617400·s-mode.user-pat.
22650 ··0x015a5770·75736572·2d706f6f·6c007665·72626f73·user-pool.verbos22650 ··0x015a5770·75736572·2d706f6f·6c007665·72626f73·user-pool.verbos
 22651 ··0x015a5780·65007061·72746974·696f6e73·2d6f7574·e.partitions-out
22651 ··0x015a5780·65007772·6974652d·70617274·6974696f·e.write-partitio22652 ··0x015a5790·00777269·74652d70·61727469·74696f6e·.write-partition
22652 ··0x015a5790·6e732d74·6f007061·72746974·696f6e73·ns-to.partitions 
22653 ··0x015a57a0·2d6f7574·00417267·756d656e·74202700·-out.Argument·'.22653 ··0x015a57a0·732d746f·00417267·756d656e·74202700·s-to.Argument·'.
22654 ··0x015a57b0·2720666f·7220626f·6f6c206f·7074696f·'·for·bool·optio22654 ··0x015a57b0·2720666f·7220626f·6f6c206f·7074696f·'·for·bool·optio
22655 ··0x015a57c0·6e200020·6973206e·6f742061·20626f6f·n·.·is·not·a·boo22655 ··0x015a57c0·6e200020·6973206e·6f742061·20626f6f·n·.·is·not·a·boo
22656 ··0x015a57d0·6c20636f·6e737461·6e740025·66002720·l·constant.%f.'·22656 ··0x015a57d0·6c20636f·6e737461·6e740025·66002720·l·constant.%f.'·
22657 ··0x015a57e0·666f7220·00206973·206e6567·61746976·for·.·is·negativ22657 ··0x015a57e0·666f7220·00206973·206e6567·61746976·for·.·is·negativ
22658 ··0x015a57f0·65002064·69642070·61727365·206f6e6c·e.·did·parse·onl22658 ··0x015a57f0·65002064·69642070·61727365·206f6e6c·e.·did·parse·onl
22659 ··0x015a5800·79207061·72746961·6c6c7920·61732000·y·partially·as·.22659 ··0x015a5800·79207061·72746961·6c6c7920·61732000·y·partially·as·.
22660 ··0x015a5810·2c206c65·6176696e·67202700·20646964·,·leaving·'.·did22660 ··0x015a5810·2c206c65·6176696e·67202700·20646964·,·leaving·'.·did
4.91 KB
readelf --wide --decompress --hex-dump=.data.rel.ro {}
    
Offset 1925, 15 lines modifiedOffset 1925, 15 lines modified
1925 ··0x0186cfa0·cfaf5901·00000000·95485a01·00000000·..Y......HZ.....1925 ··0x0186cfa0·cfaf5901·00000000·95485a01·00000000·..Y......HZ.....
1926 ··0x0186cfb0·a4485a01·00000000·00000000·00000000·.HZ.............1926 ··0x0186cfb0·a4485a01·00000000·00000000·00000000·.HZ.............
1927 ··0x0186cfc0·ccb95901·00000000·5f325a01·00000000·..Y....._2Z.....1927 ··0x0186cfc0·ccb95901·00000000·5f325a01·00000000·..Y....._2Z.....
1928 ··0x0186cfd0·58325a01·00000000·00000000·00000000·X2Z.............1928 ··0x0186cfd0·58325a01·00000000·00000000·00000000·X2Z.............
1929 ··0x0186cfe0·93435a01·00000000·c9ac5901·00000000·.CZ.......Y.....1929 ··0x0186cfe0·93435a01·00000000·c9ac5901·00000000·.CZ.......Y.....
1930 ··0x0186cff0·e3ac5901·00000000·00000000·00000000·..Y.............1930 ··0x0186cff0·e3ac5901·00000000·00000000·00000000·..Y.............
1931 ··0x0186d000·93435a01·00000000·f7e85901·00000000·.CZ.......Y.....1931 ··0x0186d000·93435a01·00000000·f7e85901·00000000·.CZ.......Y.....
1932 ··0x0186d010·a1575a01·00000000·00000000·00000000·.WZ.............1932 ··0x0186d010·8d575a01·00000000·00000000·00000000·.WZ.............
1933 ··0x0186d020·6c645a01·00000000·87485a01·00000000·ldZ......HZ.....1933 ··0x0186d020·6c645a01·00000000·87485a01·00000000·ldZ......HZ.....
1934 ··0x0186d030·79485a01·00000000·00000000·00000000·yHZ.............1934 ··0x0186d030·79485a01·00000000·00000000·00000000·yHZ.............
1935 ··0x0186d040·55485a01·00000000·5f485a01·00000000·UHZ....._HZ.....1935 ··0x0186d040·55485a01·00000000·5f485a01·00000000·UHZ....._HZ.....
1936 ··0x0186d050·68485a01·00000000·39475a01·00000000·hHZ.....9GZ.....1936 ··0x0186d050·68485a01·00000000·39475a01·00000000·hHZ.....9GZ.....
1937 ··0x0186d060·ccb95901·00000000·49485a01·00000000·..Y.....IHZ.....1937 ··0x0186d060·ccb95901·00000000·49485a01·00000000·..Y.....IHZ.....
1938 ··0x0186d070·50485a01·00000000·00000000·00000000·PHZ.............1938 ··0x0186d070·50485a01·00000000·00000000·00000000·PHZ.............
1939 ··0x0186d080·c0455a01·00000000·cf455a01·00000000·.EZ......EZ.....1939 ··0x0186d080·c0455a01·00000000·cf455a01·00000000·.EZ......EZ.....
Offset 2170, 22 lines modifiedOffset 2170, 22 lines modified
2170 ··0x0186def0·085a5a01·00000000·195a5a01·00000000·.ZZ......ZZ.....2170 ··0x0186def0·085a5a01·00000000·195a5a01·00000000·.ZZ......ZZ.....
2171 ··0x0186df00·2a5a5a01·00000000·3c5a5a01·00000000·*ZZ.....<ZZ.....2171 ··0x0186df00·2a5a5a01·00000000·3c5a5a01·00000000·*ZZ.....<ZZ.....
2172 ··0x0186df10·b7505a01·00000000·515a5a01·00000000·.PZ.....QZZ.....2172 ··0x0186df10·b7505a01·00000000·515a5a01·00000000·.PZ.....QZZ.....
2173 ··0x0186df20·665a5a01·00000000·785a5a01·00000000·fZZ.....xZZ.....2173 ··0x0186df20·665a5a01·00000000·785a5a01·00000000·fZZ.....xZZ.....
2174 ··0x0186df30·955a5a01·00000000·cc505a01·00000000·.ZZ......PZ.....2174 ··0x0186df30·955a5a01·00000000·cc505a01·00000000·.ZZ......PZ.....
2175 ··0x0186df40·9f5a5a01·00000000·2f6a5a01·00000000·.ZZ...../jZ.....2175 ··0x0186df40·9f5a5a01·00000000·2f6a5a01·00000000·.ZZ...../jZ.....
2176 ··0x0186df50·d3505a01·00000000·fb645a01·00000000·.PZ......dZ.....2176 ··0x0186df50·d3505a01·00000000·fb645a01·00000000·.PZ......dZ.....
2177 ··0x0186df60·a1575a01·00000000·ef505a01·00000000·.WZ......PZ.....2177 ··0x0186df60·8d575a01·00000000·ef505a01·00000000·.WZ......PZ.....
2178 ··0x0186df70·f6505a01·00000000·f4df5901·00000000·.PZ.......Y.....2178 ··0x0186df70·f6505a01·00000000·f4df5901·00000000·.PZ.......Y.....
2179 ··0x0186df80·af5b5a01·00000000·06655a01·00000000·.[Z......eZ.....2179 ··0x0186df80·af5b5a01·00000000·06655a01·00000000·.[Z......eZ.....
2180 ··0x0186df90·bf4d5a01·00000000·02515a01·00000000·.MZ......QZ.....2180 ··0x0186df90·bf4d5a01·00000000·02515a01·00000000·.MZ......QZ.....
2181 ··0x0186dfa0·12515a01·00000000·2a515a01·00000000·.QZ.....*QZ.....2181 ··0x0186dfa0·12515a01·00000000·2a515a01·00000000·.QZ.....*QZ.....
2182 ··0x0186dfb0·3f515a01·00000000·52515a01·00000000·?QZ.....RQZ.....2182 ··0x0186dfb0·3f515a01·00000000·52515a01·00000000·?QZ.....RQZ.....
2183 ··0x0186dfc0·6a515a01·00000000·7b515a01·00000000·jQZ.....{QZ.....2183 ··0x0186dfc0·6a515a01·00000000·7b515a01·00000000·jQZ.....{QZ.....
2184 ··0x0186dfd0·96575a01·00000000·b75a5a01·00000000·.WZ......ZZ.....2184 ··0x0186dfd0·82575a01·00000000·b75a5a01·00000000·.WZ......ZZ.....
2185 ··0x0186dfe0·8a515a01·00000000·1a655a01·00000000·.QZ......eZ.....2185 ··0x0186dfe0·8a515a01·00000000·1a655a01·00000000·.QZ......eZ.....
2186 ··0x0186dff0·9a515a01·00000000·a9515a01·00000000·.QZ......QZ.....2186 ··0x0186dff0·9a515a01·00000000·a9515a01·00000000·.QZ......QZ.....
2187 ··0x0186e000·c0515a01·00000000·27655a01·00000000·.QZ.....'eZ.....2187 ··0x0186e000·c0515a01·00000000·27655a01·00000000·.QZ.....'eZ.....
2188 ··0x0186e010·d1515a01·00000000·42655a01·00000000·.QZ.....BeZ.....2188 ··0x0186e010·d1515a01·00000000·42655a01·00000000·.QZ.....BeZ.....
2189 ··0x0186e020·bd5b5a01·00000000·de515a01·00000000·.[Z......QZ.....2189 ··0x0186e020·bd5b5a01·00000000·de515a01·00000000·.[Z......QZ.....
2190 ··0x0186e030·456a5a01·00000000·eb5f5a01·00000000·EjZ......_Z.....2190 ··0x0186e030·456a5a01·00000000·eb5f5a01·00000000·EjZ......_Z.....
2191 ··0x0186e040·ef515a01·00000000·57655a01·00000000·.QZ.....WeZ.....2191 ··0x0186e040·ef515a01·00000000·57655a01·00000000·.QZ.....WeZ.....
Offset 2202, 15 lines modifiedOffset 2202, 15 lines modified
2202 ··0x0186e0f0·35525a01·00000000·6a605a01·00000000·5RZ.....j`Z.....2202 ··0x0186e0f0·35525a01·00000000·6a605a01·00000000·5RZ.....j`Z.....
2203 ··0x0186e100·7c605a01·00000000·96605a01·00000000·|`Z......`Z.....2203 ··0x0186e100·7c605a01·00000000·96605a01·00000000·|`Z......`Z.....
2204 ··0x0186e110·44525a01·00000000·b0ad5701·00000000·DRZ.......W.....2204 ··0x0186e110·44525a01·00000000·b0ad5701·00000000·DRZ.......W.....
2205 ··0x0186e120·62525a01·00000000·6a655a01·00000000·bRZ.....jeZ.....2205 ··0x0186e120·62525a01·00000000·6a655a01·00000000·bRZ.....jeZ.....
2206 ··0x0186e130·7d655a01·00000000·72525a01·00000000·}eZ.....rRZ.....2206 ··0x0186e130·7d655a01·00000000·72525a01·00000000·}eZ.....rRZ.....
2207 ··0x0186e140·92655a01·00000000·a2655a01·00000000·.eZ......eZ.....2207 ··0x0186e140·92655a01·00000000·a2655a01·00000000·.eZ......eZ.....
2208 ··0x0186e150·7f525a01·00000000·d3cd5901·00000000·.RZ.......Y.....2208 ··0x0186e150·7f525a01·00000000·d3cd5901·00000000·.RZ.......Y.....
2209 ··0x0186e160·9f525a01·00000000·8e525a01·00000000·.RZ......RZ.....2209 ··0x0186e160·8e525a01·00000000·9a525a01·00000000·.RZ......RZ.....
2210 ··0x0186e170·075f5a01·00000000·ab525a01·00000000·._Z......RZ.....2210 ··0x0186e170·075f5a01·00000000·ab525a01·00000000·._Z......RZ.....
2211 ··0x0186e180·b3525a01·00000000·af655a01·00000000·.RZ......eZ.....2211 ··0x0186e180·b3525a01·00000000·af655a01·00000000·.RZ......eZ.....
2212 ··0x0186e190·63835901·00000000·cc655a01·00000000·c.Y......eZ.....2212 ··0x0186e190·63835901·00000000·cc655a01·00000000·c.Y......eZ.....
2213 ··0x0186e1a0·a26d5a01·00000000·e3655a01·00000000·.mZ......eZ.....2213 ··0x0186e1a0·a26d5a01·00000000·e3655a01·00000000·.mZ......eZ.....
2214 ··0x0186e1b0·4f6b5a01·00000000·c1525a01·00000000·OkZ......RZ.....2214 ··0x0186e1b0·4f6b5a01·00000000·c1525a01·00000000·OkZ......RZ.....
2215 ··0x0186e1c0·da525a01·00000000·f2525a01·00000000·.RZ......RZ.....2215 ··0x0186e1c0·da525a01·00000000·f2525a01·00000000·.RZ......RZ.....
2216 ··0x0186e1d0·09535a01·00000000·7a835901·00000000·.SZ.....z.Y.....2216 ··0x0186e1d0·09535a01·00000000·7a835901·00000000·.SZ.....z.Y.....
Offset 2292, 15 lines modifiedOffset 2292, 15 lines modified
2292 ··0x0186e690·d56b5a01·00000000·56575a01·00000000·.kZ.....VWZ.....2292 ··0x0186e690·d56b5a01·00000000·56575a01·00000000·.kZ.....VWZ.....
2293 ··0x0186e6a0·f35a5a01·00000000·015b5a01·00000000·.ZZ......[Z.....2293 ··0x0186e6a0·f35a5a01·00000000·015b5a01·00000000·.ZZ......[Z.....
2294 ··0x0186e6b0·f65e5a01·00000000·125b5a01·00000000·.^Z......[Z.....2294 ··0x0186e6b0·f65e5a01·00000000·125b5a01·00000000·.^Z......[Z.....
2295 ··0x0186e6c0·67575a01·00000000·70575a01·00000000·gWZ.....pWZ.....2295 ··0x0186e6c0·67575a01·00000000·70575a01·00000000·gWZ.....pWZ.....
2296 ··0x0186e6d0·6c685a01·00000000·7e685a01·00000000·lhZ.....~hZ.....2296 ··0x0186e6d0·6c685a01·00000000·7e685a01·00000000·lhZ.....~hZ.....
2297 ··0x0186e6e0·7a575a01·00000000·29835901·00000000·zWZ.....).Y.....2297 ··0x0186e6e0·7a575a01·00000000·29835901·00000000·zWZ.....).Y.....
2298 ··0x0186e6f0·ce825901·00000000·bc5d5a01·00000000·..Y......]Z.....2298 ··0x0186e6f0·ce825901·00000000·bc5d5a01·00000000·..Y......]Z.....
2299 ··0x0186e700·82575a01·00000000·00000000·00000000·.WZ.............2299 ··0x0186e700·91575a01·00000000·00000000·00000000·.WZ.............
2300 ··0x0186e710·489c8701·00000000·40354a01·00000000·H.......@5J.....2300 ··0x0186e710·489c8701·00000000·40354a01·00000000·H.......@5J.....
2301 ··0x0186e720·00364a01·00000000·50334a01·00000000·.6J.....P3J.....2301 ··0x0186e720·00364a01·00000000·50334a01·00000000·.6J.....P3J.....
2302 ··0x0186e730·30554a01·00000000·30334a01·00000000·0UJ.....03J.....2302 ··0x0186e730·30554a01·00000000·30334a01·00000000·0UJ.....03J.....
2303 ··0x0186e740·e0364a01·00000000·00000000·00000000·.6J.............2303 ··0x0186e740·e0364a01·00000000·00000000·00000000·.6J.............
2304 ··0x0186e750·789c8701·00000000·a0374a01·00000000·x........7J.....2304 ··0x0186e750·789c8701·00000000·a0374a01·00000000·x........7J.....
2305 ··0x0186e760·f03c4a01·00000000·60334a01·00000000·.<J.....`3J.....2305 ··0x0186e760·f03c4a01·00000000·60334a01·00000000·.<J.....`3J.....
2306 ··0x0186e770·c0334a01·00000000·90474a01·00000000·.3J......GJ.....2306 ··0x0186e770·c0334a01·00000000·90474a01·00000000·.3J......GJ.....
3.69 KB
readelf --wide --decompress --hex-dump=.data {}
    
Offset 314, 15 lines modifiedOffset 314, 15 lines modified
314 ··0x0187f370·00000000·00000000·73010000·00000000·........s.......314 ··0x0187f370·00000000·00000000·73010000·00000000·........s.......
315 ··0x0187f380·9d5b5a01·00000000·00000000·00000000·.[Z.............315 ··0x0187f380·9d5b5a01·00000000·00000000·00000000·.[Z.............
316 ··0x0187f390·00000000·00000000·74010000·00000000·........t.......316 ··0x0187f390·00000000·00000000·74010000·00000000·........t.......
317 ··0x0187f3a0·fd505a01·00000000·01000000·00000000·.PZ.............317 ··0x0187f3a0·fd505a01·00000000·01000000·00000000·.PZ.............
318 ··0x0187f3b0·00000000·00000000·75010000·00000000·........u.......318 ··0x0187f3b0·00000000·00000000·75010000·00000000·........u.......
319 ··0x0187f3c0·c34f5a01·00000000·01000000·00000000·.OZ.............319 ··0x0187f3c0·c34f5a01·00000000·01000000·00000000·.OZ.............
320 ··0x0187f3d0·00000000·00000000·76010000·00000000·........v.......320 ··0x0187f3d0·00000000·00000000·76010000·00000000·........v.......
321 ··0x0187f3e0·a1575a01·00000000·01000000·00000000·.WZ.............321 ··0x0187f3e0·8d575a01·00000000·01000000·00000000·.WZ.............
322 ··0x0187f3f0·00000000·00000000·77010000·00000000·........w.......322 ··0x0187f3f0·00000000·00000000·77010000·00000000·........w.......
323 ··0x0187f400·63835901·00000000·01000000·00000000·c.Y.............323 ··0x0187f400·63835901·00000000·01000000·00000000·c.Y.............
324 ··0x0187f410·00000000·00000000·78010000·00000000·........x.......324 ··0x0187f410·00000000·00000000·78010000·00000000·........x.......
325 ··0x0187f420·ef505a01·00000000·01000000·00000000·.PZ.............325 ··0x0187f420·ef505a01·00000000·01000000·00000000·.PZ.............
326 ··0x0187f430·00000000·00000000·79010000·00000000·........y.......326 ··0x0187f430·00000000·00000000·79010000·00000000·........y.......
327 ··0x0187f440·af5b5a01·00000000·00000000·00000000·.[Z.............327 ··0x0187f440·af5b5a01·00000000·00000000·00000000·.[Z.............
328 ··0x0187f450·00000000·00000000·7a010000·00000000·........z.......328 ··0x0187f450·00000000·00000000·7a010000·00000000·........z.......
Offset 616, 17 lines modifiedOffset 616, 17 lines modified
616 ··0x01880650·00000000·00000000·0a020000·00000000·................616 ··0x01880650·00000000·00000000·0a020000·00000000·................
617 ··0x01880660·7b515a01·00000000·01000000·00000000·{QZ.............617 ··0x01880660·7b515a01·00000000·01000000·00000000·{QZ.............
618 ··0x01880670·00000000·00000000·0b020000·00000000·................618 ··0x01880670·00000000·00000000·0b020000·00000000·................
619 ··0x01880680·075f5a01·00000000·00000000·00000000·._Z.............619 ··0x01880680·075f5a01·00000000·00000000·00000000·._Z.............
620 ··0x01880690·00000000·00000000·0c020000·00000000·................620 ··0x01880690·00000000·00000000·0c020000·00000000·................
621 ··0x018806a0·045f5a01·00000000·00000000·00000000·._Z.............621 ··0x018806a0·045f5a01·00000000·00000000·00000000·._Z.............
622 ··0x018806b0·00000000·00000000·0d020000·00000000·................622 ··0x018806b0·00000000·00000000·0d020000·00000000·................
623 ··0x018806c0·82575a01·00000000·01000000·00000000·.WZ.............623 ··0x018806c0·91575a01·00000000·01000000·00000000·.WZ.............
624 ··0x018806d0·00000000·00000000·0e020000·00000000·................624 ··0x018806d0·00000000·00000000·0e020000·00000000·................
625 ··0x018806e0·96575a01·00000000·01000000·00000000·.WZ.............625 ··0x018806e0·82575a01·00000000·01000000·00000000·.WZ.............
626 ··0x018806f0·00000000·00000000·0f020000·00000000·................626 ··0x018806f0·00000000·00000000·0f020000·00000000·................
627 ··0x01880700·1e5f5a01·00000000·00000000·00000000·._Z.............627 ··0x01880700·1e5f5a01·00000000·00000000·00000000·._Z.............
628 ··0x01880710·00000000·00000000·10020000·00000000·................628 ··0x01880710·00000000·00000000·10020000·00000000·................
629 ··0x01880720·1b5f5a01·00000000·00000000·00000000·._Z.............629 ··0x01880720·1b5f5a01·00000000·00000000·00000000·._Z.............
630 ··0x01880730·00000000·00000000·11020000·00000000·................630 ··0x01880730·00000000·00000000·11020000·00000000·................
631 ··0x01880740·184f5a01·00000000·01000000·00000000·.OZ.............631 ··0x01880740·184f5a01·00000000·01000000·00000000·.OZ.............
632 ··0x01880750·00000000·00000000·12020000·00000000·................632 ··0x01880750·00000000·00000000·12020000·00000000·................
Offset 736, 17 lines modifiedOffset 736, 17 lines modified
736 ··0x01880dd0·00000000·00000000·46020000·00000000·........F.......736 ··0x01880dd0·00000000·00000000·46020000·00000000·........F.......
737 ··0x01880de0·a8605a01·00000000·00000000·00000000·.`Z.............737 ··0x01880de0·a8605a01·00000000·00000000·00000000·.`Z.............
738 ··0x01880df0·00000000·00000000·47020000·00000000·........G.......738 ··0x01880df0·00000000·00000000·47020000·00000000·........G.......
739 ··0x01880e00·49d45901·00000000·01000000·00000000·I.Y.............739 ··0x01880e00·49d45901·00000000·01000000·00000000·I.Y.............
740 ··0x01880e10·00000000·00000000·48020000·00000000·........H.......740 ··0x01880e10·00000000·00000000·48020000·00000000·........H.......
741 ··0x01880e20·de515a01·00000000·01000000·00000000·.QZ.............741 ··0x01880e20·de515a01·00000000·01000000·00000000·.QZ.............
742 ··0x01880e30·00000000·00000000·49020000·00000000·........I.......742 ··0x01880e30·00000000·00000000·49020000·00000000·........I.......
743 ··0x01880e40·9f525a01·00000000·01000000·00000000·.RZ.............743 ··0x01880e40·8e525a01·00000000·01000000·00000000·.RZ.............
744 ··0x01880e50·00000000·00000000·4a020000·00000000·........J.......744 ··0x01880e50·00000000·00000000·4a020000·00000000·........J.......
745 ··0x01880e60·8e525a01·00000000·01000000·00000000·.RZ.............745 ··0x01880e60·9a525a01·00000000·01000000·00000000·.RZ.............
746 ··0x01880e70·00000000·00000000·4b020000·00000000·........K.......746 ··0x01880e70·00000000·00000000·4b020000·00000000·........K.......
747 ··0x01880e80·1b535a01·00000000·01000000·00000000·.SZ.............747 ··0x01880e80·1b535a01·00000000·01000000·00000000·.SZ.............
748 ··0x01880e90·00000000·00000000·4c020000·00000000·........L.......748 ··0x01880e90·00000000·00000000·4c020000·00000000·........L.......
749 ··0x01880ea0·2c535a01·00000000·01000000·00000000·,SZ.............749 ··0x01880ea0·2c535a01·00000000·01000000·00000000·,SZ.............
750 ··0x01880eb0·00000000·00000000·4d020000·00000000·........M.......750 ··0x01880eb0·00000000·00000000·4d020000·00000000·........M.......
751 ··0x01880ec0·7c535a01·00000000·01000000·00000000·|SZ.............751 ··0x01880ec0·7c535a01·00000000·01000000·00000000·|SZ.............
752 ··0x01880ed0·00000000·00000000·4e020000·00000000·........N.......752 ··0x01880ed0·00000000·00000000·4e020000·00000000·........N.......
811 B
error from `readelf --wide --decompress --hex-dump=.gnu_debuglink {}`: readelf: Error: no .dynamic section in the dynamic segment
    
Offset 1, 7 lines modifiedOffset 1, 7 lines modified
  
1 Hex·dump·of·section·'.gnu_debuglink':1 Hex·dump·of·section·'.gnu_debuglink':
2 ··0x00000000·66353531·31343765·33366632·38643631·f551147e36f28d61 
3 ··0x00000010·64636337·62393632·62336534·36323630·dcc7b962b3e462602 ··0x00000000·38643138·63346138·36313431·31303935·8d18c4a861411095
 3 ··0x00000010·32656235·39333535·34366165·63613535·2eb5935546aeca55
4 ··0x00000020·39323934·31322e64·65627567·00000000·929412.debug....4 ··0x00000020·31626431·33312e64·65627567·00000000·1bd131.debug....
5 ··0x00000030·bc90a7a9····························....5 ··0x00000030·8e1123ab····························..#.
  
2.0 KB
libcvc5parser1_1.1.2-2_amd64.deb
452 B
file list
    
Offset 1, 3 lines modifiedOffset 1, 3 lines modified
1 -rw-r--r--···0········0········0········4·2024-03-19·00:06:23.000000·debian-binary1 -rw-r--r--···0········0········0········4·2024-03-19·00:06:23.000000·debian-binary
2 -rw-r--r--···0········0········0·····1260·2024-03-19·00:06:23.000000·control.tar.xz2 -rw-r--r--···0········0········0·····1264·2024-03-19·00:06:23.000000·control.tar.xz
3 -rw-r--r--···0········0········0···235972·2024-03-19·00:06:23.000000·data.tar.xz3 -rw-r--r--···0········0········0···236128·2024-03-19·00:06:23.000000·data.tar.xz
98.0 B
control.tar.xz
70.0 B
control.tar
48.0 B
./md5sums
30.0 B
./md5sums
Files differ
1.4 KB
data.tar.xz
1.38 KB
data.tar
1.36 KB
./usr/lib/x86_64-linux-gnu/libcvc5parser.so.1
File has been modified after NT_GNU_BUILD_ID has been applied.
430 B
readelf --wide --notes {}
    
Offset 1, 4 lines modifiedOffset 1, 4 lines modified
  
1 Displaying·notes·found·in:·.note.gnu.build-id1 Displaying·notes·found·in:·.note.gnu.build-id
2 ··Owner················Data·size·»  Description2 ··Owner················Data·size·»  Description
3 ··GNU··················0x00000014»  NT_GNU_BUILD_ID·(unique·build·ID·bitstring)»   ····Build·ID:·60234eecdfdb151a002c00d35019b2d3b3597f673 ··GNU··················0x00000014»  NT_GNU_BUILD_ID·(unique·build·ID·bitstring)»   ····Build·ID:·0cbeac380e5917dd0cf28cca61827d4c44d1d501
811 B
error from `readelf --wide --decompress --hex-dump=.gnu_debuglink {}`: readelf: Error: no .dynamic section in the dynamic segment
    
Offset 1, 7 lines modifiedOffset 1, 7 lines modified
  
1 Hex·dump·of·section·'.gnu_debuglink':1 Hex·dump·of·section·'.gnu_debuglink':
2 ··0x00000000·32333465·65636466·64623135·31613030·234eecdfdb151a00 
3 ··0x00000010·32633030·64333530·31396232·64336233·2c00d35019b2d3b32 ··0x00000000·62656163·33383065·35393137·64643063·beac380e5917dd0c
 3 ··0x00000010·66323863·63613631·38323764·34633434·f28cca61827d4c44
4 ··0x00000020·35393766·36372e64·65627567·00000000·597f67.debug....4 ··0x00000020·64316435·30312e64·65627567·00000000·d1d501.debug....
5 ··0x00000030·b414545b····························..T[5 ··0x00000030·2b3c6e35····························+<n5
  
2.07 KB
python3-cvc5_1.1.2-2_amd64.deb
452 B
file list
    
Offset 1, 3 lines modifiedOffset 1, 3 lines modified
1 -rw-r--r--···0········0········0········4·2024-03-19·00:06:23.000000·debian-binary1 -rw-r--r--···0········0········0········4·2024-03-19·00:06:23.000000·debian-binary
2 -rw-r--r--···0········0········0·····1676·2024-03-19·00:06:23.000000·control.tar.xz2 -rw-r--r--···0········0········0·····1680·2024-03-19·00:06:23.000000·control.tar.xz
3 -rw-r--r--···0········0········0···338360·2024-03-19·00:06:23.000000·data.tar.xz3 -rw-r--r--···0········0········0···337496·2024-03-19·00:06:23.000000·data.tar.xz
98.0 B
control.tar.xz
70.0 B
control.tar
48.0 B
./md5sums
30.0 B
./md5sums
Files differ
1.48 KB
data.tar.xz
1.45 KB
data.tar
1.44 KB
./usr/lib/python3/dist-packages/cvc5/cvc5_python_base.cpython-313-x86_64-linux-gnu.so
File has been modified after NT_GNU_BUILD_ID has been applied.
430 B
readelf --wide --notes {}
    
Offset 1, 4 lines modifiedOffset 1, 4 lines modified
  
1 Displaying·notes·found·in:·.note.gnu.build-id1 Displaying·notes·found·in:·.note.gnu.build-id
2 ··Owner················Data·size·»  Description2 ··Owner················Data·size·»  Description
3 ··GNU··················0x00000014»  NT_GNU_BUILD_ID·(unique·build·ID·bitstring)»   ····Build·ID:·331ad27e71b498c961877ae189aea3a0c2a621fe3 ··GNU··················0x00000014»  NT_GNU_BUILD_ID·(unique·build·ID·bitstring)»   ····Build·ID:·85e53d0f91a809bf60e724ca5a9828886d45a5f0
811 B
error from `readelf --wide --decompress --hex-dump=.gnu_debuglink {}`: readelf: Error: no .dynamic section in the dynamic segment
    
Offset 1, 7 lines modifiedOffset 1, 7 lines modified
  
1 Hex·dump·of·section·'.gnu_debuglink':1 Hex·dump·of·section·'.gnu_debuglink':
2 ··0x00000000·31616432·37653731·62343938·63393631·1ad27e71b498c961 
3 ··0x00000010·38373761·65313839·61656133·61306332·877ae189aea3a0c22 ··0x00000000·65353364·30663931·61383039·62663630·e53d0f91a809bf60
 3 ··0x00000010·65373234·63613561·39383238·38383664·e724ca5a9828886d
4 ··0x00000020·61363231·66652e64·65627567·00000000·a621fe.debug....4 ··0x00000020·34356135·66302e64·65627567·00000000·45a5f0.debug....
5 ··0x00000030·84764436····························.vD65 ··0x00000030·e4217b5c····························.!{\
  
37.4 MB
cvc5-dbgsym_1.1.2-2_amd64.deb
367 B
file list
    
Offset 1, 3 lines modifiedOffset 1, 3 lines modified
1 -rw-r--r--···0········0········0········4·2024-03-19·00:06:23.000000·debian-binary1 -rw-r--r--···0········0········0········4·2024-03-19·00:06:23.000000·debian-binary
2 -rw-r--r--···0········0········0······532·2024-03-19·00:06:23.000000·control.tar.xz2 -rw-r--r--···0········0········0······532·2024-03-19·00:06:23.000000·control.tar.xz
3 -rw-r--r--···0········0········0··1882096·2024-03-19·00:06:23.000000·data.tar.xz3 -rw-r--r--···0········0········0··1882780·2024-03-19·00:06:23.000000·data.tar.xz
652 B
control.tar.xz
624 B
control.tar
376 B
./control
    
Offset 5, 8 lines modifiedOffset 5, 8 lines modified
5 Architecture:·amd645 Architecture:·amd64
6 Maintainer:·Debian·Science·Maintainers·<debian-science-maintainers@alioth-lists.debian.net>6 Maintainer:·Debian·Science·Maintainers·<debian-science-maintainers@alioth-lists.debian.net>
7 Installed-Size:·20887 Installed-Size:·2088
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:·cddb8153a838783a7d6ab7da5f32c569d047e03d12 Build-Ids:·b9ae1db60dd8f912facbb2051d4ea58503099b87
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/cd/db8153a838783a7d6ab7da5f32c569d047e03d.debug1 usr/lib/debug/.build-id/b9/ae1db60dd8f912facbb2051d4ea58503099b87.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/cd/6 drwxr-xr-x···0·root·········(0)·root·········(0)········0·2024-03-19·00:06:23.000000·./usr/lib/debug/.build-id/b9/
7 -rw-r--r--···0·root·········(0)·root·········(0)··2127088·2024-03-19·00:06:23.000000·./usr/lib/debug/.build-id/cd/db8153a838783a7d6ab7da5f32c569d047e03d.debug7 -rw-r--r--···0·root·········(0)·root·········(0)··2127056·2024-03-19·00:06:23.000000·./usr/lib/debug/.build-id/b9/ae1db60dd8f912facbb2051d4ea58503099b87.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/cd/db8153a838783a7d6ab7da5f32c569d047e03d.debug vs.
./usr/lib/debug/.build-id/b9/ae1db60dd8f912facbb2051d4ea58503099b87.debug
File has been modified after NT_GNU_BUILD_ID has been applied. Files 76% similar despite different names
992 B
readelf --wide --file-header {}
error from `readelf --wide --file-header {}`: readelf: Error: Unable to find program interpreter name
    
Offset 6, 15 lines modifiedOffset 6, 15 lines modified
6 ··OS/ABI:····························UNIX·-·System·V6 ··OS/ABI:····························UNIX·-·System·V
7 ··ABI·Version:·······················07 ··ABI·Version:·······················0
8 ··Type:······························DYN·(Shared·object·file)8 ··Type:······························DYN·(Shared·object·file)
9 ··Machine:···························Advanced·Micro·Devices·X86-649 ··Machine:···························Advanced·Micro·Devices·X86-64
10 ··Version:···························0x110 ··Version:···························0x1
11 ··Entry·point·address:···············0x11ec011 ··Entry·point·address:···············0x11ec0
12 ··Start·of·program·headers:··········64·(bytes·into·file)12 ··Start·of·program·headers:··········64·(bytes·into·file)
13 ··Start·of·section·headers:··········2124464·(bytes·into·file)13 ··Start·of·section·headers:··········2124432·(bytes·into·file)
14 ··Flags:·····························0x014 ··Flags:·····························0x0
15 ··Size·of·this·header:···············64·(bytes)15 ··Size·of·this·header:···············64·(bytes)
16 ··Size·of·program·headers:···········56·(bytes)16 ··Size·of·program·headers:···········56·(bytes)
17 ··Number·of·program·headers:·········1417 ··Number·of·program·headers:·········14
18 ··Size·of·section·headers:···········64·(bytes)18 ··Size·of·section·headers:···········64·(bytes)
19 ··Number·of·section·headers:·········4119 ··Number·of·section·headers:·········41
20 ··Section·header·string·table·index:·4020 ··Section·header·string·table·index:·40
3.58 KB
readelf --wide --sections {}
error from `readelf --wide --sections {}`: readelf: Error: Unable to find program interpreter name
    
Offset 1, 8 lines modifiedOffset 1, 8 lines modified
1 There·are·41·section·headers,·starting·at·offset·0x206ab0:1 There·are·41·section·headers,·starting·at·offset·0x206a90:
  
2 Section·Headers:2 Section·Headers:
3 ··[Nr]·Name··············Type············Address··········Off····Size···ES·Flg·Lk·Inf·Al3 ··[Nr]·Name··············Type············Address··········Off····Size···ES·Flg·Lk·Inf·Al
4 ··[·0]···················NULL············0000000000000000·000000·000000·00······0···0··04 ··[·0]···················NULL············0000000000000000·000000·000000·00······0···0··0
5 ··[·1]·.note.gnu.property·NOTE············0000000000000350·000350·000020·00···A··0···0··85 ··[·1]·.note.gnu.property·NOTE············0000000000000350·000350·000020·00···A··0···0··8
6 ··[·2]·.note.gnu.build-id·NOTE············0000000000000370·000370·000024·00···A··0···0··46 ··[·2]·.note.gnu.build-id·NOTE············0000000000000370·000370·000024·00···A··0···0··4
7 ··[·3]·.interp···········NOBITS··········0000000000000394·000394·00001c·00···A··0···0··17 ··[·3]·.interp···········NOBITS··········0000000000000394·000394·00001c·00···A··0···0··1
Offset 28, 23 lines modifiedOffset 28, 23 lines modified
28 ··[23]·.data.rel.ro······NOBITS··········0000000000064460·020438·0003a0·00··WA··0···0·3228 ··[23]·.data.rel.ro······NOBITS··········0000000000064460·020438·0003a0·00··WA··0···0·32
29 ··[24]·.dynamic··········NOBITS··········0000000000064800·020438·000240·10··WA··6···0··829 ··[24]·.dynamic··········NOBITS··········0000000000064800·020438·000240·10··WA··6···0··8
30 ··[25]·.got··············NOBITS··········0000000000064a40·020438·0005c0·08··WA··0···0··830 ··[25]·.got··············NOBITS··········0000000000064a40·020438·0005c0·08··WA··0···0··8
31 ··[26]·.data·············NOBITS··········0000000000065000·020438·006180·00··WA··0···0·3231 ··[26]·.data·············NOBITS··········0000000000065000·020438·006180·00··WA··0···0·32
32 ··[27]·.bss··············NOBITS··········000000000006b180·020438·000500·00··WA··0···0·3232 ··[27]·.bss··············NOBITS··········000000000006b180·020438·000500·00··WA··0···0·32
33 ··[28]·.comment··········PROGBITS········0000000000000000·01f64c·00001f·01··MS··0···0··133 ··[28]·.comment··········PROGBITS········0000000000000000·01f64c·00001f·01··MS··0···0··1
34 ··[29]·.debug_aranges····PROGBITS········0000000000000000·01f670·0001fa·00···C··0···0··834 ··[29]·.debug_aranges····PROGBITS········0000000000000000·01f670·0001fa·00···C··0···0··8
35 ··[30]·.debug_info·······PROGBITS········0000000000000000·01f870·157b43·00···C··0···0··835 ··[30]·.debug_info·······PROGBITS········0000000000000000·01f870·157b20·00···C··0···0··8
36 ··[31]·.debug_abbrev·····PROGBITS········0000000000000000·1773b8·00358e·00···C··0···0··836 ··[31]·.debug_abbrev·····PROGBITS········0000000000000000·177390·00358e·00···C··0···0··8
37 ··[32]·.debug_line·······PROGBITS········0000000000000000·17a948·00fbac·00···C··0···0··837 ··[32]·.debug_line·······PROGBITS········0000000000000000·17a920·00fbac·00···C··0···0··8
38 ··[33]·.debug_str········PROGBITS········0000000000000000·18a4f8·02ed6c·01·MSC··0···0··838 ··[33]·.debug_str········PROGBITS········0000000000000000·18a4d0·02ed6a·01·MSC··0···0··8
39 ··[34]·.debug_line_str···PROGBITS········0000000000000000·1b9268·0007d1·01·MSC··0···0··839 ··[34]·.debug_line_str···PROGBITS········0000000000000000·1b9240·0007d1·01·MSC··0···0··8
40 ··[35]·.debug_loclists···PROGBITS········0000000000000000·1b9a40·0331ed·00···C··0···0··840 ··[35]·.debug_loclists···PROGBITS········0000000000000000·1b9a18·0331ed·00···C··0···0··8
41 ··[36]·.debug_macro······PROGBITS········0000000000000000·1ecc30·009e67·00···C··0···0··841 ··[36]·.debug_macro······PROGBITS········0000000000000000·1ecc08·009e6c·00···C··0···0··8
42 ··[37]·.debug_rnglists···PROGBITS········0000000000000000·1f6a98·009050·00···C··0···0··842 ··[37]·.debug_rnglists···PROGBITS········0000000000000000·1f6a78·009050·00···C··0···0··8
43 ··[38]·.symtab···········SYMTAB··········0000000000000000·1ffae8·0025f8·18·····39·116··843 ··[38]·.symtab···········SYMTAB··········0000000000000000·1ffac8·0025f8·18·····39·116··8
44 ··[39]·.strtab···········STRTAB··········0000000000000000·2020e0·00481d·00······0···0··144 ··[39]·.strtab···········STRTAB··········0000000000000000·2020c0·00481d·00······0···0··1
45 ··[40]·.shstrtab·········STRTAB··········0000000000000000·2068fd·0001ad·00······0···0··145 ··[40]·.shstrtab·········STRTAB··········0000000000000000·2068dd·0001ad·00······0···0··1
46 Key·to·Flags:46 Key·to·Flags:
47 ··W·(write),·A·(alloc),·X·(execute),·M·(merge),·S·(strings),·I·(info),47 ··W·(write),·A·(alloc),·X·(execute),·M·(merge),·S·(strings),·I·(info),
48 ··L·(link·order),·O·(extra·OS·processing·required),·G·(group),·T·(TLS),48 ··L·(link·order),·O·(extra·OS·processing·required),·G·(group),·T·(TLS),
49 ··C·(compressed),·x·(unknown),·o·(OS·specific),·E·(exclude),49 ··C·(compressed),·x·(unknown),·o·(OS·specific),·E·(exclude),
50 ··D·(mbind),·l·(large),·p·(processor·specific)50 ··D·(mbind),·l·(large),·p·(processor·specific)
915 B
readelf --wide --notes {}
error from `readelf --wide --notes {}`: readelf: Error: Unable to find program interpreter name
    
Offset 1, 12 lines modifiedOffset 1, 12 lines modified
  
1 Displaying·notes·found·in:·.note.gnu.property1 Displaying·notes·found·in:·.note.gnu.property
2 ··Owner················Data·size·»  Description2 ··Owner················Data·size·»  Description
3 ··GNU··················0x00000010»  NT_GNU_PROPERTY_TYPE_0»    ······Properties:·x86·ISA·needed:·x86-64-baseline3 ··GNU··················0x00000010»  NT_GNU_PROPERTY_TYPE_0»    ······Properties:·x86·ISA·needed:·x86-64-baseline
  
4 Displaying·notes·found·in:·.note.gnu.build-id4 Displaying·notes·found·in:·.note.gnu.build-id
5 ··Owner················Data·size·»  Description5 ··Owner················Data·size·»  Description
6 ··GNU··················0x00000014»  NT_GNU_BUILD_ID·(unique·build·ID·bitstring)»   ····Build·ID:·cddb8153a838783a7d6ab7da5f32c569d047e03d6 ··GNU··················0x00000014»  NT_GNU_BUILD_ID·(unique·build·ID·bitstring)»   ····Build·ID:·b9ae1db60dd8f912facbb2051d4ea58503099b87
  
7 Displaying·notes·found·in:·.note.ABI-tag7 Displaying·notes·found·in:·.note.ABI-tag
8 ··Owner················Data·size·»  Description8 ··Owner················Data·size·»  Description
9 ··GNU··················0x00000010»  NT_GNU_ABI_TAG·(ABI·version·tag)»     ····OS:·Linux,·ABI:·3.2.09 ··GNU··················0x00000010»  NT_GNU_ABI_TAG·(ABI·version·tag)»     ····OS:·Linux,·ABI:·3.2.0
35.8 MB
readelf --wide --debug-dump=info {}
error from `readelf --wide --debug-dump=info {}`: readelf: Error: Unable to find program interpreter name
    
Offset 8, 155 lines modifiedOffset 8, 155 lines modified
8 ···Pointer·Size:··88 ···Pointer·Size:··8
9 ·<0><c>:·Abbrev·Number:·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:·0x1e):·./obj-x86_64-linux-gnu/src/main11 ····<11>···DW_AT_comp_dir····:·(line_strp)·(offset:·0x1e):·./obj-x86_64-linux-gnu/src/main
12 ·<1><15>:·Abbrev·Number:·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:·0xa303e):·unsigned·char15 ····<18>···DW_AT_name········:·(strp)·(offset:·0xa3071):·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:·0x4a1d0):·short·unsigned·int19 ····<1f>···DW_AT_name········:·(strp)·(offset:·0x4a1e7):·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:·0xbb103):·unsigned·int23 ····<26>···DW_AT_name········:·(strp)·(offset:·0xbb136):·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:·0x7cb27):·long·unsigned·int27 ····<2d>···DW_AT_name········:·(strp)·(offset:·0x7cb3e):·long·unsigned·int
28 ·<1><31>:·Abbrev·Number:·39·(DW_TAG_typedef)28 ·<1><31>:·Abbrev·Number:·39·(DW_TAG_typedef)
29 ····<32>···DW_AT_name········:·(strp)·(offset:·0xb5de):·__int8_t29 ····<32>···DW_AT_name········:·(strp)·(offset:·0xb5de):·__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:·0x71384):·signed·char37 ····<3d>···DW_AT_name········:·(strp)·(offset:·0x7139b):·signed·char
38 ·<1><41>:·Abbrev·Number:·39·(DW_TAG_typedef)38 ·<1><41>:·Abbrev·Number:·39·(DW_TAG_typedef)
39 ····<42>···DW_AT_name········:·(strp)·(offset:·0x414b6):·__uint8_t39 ····<42>···DW_AT_name········:·(strp)·(offset:·0x4149c):·__uint8_t
40 ····<46>···DW_AT_decl_file···:·(data1)·3140 ····<46>···DW_AT_decl_file···:·(data1)·31
41 ····<47>···DW_AT_decl_line···:·(data1)·3841 ····<47>···DW_AT_decl_line···:·(data1)·38
42 ····<48>···DW_AT_decl_column·:·(data1)·2342 ····<48>···DW_AT_decl_column·:·(data1)·23
43 ····<49>···DW_AT_type········:·(ref_udata)·<0x15>,·unsigned·char43 ····<49>···DW_AT_type········:·(ref_udata)·<0x15>,·unsigned·char
44 ·<1><4a>:·Abbrev·Number:·39·(DW_TAG_typedef)44 ·<1><4a>:·Abbrev·Number:·39·(DW_TAG_typedef)
45 ····<4b>···DW_AT_name········:·(strp)·(offset:·0xb3bed):·__int16_t45 ····<4b>···DW_AT_name········:·(strp)·(offset:·0xb3c20):·__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:·0x8b134):·short·int53 ····<56>···DW_AT_name········:·(strp)·(offset:·0x8b14b):·short·int
54 ·<1><5a>:·Abbrev·Number:·39·(DW_TAG_typedef)54 ·<1><5a>:·Abbrev·Number:·39·(DW_TAG_typedef)
55 ····<5b>···DW_AT_name········:·(strp)·(offset:·0xb8950):·__uint16_t55 ····<5b>···DW_AT_name········:·(strp)·(offset:·0xb8983):·__uint16_t
56 ····<5f>···DW_AT_decl_file···:·(data1)·3156 ····<5f>···DW_AT_decl_file···:·(data1)·31
57 ····<60>···DW_AT_decl_line···:·(data1)·4057 ····<60>···DW_AT_decl_line···:·(data1)·40
58 ····<61>···DW_AT_decl_column·:·(data1)·2858 ····<61>···DW_AT_decl_column·:·(data1)·28
59 ····<62>···DW_AT_type········:·(ref_udata)·<0x1c>,·short·unsigned·int59 ····<62>···DW_AT_type········:·(ref_udata)·<0x1c>,·short·unsigned·int
60 ·<1><63>:·Abbrev·Number:·39·(DW_TAG_typedef)60 ·<1><63>:·Abbrev·Number:·39·(DW_TAG_typedef)
61 ····<64>···DW_AT_name········:·(strp)·(offset:·0x8af7b):·__int32_t61 ····<64>···DW_AT_name········:·(strp)·(offset:·0x8af92):·__int32_t
62 ····<68>···DW_AT_decl_file···:·(data1)·3162 ····<68>···DW_AT_decl_file···:·(data1)·31
63 ····<69>···DW_AT_decl_line···:·(data1)·4163 ····<69>···DW_AT_decl_line···:·(data1)·41
64 ····<6a>···DW_AT_decl_column·:·(data1)·2064 ····<6a>···DW_AT_decl_column·:·(data1)·20
65 ····<6b>···DW_AT_type········:·(ref_udata)·<0x6c>,·int65 ····<6b>···DW_AT_type········:·(ref_udata)·<0x6c>,·int
66 ·<1><6c>:·Abbrev·Number:·43·(DW_TAG_base_type)66 ·<1><6c>:·Abbrev·Number:·43·(DW_TAG_base_type)
67 ····<6d>···DW_AT_byte_size···:·(data1)·467 ····<6d>···DW_AT_byte_size···:·(data1)·4
68 ····<6e>···DW_AT_encoding····:·(data1)·5»    (signed)68 ····<6e>···DW_AT_encoding····:·(data1)·5»    (signed)
69 ····<6f>···DW_AT_name········:·(string)·int69 ····<6f>···DW_AT_name········:·(string)·int
70 ·<1><73>:·Abbrev·Number:·33·(DW_TAG_const_type)70 ·<1><73>:·Abbrev·Number:·33·(DW_TAG_const_type)
71 ····<74>···DW_AT_type········:·(ref_udata)·<0x6c>,·int71 ····<74>···DW_AT_type········:·(ref_udata)·<0x6c>,·int
72 ·<1><75>:·Abbrev·Number:·39·(DW_TAG_typedef)72 ·<1><75>:·Abbrev·Number:·39·(DW_TAG_typedef)
73 ····<76>···DW_AT_name········:·(strp)·(offset:·0x8fa01):·__uint32_t73 ····<76>···DW_AT_name········:·(strp)·(offset:·0x8fa18):·__uint32_t
74 ····<7a>···DW_AT_decl_file···:·(data1)·3174 ····<7a>···DW_AT_decl_file···:·(data1)·31
75 ····<7b>···DW_AT_decl_line···:·(data1)·4275 ····<7b>···DW_AT_decl_line···:·(data1)·42
76 ····<7c>···DW_AT_decl_column·:·(data1)·2276 ····<7c>···DW_AT_decl_column·:·(data1)·22
77 ····<7d>···DW_AT_type········:·(ref_udata)·<0x23>,·unsigned·int77 ····<7d>···DW_AT_type········:·(ref_udata)·<0x23>,·unsigned·int
78 ·<1><7e>:·Abbrev·Number:·39·(DW_TAG_typedef)78 ·<1><7e>:·Abbrev·Number:·39·(DW_TAG_typedef)
79 ····<7f>···DW_AT_name········:·(strp)·(offset:·0x6389d):·__int64_t79 ····<7f>···DW_AT_name········:·(strp)·(offset:·0x638b4):·__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:·0xfe22):·long·int87 ····<8b>···DW_AT_name········:·(strp)·(offset:·0xfe22):·long·int
88 ·<1><8f>:·Abbrev·Number:·39·(DW_TAG_typedef)88 ·<1><8f>:·Abbrev·Number:·39·(DW_TAG_typedef)
89 ····<90>···DW_AT_name········:·(strp)·(offset:·0x68724):·__uint64_t89 ····<90>···DW_AT_name········:·(strp)·(offset:·0x6873b):·__uint64_t
90 ····<94>···DW_AT_decl_file···:·(data1)·3190 ····<94>···DW_AT_decl_file···:·(data1)·31
91 ····<95>···DW_AT_decl_line···:·(data1)·4591 ····<95>···DW_AT_decl_line···:·(data1)·45
92 ····<96>···DW_AT_decl_column·:·(data1)·2792 ····<96>···DW_AT_decl_column·:·(data1)·27
93 ····<97>···DW_AT_type········:·(ref_udata)·<0x2a>,·long·unsigned·int93 ····<97>···DW_AT_type········:·(ref_udata)·<0x2a>,·long·unsigned·int
94 ·<1><98>:·Abbrev·Number:·39·(DW_TAG_typedef)94 ·<1><98>:·Abbrev·Number:·39·(DW_TAG_typedef)
95 ····<99>···DW_AT_name········:·(strp)·(offset:·0x59dbe):·__int_least8_t95 ····<99>···DW_AT_name········:·(strp)·(offset:·0x59dd5):·__int_least8_t
96 ····<9d>···DW_AT_decl_file···:·(data1)·3196 ····<9d>···DW_AT_decl_file···:·(data1)·31
97 ····<9e>···DW_AT_decl_line···:·(data1)·5297 ····<9e>···DW_AT_decl_line···:·(data1)·52
98 ····<9f>···DW_AT_decl_column·:·(data1)·1898 ····<9f>···DW_AT_decl_column·:·(data1)·18
99 ····<a0>···DW_AT_type········:·(ref_udata)·<0x31>,·__int8_t,·signed·char99 ····<a0>···DW_AT_type········:·(ref_udata)·<0x31>,·__int8_t,·signed·char
100 ·<1><a1>:·Abbrev·Number:·39·(DW_TAG_typedef)100 ·<1><a1>:·Abbrev·Number:·39·(DW_TAG_typedef)
101 ····<a2>···DW_AT_name········:·(strp)·(offset:·0x5fdc5):·__uint_least8_t101 ····<a2>···DW_AT_name········:·(strp)·(offset:·0x5fddc):·__uint_least8_t
102 ····<a6>···DW_AT_decl_file···:·(data1)·31102 ····<a6>···DW_AT_decl_file···:·(data1)·31
103 ····<a7>···DW_AT_decl_line···:·(data1)·53103 ····<a7>···DW_AT_decl_line···:·(data1)·53
104 ····<a8>···DW_AT_decl_column·:·(data1)·19104 ····<a8>···DW_AT_decl_column·:·(data1)·19
105 ····<a9>···DW_AT_type········:·(ref_udata)·<0x41>,·__uint8_t,·unsigned·char105 ····<a9>···DW_AT_type········:·(ref_udata)·<0x41>,·__uint8_t,·unsigned·char
106 ·<1><aa>:·Abbrev·Number:·39·(DW_TAG_typedef)106 ·<1><aa>:·Abbrev·Number:·39·(DW_TAG_typedef)
107 ····<ab>···DW_AT_name········:·(strp)·(offset:·0x7fc4e):·__int_least16_t107 ····<ab>···DW_AT_name········:·(strp)·(offset:·0x7fc65):·__int_least16_t
108 ····<af>···DW_AT_decl_file···:·(data1)·31108 ····<af>···DW_AT_decl_file···:·(data1)·31
109 ····<b0>···DW_AT_decl_line···:·(data1)·54109 ····<b0>···DW_AT_decl_line···:·(data1)·54
110 ····<b1>···DW_AT_decl_column·:·(data1)·19110 ····<b1>···DW_AT_decl_column·:·(data1)·19
111 ····<b2>···DW_AT_type········:·(ref_udata)·<0x4a>,·__int16_t,·short·int111 ····<b2>···DW_AT_type········:·(ref_udata)·<0x4a>,·__int16_t,·short·int
112 ·<1><b3>:·Abbrev·Number:·39·(DW_TAG_typedef)112 ·<1><b3>:·Abbrev·Number:·39·(DW_TAG_typedef)
113 ····<b4>···DW_AT_name········:·(strp)·(offset:·0x10d38):·__uint_least16_t113 ····<b4>···DW_AT_name········:·(strp)·(offset:·0x10d38):·__uint_least16_t
114 ····<b8>···DW_AT_decl_file···:·(data1)·31114 ····<b8>···DW_AT_decl_file···:·(data1)·31
115 ····<b9>···DW_AT_decl_line···:·(data1)·55115 ····<b9>···DW_AT_decl_line···:·(data1)·55
116 ····<ba>···DW_AT_decl_column·:·(data1)·20116 ····<ba>···DW_AT_decl_column·:·(data1)·20
117 ····<bb>···DW_AT_type········:·(ref_udata)·<0x5a>,·__uint16_t,·short·unsigned·int117 ····<bb>···DW_AT_type········:·(ref_udata)·<0x5a>,·__uint16_t,·short·unsigned·int
118 ·<1><bc>:·Abbrev·Number:·39·(DW_TAG_typedef)118 ·<1><bc>:·Abbrev·Number:·39·(DW_TAG_typedef)
119 ····<bd>···DW_AT_name········:·(strp)·(offset:·0x56d76):·__int_least32_t119 ····<bd>···DW_AT_name········:·(strp)·(offset:·0x56d8d):·__int_least32_t
120 ····<c1>···DW_AT_decl_file···:·(data1)·31120 ····<c1>···DW_AT_decl_file···:·(data1)·31
121 ····<c2>···DW_AT_decl_line···:·(data1)·56121 ····<c2>···DW_AT_decl_line···:·(data1)·56
122 ····<c3>···DW_AT_decl_column·:·(data1)·19122 ····<c3>···DW_AT_decl_column·:·(data1)·19
123 ····<c4>···DW_AT_type········:·(ref_udata)·<0x63>,·__int32_t,·int123 ····<c4>···DW_AT_type········:·(ref_udata)·<0x63>,·__int32_t,·int
124 ·<1><c5>:·Abbrev·Number:·39·(DW_TAG_typedef)124 ·<1><c5>:·Abbrev·Number:·39·(DW_TAG_typedef)
125 ····<c6>···DW_AT_name········:·(strp)·(offset:·0xca468):·__uint_least32_t125 ····<c6>···DW_AT_name········:·(strp)·(offset:·0xca44e):·__uint_least32_t
126 ····<ca>···DW_AT_decl_file···:·(data1)·31126 ····<ca>···DW_AT_decl_file···:·(data1)·31
127 ····<cb>···DW_AT_decl_line···:·(data1)·57127 ····<cb>···DW_AT_decl_line···:·(data1)·57
128 ····<cc>···DW_AT_decl_column·:·(data1)·20128 ····<cc>···DW_AT_decl_column·:·(data1)·20
129 ····<cd>···DW_AT_type········:·(ref_udata)·<0x75>,·__uint32_t,·unsigned·int129 ····<cd>···DW_AT_type········:·(ref_udata)·<0x75>,·__uint32_t,·unsigned·int
130 ·<1><ce>:·Abbrev·Number:·39·(DW_TAG_typedef)130 ·<1><ce>:·Abbrev·Number:·39·(DW_TAG_typedef)
131 ····<cf>···DW_AT_name········:·(strp)·(offset:·0x2ecf2):·__int_least64_t131 ····<cf>···DW_AT_name········:·(strp)·(offset:·0x2ecd8):·__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; 37479379/37487488 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 1703, 16 lines modifiedOffset 1703, 16 lines modified
1703 ·DW_MACRO_define_strp·-·lineno·:·0·macro·:·_GNU_SOURCE·11703 ·DW_MACRO_define_strp·-·lineno·:·0·macro·:·_GNU_SOURCE·1
1704 ·DW_MACRO_define_strp·-·lineno·:·0·macro·:·CVC5_STATISTICS_ON·11704 ·DW_MACRO_define_strp·-·lineno·:·0·macro·:·CVC5_STATISTICS_ON·1
1705 ·DW_MACRO_define_strp·-·lineno·:·0·macro·:·CVC5_USE_CRYPTOMINISAT·11705 ·DW_MACRO_define_strp·-·lineno·:·0·macro·:·CVC5_USE_CRYPTOMINISAT·1
1706 ·DW_MACRO_define_strp·-·lineno·:·0·macro·:·NDEBUG·11706 ·DW_MACRO_define_strp·-·lineno·:·0·macro·:·NDEBUG·1
1707 ·DW_MACRO_define_strp·-·lineno·:·0·macro·:·__BUILDING_CVC5DRIVER·11707 ·DW_MACRO_define_strp·-·lineno·:·0·macro·:·__BUILDING_CVC5DRIVER·1
1708 ·DW_MACRO_define_strp·-·lineno·:·0·macro·:·cvc5_obj_EXPORTS·11708 ·DW_MACRO_define_strp·-·lineno·:·0·macro·:·cvc5_obj_EXPORTS·1
1709 ·DW_MACRO_define_strp·-·lineno·:·0·macro·:·_FORTIFY_SOURCE·21709 ·DW_MACRO_define_strp·-·lineno·:·0·macro·:·_FORTIFY_SOURCE·2
1710 ·DW_MACRO_define_strp·-·lineno·:·0·macro·:·DEB_BUILD_DATE·"2024-03-18"1710 ·DW_MACRO_define_strp·-·lineno·:·0·macro·:·DEB_BUILD_DATE·"2024-03-19"
1711 ·DW_MACRO_define_strp·-·lineno·:·0·macro·:·DEB_BUILD_TIME·"12:06:23"1711 ·DW_MACRO_define_strp·-·lineno·:·0·macro·:·DEB_BUILD_TIME·"14:06:23"
  
1712 ··Offset:······················0x1bec1712 ··Offset:······················0x1bec
1713 ··Version:·····················51713 ··Version:·····················5
1714 ··Offset·size:·················41714 ··Offset·size:·················4
  
1715 ·DW_MACRO_define_strp·-·lineno·:·19·macro·:·_STDC_PREDEF_H·11715 ·DW_MACRO_define_strp·-·lineno·:·19·macro·:·_STDC_PREDEF_H·1
1716 ·DW_MACRO_define_strp·-·lineno·:·38·macro·:·__STDC_IEC_559__·11716 ·DW_MACRO_define_strp·-·lineno·:·38·macro·:·__STDC_IEC_559__·1
Offset 13970, 16 lines modifiedOffset 13970, 16 lines modified
13970 ·DW_MACRO_define_strp·-·lineno·:·0·macro·:·_GNU_SOURCE·113970 ·DW_MACRO_define_strp·-·lineno·:·0·macro·:·_GNU_SOURCE·1
13971 ·DW_MACRO_define_strp·-·lineno·:·0·macro·:·CVC5_STATISTICS_ON·113971 ·DW_MACRO_define_strp·-·lineno·:·0·macro·:·CVC5_STATISTICS_ON·1
13972 ·DW_MACRO_define_strp·-·lineno·:·0·macro·:·CVC5_USE_CRYPTOMINISAT·113972 ·DW_MACRO_define_strp·-·lineno·:·0·macro·:·CVC5_USE_CRYPTOMINISAT·1
13973 ·DW_MACRO_define_strp·-·lineno·:·0·macro·:·NDEBUG·113973 ·DW_MACRO_define_strp·-·lineno·:·0·macro·:·NDEBUG·1
13974 ·DW_MACRO_define_strp·-·lineno·:·0·macro·:·__BUILDING_CVC5DRIVER·113974 ·DW_MACRO_define_strp·-·lineno·:·0·macro·:·__BUILDING_CVC5DRIVER·1
13975 ·DW_MACRO_define_strp·-·lineno·:·0·macro·:·cvc5_obj_EXPORTS·113975 ·DW_MACRO_define_strp·-·lineno·:·0·macro·:·cvc5_obj_EXPORTS·1
13976 ·DW_MACRO_define_strp·-·lineno·:·0·macro·:·_FORTIFY_SOURCE·213976 ·DW_MACRO_define_strp·-·lineno·:·0·macro·:·_FORTIFY_SOURCE·2
13977 ·DW_MACRO_define_strp·-·lineno·:·0·macro·:·DEB_BUILD_DATE·"2024-03-18"13977 ·DW_MACRO_define_strp·-·lineno·:·0·macro·:·DEB_BUILD_DATE·"2024-03-19"
13978 ·DW_MACRO_define_strp·-·lineno·:·0·macro·:·DEB_BUILD_TIME·"12:06:23"13978 ·DW_MACRO_define_strp·-·lineno·:·0·macro·:·DEB_BUILD_TIME·"14:06:23"
  
13979 ··Offset:······················0x12e8613979 ··Offset:······················0x12e86
13980 ··Version:·····················513980 ··Version:·····················5
13981 ··Offset·size:·················413981 ··Offset·size:·················4
  
13982 ·DW_MACRO_define_strp·-·lineno·:·35·macro·:·RLIMIT_CPU·RLIMIT_CPU13982 ·DW_MACRO_define_strp·-·lineno·:·35·macro·:·RLIMIT_CPU·RLIMIT_CPU
13983 ·DW_MACRO_define_strp·-·lineno·:·39·macro·:·RLIMIT_FSIZE·RLIMIT_FSIZE13983 ·DW_MACRO_define_strp·-·lineno·:·39·macro·:·RLIMIT_FSIZE·RLIMIT_FSIZE
8.6 KB
strings --all --bytes=8 {}
    
Offset 1, 337 lines modifiedOffset 1, 357 lines modified
1 GCC:·(Debian·14.2.0-14)·14.2.01 GCC:·(Debian·14.2.0-14)·14.2.0
 2 g5R\1]vA
 3 aojtcr,;4
 4 S5xInx,V
 5 n*M?"|8L?
 6 F}|a»   #3DM
 7 >c.P!"~T
 8 b*DB0;i4
 9 Ob~.#Bln
 10 J4}jc}?D
 11 %}SAlz".
 12 HX)/c3;rk
 13 \,·!^Gp+x.
 14 sib|cjr9Y
 15 I|f"?.q~?
 16 Zrs+A?eb!K
 17 1T8Uw%MB
 18 :@Q7xN)[
2 WDnO5d53n 
3 Fvg%d?%E 
4 Amy$g1n- 
5 (yx0p_z3X 
6 {`~9J?AVT 
7 4}cJmPag 
8 yC7O\x\U 
9 l`9jS`!n6 
10 !r\e`*ti 
11 g%\/4uenQ! 
12 B,2(!>b* 
13 'j0X;EP!, 
14 TK=GKkFK= 
15 IbT}B1Xa 
16 }U:{c(|c·[ 
17 s4dt_P~X 
18 )*t*y4L@ 
19 U"~H"~H^ 
20 Uv29{V#[ 
21 2yn53PJq 
22 gUq:-L@Q 
23 gjwM(X;B|19 jwM(X;B|
24 (Jibd$F2nGe 
25 ^wG1pA*GCWj 
26 OPb15<Be 
27 EkWEbDxAqM 
28 [8HFc>"2 
29 t`I·+]i6 
30 :<-YT·\D5 
31 4h[>uCZF 
32 %nf<eq?0 
33 (`euemu·VsO. 
34 9svT0E;» 
35 x[6<QCFC 
36 6D-2Wp67 
37 dcteAy<i 
38 EMw~Ei;F 
39 AAZ>OB{:I 
40 WDz@*_#_ 
41 |gggfggg 
42 K%&#3$4!d 
43 `a+W({m8 
44 ag=r4c|» 
45 ·4+^OVP(=t 
46 cHcHcHcHcHcHcH 
47 F`#s24&t 
48 VJ+q=g-% 
49 |{w!b&X( 
50 o-]s[}Oz 
51 Z-OkoLqu 
52 Mq|N:X5ij 
53 *w|o·zN!w 
54 Bi·m*KEM 
55 ul3^s!u!S 
56 WG}Hi>Az 
57 .aWkD?9u 
58 »       ~&(Sz·tN 
59 &^RVFN7! 
60 a@s5qh@ae'?· 
61 o;m»    bg^a 
62 EV2x^7&v 
63 e#z18rFI 
64 ?6PN:^&` 
65 Gj@J1H)» 
66 +n+IP>*1 
67 jD6H#\9CzM0 
68 *]>Vc#S464Ycc 
69 &>2t»   '/S 
70 w@o/HpE4 
71 7,T{aH*# 
72 0VZ?4w(l 
73 >ZlCLdA: 
74 :JGcu5^K 
75 {D1''y» 2 
76 Y>RGNYtU 
77 knOwep^" 
78 uR]PBg&\ 
79 *ZR%{`$W 
80 RN7TpIBL 
81 6X@mo'=·<I 
82 y{=)j'+70»       
83 L8NRqD"b 
84 dY»     Q2!PN 
85 sAi]$Gj^ 
86 e»      1G<AM· 
87 n4S1RP1O 
88 Tp'sBT(w 
89 'w\^!9.)D20 |Zi~.;G\3
 21 t=#(as;0q
 22 q:y4\C#y
 23 3lM9^_.·y|dC
 24 qlr7>k`F2
 25 my,Ejj;.l
 26 }YC_R4q»
 27 "URs>1R%
 28 %Dm*3S%=Y
 29 C_cuE/"(
 30 wm+[~1X#@
 31 Lp=vH^GV
 32 6I5&iRIb
 33 Gy,td=^{]
 34 ?y&D-"=I
 35 @6=,!?H`d89
 36 $&#3$7!d
 37 1$,S_nya
 38 |?19A}>4
 39 );i<k'B/9ig"
 40 /&};jPK:+QW
 41 MvkQ)r_l>
Max diff block lines reached; 6527/8757 bytes (74.53%) 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 2176, 10943 lines modifiedOffset 2176, 10943 lines modified
2176 ··[·220df]··_____fpos_t_defined·12176 ··[·220df]··_____fpos_t_defined·1
2177 ··[·220f5]··__normal_iterator<unsigned·int*,·std::vector<unsigned·int,·std::allocator<unsigned·int>·>·>2177 ··[·220f5]··__normal_iterator<unsigned·int*,·std::vector<unsigned·int,·std::allocator<unsigned·int>·>·>
2178 ··[·22151]··_ZNK4cvc56Result6isNullEv2178 ··[·22151]··_ZNK4cvc56Result6isNullEv
2179 ··[·2216b]··_ZNKSt10unique_ptrIN4cvc58internal7options13HolderPRINTERESt14default_deleteIS3_EE11get_deleterEv2179 ··[·2216b]··_ZNKSt10unique_ptrIN4cvc58internal7options13HolderPRINTERESt14default_deleteIS3_EE11get_deleterEv
2180 ··[·221cd]··_ZNKSt8_Rb_treeIN4cvc54TermES1_St9_IdentityIS1_ESt4lessIS1_ESaIS1_EE8max_sizeEv2180 ··[·221cd]··_ZNKSt8_Rb_treeIN4cvc54TermES1_St9_IdentityIS1_ESt4lessIS1_ESaIS1_EE8max_sizeEv
2181 ··[·2221d]··_ZNSt3mapIN4cvc54TermENSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEESt4lessIS1_ESaISt4pairIKS1_S7_EEE11upper_boundERSB_2181 ··[·2221d]··_ZNSt3mapIN4cvc54TermENSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEESt4lessIS1_ESaISt4pairIKS1_S7_EEE11upper_boundERSB_
Diff chunk too large, falling back to line-by-line diff (10929 lines added, 10929 lines removed)
2182 ··[·2229b]··_ZNSt22_Optional_payload_baseIlEC4EOS0_2182 ··[·2229b]··_ZNSt22_Optional_payload_baseIlEC4EOS0_
2183 ··[·222c3]··DEB_BUILD_TIME·"12:06:23"2183 ··[·222c3]··_SC_V7_LP64_OFF64·_SC_V7_LP64_OFF64
2184 ··[·222dd]··_SC_V7_LP64_OFF64·_SC_V7_LP64_OFF642184 ··[·222e7]··CLOCK_MONOTONIC_COARSE·6
2185 ··[·22301]··CLOCK_MONOTONIC_COARSE·62185 ··[·22300]··_GLIBCXX_HAVE_SYS_STAT_H·1
2186 ··[·2231a]··_GLIBCXX_HAVE_SYS_STAT_H·12186 ··[·2231b]··_ZNSt13_Rb_tree_nodeISt4pairINSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEEmEE9_M_valptrEv
2187 ··[·22335]··_ZNSt13_Rb_tree_nodeISt4pairINSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEEmEE9_M_valptrEv2187 ··[·2237c]··__cpp_rvalue_reference·200610L
2188 ··[·22396]··__cpp_rvalue_reference·200610L2188 ··[·2239b]··_ZNKSt14default_deleteIN4cvc56parser13SymbolManagerEEclEPS2_
2189 ··[·223b5]··_ZNKSt14default_deleteIN4cvc56parser13SymbolManagerEEclEPS2_2189 ··[·223d8]··d_sep
2190 ··[·223f2]··d_sep2190 ··[·223de]··_ZNSt12_Vector_baseIN4cvc54TermESaIS1_EE12_Vector_implC4EOS2_OS4_
2191 ··[·223f8]··_ZNSt12_Vector_baseIN4cvc54TermESaIS1_EE12_Vector_implC4EOS2_OS4_2191 ··[·22420]··__try·try
2192 ··[·2243a]··__try·try2192 ··[·2242a]··_ZNSt14default_deleteIN4cvc58internal7options12HolderPARSEREEC4Ev
2193 ··[·22444]··_ZNSt14default_deleteIN4cvc58internal7options12HolderPARSEREEC4Ev2193 ··[·2246c]··isSequenceValue
2194 ··[·22486]··isSequenceValue2194 ··[·2247c]··_ZNSt6vectorISt4pairINSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEES6_ESaIS7_EEC4EOS9_RKS8_
2195 ··[·22496]··_ZNSt6vectorISt4pairINSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEES6_ESaIS7_EEC4EOS9_RKS8_2195 ··[·224de]··__CPU_FREE(cpuset)·__sched_cpufree·(cpuset)
2196 ··[·224f8]··__CPU_FREE(cpuset)·__sched_cpufree·(cpuset)2196 ··[·2250a]··__glibcxx_want_smart_ptr_for_overwrite
2197 ··[·22524]··__glibcxx_want_smart_ptr_for_overwrite2197 ··[·22531]··_ZNSt15__uniq_ptr_dataIN4cvc58internal3smt16UnsatCoreManagerESt14default_deleteIS3_ELb1ELb1EEaSEOS6_
2198 ··[·2254b]··_ZNSt15__uniq_ptr_dataIN4cvc58internal3smt16UnsatCoreManagerESt14default_deleteIS3_ELb1ELb1EEaSEOS6_2198 ··[·22596]··_ZNSt11_Tuple_implILm0EJPN4cvc58internal7options10HolderSETSESt14default_deleteIS3_EEE7_M_swapERS7_
2199 ··[·225b0]··_ZNSt11_Tuple_implILm0EJPN4cvc58internal7options10HolderSETSESt14default_deleteIS3_EEE7_M_swapERS7_2199 ··[·225fa]··_ZNK4cvc512DatatypeDecl12isNullHelperEv
2200 ··[·22614]··_ZNK4cvc512DatatypeDecl12isNullHelperEv2200 ··[·22622]··_ZNSt12_Vector_baseIN4cvc516DatatypeSelectorESaIS1_EE19_M_get_Tp_allocatorEv
2201 ··[·2263c]··_ZNSt12_Vector_baseIN4cvc516DatatypeSelectorESaIS1_EE19_M_get_Tp_allocatorEv2201 ··[·2266f]··_ZNSt8_Rb_treeINSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEESt4pairIKS5_N4cvc54StatEESt10_Select1stISA_ESt4lessIS5_ESaISA_EE14_M_move_assignERSG_St17integral_constantIbLb1EE
2202 ··[·22689]··_ZNSt8_Rb_treeINSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEESt4pairIKS5_N4cvc54StatEESt10_Select1stISA_ESt4lessIS5_ESaISA_EE14_M_move_assignERSG_St17integral_constantIbLb1EE2202 ··[·22724]··_M_erase_at_end
2203 ··[·2273e]··_M_erase_at_end2203 ··[·22734]··_ZNSt11_Tuple_implILm1EJSt14default_deleteIN4cvc58internal7options12HolderDRIVEREEEE7_M_swapERS6_
2204 ··[·2274e]··_ZNSt11_Tuple_implILm1EJSt14default_deleteIN4cvc58internal7options12HolderDRIVEREEEE7_M_swapERS6_2204 ··[·22796]··_ZNKSt6vectorIjSaIjEE4dataEv
2205 ··[·227b0]··_ZNKSt6vectorIjSaIjEE4dataEv2205 ··[·227b3]··_ZNK9__gnu_cxx17__normal_iteratorIPKNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEESt6vectorIS6_SaIS6_EEEptEv
2206 ··[·227cd]··_ZNK9__gnu_cxx17__normal_iteratorIPKNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEESt6vectorIS6_SaIS6_EEEptEv2206 ··[·22826]··__UINT_LEAST32_MAX__·0xffffffffU
2207 ··[·22840]··__UINT_LEAST32_MAX__·0xffffffffU2207 ··[·22847]··_ZNSaISt13_Rb_tree_nodeISt4pairINSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEEmEEEC4Ev
2208 ··[·22861]··_ZNSaISt13_Rb_tree_nodeISt4pairINSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEEmEEEC4Ev2208 ··[·228a4]··Trace(tag)·cvc5::internal::__cvc5_true()·?·cvc5::internal::nullStream·:·cvc5::internal::TraceChannel()
2209 ··[·228be]··Trace(tag)·cvc5::internal::__cvc5_true()·?·cvc5::internal::nullStream·:·cvc5::internal::TraceChannel()2209 ··[·2290b]··allocator_traits<std::allocator<char>·>
2210 ··[·22925]··allocator_traits<std::allocator<char>·>2210 ··[·22933]··_ZNKSt10unique_ptrIN4cvc58internal7options9HolderSEPESt14default_deleteIS3_EEcvbEv
2211 ··[·2294d]··_ZNKSt10unique_ptrIN4cvc58internal7options9HolderSEPESt14default_deleteIS3_EEcvbEv2211 ··[·22986]··_ZNSt6vectorIbSaIbEE4flipEv
2212 ··[·229a0]··_ZNSt6vectorIbSaIbEE4flipEv2212 ··[·229a2]··_ZNSt5tupleIJPN4cvc58internal7options8HolderBVESt14default_deleteIS3_EEE4swapERS7_
2213 ··[·229bc]··_ZNSt5tupleIJPN4cvc58internal7options8HolderBVESt14default_deleteIS3_EEE4swapERS7_2213 ··[·229f5]··__need___va_list
2214 ··[·22a0f]··__need___va_list2214 ··[·22a06]··_GLIBCXX_TXN_SAFE_DYN·
2215 ··[·22a20]··_GLIBCXX_TXN_SAFE_DYN·2215 ··[·22a1d]··__gthrw(name)·__gthrw2(__gthrw_·##·name,name,name)
2216 ··[·22a37]··__gthrw(name)·__gthrw2(__gthrw_·##·name,name,name)2216 ··[·22a50]··_ZNSt19_Bit_const_iteratorC4ERKSt13_Bit_iterator
2217 ··[·22a6a]··_ZNSt19_Bit_const_iteratorC4ERKSt13_Bit_iterator2217 ··[·22a81]··_ZNSt3mapINSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEEN4cvc54StatESt4lessIS5_ESaISt4pairIKS5_S7_EEEC4ESt16initializer_listISC_ERKS9_RKSD_
2218 ··[·22a9b]··_ZNSt3mapINSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEEN4cvc54StatESt4lessIS5_ESaISt4pairIKS5_S7_EEEC4ESt16initializer_listISC_ERKS9_RKSD_2218 ··[·22b13]··_ZNKSt19_Optional_base_implIlSt14_Optional_baseIlLb1ELb1EEE6_M_getEv
2219 ··[·22b2d]··_ZNKSt19_Optional_base_implIlSt14_Optional_baseIlLb1ELb1EEE6_M_getEv2219 ··[·22b58]··d_bv
2220 ··[·22b72]··d_bv2220 ··[·22b5d]··EXISTS
2221 ··[·22b77]··EXISTS2221 ··[·22b64]··_ZNKSt6vectorIbSaIbEE7crbeginEv
2222 ··[·22b7e]··_ZNKSt6vectorIbSaIbEE7crbeginEv2222 ··[·22b84]··_ZNSt6vectorIN4cvc54main15PortfolioConfigESaIS2_EEC4EmRKS2_RKS3_
2223 ··[·22b9e]··_ZNSt6vectorIN4cvc54main15PortfolioConfigESaIS2_EEC4EmRKS2_RKS3_2223 ··[·22bc5]··_SC_JOB_CONTROL·_SC_JOB_CONTROL
2224 ··[·22bdf]··_SC_JOB_CONTROL·_SC_JOB_CONTROL2224 ··[·22be5]··__glibcxx_want_execution
2225 ··[·22bff]··__glibcxx_want_execution2225 ··[·22bfe]··_ZNSt6vectorIN4cvc523DatatypeConstructorDeclESaIS1_EE4rendEv
2226 ··[·22c18]··_ZNSt6vectorIN4cvc523DatatypeConstructorDeclESaIS1_EE4rendEv2226 ··[·22c3b]··__dat
2227 ··[·22c55]··__dat2227 ··[·22c41]··__LC_MEASUREMENT·11
2228 ··[·22c5b]··__LC_MEASUREMENT·112228 ··[·22c55]··__in_chrg
2229 ··[·22c6f]··__in_chrg2229 ··[·22c5f]··_ZNSt11_Tuple_implILm1EJSt14default_deleteIN4cvc58internal7options8HolderFPEEEEC4Ev
2230 ··[·22c79]··_ZNSt11_Tuple_implILm1EJSt14default_deleteIN4cvc58internal7options8HolderFPEEEEC4Ev2230 ··[·22cb3]··_Tuple_impl<0,·cvc5::internal::options::HolderSMT*,·std::default_delete<cvc5::internal::options::HolderSMT>·>
2231 ··[·22ccd]··_Tuple_impl<0,·cvc5::internal::options::HolderSMT*,·std::default_delete<cvc5::internal::options::HolderSMT>·>2231 ··[·22d21]··_Arg
2232 ··[·22d3b]··_Arg2232 ··[·22d26]··_PSTL_PRAGMA_LOCATION·"·[Parallel·STL·message]:·"
2233 ··[·22d40]··_PSTL_PRAGMA_LOCATION·"·[Parallel·STL·message]:·"2233 ··[·22d58]··__STDC_UTF_32__·1
2234 ··[·22d72]··__STDC_UTF_32__·12234 ··[·22d6a]··__glibcxx_want_optional·
2235 ··[·22d84]··__glibcxx_want_optional·2235 ··[·22d83]··_ZNSt15__uniq_ptr_implIN4cvc58internal3smt19ResourceOutListenerESt14default_deleteIS3_EEaSEOS6_
2236 ··[·22d9d]··_ZNSt15__uniq_ptr_implIN4cvc58internal3smt19ResourceOutListenerESt14default_deleteIS3_EEaSEOS6_2236 ··[·22de3]··__uniq_ptr_data<cvc5::internal::options::HolderSEP,·std::default_delete<cvc5::internal::options::HolderSEP>,·true,·true>
2237 ··[·22dfd]··__uniq_ptr_data<cvc5::internal::options::HolderSEP,·std::default_delete<cvc5::internal::options::HolderSEP>,·true,·true>2237 ··[·22e5c]··add_lvalue_reference<cvc5::internal::smt::SmtSolver>
2238 ··[·22e76]··add_lvalue_reference<cvc5::internal::smt::SmtSolver>2238 ··[·22e91]··__glibcxx_no_dangling_refs(_U1,_U2)·
2239 ··[·22eab]··__glibcxx_no_dangling_refs(_U1,_U2)·2239 ··[·22eb6]··long·double
2240 ··[·22ed0]··long·double2240 ··[·22ec2]··_ZNSt4pairISt23_Rb_tree_const_iteratorIS_INSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEEmEEbEC4ERKS9_
2241 ··[·22edc]··_ZNSt4pairISt23_Rb_tree_const_iteratorIS_INSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEEmEEbEC4ERKS9_2241 ··[·22f2e]··_ZNSt15__uniq_ptr_dataIN4cvc58internal7options14HolderPARALLELESt14default_deleteIS3_ELb1ELb1EEC4EOS6_
2242 ··[·22f48]··_ZNSt15__uniq_ptr_dataIN4cvc58internal7options14HolderPARALLELESt14default_deleteIS3_ELb1ELb1EEC4EOS6_2242 ··[·22f95]··_ZNSt11_Tuple_implILm0EJPN4cvc58internal3smt11SygusSolverESt14default_deleteIS3_EEE7_M_tailERS7_
2243 ··[·22faf]··_ZNSt11_Tuple_implILm0EJPN4cvc58internal3smt11SygusSolverESt14default_deleteIS3_EEE7_M_tailERS7_2243 ··[·22ff6]··_ZNSt11char_traitsIwE7compareEPKwS2_m
2244 ··[·23010]··_ZNSt11char_traitsIwE7compareEPKwS2_m2244 ··[·2301c]··_ZNKSt8optionalImE9has_valueEv
2245 ··[·23036]··_ZNKSt8optionalImE9has_valueEv2245 ··[·2303b]··__uniq_ptr_data<cvc5::internal::smt::ContextManager,·std::default_delete<cvc5::internal::smt::ContextManager>,·true,·true>
2246 ··[·23055]··__uniq_ptr_data<cvc5::internal::smt::ContextManager,·std::default_delete<cvc5::internal::smt::ContextManager>,·true,·true>2246 ··[·230b6]··_GLIBCXX_USE_CHMOD·1
2247 ··[·230d0]··_GLIBCXX_USE_CHMOD·12247 ··[·230cb]··_GLIBCXX_USE_ASSIGN_FOR_INIT(T,U)·__is_trivial(T)·&&·__is_assignable(T&,·U)·&&·std::__check_constructible<T,·U>()
2248 ··[·230e5]··_GLIBCXX_USE_ASSIGN_FOR_INIT(T,U)·__is_trivial(T)·&&·__is_assignable(T&,·U)·&&·std::__check_constructible<T,·U>()2248 ··[·2313d]··_ZNSt10_Head_baseILm0EPN4cvc58internal7options9HolderSMTELb0EEC4ERKS5_
2249 ··[·23157]··_ZNSt10_Head_baseILm0EPN4cvc58internal7options9HolderSMTELb0EEC4ERKS5_2249 ··[·23184]··_ZNSt15__uniq_ptr_implIN4cvc58internal3smt14ContextManagerESt14default_deleteIS3_EE10_M_deleterEv
2250 ··[·2319e]··_ZNSt15__uniq_ptr_implIN4cvc58internal3smt14ContextManagerESt14default_deleteIS3_EE10_M_deleterEv2250 ··[·231e6]··_CS_POSIX_V7_ILP32_OFFBIG_LINTFLAGS·_CS_POSIX_V7_ILP32_OFFBIG_LINTFLAGS
2251 ··[·23200]··_CS_POSIX_V7_ILP32_OFFBIG_LINTFLAGS·_CS_POSIX_V7_ILP32_OFFBIG_LINTFLAGS2251 ··[·2322e]··_ZNKSt17basic_string_viewIcSt11char_traitsIcEE12find_last_ofES2_m
2252 ··[·23248]··_ZNKSt17basic_string_viewIcSt11char_traitsIcEE12find_last_ofES2_m2252 ··[·23270]··_ZNSt17basic_string_viewIwSt11char_traitsIwEEC4EPKw
2253 ··[·2328a]··_ZNSt17basic_string_viewIwSt11char_traitsIwEEC4EPKw2253 ··[·232a4]··_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·...·]
2254 ··[·232be]··_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·...·]yEv2254 ··[·23407]··_ZNKSt3mapINSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEEN4cvc54StatESt4lessIS5_ESaISt4pairIKS5_S7_EEE5emptyEv
2255 ··[·23421]··_ZNKSt3mapINSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEEN4cvc54StatESt4lessIS5_ESaISt4pairIKS5_S7_EEE5emptyEv2255 ··[·2347c]··_Head_base<1,·std::default_delete<cvc5::internal::options::OptionsHandler>,·true>
2256 ··[·23496]··_Head_base<1,·std::default_delete<cvc5::internal::options::OptionsHandler>,·true>2256 ··[·234ce]··_ZNSt13_Bvector_baseISaIbEE8_S_nwordEm
2257 ··[·234e8]··_ZNSt13_Bvector_baseISaIbEE8_S_nwordEm2257 ··[·234f5]··assertFormulaInternal
2258 ··[·2350f]··assertFormulaInternal2258 ··[·2350b]··STA_PPSFREQ·0x0002
2259 ··[·23525]··STA_PPSFREQ·0x00022259 ··[·2351e]··mkNullableLift
2260 ··[·23538]··mkNullableLift2260 ··[·2352d]··_ZNSt14default_deleteIN4cvc58internal7options12HolderDRIVEREEC4Ev
2261 ··[·23547]··_ZNSt14default_deleteIN4cvc58internal7options12HolderDRIVEREEC4Ev2261 ··[·2356f]··_ZNSt15__uniq_ptr_implIN4cvc54Stat8StatDataESt14default_deleteIS2_EE6_M_ptrEv
2262 ··[·23589]··_ZNSt15__uniq_ptr_implIN4cvc54Stat8StatDataESt14default_deleteIS2_EE6_M_ptrEv2262 ··[·235bd]··mkFiniteFieldElem
2263 ··[·235d7]··mkFiniteFieldElem2263 ··[·235cf]··ARITH_TRANS_EXP_NEG
2264 ··[·235e9]··ARITH_TRANS_EXP_NEG2264 ··[·235e3]··__glibcxx_allocator_traits_is_always_equal·201411L
2265 ··[·235fd]··__glibcxx_allocator_traits_is_always_equal·201411L2265 ··[·23616]··_ZNK4cvc58internal9LogicInfo15isTheoryEnabledENS0_6theory8TheoryIdE
2266 ··[·23630]··_ZNK4cvc58internal9LogicInfo15isTheoryEnabledENS0_6theory8TheoryIdE2266 ··[·2365a]··_SC_2_FORT_DEV·_SC_2_FORT_DEV
2267 ··[·23674]··_SC_2_FORT_DEV·_SC_2_FORT_DEV2267 ··[·23678]··__uniq_ptr_data<cvc5::internal::options::HolderBOOLEANS,·std::default_delete<cvc5::internal::options::HolderBOOLEANS>,·true,·true>
2268 ··[·23692]··__uniq_ptr_data<cvc5::internal::options::HolderBOOLEANS,·std::default_delete<cvc5::internal::options::HolderBOOLEANS>,·true,·true>2268 ··[·236fb]··_ZNSt3setIN4cvc54TermESt4lessIS1_ESaIS1_EE6insertESt23_Rb_tree_const_iteratorIS1_EOSt12_Node_handleIS1_S1_SaISt13_Rb_tree_nodeIS1_EEE
2269 ··[·23715]··_ZNSt3setIN4cvc54TermESt4lessIS1_ESaIS1_EE6insertESt23_Rb_tree_const_iteratorIS1_EOSt12_Node_handleIS1_S1_SaISt13_Rb_tree_nodeIS1_EEE2269 ··[·23781]··_ZNK4cvc56Solver8setLogicERKNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEE
2270 ··[·2379b]··_ZNK4cvc56Solver8setLogicERKNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEE2270 ··[·237d2]··_ZNK4cvc512DatatypeDecl10isResolvedEv
2271 ··[·237ec]··_ZNK4cvc512DatatypeDecl10isResolvedEv2271 ··[·237f8]··_ZNKSt3mapIN4cvc54TermENSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEESt4lessIS1_ESaISt4pairIKS1_S7_EEE5crendEv
2272 ··[·23812]··_ZNKSt3mapIN4cvc54TermENSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEESt4lessIS1_ESaISt4pairIKS1_S7_EEE5crendEv2272 ··[·2386d]··_IsUnused
2273 ··[·23887]··_IsUnused2273 ··[·23877]··_ZNSt15__new_allocatorIN4cvc54TermEED4Ev
2274 ··[·23891]··_ZNSt15__new_allocatorIN4cvc54TermEED4Ev2274 ··[·238a0]··_ZNSt19_Node_handle_commonISt4pairINSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEEmESaISt13_Rb_tree_nodeIS7_EEE7_M_swapERSB_
2275 ··[·238ba]··_ZNSt19_Node_handle_commonISt4pairINSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEEmESaISt13_Rb_tree_nodeIS7_EEE7_M_swapERSB_2275 ··[·23922]··_vtable_offset
2276 ··[·2393c]··_vtable_offset2276 ··[·23931]··_ZNSt8_Rb_treeISt4pairINSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEEmES7_St9_IdentityIS7_ESt4lessIS7_ESaIS7_EE5eraseB5cxx11ESt23_Rb_tree_const_iteratorIS7_E
2277 ··[·2394b]··_ZNSt8_Rb_treeISt4pairINSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEEmES7_St9_IdentityIS7_ESt4lessIS7_ESaIS7_EE5eraseB5cxx11ESt23_Rb_tree_const_iteratorIS7_E2277 ··[·239d5]··_ZNKSt7__cxx1112basic_stringIwSt11char_traitsIwESaIwEE7compareEmmRKS4_mm
2278 ··[·239ef]··_ZNKSt7__cxx1112basic_stringIwSt11char_traitsIwESaIwEE7compareEmmRKS4_mm2278 ··[·23a1e]··_GLIBCXX_POSTYPES_H·1
2279 ··[·23a38]··_GLIBCXX_POSTYPES_H·12279 ··[·23a34]··INT_FAST16_MIN·(-9223372036854775807L-1)
2280 ··[·23a4e]··INT_FAST16_MIN·(-9223372036854775807L-1)2280 ··[·23a5d]··_ZNSt11_Tuple_implILm0EJPN4cvc58internal3smt9SmtSolverESt14default_deleteIS3_EEE7_M_headERS7_
2281 ··[·23a77]··_ZNSt11_Tuple_implILm0EJPN4cvc58internal3smt9SmtSolverESt14default_deleteIS3_EEE7_M_headERS7_2281 ··[·23abb]··__cpp_lib_tuples_by_type·201304L
2282 ··[·23ad5]··__cpp_lib_tuples_by_type·201304L2282 ··[·23adc]··getInterpolant
2283 ··[·23af6]··getInterpolant2283 ··[·23aeb]··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·...·]
2284 ··[·23b05]··reverse_iterator<__gnu_cxx::__normal_iterator<std::pair<std::__cxx11::basic_string<char,·std::char_traits<char>,·std::allocator<char>·>,·std::__cxx11::basic_string<char,·std::char_traits<char>,·std::allocator<char>·>·>*,·std::vector<std::pair<std::__[·...·truncated·by·diffoscope;·len:·349,·SHA:·f2936e81a0cece3952cbd4f1d7c107efb18853c4712b5e4164f7f050a5bafc60·...·]>·>2284 ··[·23d46]··rebind<std::_Rb_tree_node<cvc5::Term>·>
2285 ··[·23d60]··rebind<std::_Rb_tree_node<cvc5::Term>·>2285 ··[·23d6e]··PTHREAD_RWLOCK_WRITER_NONRECURSIVE_INITIALIZER_NP·{·{·__PTHREAD_RWLOCK_INITIALIZER·(PTHREAD_RWLOCK_PREFER_WRITER_NONRECURSIVE_NP)·}·}
2286 ··[·23d88]··PTHREAD_RWLOCK_WRITER_NONRECURSIVE_INITIALIZER_NP·{·{·__PTHREAD_RWLOCK_INITIALIZER·(PTHREAD_RWLOCK_PREFER_WRITER_NONRECURSIVE_NP)·}·}2286 ··[·23df4]··_ZNSt10_Head_baseILm1ESt14default_deleteIN4cvc58internal3smt15AbductionSolverEELb1EE7_M_headERKS6_
2287 ··[·23e0e]··_ZNSt10_Head_baseILm1ESt14default_deleteIN4cvc58internal3smt15AbductionSolverEELb1EE7_M_headERKS6_2287 ··[·23e57]··_ZNSt8optionalIlEaSESt9nullopt_t
2288 ··[·23e71]··_ZNSt8optionalIlEaSESt9nullopt_t2288 ··[·23e78]··_ZNSt16initializer_listIPKcEC4EPKS1_m
2289 ··[·23e92]··_ZNSt16initializer_listIPKcEC4EPKS1_m2289 ··[·23e9e]··_SC_2_PBS_ACCOUNTING·_SC_2_PBS_ACCOUNTING
2290 ··[·23eb8]··_SC_2_PBS_ACCOUNTING·_SC_2_PBS_ACCOUNTING2290 ··[·23ec8]··_ZNSt15basic_streambufIcSt11char_traitsIcEE9showmanycEv
2291 ··[·23ee2]··_ZNSt15basic_streambufIcSt11char_traitsIcEE9showmanycEv2291 ··[·23f00]··_POSIX_TRACE·-1
2292 ··[·23f1a]··_POSIX_TRACE·-12292 ··[·23f10]··_Head_base<1,·std::default_delete<cvc5::internal::smt::InterpolationSolver>,·true>
2293 ··[·23f2a]··_Head_base<1,·std::default_delete<cvc5::internal::smt::InterpolationSolver>,·true>2293 ··[·23f63]··_ZNSt10_Head_baseILm0EPN4cvc58internal7options13HolderBUILTINELb0EE7_M_headERS5_
2294 ··[·23f7d]··_ZNSt10_Head_baseILm0EPN4cvc58internal7options13HolderBUILTINELb0EE7_M_headERS5_2294 ··[·23fb4]··_M_parent
2295 ··[·23fce]··_M_parent2295 ··[·23fbe]··_ZNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEpLEc
2296 ··[·23fd8]··_ZNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEpLEc2296 ··[·23ff8]··_ZNSt16allocator_traitsISaIwEE10deallocateERS0_Pwm
2297 ··[·24012]··_ZNSt16allocator_traitsISaIwEE10deallocateERS0_Pwm2297 ··[·2402b]··PDP_ENDIAN·__PDP_ENDIAN
2298 ··[·24045]··PDP_ENDIAN·__PDP_ENDIAN2298 ··[·24043]··_GLIBCXX14_DEPRECATED_SUGGEST(ALT)·_GLIBCXX_DEPRECATED_SUGGEST(ALT)
2299 ··[·2405d]··_GLIBCXX14_DEPRECATED_SUGGEST(ALT)·_GLIBCXX_DEPRECATED_SUGGEST(ALT)2299 ··[·24087]··CVC5_NO_EXPORT·__attribute__((visibility("hidden")))
2300 ··[·240a1]··CVC5_NO_EXPORT·__attribute__((visibility("hidden")))2300 ··[·240bc]··_ZN4cvc58internal9ExceptionC4EPKc
2301 ··[·240d6]··_ZN4cvc58internal9ExceptionC4EPKc2301 ··[·240de]··_ZN4cvc511SynthResultC4Ev
Max diff block lines reached; 358/1694473 bytes (0.02%) of diff not shown.
24.9 MB
libcvc5-1-dbgsym_1.1.2-2_amd64.deb
369 B
file list
    
Offset 1, 3 lines modifiedOffset 1, 3 lines modified
1 -rw-r--r--···0········0········0········4·2024-03-19·00:06:23.000000·debian-binary1 -rw-r--r--···0········0········0········4·2024-03-19·00:06:23.000000·debian-binary
2 -rw-r--r--···0········0········0······552·2024-03-19·00:06:23.000000·control.tar.xz2 -rw-r--r--···0········0········0······552·2024-03-19·00:06:23.000000·control.tar.xz
3 -rw-r--r--···0········0········0·182983136·2024-03-19·00:06:23.000000·data.tar.xz3 -rw-r--r--···0········0········0·182981340·2024-03-19·00:06:23.000000·data.tar.xz
802 B
control.tar.xz
774 B
control.tar
526 B
./control
    
Offset 1, 13 lines modifiedOffset 1, 13 lines modified
1 Package:·libcvc5-1-dbgsym1 Package:·libcvc5-1-dbgsym
2 Source:·cvc52 Source:·cvc5
3 Version:·1.1.2-23 Version:·1.1.2-2
4 Auto-Built-Package:·debug-symbols4 Auto-Built-Package:·debug-symbols
5 Architecture:·amd645 Architecture:·amd64
6 Maintainer:·Debian·Science·Maintainers·<debian-science-maintainers@alioth-lists.debian.net>6 Maintainer:·Debian·Science·Maintainers·<debian-science-maintainers@alioth-lists.debian.net>
7 Installed-Size:·1825597 Installed-Size:·182557
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:·54f551147e36f28d61dcc7b962b3e4626092941213 Build-Ids:·e18d18c4a8614110952eb5935546aeca551bd131
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/f551147e36f28d61dcc7b962b3e46260929412.debug1 usr/lib/debug/.build-id/e1/8d18c4a8614110952eb5935546aeca551bd131.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/54/6 drwxr-xr-x···0·root·········(0)·root·········(0)········0·2024-03-19·00:06:23.000000·./usr/lib/debug/.build-id/e1/
7 -rw-r--r--···0·root·········(0)·root·········(0)·186929504·2024-03-19·00:06:23.000000·./usr/lib/debug/.build-id/54/f551147e36f28d61dcc7b962b3e46260929412.debug7 -rw-r--r--···0·root·········(0)·root·········(0)·186927656·2024-03-19·00:06:23.000000·./usr/lib/debug/.build-id/e1/8d18c4a8614110952eb5935546aeca551bd131.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/54/f551147e36f28d61dcc7b962b3e46260929412.debug vs.
./usr/lib/debug/.build-id/e1/8d18c4a8614110952eb5935546aeca551bd131.debug
Timeout exceeded; details may be incomplete. File has been modified after NT_GNU_BUILD_ID has been applied. Files 95% similar despite different names
887 B
readelf --wide --file-header {}
    
Offset 6, 15 lines modifiedOffset 6, 15 lines modified
6 ··OS/ABI:····························UNIX·-·GNU6 ··OS/ABI:····························UNIX·-·GNU
7 ··ABI·Version:·······················07 ··ABI·Version:·······················0
8 ··Type:······························DYN·(Shared·object·file)8 ··Type:······························DYN·(Shared·object·file)
9 ··Machine:···························Advanced·Micro·Devices·X86-649 ··Machine:···························Advanced·Micro·Devices·X86-64
10 ··Version:···························0x110 ··Version:···························0x1
11 ··Entry·point·address:···············0x011 ··Entry·point·address:···············0x0
12 ··Start·of·program·headers:··········64·(bytes·into·file)12 ··Start·of·program·headers:··········64·(bytes·into·file)
13 ··Start·of·section·headers:··········186926944·(bytes·into·file)13 ··Start·of·section·headers:··········186925096·(bytes·into·file)
14 ··Flags:·····························0x014 ··Flags:·····························0x0
15 ··Size·of·this·header:···············64·(bytes)15 ··Size·of·this·header:···············64·(bytes)
16 ··Size·of·program·headers:···········56·(bytes)16 ··Size·of·program·headers:···········56·(bytes)
17 ··Number·of·program·headers:·········1017 ··Number·of·program·headers:·········10
18 ··Size·of·section·headers:···········64·(bytes)18 ··Size·of·section·headers:···········64·(bytes)
19 ··Number·of·section·headers:·········4019 ··Number·of·section·headers:·········40
20 ··Section·header·string·table·index:·3920 ··Section·header·string·table·index:·39
3.52 KB
readelf --wide --sections {}
    
Offset 1, 8 lines modifiedOffset 1, 8 lines modified
1 There·are·40·section·headers,·starting·at·offset·0xb244760:1 There·are·40·section·headers,·starting·at·offset·0xb244028:
  
2 Section·Headers:2 Section·Headers:
3 ··[Nr]·Name··············Type············Address··········Off····Size···ES·Flg·Lk·Inf·Al3 ··[Nr]·Name··············Type············Address··········Off····Size···ES·Flg·Lk·Inf·Al
4 ··[·0]···················NULL············0000000000000000·000000·000000·00······0···0··04 ··[·0]···················NULL············0000000000000000·000000·000000·00······0···0··0
5 ··[·1]·.note.gnu.build-id·NOTE············0000000000000270·000270·000024·00···A··0···0··45 ··[·1]·.note.gnu.build-id·NOTE············0000000000000270·000270·000024·00···A··0···0··4
6 ··[·2]·.gnu.hash·········NOBITS··········0000000000000298·000294·004d0c·00···A··3···0··86 ··[·2]·.gnu.hash·········NOBITS··········0000000000000298·000294·004d0c·00···A··3···0··8
7 ··[·3]·.dynsym···········NOBITS··········0000000000004fa8·000294·00fe58·18···A··4···1··87 ··[·3]·.dynsym···········NOBITS··········0000000000004fa8·000294·00fe58·18···A··4···1··8
Offset 27, 23 lines modifiedOffset 27, 23 lines modified
27 ··[22]·.data.rel.ro······NOBITS··········0000000001865780·000570·014ad0·00··WA··0···0·3227 ··[22]·.data.rel.ro······NOBITS··········0000000001865780·000570·014ad0·00··WA··0···0·32
28 ··[23]·.dynamic··········NOBITS··········000000000187a250·000570·000250·10··WA··4···0··828 ··[23]·.dynamic··········NOBITS··········000000000187a250·000570·000250·10··WA··4···0··8
29 ··[24]·.got··············NOBITS··········000000000187a4a0·000570·003b50·08··WA··0···0··829 ··[24]·.got··············NOBITS··········000000000187a4a0·000570·003b50·08··WA··0···0··8
30 ··[25]·.data·············NOBITS··········000000000187e000·000570·008240·00··WA··0···0·3230 ··[25]·.data·············NOBITS··········000000000187e000·000570·008240·00··WA··0···0·32
31 ··[26]·.bss··············NOBITS··········0000000001886240·000570·001a00·00··WA··0···0·3231 ··[26]·.bss··············NOBITS··········0000000001886240·000570·001a00·00··WA··0···0·32
32 ··[27]·.comment··········PROGBITS········0000000000000000·000294·00001f·01··MS··0···0··132 ··[27]·.comment··········PROGBITS········0000000000000000·000294·00001f·01··MS··0···0··1
33 ··[28]·.debug_aranges····PROGBITS········0000000000000000·0002b8·00dbd9·00···C··0···0··833 ··[28]·.debug_aranges····PROGBITS········0000000000000000·0002b8·00dbd9·00···C··0···0··8
34 ··[29]·.debug_info·······PROGBITS········0000000000000000·00de98·8812064·00···C··0···0··834 ··[29]·.debug_info·······PROGBITS········0000000000000000·00de98·8811966·00···C··0···0··8
35 ··[30]·.debug_abbrev·····PROGBITS········0000000000000000·881ff00·0dcfc0·00···C··0···0··835 ··[30]·.debug_abbrev·····PROGBITS········0000000000000000·881f800·0dcfc0·00···C··0···0··8
36 ··[31]·.debug_line·······PROGBITS········0000000000000000·88fcec0·86d2e1·00···C··0···0··836 ··[31]·.debug_line·······PROGBITS········0000000000000000·88fc7c0·86d2e1·00···C··0···0··8
37 ··[32]·.debug_str········PROGBITS········0000000000000000·916a1a8·3dfbd9·01·MSC··0···0··837 ··[32]·.debug_str········PROGBITS········0000000000000000·9169aa8·3dfbd6·01·MSC··0···0··8
38 ··[33]·.debug_line_str···PROGBITS········0000000000000000·9549d88·0028b3·01·MSC··0···0··838 ··[33]·.debug_line_str···PROGBITS········0000000000000000·9549680·0028b3·01·MSC··0···0··8
39 ··[34]·.debug_loclists···PROGBITS········0000000000000000·954c640·1297e12·00···C··0···0··839 ··[34]·.debug_loclists···PROGBITS········0000000000000000·954bf38·1297e13·00···C··0···0··8
40 ··[35]·.debug_macro······PROGBITS········0000000000000000·a7e4458·1622c8·00···C··0···0··840 ··[35]·.debug_macro······PROGBITS········0000000000000000·a7e3d50·162296·00···C··0···0··8
41 ··[36]·.debug_rnglists···PROGBITS········0000000000000000·a946720·586455·00···C··0···0··841 ··[36]·.debug_rnglists···PROGBITS········0000000000000000·a945fe8·586455·00···C··0···0··8
42 ··[37]·.symtab···········SYMTAB··········0000000000000000·aeccb78·0ca1a0·18·····38·31780··842 ··[37]·.symtab···········SYMTAB··········0000000000000000·aecc440·0ca1a0·18·····38·31780··8
43 ··[38]·.strtab···········STRTAB··········0000000000000000·af96d18·2ad8b5·00······0···0··143 ··[38]·.strtab···········STRTAB··········0000000000000000·af965e0·2ad8b5·00······0···0··1
44 ··[39]·.shstrtab·········STRTAB··········0000000000000000·b2445cd·000191·00······0···0··144 ··[39]·.shstrtab·········STRTAB··········0000000000000000·b243e95·000191·00······0···0··1
45 Key·to·Flags:45 Key·to·Flags:
46 ··W·(write),·A·(alloc),·X·(execute),·M·(merge),·S·(strings),·I·(info),46 ··W·(write),·A·(alloc),·X·(execute),·M·(merge),·S·(strings),·I·(info),
47 ··L·(link·order),·O·(extra·OS·processing·required),·G·(group),·T·(TLS),47 ··L·(link·order),·O·(extra·OS·processing·required),·G·(group),·T·(TLS),
48 ··C·(compressed),·x·(unknown),·o·(OS·specific),·E·(exclude),48 ··C·(compressed),·x·(unknown),·o·(OS·specific),·E·(exclude),
49 ··R·(retain),·D·(mbind),·l·(large),·p·(processor·specific)49 ··R·(retain),·D·(mbind),·l·(large),·p·(processor·specific)
430 B
readelf --wide --notes {}
    
Offset 1, 4 lines modifiedOffset 1, 4 lines modified
  
1 Displaying·notes·found·in:·.note.gnu.build-id1 Displaying·notes·found·in:·.note.gnu.build-id
2 ··Owner················Data·size·»  Description2 ··Owner················Data·size·»  Description
3 ··GNU··················0x00000014»  NT_GNU_BUILD_ID·(unique·build·ID·bitstring)»   ····Build·ID:·54f551147e36f28d61dcc7b962b3e462609294123 ··GNU··················0x00000014»  NT_GNU_BUILD_ID·(unique·build·ID·bitstring)»   ····Build·ID:·e18d18c4a8614110952eb5935546aeca551bd131
24.2 MB
readelf --wide --debug-dump=info {}
    
Offset 8, 27 lines modifiedOffset 8, 27 lines modified
8 ···Pointer·Size:··88 ···Pointer·Size:··8
9 ·<0><c>:·Abbrev·Number:·1·(DW_TAG_partial_unit)9 ·<0><c>:·Abbrev·Number:·1·(DW_TAG_partial_unit)
10 ····<d>···DW_AT_stmt_list···:·(sec_offset)·010 ····<d>···DW_AT_stmt_list···:·(sec_offset)·0
11 ····<11>···DW_AT_comp_dir····:·(line_strp)·(offset:·0):·./obj-x86_64-linux-gnu/src11 ····<11>···DW_AT_comp_dir····:·(line_strp)·(offset:·0):·./obj-x86_64-linux-gnu/src
12 ·<1><15>:·Abbrev·Number:·25·(DW_TAG_base_type)12 ·<1><15>:·Abbrev·Number:·25·(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:·0x15dc7):·long·int15 ····<18>···DW_AT_name········:·(strp)·(offset:·0x15de1):·long·int
16 ·<1><1c>:·Abbrev·Number:·25·(DW_TAG_base_type)16 ·<1><1c>:·Abbrev·Number:·25·(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:·0xe845):·long·unsigned·int19 ····<1f>···DW_AT_name········:·(strp)·(offset:·0xe845):·long·unsigned·int
20 ·<1><23>:·Abbrev·Number:·25·(DW_TAG_base_type)20 ·<1><23>:·Abbrev·Number:·25·(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:·0x1a98c):·unsigned·char23 ····<26>···DW_AT_name········:·(strp)·(offset:·0x1a98c):·unsigned·char
24 ·<1><2a>:·Abbrev·Number:·25·(DW_TAG_base_type)24 ·<1><2a>:·Abbrev·Number:·25·(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:·0x125a1):·short·unsigned·int27 ····<2d>···DW_AT_name········:·(strp)·(offset:·0x125bb):·short·unsigned·int
28 ·<1><31>:·Abbrev·Number:·25·(DW_TAG_base_type)28 ·<1><31>:·Abbrev·Number:·25·(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:·0xc631):·unsigned·int31 ····<34>···DW_AT_name········:·(strp)·(offset:·0xc631):·unsigned·int
32 ·<1><38>:·Abbrev·Number:·25·(DW_TAG_base_type)32 ·<1><38>:·Abbrev·Number:·25·(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:·25·(DW_TAG_base_type)100 ·<1><b8>:·Abbrev·Number:·25·(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:·0x1fa1d):·char32_t103 ····<bb>···DW_AT_name········:·(strp)·(offset:·0x1fa1d):·char32_t
104 ·<1><bf>:·Abbrev·Number:·25·(DW_TAG_base_type)104 ·<1><bf>:·Abbrev·Number:·25·(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:·0x13f49):·__int128107 ····<c2>···DW_AT_name········:·(strp)·(offset:·0x13f63):·__int128
108 ·<1><c6>:·Abbrev·Number:·25·(DW_TAG_base_type)108 ·<1><c6>:·Abbrev·Number:·25·(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:·0x23163):·__int128·unsigned111 ····<c9>···DW_AT_name········:·(strp)·(offset:·0x23163):·__int128·unsigned
112 ·<1><cd>:·Abbrev·Number:·0112 ·<1><cd>:·Abbrev·Number:·0
113 ··Compilation·Unit·@·offset·0xce:113 ··Compilation·Unit·@·offset·0xce:
114 ···Length:········0xff6·(32-bit)114 ···Length:········0xff6·(32-bit)
Offset 807, 29 lines modifiedOffset 807, 29 lines modified
807 ····<457>···DW_AT_name········:·(strp)·(offset:·0x1ecef):·_IO_read_end807 ····<457>···DW_AT_name········:·(strp)·(offset:·0x1ecef):·_IO_read_end
808 ····<45b>···DW_AT_decl_file···:·(data1)·69808 ····<45b>···DW_AT_decl_file···:·(data1)·69
809 ····<45c>···DW_AT_decl_line···:·(data1)·55809 ····<45c>···DW_AT_decl_line···:·(data1)·55
810 ····<45d>···DW_AT_decl_column·:·(data1)·9810 ····<45d>···DW_AT_decl_column·:·(data1)·9
811 ····<45e>···DW_AT_type········:·(ref_udata)·<0x13d>811 ····<45e>···DW_AT_type········:·(ref_udata)·<0x13d>
812 ····<45f>···DW_AT_data_member_location:·(data1)·16812 ····<45f>···DW_AT_data_member_location:·(data1)·16
813 ·<2><460>:·Abbrev·Number:·71·(DW_TAG_member)813 ·<2><460>:·Abbrev·Number:·71·(DW_TAG_member)
814 ····<461>···DW_AT_name········:·(strp)·(offset:·0x10408):·_IO_read_base814 ····<461>···DW_AT_name········:·(strp)·(offset:·0x10422):·_IO_read_base
815 ····<465>···DW_AT_decl_file···:·(data1)·69815 ····<465>···DW_AT_decl_file···:·(data1)·69
816 ····<466>···DW_AT_decl_line···:·(data1)·56816 ····<466>···DW_AT_decl_line···:·(data1)·56
817 ····<467>···DW_AT_decl_column·:·(data1)·9817 ····<467>···DW_AT_decl_column·:·(data1)·9
818 ····<468>···DW_AT_type········:·(ref_udata)·<0x13d>818 ····<468>···DW_AT_type········:·(ref_udata)·<0x13d>
819 ····<469>···DW_AT_data_member_location:·(data1)·24819 ····<469>···DW_AT_data_member_location:·(data1)·24
820 ·<2><46a>:·Abbrev·Number:·71·(DW_TAG_member)820 ·<2><46a>:·Abbrev·Number:·71·(DW_TAG_member)
821 ····<46b>···DW_AT_name········:·(strp)·(offset:·0x50d3):·_IO_write_base821 ····<46b>···DW_AT_name········:·(strp)·(offset:·0x50d3):·_IO_write_base
822 ····<46f>···DW_AT_decl_file···:·(data1)·69822 ····<46f>···DW_AT_decl_file···:·(data1)·69
823 ····<470>···DW_AT_decl_line···:·(data1)·57823 ····<470>···DW_AT_decl_line···:·(data1)·57
824 ····<471>···DW_AT_decl_column·:·(data1)·9824 ····<471>···DW_AT_decl_column·:·(data1)·9
825 ····<472>···DW_AT_type········:·(ref_udata)·<0x13d>825 ····<472>···DW_AT_type········:·(ref_udata)·<0x13d>
826 ····<473>···DW_AT_data_member_location:·(data1)·32826 ····<473>···DW_AT_data_member_location:·(data1)·32
827 ·<2><474>:·Abbrev·Number:·71·(DW_TAG_member)827 ·<2><474>:·Abbrev·Number:·71·(DW_TAG_member)
828 ····<475>···DW_AT_name········:·(strp)·(offset:·0xfaac):·_IO_write_ptr828 ····<475>···DW_AT_name········:·(strp)·(offset:·0xfac6):·_IO_write_ptr
829 ····<479>···DW_AT_decl_file···:·(data1)·69829 ····<479>···DW_AT_decl_file···:·(data1)·69
830 ····<47a>···DW_AT_decl_line···:·(data1)·58830 ····<47a>···DW_AT_decl_line···:·(data1)·58
831 ····<47b>···DW_AT_decl_column·:·(data1)·9831 ····<47b>···DW_AT_decl_column·:·(data1)·9
832 ····<47c>···DW_AT_type········:·(ref_udata)·<0x13d>832 ····<47c>···DW_AT_type········:·(ref_udata)·<0x13d>
833 ····<47d>···DW_AT_data_member_location:·(data1)·40833 ····<47d>···DW_AT_data_member_location:·(data1)·40
834 ·<2><47e>:·Abbrev·Number:·71·(DW_TAG_member)834 ·<2><47e>:·Abbrev·Number:·71·(DW_TAG_member)
835 ····<47f>···DW_AT_name········:·(strp)·(offset:·0xe12c):·_IO_write_end835 ····<47f>···DW_AT_name········:·(strp)·(offset:·0xe12c):·_IO_write_end
Offset 842, 36 lines modifiedOffset 842, 36 lines modified
842 ····<489>···DW_AT_name········:·(strp)·(offset:·0xb3da):·_IO_buf_base842 ····<489>···DW_AT_name········:·(strp)·(offset:·0xb3da):·_IO_buf_base
843 ····<48d>···DW_AT_decl_file···:·(data1)·69843 ····<48d>···DW_AT_decl_file···:·(data1)·69
844 ····<48e>···DW_AT_decl_line···:·(data1)·60844 ····<48e>···DW_AT_decl_line···:·(data1)·60
845 ····<48f>···DW_AT_decl_column·:·(data1)·9845 ····<48f>···DW_AT_decl_column·:·(data1)·9
846 ····<490>···DW_AT_type········:·(ref_udata)·<0x13d>846 ····<490>···DW_AT_type········:·(ref_udata)·<0x13d>
847 ····<491>···DW_AT_data_member_location:·(data1)·56847 ····<491>···DW_AT_data_member_location:·(data1)·56
848 ·<2><492>:·Abbrev·Number:·71·(DW_TAG_member)848 ·<2><492>:·Abbrev·Number:·71·(DW_TAG_member)
849 ····<493>···DW_AT_name········:·(strp)·(offset:·0x15167):·_IO_buf_end849 ····<493>···DW_AT_name········:·(strp)·(offset:·0x15181):·_IO_buf_end
850 ····<497>···DW_AT_decl_file···:·(data1)·69850 ····<497>···DW_AT_decl_file···:·(data1)·69
851 ····<498>···DW_AT_decl_line···:·(data1)·61851 ····<498>···DW_AT_decl_line···:·(data1)·61
852 ····<499>···DW_AT_decl_column·:·(data1)·9852 ····<499>···DW_AT_decl_column·:·(data1)·9
853 ····<49a>···DW_AT_type········:·(ref_udata)·<0x13d>853 ····<49a>···DW_AT_type········:·(ref_udata)·<0x13d>
854 ····<49b>···DW_AT_data_member_location:·(data1)·64854 ····<49b>···DW_AT_data_member_location:·(data1)·64
855 ·<2><49c>:·Abbrev·Number:·71·(DW_TAG_member)855 ·<2><49c>:·Abbrev·Number:·71·(DW_TAG_member)
856 ····<49d>···DW_AT_name········:·(strp)·(offset:·0xe19f):·_IO_save_base856 ····<49d>···DW_AT_name········:·(strp)·(offset:·0xe19f):·_IO_save_base
857 ····<4a1>···DW_AT_decl_file···:·(data1)·69857 ····<4a1>···DW_AT_decl_file···:·(data1)·69
858 ····<4a2>···DW_AT_decl_line···:·(data1)·64858 ····<4a2>···DW_AT_decl_line···:·(data1)·64
859 ····<4a3>···DW_AT_decl_column·:·(data1)·9859 ····<4a3>···DW_AT_decl_column·:·(data1)·9
860 ····<4a4>···DW_AT_type········:·(ref_udata)·<0x13d>860 ····<4a4>···DW_AT_type········:·(ref_udata)·<0x13d>
861 ····<4a5>···DW_AT_data_member_location:·(data1)·72861 ····<4a5>···DW_AT_data_member_location:·(data1)·72
862 ·<2><4a6>:·Abbrev·Number:·71·(DW_TAG_member)862 ·<2><4a6>:·Abbrev·Number:·71·(DW_TAG_member)
863 ····<4a7>···DW_AT_name········:·(strp)·(offset:·0x10ccf):·_IO_backup_base863 ····<4a7>···DW_AT_name········:·(strp)·(offset:·0x10ce9):·_IO_backup_base
864 ····<4ab>···DW_AT_decl_file···:·(data1)·69864 ····<4ab>···DW_AT_decl_file···:·(data1)·69
865 ····<4ac>···DW_AT_decl_line···:·(data1)·65865 ····<4ac>···DW_AT_decl_line···:·(data1)·65
866 ····<4ad>···DW_AT_decl_column·:·(data1)·9866 ····<4ad>···DW_AT_decl_column·:·(data1)·9
867 ····<4ae>···DW_AT_type········:·(ref_udata)·<0x13d>867 ····<4ae>···DW_AT_type········:·(ref_udata)·<0x13d>
868 ····<4af>···DW_AT_data_member_location:·(data1)·80868 ····<4af>···DW_AT_data_member_location:·(data1)·80
869 ·<2><4b0>:·Abbrev·Number:·71·(DW_TAG_member)869 ·<2><4b0>:·Abbrev·Number:·71·(DW_TAG_member)
870 ····<4b1>···DW_AT_name········:·(strp)·(offset:·0x189d2):·_IO_save_end870 ····<4b1>···DW_AT_name········:·(strp)·(offset:·0x189ec):·_IO_save_end
871 ····<4b5>···DW_AT_decl_file···:·(data1)·69871 ····<4b5>···DW_AT_decl_file···:·(data1)·69
872 ····<4b6>···DW_AT_decl_line···:·(data1)·66872 ····<4b6>···DW_AT_decl_line···:·(data1)·66
873 ····<4b7>···DW_AT_decl_column·:·(data1)·9873 ····<4b7>···DW_AT_decl_column·:·(data1)·9
874 ····<4b8>···DW_AT_type········:·(ref_udata)·<0x13d>874 ····<4b8>···DW_AT_type········:·(ref_udata)·<0x13d>
875 ····<4b9>···DW_AT_data_member_location:·(data1)·88875 ····<4b9>···DW_AT_data_member_location:·(data1)·88
876 ·<2><4ba>:·Abbrev·Number:·71·(DW_TAG_member)876 ·<2><4ba>:·Abbrev·Number:·71·(DW_TAG_member)
877 ····<4bb>···DW_AT_name········:·(strp)·(offset:·0x4b2b):·_markers877 ····<4bb>···DW_AT_name········:·(strp)·(offset:·0x4b2b):·_markers
Offset 884, 15 lines modifiedOffset 884, 15 lines modified
884 ····<4c6>···DW_AT_name········:·(strp)·(offset:·0x83a230):·_chain884 ····<4c6>···DW_AT_name········:·(strp)·(offset:·0x83a230):·_chain
885 ····<4ca>···DW_AT_decl_file···:·(data1)·69885 ····<4ca>···DW_AT_decl_file···:·(data1)·69
886 ····<4cb>···DW_AT_decl_line···:·(data1)·70886 ····<4cb>···DW_AT_decl_line···:·(data1)·70
887 ····<4cc>···DW_AT_decl_column·:·(data1)·20887 ····<4cc>···DW_AT_decl_column·:·(data1)·20
888 ····<4cd>···DW_AT_type········:·(ref_udata)·<0xee0>888 ····<4cd>···DW_AT_type········:·(ref_udata)·<0xee0>
889 ····<4cf>···DW_AT_data_member_location:·(data1)·104889 ····<4cf>···DW_AT_data_member_location:·(data1)·104
890 ·<2><4d0>:·Abbrev·Number:·51·(DW_TAG_member)890 ·<2><4d0>:·Abbrev·Number:·51·(DW_TAG_member)
891 ····<4d1>···DW_AT_name········:·(strp)·(offset:·0x19c11):·_fileno891 ····<4d1>···DW_AT_name········:·(strp)·(offset:·0x19c2b):·_fileno
892 ····<4d5>···DW_AT_decl_file···:·(data1)·69892 ····<4d5>···DW_AT_decl_file···:·(data1)·69
893 ····<4d6>···DW_AT_decl_line···:·(data1)·72893 ····<4d6>···DW_AT_decl_line···:·(data1)·72
894 ····<4d7>···DW_AT_decl_column·:·(data1)·7894 ····<4d7>···DW_AT_decl_column·:·(data1)·7
895 ····<4d8>···DW_AT_type········:·(ref_addr)·<0x46>,·int895 ····<4d8>···DW_AT_type········:·(ref_addr)·<0x46>,·int
896 ····<4dc>···DW_AT_data_member_location:·(data1)·112896 ····<4dc>···DW_AT_data_member_location:·(data1)·112
897 ·<2><4dd>:·Abbrev·Number:·51·(DW_TAG_member)897 ·<2><4dd>:·Abbrev·Number:·51·(DW_TAG_member)
898 ····<4de>···DW_AT_name········:·(strp)·(offset:·0x1be4d):·_flags2898 ····<4de>···DW_AT_name········:·(strp)·(offset:·0x1be4d):·_flags2
Offset 905, 29 lines modifiedOffset 905, 29 lines modified
Max diff block lines reached; 25373844/25380880 bytes (99.97%) of diff not shown.
3.56 KB
readelf --wide --debug-dump=macro {}
    
Offset 1530, 16 lines modifiedOffset 1530, 16 lines modified
1530 ·DW_MACRO_define_strp·-·lineno·:·0·macro·:·_GNU_SOURCE·11530 ·DW_MACRO_define_strp·-·lineno·:·0·macro·:·_GNU_SOURCE·1
1531 ·DW_MACRO_define_strp·-·lineno·:·0·macro·:·CVC5_STATISTICS_ON·11531 ·DW_MACRO_define_strp·-·lineno·:·0·macro·:·CVC5_STATISTICS_ON·1
1532 ·DW_MACRO_define_strp·-·lineno·:·0·macro·:·CVC5_USE_CRYPTOMINISAT·11532 ·DW_MACRO_define_strp·-·lineno·:·0·macro·:·CVC5_USE_CRYPTOMINISAT·1
1533 ·DW_MACRO_define_strp·-·lineno·:·0·macro·:·NDEBUG·11533 ·DW_MACRO_define_strp·-·lineno·:·0·macro·:·NDEBUG·1
1534 ·DW_MACRO_define_strp·-·lineno·:·0·macro·:·__BUILDING_CVC5LIB·11534 ·DW_MACRO_define_strp·-·lineno·:·0·macro·:·__BUILDING_CVC5LIB·1
1535 ·DW_MACRO_define_strp·-·lineno·:·0·macro·:·cvc5_obj_EXPORTS·11535 ·DW_MACRO_define_strp·-·lineno·:·0·macro·:·cvc5_obj_EXPORTS·1
1536 ·DW_MACRO_define_strp·-·lineno·:·0·macro·:·_FORTIFY_SOURCE·21536 ·DW_MACRO_define_strp·-·lineno·:·0·macro·:·_FORTIFY_SOURCE·2
1537 ·DW_MACRO_define_strp·-·lineno·:·0·macro·:·DEB_BUILD_DATE·"2024-03-18"1537 ·DW_MACRO_define_strp·-·lineno·:·0·macro·:·DEB_BUILD_DATE·"2024-03-19"
1538 ·DW_MACRO_define_strp·-·lineno·:·0·macro·:·DEB_BUILD_TIME·"12:06:23"1538 ·DW_MACRO_define_strp·-·lineno·:·0·macro·:·DEB_BUILD_TIME·"14:06:23"
  
1539 ··Offset:······················0x19601539 ··Offset:······················0x1960
1540 ··Version:·····················51540 ··Version:·····················5
1541 ··Offset·size:·················41541 ··Offset·size:·················4
  
1542 ·DW_MACRO_define_strp·-·lineno·:·19·macro·:·_STDC_PREDEF_H·11542 ·DW_MACRO_define_strp·-·lineno·:·19·macro·:·_STDC_PREDEF_H·1
1543 ·DW_MACRO_define_strp·-·lineno·:·38·macro·:·__STDC_IEC_559__·11543 ·DW_MACRO_define_strp·-·lineno·:·38·macro·:·__STDC_IEC_559__·1
Offset 52240, 16 lines modifiedOffset 52240, 16 lines modified
52240 ·DW_MACRO_define_strp·-·lineno·:·0·macro·:·__DECIMAL_BID_FORMAT__·152240 ·DW_MACRO_define_strp·-·lineno·:·0·macro·:·__DECIMAL_BID_FORMAT__·1
52241 ·DW_MACRO_define_strp·-·lineno·:·0·macro·:·CVC5_STATISTICS_ON·152241 ·DW_MACRO_define_strp·-·lineno·:·0·macro·:·CVC5_STATISTICS_ON·1
52242 ·DW_MACRO_define_strp·-·lineno·:·0·macro·:·CVC5_USE_CRYPTOMINISAT·152242 ·DW_MACRO_define_strp·-·lineno·:·0·macro·:·CVC5_USE_CRYPTOMINISAT·1
52243 ·DW_MACRO_define_strp·-·lineno·:·0·macro·:·NDEBUG·152243 ·DW_MACRO_define_strp·-·lineno·:·0·macro·:·NDEBUG·1
52244 ·DW_MACRO_define_strp·-·lineno·:·0·macro·:·__BUILDING_CVC5LIB·152244 ·DW_MACRO_define_strp·-·lineno·:·0·macro·:·__BUILDING_CVC5LIB·1
52245 ·DW_MACRO_define_strp·-·lineno·:·0·macro·:·cvc5_obj_EXPORTS·152245 ·DW_MACRO_define_strp·-·lineno·:·0·macro·:·cvc5_obj_EXPORTS·1
52246 ·DW_MACRO_define_strp·-·lineno·:·0·macro·:·_FORTIFY_SOURCE·252246 ·DW_MACRO_define_strp·-·lineno·:·0·macro·:·_FORTIFY_SOURCE·2
52247 ·DW_MACRO_define_strp·-·lineno·:·0·macro·:·DEB_BUILD_DATE·"2024-03-18"52247 ·DW_MACRO_define_strp·-·lineno·:·0·macro·:·DEB_BUILD_DATE·"2024-03-19"
52248 ·DW_MACRO_define_strp·-·lineno·:·0·macro·:·DEB_BUILD_TIME·"12:06:23"52248 ·DW_MACRO_define_strp·-·lineno·:·0·macro·:·DEB_BUILD_TIME·"14:06:23"
  
52249 ··Offset:······················0x48a3252249 ··Offset:······················0x48a32
52250 ··Version:·····················552250 ··Version:·····················5
52251 ··Offset·size:·················452251 ··Offset·size:·················4
  
52252 ·DW_MACRO_define_strp·-·lineno·:·39·macro·:·_STDDEF_H·52252 ·DW_MACRO_define_strp·-·lineno·:·39·macro·:·_STDDEF_H·
52253 ·DW_MACRO_define_strp·-·lineno·:·40·macro·:·_STDDEF_H_·52253 ·DW_MACRO_define_strp·-·lineno·:·40·macro·:·_STDDEF_H_·
Offset 1316348, 15 lines modifiedOffset 1316348, 19 lines modified
1316348 ·DW_MACRO_define_strp·-·lineno·:·22·macro·:·CVC5__OPTIONS__THEORY_H·1316348 ·DW_MACRO_define_strp·-·lineno·:·22·macro·:·CVC5__OPTIONS__THEORY_H·
1316349 ·DW_MACRO_start_file·-·lineno:·24·filenum:·421316349 ·DW_MACRO_start_file·-·lineno:·24·filenum:·42
1316350 ·DW_MACRO_end_file1316350 ·DW_MACRO_end_file
1316351 ·DW_MACRO_import·-·offset·:·0x5196a1316351 ·DW_MACRO_import·-·offset·:·0x5196a
1316352 ·DW_MACRO_end_file1316352 ·DW_MACRO_end_file
1316353 ·DW_MACRO_start_file·-·lineno:·49·filenum:·1361316353 ·DW_MACRO_start_file·-·lineno:·49·filenum:·136
1316354 ·DW_MACRO_end_file1316354 ·DW_MACRO_end_file
 1316355 ·DW_MACRO_start_file·-·lineno:·50·filenum:·31
 1316356 ·DW_MACRO_end_file
 1316357 ·DW_MACRO_start_file·-·lineno:·51·filenum:·112
 1316358 ·DW_MACRO_end_file
1316355 ·DW_MACRO_start_file·-·lineno:·52·filenum:·2911316359 ·DW_MACRO_start_file·-·lineno:·54·filenum:·291
1316356 ·DW_MACRO_define_strp·-·lineno·:·30·macro·:·_GLIBCXX_UNORDERED_MAP·11316360 ·DW_MACRO_define_strp·-·lineno·:·30·macro·:·_GLIBCXX_UNORDERED_MAP·1
1316357 ·DW_MACRO_start_file·-·lineno:·41·filenum:·141316361 ·DW_MACRO_start_file·-·lineno:·41·filenum:·14
1316358 ·DW_MACRO_define_strp·-·lineno·:·31·macro·:·_UNORDERED_MAP_H·1316362 ·DW_MACRO_define_strp·-·lineno·:·31·macro·:·_UNORDERED_MAP_H·
1316359 ·DW_MACRO_start_file·-·lineno:·33·filenum:·151316363 ·DW_MACRO_start_file·-·lineno:·33·filenum:·15
1316360 ·DW_MACRO_define_strp·-·lineno·:·31·macro·:·_HASHTABLE_H·11316364 ·DW_MACRO_define_strp·-·lineno·:·31·macro·:·_HASHTABLE_H·1
1316361 ·DW_MACRO_start_file·-·lineno:·35·filenum:·161316365 ·DW_MACRO_start_file·-·lineno:·35·filenum:·16
1316362 ·DW_MACRO_define_strp·-·lineno·:·32·macro·:·_HASHTABLE_POLICY_H·11316366 ·DW_MACRO_define_strp·-·lineno·:·32·macro·:·_HASHTABLE_POLICY_H·1
Offset 1316364, 18 lines modifiedOffset 1316368, 14 lines modified
1316364 ·DW_MACRO_end_file1316368 ·DW_MACRO_end_file
1316365 ·DW_MACRO_end_file1316369 ·DW_MACRO_end_file
1316366 ·DW_MACRO_import·-·offset·:·0x9c741316370 ·DW_MACRO_import·-·offset·:·0x9c74
1316367 ·DW_MACRO_start_file·-·lineno:·56·filenum:·1771316371 ·DW_MACRO_start_file·-·lineno:·56·filenum:·177
1316368 ·DW_MACRO_import·-·offset·:·0x4f95751316372 ·DW_MACRO_import·-·offset·:·0x4f9575
1316369 ·DW_MACRO_end_file1316373 ·DW_MACRO_end_file
1316370 ·DW_MACRO_end_file1316374 ·DW_MACRO_end_file
1316371 ·DW_MACRO_start_file·-·lineno:·53·filenum:·31 
1316372 ·DW_MACRO_end_file 
1316373 ·DW_MACRO_start_file·-·lineno:·54·filenum:·112 
1316374 ·DW_MACRO_end_file 
1316375 ·DW_MACRO_start_file·-·lineno:·57·filenum:·831316375 ·DW_MACRO_start_file·-·lineno:·57·filenum:·83
1316376 ·DW_MACRO_define_strp·-·lineno·:·41·macro·:·__glibcxx_want_freestanding_cstring·1316376 ·DW_MACRO_define_strp·-·lineno·:·41·macro·:·__glibcxx_want_freestanding_cstring·
1316377 ·DW_MACRO_start_file·-·lineno:·42·filenum:·1771316377 ·DW_MACRO_start_file·-·lineno:·42·filenum:·177
1316378 ·DW_MACRO_import·-·offset·:·0x4f9b611316378 ·DW_MACRO_import·-·offset·:·0x4f9b61
1316379 ·DW_MACRO_end_file1316379 ·DW_MACRO_end_file
1316380 ·DW_MACRO_start_file·-·lineno:·43·filenum:·1401316380 ·DW_MACRO_start_file·-·lineno:·43·filenum:·140
1316381 ·DW_MACRO_import·-·offset·:·0x109361316381 ·DW_MACRO_import·-·offset·:·0x10936
543 B
readelf --wide --debug-dump=loc {}
    
Offset 4194297, 8 lines modifiedOffset 4194297, 8 lines modified
  
4194297 ····00c1b036·v000000000000003·v000000000000000·location·view·pair4194297 ····00c1b036·v000000000000003·v000000000000000·location·view·pair
  
4194298 ····00c1b038·v000000000000003·v000000000000000·views·at·00c1b036·for:4194298 ····00c1b038·v000000000000003·v000000000000000·views·at·00c1b036·for:
4194299 ·············0000000000622715·000000000062272c·(DW_OP_reg5·(rdi))4194299 ·············0000000000622715·000000000062272c·(DW_OP_reg5·(rdi))
4194300 ····00c1b044·<End·of·list>4194300 ····00c1b044·<End·of·list>
  
4194301 [·Too·much·input·for·diff·(SHA256:·5606a6896837b515a916fe71c01b3478150653ff74adc057384a974e1529afc1)·]4194301 [·Too·much·input·for·diff·(SHA256:·8d666180298e769dfa72390ab0efd8a05c47a4e24dc52139b26bce6553e965af)·]
656 KB
strings --all --bytes=8 {}
    
Offset 1, 30368 lines modifiedOffset 1, 30088 lines modified
1 GCC:·(Debian·14.2.0-14)·14.2.01 1GCC:·(Debian·14.2.0-14)·14.2.0
2 HR»     #YZMY2 HR»     #YZMY
3 2<[6?f@{]yMc3 2<[6?f@{]yMc
4 ?5A_L}B-4 ?5A_L}B-
5 p~X)8z505 p~X)8z50
6 >_~:A~qW6 >_~:A~qW
7 #oH--'~T7 #oH--'~T
8 K.Cy?K~r98 K.Cy?K~r9
9 Xp~2p{*lM9 Xp~2p{*lM
10 gkp[i'Vc 
11 xFu6%zFu1 
12 *4ezFu55 
13 P=}%mUMZG{ 
14 JJtmpP2} 
15 /5`VB/e0+ 
16 nefffnWffZqeZ 
17 »       ggoW»   |ji 
18 8OW$y*O~ 
19 Fh.*3HW3j 
20 v@h[KS$x'J 
21 y^E0X_·mV2 
22 nNj<8gtR 
23 ssHqi0)VO%10 HWK_!]#}
 11 1}mgTP:s"
 12 Frb`[J=k
 13 :*~t*c*w
 14 ?'»     S|q3R
 15 *5eVB*5cV
 16 hI0/NrP9
 17 i)B5nP,/N
 18 8;7GGp87
 19 K»      X&@*0}
 20 n$hN7»  BE
 21 x&Cv[\DV
 22 ;QE|zB,X@
 23 Ku+y~F?/
 24 ;»      *#KLuMv%
 25 j_L;1"ql"
 26 vpb5UtH's
 27 IOIKwz@*3
24 vIq7|»  yJd228 vIq7|»  yJd1
25 N72$-K&T 
26 >~c5|_Y· 
27 QAO^5uM< 
28 >1W|bNGb 
29 +)7Sh»  ,7S 
30 Si*`H.B]? 
31 ?%^J!^>/ 
32 (}=P»   %]Bm 
33 s@»     rri'l8 
34 %_s\cxgq! 
35 w@»     rri'l 
36 bb@9mQPNC29 JP%?b=$j&a
 30 D>/hi·T0
 31 eV,M'"P'
 32 #!?rn1+#n·/
 33 T+F16a|b
 34 l]`\itNe
 35 HfuICjf3
 36 X·_Rwe`e
 37 kQ9M4,s|
 38 ^Qi]%h35s
 39 9I]H/wiR
 40 W/h|+]9^
 41 ^PZC?O/(
 42 >J`[TW(e
 43 rPN;+)60
 44 rZ»     IQ/QN
37 D9].RNK-&45 D9]&RNK-p
38 iP6s&*QN 
39 D9].RNK5p 
40 r;$ZY>L1 
41 ue!=y?`UoD 
42 D9jL,+Cl 
43 .~CsG,/Q 
44 UQI\qKELJ 
45 Q~JU~AI8f 
46 z:_u)cU-; 
47 +m%XS1·nH\46 Ka67L#~o
 47 rUl5Jo5by
 48 @9jB,+Bl
 49 d+.<%3Lp
 50 n.;`_wj&
 51 '<A"QLs8
 52 jI1jQD-)FT
 53 6\»     "V+-G
 54 M(jO}_=c
 55 vr0}vm[.
 56 &F»     .5+>C
 57 >efwfwfv
 58 Z`>Rd^Pl
48 \1k=GMR8j59 \1k=GMR8j
 60 jFt$vZJ4
 61 ydNM97hK
 62 |s]:^j\k
 63 s[5&MY_s1
 64 m4q]]3zg
 65 sikHD#IP^
 66 ]*\#3vM*
 67 u,\{ievw
 68 »       cI!"XGC
 69 &nJpO&<T
 70 cCt0_Qk}
 71 ~cO-7X%n
 72 6=xmQ3y2
 73 &»      8ea"l#
 74 ]'3@>3jf
 75 7p&@c3gR
 76 <6%eq"K,BV
 77 !Ohz6J"h
 78 sTA2UVG2y
 79 `:\_wS]z
 80 Oh8\V+Tq
 81 e?6\a8\-
 82 JPooX$,G[|
 83 \Un=WU?e
 84 VG}dq,hZ@]
 85 ·{mWTW$D
 86 F{)Bcu]"V
 87 J#u]"Rw\>^
 88 13~l~NKj
 89 diX3;Z·/
49 A_-@MR8j 
50 [U@l1>cRF 
51 PZu·nIeqKs 
52 ·b[jaE»  6h 
53 VLsQB3R=54 
Max diff block lines reached; 669899/671728 bytes (99.73%) of diff not shown.
62.0 B
.gnu.hash
Timeout exceeded; details may be incomplete.
58.0 B
.dynsym
Timeout exceeded; details may be incomplete.
58.0 B
.dynstr
Timeout exceeded; details may be incomplete.
68.0 B
.gnu.version
Timeout exceeded; details may be incomplete.
72.0 B
.gnu.version_r
Timeout exceeded; details may be incomplete.
62.0 B
.rela.dyn
Timeout exceeded; details may be incomplete.
62.0 B
.rela.plt
Timeout exceeded; details may be incomplete.
54.0 B
.init
Timeout exceeded; details may be incomplete.
52.0 B
.plt
Timeout exceeded; details may be incomplete.
60.0 B
.plt.got
Timeout exceeded; details may be incomplete.
54.0 B
.text
Timeout exceeded; details may be incomplete.
54.0 B
.fini
Timeout exceeded; details may be incomplete.
58.0 B
.rodata
Timeout exceeded; details may be incomplete.
70.0 B
.eh_frame_hdr
Timeout exceeded; details may be incomplete.
62.0 B
.eh_frame
Timeout exceeded; details may be incomplete.
78.0 B
.gcc_except_table
Timeout exceeded; details may be incomplete.
56.0 B
.tdata
Timeout exceeded; details may be incomplete.
54.0 B
.tbss
Timeout exceeded; details may be incomplete.
66.0 B
.init_array
Timeout exceeded; details may be incomplete.
66.0 B
.fini_array
Timeout exceeded; details may be incomplete.
68.0 B
.data.rel.ro
Timeout exceeded; details may be incomplete.
60.0 B
.dynamic
Timeout exceeded; details may be incomplete.
52.0 B
.got
Timeout exceeded; details may be incomplete.
54.0 B
.data
Timeout exceeded; details may be incomplete.
52.0 B
.bss
Timeout exceeded; details may be incomplete.
60.0 B
.comment
Timeout exceeded; details may be incomplete.
64.0 B
.debug_str
Timeout exceeded; details may be incomplete.
74.0 B
.debug_line_str
Timeout exceeded; details may be incomplete.
58.0 B
.strtab
Timeout exceeded; details may be incomplete.
62.0 B
.shstrtab
Timeout exceeded; details may be incomplete.
122 B
libcvc5parser1-dbgsym_1.1.2-2_amd64.deb
Timeout exceeded; details may be incomplete.
118 B
python3-cvc5-dbgsym_1.1.2-2_amd64.deb
Timeout exceeded; details may be incomplete.