⊟
62.3 MB
/srv/reproducible-results/rbuild-debian/r-b-build.1l1xHqBG/b1/cvc5_1.1.2-2_arm64.changes vs.
/srv/reproducible-results/rbuild-debian/r-b-build.1l1xHqBG/b2/cvc5_1.1.2-2_arm64.changes
⊟
1.52 KB
Files
    
Offset 1, 10 lines modifiedOffset 1, 10 lines modified
  
1 ·74d18c573897cdfbdb64af0df9a62e7f·1845520·debug·optional·cvc5-dbgsym_1.1.2-2_arm64.deb 
2 ·205164fddb7c559424dd34eecc1c8ff9·96976·math·optional·cvc5_1.1.2-2_arm64.deb 
3 ·11a002923119144d6956c982f5255734·179688564·debug·optional·libcvc5-1-dbgsym_1.1.2-2_arm64.deb 
4 ·4e4b7fe4b2b9deb2474e5df601d5a675·5708332·libs·optional·libcvc5-1_1.1.2-2_arm64.deb1 ·16c9a427ced168b47d970b773b6d6a22·1845252·debug·optional·cvc5-dbgsym_1.1.2-2_arm64.deb
 2 ·1e18c272fe307cde96888c26b2512c1b·97008·math·optional·cvc5_1.1.2-2_arm64.deb
 3 ·77026ea5c760bfc7362032530b1f5728·179690128·debug·optional·libcvc5-1-dbgsym_1.1.2-2_arm64.deb
 4 ·8e69cdf00dc57ac9cfae8c0558cdaa47·5707920·libs·optional·libcvc5-1_1.1.2-2_arm64.deb
5 ·9efddfd1d9de6042bacc4f4a8758992a·93008·libdevel·optional·libcvc5-dev_1.1.2-2_arm64.deb5 ·9efddfd1d9de6042bacc4f4a8758992a·93008·libdevel·optional·libcvc5-dev_1.1.2-2_arm64.deb
6 ·0634814b72e4d3df1c9858db07a3e1e5·3993116·debug·optional·libcvc5parser1-dbgsym_1.1.2-2_arm64.deb 
7 ·d7fce538c8b1cc66260a7b6f21fd8a92·207228·libs·optional·libcvc5parser1_1.1.2-2_arm64.deb 
8 ·fed2f4c247c194863d578fb551811c8c·2595988·debug·optional·python3-cvc5-dbgsym_1.1.2-2_arm64.deb 
9 ·22b536bdd3ff57dfdc41635cdfa3d79c·297500·python·optional·python3-cvc5_1.1.2-2_arm64.deb6 ·7d13541ee553539dda5cb2ebcb836f31·3993080·debug·optional·libcvc5parser1-dbgsym_1.1.2-2_arm64.deb
 7 ·a09353f564998c6ba0e1e9152792c5ba·207944·libs·optional·libcvc5parser1_1.1.2-2_arm64.deb
 8 ·2123deba51d05c1b1883edeb86ae596f·2595736·debug·optional·python3-cvc5-dbgsym_1.1.2-2_arm64.deb
 9 ·1acb0566ca38e04c4f0202beacc9c3fd·298132·python·optional·python3-cvc5_1.1.2-2_arm64.deb
⊟
2.26 KB
cvc5_1.1.2-2_arm64.deb
⊟
367 B
file list
    
Offset 1, 3 lines modifiedOffset 1, 3 lines modified
1 -rw-r--r--···0········0········0········4·2024-03-19·00:06:23.000000·debian-binary1 -rw-r--r--···0········0········0········4·2024-03-19·00:06:23.000000·debian-binary
2 -rw-r--r--···0········0········0·····1116·2024-03-19·00:06:23.000000·control.tar.xz2 -rw-r--r--···0········0········0·····1116·2024-03-19·00:06:23.000000·control.tar.xz
3 -rw-r--r--···0········0········0····95668·2024-03-19·00:06:23.000000·data.tar.xz3 -rw-r--r--···0········0········0····95700·2024-03-19·00:06:23.000000·data.tar.xz
⊟
98.0 B
control.tar.xz
⊟
70.0 B
control.tar
⊟
48.0 B
./md5sums
⊟
30.0 B
./md5sums
Files differ
⊟
1.77 KB
data.tar.xz
⊟
1.75 KB
data.tar
⊟
1.73 KB
./usr/bin/cvc5
File has been modified after NT_GNU_BUILD_ID has been applied.
⊟
815 B
readelf --wide --notes {}
    
Offset 1, 12 lines modifiedOffset 1, 12 lines modified
  
1 Displaying·notes·found·in:·.note.gnu.property1 Displaying·notes·found·in:·.note.gnu.property
2 ··Owner················Data·size·»  Description2 ··Owner················Data·size·»  Description
3 ··GNU··················0x00000010»  NT_GNU_PROPERTY_TYPE_0»    ······Properties:·AArch64·feature:·BTI,·PAC3 ··GNU··················0x00000010»  NT_GNU_PROPERTY_TYPE_0»    ······Properties:·AArch64·feature:·BTI,·PAC
  
4 Displaying·notes·found·in:·.note.gnu.build-id4 Displaying·notes·found·in:·.note.gnu.build-id
5 ··Owner················Data·size·»  Description5 ··Owner················Data·size·»  Description
6 ··GNU··················0x00000014»  NT_GNU_BUILD_ID·(unique·build·ID·bitstring)»   ····Build·ID:·98266b63202cc6750d333506f51cbb80702e70f56 ··GNU··················0x00000014»  NT_GNU_BUILD_ID·(unique·build·ID·bitstring)»   ····Build·ID:·6ea14a7995b85770b89f1297d6fe809981590388
  
7 Displaying·notes·found·in:·.note.ABI-tag7 Displaying·notes·found·in:·.note.ABI-tag
8 ··Owner················Data·size·»  Description8 ··Owner················Data·size·»  Description
9 ··GNU··················0x00000010»  NT_GNU_ABI_TAG·(ABI·version·tag)»     ····OS:·Linux,·ABI:·3.7.09 ··GNU··················0x00000010»  NT_GNU_ABI_TAG·(ABI·version·tag)»     ····OS:·Linux,·ABI:·3.7.0
⊟
866 B
readelf --wide --decompress --hex-dump=.gnu_debuglink {}
error from `readelf --wide --decompress --hex-dump=.gnu_debuglink {}`: readelf: Error: Unable to find program interpreter name readelf: Error: no .dynamic section in the dynamic segment
    
Offset 1, 7 lines modifiedOffset 1, 7 lines modified
  
1 Hex·dump·of·section·'.gnu_debuglink':1 Hex·dump·of·section·'.gnu_debuglink':
2 ··0x00000000·32363662·36333230·32636336·37353064·266b63202cc6750d 
3 ··0x00000010·33333335·30366635·31636262·38303730·333506f51cbb80702 ··0x00000000·61313461·37393935·62383537·37306238·a14a7995b85770b8
 3 ··0x00000010·39663132·39376436·66653830·39393831·9f1297d6fe809981
4 ··0x00000020·32653730·66352e64·65627567·00000000·2e70f5.debug....4 ··0x00000020·35393033·38382e64·65627567·00000000·590388.debug....
5 ··0x00000030·f9700e2d····························.p.-5 ··0x00000030·6231248a····························b1$.
  
⊟
24.1 KB
libcvc5-1_1.1.2-2_arm64.deb
⊟
452 B
file list
    
Offset 1, 3 lines modifiedOffset 1, 3 lines modified
1 -rw-r--r--···0········0········0········4·2024-03-19·00:06:23.000000·debian-binary1 -rw-r--r--···0········0········0········4·2024-03-19·00:06:23.000000·debian-binary
2 -rw-r--r--···0········0········0·····1280·2024-03-19·00:06:23.000000·control.tar.xz2 -rw-r--r--···0········0········0·····1276·2024-03-19·00:06:23.000000·control.tar.xz
3 -rw-r--r--···0········0········0··5706860·2024-03-19·00:06:23.000000·data.tar.xz3 -rw-r--r--···0········0········0··5706452·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
⊟
23.5 KB
data.tar.xz
⊟
23.5 KB
data.tar
⊟
23.5 KB
./usr/lib/aarch64-linux-gnu/libcvc5.so.1
File has been modified after NT_GNU_BUILD_ID has been applied.
⊟
8.06 KB
readelf --wide --relocs {}
    
Offset 3687, 15 lines modifiedOffset 3687, 15 lines modified
3687 00000000015cf6d8··0000000000000403·R_AARCH64_RELATIVE························1316cc83687 00000000015cf6d8··0000000000000403·R_AARCH64_RELATIVE························1316cc8
3688 00000000015cf6e0··0000000000000403·R_AARCH64_RELATIVE························1316cd83688 00000000015cf6e0··0000000000000403·R_AARCH64_RELATIVE························1316cd8
3689 00000000015cf6e8··0000000000000403·R_AARCH64_RELATIVE························1316ce83689 00000000015cf6e8··0000000000000403·R_AARCH64_RELATIVE························1316ce8
3690 00000000015cf6f0··0000000000000403·R_AARCH64_RELATIVE························1316d003690 00000000015cf6f0··0000000000000403·R_AARCH64_RELATIVE························1316d00
3691 00000000015cf6f8··0000000000000403·R_AARCH64_RELATIVE························1316d183691 00000000015cf6f8··0000000000000403·R_AARCH64_RELATIVE························1316d18
3692 00000000015cf700··0000000000000403·R_AARCH64_RELATIVE························1316d283692 00000000015cf700··0000000000000403·R_AARCH64_RELATIVE························1316d28
3693 00000000015cf708··0000000000000403·R_AARCH64_RELATIVE························1316d383693 00000000015cf708··0000000000000403·R_AARCH64_RELATIVE························1316d38
3694 00000000015cf710··0000000000000403·R_AARCH64_RELATIVE························13178f83694 00000000015cf710··0000000000000403·R_AARCH64_RELATIVE························1317908
3695 00000000015cf718··0000000000000403·R_AARCH64_RELATIVE························1316d503695 00000000015cf718··0000000000000403·R_AARCH64_RELATIVE························1316d50
3696 00000000015cf720··0000000000000403·R_AARCH64_RELATIVE························1316d603696 00000000015cf720··0000000000000403·R_AARCH64_RELATIVE························1316d60
3697 00000000015cf728··0000000000000403·R_AARCH64_RELATIVE························1316d783697 00000000015cf728··0000000000000403·R_AARCH64_RELATIVE························1316d78
3698 00000000015cf730··0000000000000403·R_AARCH64_RELATIVE························12e96183698 00000000015cf730··0000000000000403·R_AARCH64_RELATIVE························12e9618
3699 00000000015cf738··0000000000000403·R_AARCH64_RELATIVE························1316d883699 00000000015cf738··0000000000000403·R_AARCH64_RELATIVE························1316d88
3700 00000000015cf740··0000000000000403·R_AARCH64_RELATIVE························1316d983700 00000000015cf740··0000000000000403·R_AARCH64_RELATIVE························1316d98
3701 00000000015cf748··0000000000000403·R_AARCH64_RELATIVE························1316da83701 00000000015cf748··0000000000000403·R_AARCH64_RELATIVE························1316da8
Offset 3866, 19 lines modifiedOffset 3866, 19 lines modified
3866 00000000015cfc70··0000000000000403·R_AARCH64_RELATIVE························130c3e03866 00000000015cfc70··0000000000000403·R_AARCH64_RELATIVE························130c3e0
3867 00000000015cfc78··0000000000000403·R_AARCH64_RELATIVE························130ad803867 00000000015cfc78··0000000000000403·R_AARCH64_RELATIVE························130ad80
3868 00000000015cfc80··0000000000000403·R_AARCH64_RELATIVE························13178b83868 00000000015cfc80··0000000000000403·R_AARCH64_RELATIVE························13178b8
3869 00000000015cfc88··0000000000000403·R_AARCH64_RELATIVE························13178c03869 00000000015cfc88··0000000000000403·R_AARCH64_RELATIVE························13178c0
3870 00000000015cfc90··0000000000000403·R_AARCH64_RELATIVE························12eafc03870 00000000015cfc90··0000000000000403·R_AARCH64_RELATIVE························12eafc0
3871 00000000015cfc98··0000000000000403·R_AARCH64_RELATIVE························13178d03871 00000000015cfc98··0000000000000403·R_AARCH64_RELATIVE························13178d0
3872 00000000015cfca0··0000000000000403·R_AARCH64_RELATIVE························13178e03872 00000000015cfca0··0000000000000403·R_AARCH64_RELATIVE························13178e0
3873 00000000015cfca8··0000000000000403·R_AARCH64_RELATIVE························13179403873 00000000015cfca8··0000000000000403·R_AARCH64_RELATIVE························1317958
3874 00000000015cfcb0··0000000000000403·R_AARCH64_RELATIVE························13179003874 00000000015cfcb0··0000000000000403·R_AARCH64_RELATIVE························13178f8
3875 00000000015cfcb8··0000000000000403·R_AARCH64_RELATIVE························13179103875 00000000015cfcb8··0000000000000403·R_AARCH64_RELATIVE························1317910
3876 00000000015cfcc0··0000000000000403·R_AARCH64_RELATIVE························13179283876 00000000015cfcc0··0000000000000403·R_AARCH64_RELATIVE························1317928
3877 00000000015cfcc8··0000000000000403·R_AARCH64_RELATIVE························13179503877 00000000015cfcc8··0000000000000403·R_AARCH64_RELATIVE························1317940
3878 00000000015cfcd0··0000000000000403·R_AARCH64_RELATIVE························13179683878 00000000015cfcd0··0000000000000403·R_AARCH64_RELATIVE························1317968
3879 00000000015cfcd8··0000000000000403·R_AARCH64_RELATIVE························13179803879 00000000015cfcd8··0000000000000403·R_AARCH64_RELATIVE························1317980
3880 00000000015cfce0··0000000000000403·R_AARCH64_RELATIVE························13179983880 00000000015cfce0··0000000000000403·R_AARCH64_RELATIVE························1317998
3881 00000000015cfce8··0000000000000403·R_AARCH64_RELATIVE························1318b403881 00000000015cfce8··0000000000000403·R_AARCH64_RELATIVE························1318b40
3882 00000000015cfcf0··0000000000000403·R_AARCH64_RELATIVE························13179a83882 00000000015cfcf0··0000000000000403·R_AARCH64_RELATIVE························13179a8
3883 00000000015cfcf8··0000000000000403·R_AARCH64_RELATIVE························13179b83883 00000000015cfcf8··0000000000000403·R_AARCH64_RELATIVE························13179b8
3884 00000000015cfd00··0000000000000403·R_AARCH64_RELATIVE························13179c83884 00000000015cfd00··0000000000000403·R_AARCH64_RELATIVE························13179c8
Offset 8313, 20 lines modifiedOffset 8313, 20 lines modified
8313 00000000015e2460··0000000000000403·R_AARCH64_RELATIVE························132ceb08313 00000000015e2460··0000000000000403·R_AARCH64_RELATIVE························132ceb0
8314 00000000015e2480··0000000000000403·R_AARCH64_RELATIVE························12d8a288314 00000000015e2480··0000000000000403·R_AARCH64_RELATIVE························12d8a28
8315 00000000015e24a0··0000000000000403·R_AARCH64_RELATIVE························13169188315 00000000015e24a0··0000000000000403·R_AARCH64_RELATIVE························1316918
8316 00000000015e24c0··0000000000000403·R_AARCH64_RELATIVE························132cec88316 00000000015e24c0··0000000000000403·R_AARCH64_RELATIVE························132cec8
8317 00000000015e24e0··0000000000000403·R_AARCH64_RELATIVE························1316dc08317 00000000015e24e0··0000000000000403·R_AARCH64_RELATIVE························1316dc0
8318 00000000015e2500··0000000000000403·R_AARCH64_RELATIVE························1316dd88318 00000000015e2500··0000000000000403·R_AARCH64_RELATIVE························1316dd8
8319 00000000015e2520··0000000000000403·R_AARCH64_RELATIVE························1316e108319 00000000015e2520··0000000000000403·R_AARCH64_RELATIVE························1316e10
8320 00000000015e2540··0000000000000403·R_AARCH64_RELATIVE························1317900 
8321 00000000015e2560··0000000000000403·R_AARCH64_RELATIVE························13178f88320 00000000015e2540··0000000000000403·R_AARCH64_RELATIVE························13178f8
 8321 00000000015e2560··0000000000000403·R_AARCH64_RELATIVE························1317908
8322 00000000015e2580··0000000000000403·R_AARCH64_RELATIVE························13179108322 00000000015e2580··0000000000000403·R_AARCH64_RELATIVE························1317910
8323 00000000015e25a0··0000000000000403·R_AARCH64_RELATIVE························13179288323 00000000015e25a0··0000000000000403·R_AARCH64_RELATIVE························1317928
8324 00000000015e25c0··0000000000000403·R_AARCH64_RELATIVE························13179508324 00000000015e25c0··0000000000000403·R_AARCH64_RELATIVE························1317940
8325 00000000015e25e0··0000000000000403·R_AARCH64_RELATIVE························13179408325 00000000015e25e0··0000000000000403·R_AARCH64_RELATIVE························1317958
8326 00000000015e2600··0000000000000403·R_AARCH64_RELATIVE························13179688326 00000000015e2600··0000000000000403·R_AARCH64_RELATIVE························1317968
8327 00000000015e2620··0000000000000403·R_AARCH64_RELATIVE························13179808327 00000000015e2620··0000000000000403·R_AARCH64_RELATIVE························1317980
8328 00000000015e2640··0000000000000403·R_AARCH64_RELATIVE························13179988328 00000000015e2640··0000000000000403·R_AARCH64_RELATIVE························1317998
8329 00000000015e2660··0000000000000403·R_AARCH64_RELATIVE························1317d908329 00000000015e2660··0000000000000403·R_AARCH64_RELATIVE························1317d90
8330 00000000015e2680··0000000000000403·R_AARCH64_RELATIVE························132cef08330 00000000015e2680··0000000000000403·R_AARCH64_RELATIVE························132cef0
8331 00000000015e26a0··0000000000000403·R_AARCH64_RELATIVE························1318b288331 00000000015e26a0··0000000000000403·R_AARCH64_RELATIVE························1318b28
8332 00000000015e26c0··0000000000000403·R_AARCH64_RELATIVE························1318b408332 00000000015e26c0··0000000000000403·R_AARCH64_RELATIVE························1318b40
Offset 8865, 15 lines modifiedOffset 8865, 15 lines modified
8865 00000000015e6870··0000000000000403·R_AARCH64_RELATIVE························133b3b08865 00000000015e6870··0000000000000403·R_AARCH64_RELATIVE························133b3b0
8866 00000000015e6878··0000000000000403·R_AARCH64_RELATIVE························13365108866 00000000015e6878··0000000000000403·R_AARCH64_RELATIVE························1336510
8867 00000000015e6898··0000000000000403·R_AARCH64_RELATIVE························133bae08867 00000000015e6898··0000000000000403·R_AARCH64_RELATIVE························133bae0
8868 00000000015e68a0··0000000000000403·R_AARCH64_RELATIVE························13365188868 00000000015e68a0··0000000000000403·R_AARCH64_RELATIVE························1336518
8869 00000000015e68c0··0000000000000403·R_AARCH64_RELATIVE························133bac08869 00000000015e68c0··0000000000000403·R_AARCH64_RELATIVE························133bac0
8870 00000000015e68c8··0000000000000403·R_AARCH64_RELATIVE························13365288870 00000000015e68c8··0000000000000403·R_AARCH64_RELATIVE························1336528
8871 00000000015e68e8··0000000000000403·R_AARCH64_RELATIVE························133baa88871 00000000015e68e8··0000000000000403·R_AARCH64_RELATIVE························133baa8
8872 00000000015e68f0··0000000000000403·R_AARCH64_RELATIVE························13178f88872 00000000015e68f0··0000000000000403·R_AARCH64_RELATIVE························1317908
8873 00000000015e6910··0000000000000403·R_AARCH64_RELATIVE························133ba888873 00000000015e6910··0000000000000403·R_AARCH64_RELATIVE························133ba88
8874 00000000015e6918··0000000000000403·R_AARCH64_RELATIVE························13365388874 00000000015e6918··0000000000000403·R_AARCH64_RELATIVE························1336538
8875 00000000015e6938··0000000000000403·R_AARCH64_RELATIVE························133ba688875 00000000015e6938··0000000000000403·R_AARCH64_RELATIVE························133ba68
8876 00000000015e6940··0000000000000403·R_AARCH64_RELATIVE························13365508876 00000000015e6940··0000000000000403·R_AARCH64_RELATIVE························1336550
8877 00000000015e6960··0000000000000403·R_AARCH64_RELATIVE························133ba488877 00000000015e6960··0000000000000403·R_AARCH64_RELATIVE························133ba48
8878 00000000015e6968··0000000000000403·R_AARCH64_RELATIVE························13365608878 00000000015e6968··0000000000000403·R_AARCH64_RELATIVE························1336560
8879 00000000015e6988··0000000000000403·R_AARCH64_RELATIVE························133ba288879 00000000015e6988··0000000000000403·R_AARCH64_RELATIVE························133ba28
Offset 9207, 15 lines modifiedOffset 9207, 15 lines modified
9207 00000000015e8328··0000000000000403·R_AARCH64_RELATIVE························133b3b09207 00000000015e8328··0000000000000403·R_AARCH64_RELATIVE························133b3b0
9208 00000000015e8330··0000000000000403·R_AARCH64_RELATIVE························13365109208 00000000015e8330··0000000000000403·R_AARCH64_RELATIVE························1336510
9209 00000000015e8350··0000000000000403·R_AARCH64_RELATIVE························133bae09209 00000000015e8350··0000000000000403·R_AARCH64_RELATIVE························133bae0
9210 00000000015e8358··0000000000000403·R_AARCH64_RELATIVE························13365189210 00000000015e8358··0000000000000403·R_AARCH64_RELATIVE························1336518
9211 00000000015e8378··0000000000000403·R_AARCH64_RELATIVE························133bac09211 00000000015e8378··0000000000000403·R_AARCH64_RELATIVE························133bac0
9212 00000000015e8380··0000000000000403·R_AARCH64_RELATIVE························13365289212 00000000015e8380··0000000000000403·R_AARCH64_RELATIVE························1336528
9213 00000000015e83a0··0000000000000403·R_AARCH64_RELATIVE························133baa89213 00000000015e83a0··0000000000000403·R_AARCH64_RELATIVE························133baa8
9214 00000000015e83a8··0000000000000403·R_AARCH64_RELATIVE························13178f89214 00000000015e83a8··0000000000000403·R_AARCH64_RELATIVE························1317908
9215 00000000015e83c8··0000000000000403·R_AARCH64_RELATIVE························133ba889215 00000000015e83c8··0000000000000403·R_AARCH64_RELATIVE························133ba88
9216 00000000015e83d0··0000000000000403·R_AARCH64_RELATIVE························13365389216 00000000015e83d0··0000000000000403·R_AARCH64_RELATIVE························1336538
9217 00000000015e83f0··0000000000000403·R_AARCH64_RELATIVE························133ba689217 00000000015e83f0··0000000000000403·R_AARCH64_RELATIVE························133ba68
9218 00000000015e83f8··0000000000000403·R_AARCH64_RELATIVE························13365509218 00000000015e83f8··0000000000000403·R_AARCH64_RELATIVE························1336550
9219 00000000015e8418··0000000000000403·R_AARCH64_RELATIVE························133ba489219 00000000015e8418··0000000000000403·R_AARCH64_RELATIVE························133ba48
9220 00000000015e8420··0000000000000403·R_AARCH64_RELATIVE························13365609220 00000000015e8420··0000000000000403·R_AARCH64_RELATIVE························1336560
9221 00000000015e8440··0000000000000403·R_AARCH64_RELATIVE························133ba289221 00000000015e8440··0000000000000403·R_AARCH64_RELATIVE························133ba28
⊟
628 B
readelf --wide --notes {}
    
Offset 1, 8 lines modifiedOffset 1, 8 lines modified
  
1 Displaying·notes·found·in:·.note.gnu.property1 Displaying·notes·found·in:·.note.gnu.property
2 ··Owner················Data·size·»  Description2 ··Owner················Data·size·»  Description
3 ··GNU··················0x00000010»  NT_GNU_PROPERTY_TYPE_0»    ······Properties:·AArch64·feature:·BTI,·PAC3 ··GNU··················0x00000010»  NT_GNU_PROPERTY_TYPE_0»    ······Properties:·AArch64·feature:·BTI,·PAC
  
4 Displaying·notes·found·in:·.note.gnu.build-id4 Displaying·notes·found·in:·.note.gnu.build-id
5 ··Owner················Data·size·»  Description5 ··Owner················Data·size·»  Description
6 ··GNU··················0x00000014»  NT_GNU_BUILD_ID·(unique·build·ID·bitstring)»   ····Build·ID:·3273b99188dd3d79b3db97afb5fb6c13d0269f9f6 ··GNU··················0x00000014»  NT_GNU_BUILD_ID·(unique·build·ID·bitstring)»   ····Build·ID:·6d9faa5e49dff21219a436c1d0337e312308f221
⊟
395 B
strings --all --bytes=8 {}
Ordering differences only
    
Offset 8905, 16 lines modifiedOffset 8905, 16 lines modified
8905 opt-res-reconstruction-size8905 opt-res-reconstruction-size
8906 output-lang8906 output-lang
8907 parse-only8907 parse-only
8908 partial-triggers8908 partial-triggers
8909 partition-check8909 partition-check
8910 partition-conflict-size8910 partition-conflict-size
8911 partition-start-time8911 partition-start-time
8912 partition 
8913 partition-strategy8912 partition-strategy
 8913 partition
8914 partition-time-interval8914 partition-time-interval
8915 partition-tlimit8915 partition-tlimit
8916 partition-when8916 partition-when
8917 pb-rewrites8917 pb-rewrites
8918 pivot-threshold8918 pivot-threshold
8919 pool-inst8919 pool-inst
8920 portfolio-jobs8920 portfolio-jobs
⊟
5.01 KB
objdump --line-numbers --disassemble --demangle --reloc --no-show-raw-insn --section=.text {}
    
Offset 73120, 23 lines modifiedOffset 73120, 23 lines modified
73120 »       mov»    w2,·#0x53··················»    //·#8373120 »       mov»    w2,·#0x53··················»    //·#83
73121 »       adrp»   x1,·1316000·<CaDiCaL::Internal::cover()@@Base+0x41a80>73121 »       adrp»   x1,·1316000·<CaDiCaL::Internal::cover()@@Base+0x41a80>
73122 »       add»    x0,·x19,·#0xd2073122 »       add»    x0,·x19,·#0xd20
73123 »       add»    x1,·x1,·#0xf1073123 »       add»    x1,·x1,·#0xf10
73124 »       str»    w2,·[sp,·#3400]73124 »       str»    w2,·[sp,·#3400]
73125 »       bl»     1194670·<cvc5::internal::Options::Options()@@Base+0x268c>73125 »       bl»     1194670·<cvc5::internal::Options::Options()@@Base+0x268c>
73126 »       mov»    w2,·#0x54··················»    //·#8473126 »       mov»    w2,·#0x54··················»    //·#84
73127 »       adrp»   x1,·1334000·<CaDiCaL::Internal::cover()@@Base+0x5fa80>73127 »       adrp»   x1,·1316000·<CaDiCaL::Internal::cover()@@Base+0x41a80>
73128 »       add»    x0,·x19,·#0xd4873128 »       add»    x0,·x19,·#0xd48
73129 »       add»    x1,·x1,·#0xe3073129 »       add»    x1,·x1,·#0xf28
73130 »       str»    w2,·[sp,·#3440]73130 »       str»    w2,·[sp,·#3440]
73131 »       bl»     1194670·<cvc5::internal::Options::Options()@@Base+0x268c>73131 »       bl»     1194670·<cvc5::internal::Options::Options()@@Base+0x268c>
73132 »       mov»    w2,·#0x55··················»    //·#8573132 »       mov»    w2,·#0x55··················»    //·#85
73133 »       adrp»   x1,·1316000·<CaDiCaL::Internal::cover()@@Base+0x41a80>73133 »       adrp»   x1,·1334000·<CaDiCaL::Internal::cover()@@Base+0x5fa80>
73134 »       add»    x0,·x19,·#0xd7073134 »       add»    x0,·x19,·#0xd70
73135 »       add»    x1,·x1,·#0xf2873135 »       add»    x1,·x1,·#0xe30
73136 »       str»    w2,·[sp,·#3480]73136 »       str»    w2,·[sp,·#3480]
73137 »       bl»     1194670·<cvc5::internal::Options::Options()@@Base+0x268c>73137 »       bl»     1194670·<cvc5::internal::Options::Options()@@Base+0x268c>
73138 »       mov»    w2,·#0x55··················»    //·#8573138 »       mov»    w2,·#0x55··················»    //·#85
73139 »       adrp»   x1,·130c000·<CaDiCaL::Internal::cover()@@Base+0x37a80>73139 »       adrp»   x1,·130c000·<CaDiCaL::Internal::cover()@@Base+0x37a80>
73140 »       add»    x0,·x19,·#0xd9873140 »       add»    x0,·x19,·#0xd98
73141 »       add»    x1,·x1,·#0x46073141 »       add»    x1,·x1,·#0x460
73142 »       str»    w2,·[sp,·#3520]73142 »       str»    w2,·[sp,·#3520]
Offset 74145, 25 lines modifiedOffset 74145, 25 lines modified
74145 »       mov»    x3,·#0x2468················»  //·#932074145 »       mov»    x3,·#0x2468················»  //·#9320
74146 »       adrp»   x1,·130c000·<CaDiCaL::Internal::cover()@@Base+0x37a80>74146 »       adrp»   x1,·130c000·<CaDiCaL::Internal::cover()@@Base+0x37a80>
74147 »       add»    x0,·x19,·x374147 »       add»    x0,·x19,·x3
74148 »       add»    x1,·x1,·#0x3e074148 »       add»    x1,·x1,·#0x3e0
74149 »       str»    w2,·[sp,·#9360]74149 »       str»    w2,·[sp,·#9360]
74150 »       bl»     1194670·<cvc5::internal::Options::Options()@@Base+0x268c>74150 »       bl»     1194670·<cvc5::internal::Options::Options()@@Base+0x268c>
74151 »       mov»    w2,·#0xe6··················»    //·#23074151 »       mov»    w2,·#0xe6··················»    //·#230
74152 »       adrp»   x1,·12d8000·<CaDiCaL::Internal::cover()@@Base+0x3a80>74152 »       adrp»   x1,·130a000·<CaDiCaL::Internal::cover()@@Base+0x35a80>
74153 »       mov»    x0,·#0x2490················»  //·#936074153 »       mov»    x0,·#0x2490················»  //·#9360
74154 »       add»    x1,·x1,·#0xb8074154 »       add»    x1,·x1,·#0xd80
74155 »       add»    x0,·x19,·x074155 »       add»    x0,·x19,·x0
74156 »       str»    w2,·[sp,·#9400]74156 »       str»    w2,·[sp,·#9400]
74157 »       bl»     1194670·<cvc5::internal::Options::Options()@@Base+0x268c>74157 »       bl»     1194670·<cvc5::internal::Options::Options()@@Base+0x268c>
74158 »       mov»    w2,·#0xe7··················»    //·#23174158 »       mov»    w2,·#0xe7··················»    //·#231
74159 »       mov»    x30,·#0x24b8················» //·#940074159 »       mov»    x30,·#0x24b8················» //·#9400
74160 »       adrp»   x1,·130a000·<CaDiCaL::Internal::cover()@@Base+0x35a80>74160 »       adrp»   x1,·12d8000·<CaDiCaL::Internal::cover()@@Base+0x3a80>
74161 »       add»    x0,·x19,·x3074161 »       add»    x0,·x19,·x30
74162 »       add»    x1,·x1,·#0xd8074162 »       add»    x1,·x1,·#0xb80
74163 »       str»    w2,·[sp,·#9440]74163 »       str»    w2,·[sp,·#9440]
74164 »       bl»     1194670·<cvc5::internal::Options::Options()@@Base+0x268c>74164 »       bl»     1194670·<cvc5::internal::Options::Options()@@Base+0x268c>
74165 »       mov»    w2,·#0xe7··················»    //·#23174165 »       mov»    w2,·#0xe7··················»    //·#231
74166 »       adrp»   x1,·1317000·<CaDiCaL::Internal::cover()@@Base+0x42a80>74166 »       adrp»   x1,·1317000·<CaDiCaL::Internal::cover()@@Base+0x42a80>
74167 »       mov»    x28,·#0x24e0················» //·#944074167 »       mov»    x28,·#0x24e0················» //·#9440
74168 »       add»    x1,·x1,·#0x8b874168 »       add»    x1,·x1,·#0x8b8
74169 »       add»    x0,·x19,·x2874169 »       add»    x0,·x19,·x28
Offset 74203, 15 lines modifiedOffset 74203, 15 lines modified
74203 »       add»    x1,·x1,·#0x8f874203 »       add»    x1,·x1,·#0x8f8
74204 »       add»    x0,·x19,·x2374204 »       add»    x0,·x19,·x23
74205 »       str»    w2,·[sp,·#9680]74205 »       str»    w2,·[sp,·#9680]
74206 »       bl»     1194670·<cvc5::internal::Options::Options()@@Base+0x268c>74206 »       bl»     1194670·<cvc5::internal::Options::Options()@@Base+0x268c>
74207 »       mov»    w2,·#0xec··················»    //·#23674207 »       mov»    w2,·#0xec··················»    //·#236
74208 »       adrp»   x1,·1317000·<CaDiCaL::Internal::cover()@@Base+0x42a80>74208 »       adrp»   x1,·1317000·<CaDiCaL::Internal::cover()@@Base+0x42a80>
74209 »       mov»    x22,·#0x25d0················» //·#968074209 »       mov»    x22,·#0x25d0················» //·#9680
74210 »       add»    x1,·x1,·#0x90074210 »       add»    x1,·x1,·#0x908
74211 »       add»    x0,·x19,·x2274211 »       add»    x0,·x19,·x22
74212 »       str»    w2,·[sp,·#9720]74212 »       str»    w2,·[sp,·#9720]
74213 »       bl»     1194670·<cvc5::internal::Options::Options()@@Base+0x268c>74213 »       bl»     1194670·<cvc5::internal::Options::Options()@@Base+0x268c>
74214 »       mov»    w2,·#0xec··················»    //·#23674214 »       mov»    w2,·#0xec··················»    //·#236
74215 »       adrp»   x1,·1317000·<CaDiCaL::Internal::cover()@@Base+0x42a80>74215 »       adrp»   x1,·1317000·<CaDiCaL::Internal::cover()@@Base+0x42a80>
74216 »       mov»    x21,·#0x25f8················» //·#972074216 »       mov»    x21,·#0x25f8················» //·#9720
74217 »       add»    x1,·x1,·#0x91074217 »       add»    x1,·x1,·#0x910
Offset 74232, 15 lines modifiedOffset 74232, 15 lines modified
74232 »       add»    x1,·x1,·#0x94074232 »       add»    x1,·x1,·#0x940
74233 »       str»    w2,·[sp,·#9840]74233 »       str»    w2,·[sp,·#9840]
74234 »       bl»     1194670·<cvc5::internal::Options::Options()@@Base+0x268c>74234 »       bl»     1194670·<cvc5::internal::Options::Options()@@Base+0x268c>
74235 »       mov»    w2,·#0xef··················»    //·#23974235 »       mov»    w2,·#0xef··················»    //·#239
74236 »       mov»    x17,·#0x2670················» //·#984074236 »       mov»    x17,·#0x2670················» //·#9840
74237 »       adrp»   x1,·1317000·<CaDiCaL::Internal::cover()@@Base+0x42a80>74237 »       adrp»   x1,·1317000·<CaDiCaL::Internal::cover()@@Base+0x42a80>
74238 »       add»    x0,·x19,·x1774238 »       add»    x0,·x19,·x17
74239 »       add»    x1,·x1,·#0x95074239 »       add»    x1,·x1,·#0x958
74240 »       str»    w2,·[sp,·#9880]74240 »       str»    w2,·[sp,·#9880]
74241 »       bl»     1194670·<cvc5::internal::Options::Options()@@Base+0x268c>74241 »       bl»     1194670·<cvc5::internal::Options::Options()@@Base+0x268c>
74242 »       mov»    w2,·#0xef··················»    //·#23974242 »       mov»    w2,·#0xef··················»    //·#239
74243 »       mov»    x16,·#0x2698················» //·#988074243 »       mov»    x16,·#0x2698················» //·#9880
74244 »       adrp»   x1,·1317000·<CaDiCaL::Internal::cover()@@Base+0x42a80>74244 »       adrp»   x1,·1317000·<CaDiCaL::Internal::cover()@@Base+0x42a80>
74245 »       add»    x0,·x19,·x1674245 »       add»    x0,·x19,·x16
74246 »       add»    x1,·x1,·#0x96874246 »       add»    x1,·x1,·#0x968
Offset 74895, 23 lines modifiedOffset 74895, 23 lines modified
74895 »       adrp»   x1,·1318000·<CaDiCaL::Internal::cover()@@Base+0x43a80>74895 »       adrp»   x1,·1318000·<CaDiCaL::Internal::cover()@@Base+0x43a80>
74896 »       add»    x0,·x19,·x474896 »       add»    x0,·x19,·x4
74897 »       add»    x1,·x1,·#0x5074897 »       add»    x1,·x1,·#0x50
74898 »       str»    w2,·[sp,·#13640]74898 »       str»    w2,·[sp,·#13640]
74899 »       bl»     1194670·<cvc5::internal::Options::Options()@@Base+0x268c>74899 »       bl»     1194670·<cvc5::internal::Options::Options()@@Base+0x268c>
74900 »       mov»    w2,·#0x14a·················»   //·#33074900 »       mov»    w2,·#0x14a·················»   //·#330
74901 »       mov»    x3,·#0x3548················»  //·#1364074901 »       mov»    x3,·#0x3548················»  //·#13640
74902 »       adrp»   x1,·1318000·<CaDiCaL::Internal::cover()@@Base+0x43a80>74902 »       adrp»   x1,·12e8000·<CaDiCaL::Internal::cover()@@Base+0x13a80>
74903 »       add»    x0,·x19,·x374903 »       add»    x0,·x19,·x3
74904 »       add»    x1,·x1,·#0x6874904 »       add»    x1,·x1,·#0xf48
74905 »       str»    w2,·[sp,·#13680]74905 »       str»    w2,·[sp,·#13680]
74906 »       bl»     1194670·<cvc5::internal::Options::Options()@@Base+0x268c>74906 »       bl»     1194670·<cvc5::internal::Options::Options()@@Base+0x268c>
74907 »       mov»    w2,·#0x14b·················»   //·#33174907 »       mov»    w2,·#0x14b·················»   //·#331
74908 »       adrp»   x1,·12e8000·<CaDiCaL::Internal::cover()@@Base+0x13a80>74908 »       adrp»   x1,·1318000·<CaDiCaL::Internal::cover()@@Base+0x43a80>
74909 »       mov»    x0,·#0x3570················»  //·#1368074909 »       mov»    x0,·#0x3570················»  //·#13680
74910 »       add»    x1,·x1,·#0xf4874910 »       add»    x1,·x1,·#0x68
74911 »       add»    x0,·x19,·x074911 »       add»    x0,·x19,·x0
74912 »       str»    w2,·[sp,·#13720]74912 »       str»    w2,·[sp,·#13720]
74913 »       bl»     1194670·<cvc5::internal::Options::Options()@@Base+0x268c>74913 »       bl»     1194670·<cvc5::internal::Options::Options()@@Base+0x268c>
74914 »       mov»    w2,·#0x14b·················»   //·#33174914 »       mov»    w2,·#0x14b·················»   //·#331
74915 »       mov»    x30,·#0x3598················» //·#1372074915 »       mov»    x30,·#0x3598················» //·#13720
74916 »       adrp»   x1,·1318000·<CaDiCaL::Internal::cover()@@Base+0x43a80>74916 »       adrp»   x1,·1318000·<CaDiCaL::Internal::cover()@@Base+0x43a80>
74917 »       add»    x0,·x19,·x3074917 »       add»    x0,·x19,·x30
Offset 4194296, 8 lines modifiedOffset 4194296, 8 lines modified
4194296 »       nop4194296 »       nop
4194297 ./obj-aarch64-linux-gnu/src/./src/./expr/node.h:3484194297 ./obj-aarch64-linux-gnu/src/./src/./expr/node.h:348
4194298 »       ldr»    x0,·[x22,·#32]4194298 »       ldr»    x0,·[x22,·#32]
4194299 »       ldr»    x0,·[x0]4194299 »       ldr»    x0,·[x0]
4194300 »       ubfx»   x0,·x0,·#0,·#404194300 »       ubfx»   x0,·x0,·#0,·#40
4194301 /usr/include/c++/14/bits/stl_tree.h:1948·(discriminator·2)4194301 /usr/include/c++/14/bits/stl_tree.h:1948·(discriminator·2)
4194302 »       cmp»    x2,·x04194302 »       cmp»    x2,·x0
4194303 [·Too·much·input·for·diff·(SHA256:·384b6f69ebe8f683e1cbc1f87b287a51604ad9ac77933de5b0d86c87be7e9d1a)·]4194303 [·Too·much·input·for·diff·(SHA256:·fe85f4e747493c80f063aeb37de2819d9737c47946ec2a01ec660c29895be4ac)·]
⊟
1.89 KB
readelf --wide --decompress --hex-dump=.rodata {}
    
Offset 17142, 22 lines modifiedOffset 17142, 22 lines modified
17142 ··0x01317880·6f6e2d72·65706561·742d6974·652d7369·on-repeat-ite-si17142 ··0x01317880·6f6e2d72·65706561·742d6974·652d7369·on-repeat-ite-si
17143 ··0x01317890·6d700000·00000000·6f70742d·7265732d·mp......opt-res-17143 ··0x01317890·6d700000·00000000·6f70742d·7265732d·mp......opt-res-
17144 ··0x013178a0·7265636f·6e737472·75637469·6f6e2d73·reconstruction-s17144 ··0x013178a0·7265636f·6e737472·75637469·6f6e2d73·reconstruction-s
17145 ··0x013178b0·697a6500·00000000·6f757470·75740000·ize.....output..17145 ··0x013178b0·697a6500·00000000·6f757470·75740000·ize.....output..
17146 ··0x013178c0·6f757470·75742d6c·616e6700·00000000·output-lang.....17146 ··0x013178c0·6f757470·75742d6c·616e6700·00000000·output-lang.....
17147 ··0x013178d0·70617273·652d6f6e·6c790000·00000000·parse-only......17147 ··0x013178d0·70617273·652d6f6e·6c790000·00000000·parse-only......
17148 ··0x013178e0·70617274·69616c2d·74726967·67657273·partial-triggers17148 ··0x013178e0·70617274·69616c2d·74726967·67657273·partial-triggers
17149 ··0x013178f0·00000000·00000000·63686563·6b000000·........check... 
17150 ··0x01317900·70617274·6974696f·6e2d6368·65636b00·partition-check.17149 ··0x013178f0·00000000·00000000·70617274·6974696f·........partitio
 17150 ··0x01317900·6e2d6368·65636b00·63686563·6b000000·n-check.check...
17151 ··0x01317910·70617274·6974696f·6e2d636f·6e666c69·partition-confli17151 ··0x01317910·70617274·6974696f·6e2d636f·6e666c69·partition-confli
17152 ··0x01317920·63742d73·697a6500·70617274·6974696f·ct-size.partitio17152 ··0x01317920·63742d73·697a6500·70617274·6974696f·ct-size.partitio
17153 ··0x01317930·6e2d7374·6172742d·74696d65·00000000·n-start-time....17153 ··0x01317930·6e2d7374·6172742d·74696d65·00000000·n-start-time....
17154 ··0x01317940·70617274·6974696f·6e000000·00000000·partition....... 
17155 ··0x01317950·70617274·6974696f·6e2d7374·72617465·partition-strate17154 ··0x01317940·70617274·6974696f·6e2d7374·72617465·partition-strate
17156 ··0x01317960·67790000·00000000·70617274·6974696f·gy......partitio17155 ··0x01317950·67790000·00000000·70617274·6974696f·gy......partitio
 17156 ··0x01317960·6e000000·00000000·70617274·6974696f·n.......partitio
17157 ··0x01317970·6e2d7469·6d652d69·6e746572·76616c00·n-time-interval.17157 ··0x01317970·6e2d7469·6d652d69·6e746572·76616c00·n-time-interval.
17158 ··0x01317980·70617274·6974696f·6e2d746c·696d6974·partition-tlimit17158 ··0x01317980·70617274·6974696f·6e2d746c·696d6974·partition-tlimit
17159 ··0x01317990·00000000·00000000·70617274·6974696f·........partitio17159 ··0x01317990·00000000·00000000·70617274·6974696f·........partitio
17160 ··0x013179a0·6e2d7768·656e0000·70622d72·65777269·n-when..pb-rewri17160 ··0x013179a0·6e2d7768·656e0000·70622d72·65777269·n-when..pb-rewri
17161 ··0x013179b0·74657300·00000000·7069766f·742d7468·tes.....pivot-th17161 ··0x013179b0·74657300·00000000·7069766f·742d7468·tes.....pivot-th
17162 ··0x013179c0·72657368·6f6c6400·706f6f6c·2d696e73·reshold.pool-ins17162 ··0x013179c0·72657368·6f6c6400·706f6f6c·2d696e73·reshold.pool-ins
17163 ··0x013179d0·74000000·00000000·706f7274·666f6c69·t.......portfoli17163 ··0x013179d0·74000000·00000000·706f7274·666f6c69·t.......portfoli
⊟
2.44 KB
readelf --wide --decompress --hex-dump=.data.rel.ro {}
    
Offset 1860, 15 lines modifiedOffset 1860, 15 lines modified
1860 ··0x015cf698·286c3101·00000000·386c3101·00000000·(l1.....8l1.....1860 ··0x015cf698·286c3101·00000000·386c3101·00000000·(l1.....8l1.....
1861 ··0x015cf6a8·586c3101·00000000·686c3101·00000000·Xl1.....hl1.....1861 ··0x015cf6a8·586c3101·00000000·686c3101·00000000·Xl1.....hl1.....
1862 ··0x015cf6b8·806c3101·00000000·986c3101·00000000·.l1......l1.....1862 ··0x015cf6b8·806c3101·00000000·986c3101·00000000·.l1......l1.....
1863 ··0x015cf6c8·a86c3101·00000000·b86c3101·00000000·.l1......l1.....1863 ··0x015cf6c8·a86c3101·00000000·b86c3101·00000000·.l1......l1.....
1864 ··0x015cf6d8·c86c3101·00000000·d86c3101·00000000·.l1......l1.....1864 ··0x015cf6d8·c86c3101·00000000·d86c3101·00000000·.l1......l1.....
1865 ··0x015cf6e8·e86c3101·00000000·006d3101·00000000·.l1......m1.....1865 ··0x015cf6e8·e86c3101·00000000·006d3101·00000000·.l1......m1.....
1866 ··0x015cf6f8·186d3101·00000000·286d3101·00000000·.m1.....(m1.....1866 ··0x015cf6f8·186d3101·00000000·286d3101·00000000·.m1.....(m1.....
1867 ··0x015cf708·386d3101·00000000·f8783101·00000000·8m1......x1.....1867 ··0x015cf708·386d3101·00000000·08793101·00000000·8m1......y1.....
1868 ··0x015cf718·506d3101·00000000·606d3101·00000000·Pm1.....`m1.....1868 ··0x015cf718·506d3101·00000000·606d3101·00000000·Pm1.....`m1.....
1869 ··0x015cf728·786d3101·00000000·18962e01·00000000·xm1.............1869 ··0x015cf728·786d3101·00000000·18962e01·00000000·xm1.............
1870 ··0x015cf738·886d3101·00000000·986d3101·00000000·.m1......m1.....1870 ··0x015cf738·886d3101·00000000·986d3101·00000000·.m1......m1.....
1871 ··0x015cf748·a86d3101·00000000·c06d3101·00000000·.m1......m1.....1871 ··0x015cf748·a86d3101·00000000·c06d3101·00000000·.m1......m1.....
1872 ··0x015cf758·d86d3101·00000000·f86d3101·00000000·.m1......m1.....1872 ··0x015cf758·d86d3101·00000000·f86d3101·00000000·.m1......m1.....
1873 ··0x015cf768·106e3101·00000000·286e3101·00000000·.n1.....(n1.....1873 ··0x015cf768·106e3101·00000000·286e3101·00000000·.n1.....(n1.....
1874 ··0x015cf778·406e3101·00000000·606e3101·00000000·@n1.....`n1.....1874 ··0x015cf778·406e3101·00000000·606e3101·00000000·@n1.....`n1.....
Offset 1950, 17 lines modifiedOffset 1950, 17 lines modified
1950 ··0x015cfc38·28783101·00000000·38783101·00000000·(x1.....8x1.....1950 ··0x015cfc38·28783101·00000000·38783101·00000000·(x1.....8x1.....
1951 ··0x015cfc48·58783101·00000000·60783101·00000000·Xx1.....`x1.....1951 ··0x015cfc48·58783101·00000000·60783101·00000000·Xx1.....`x1.....
1952 ··0x015cfc58·68783101·00000000·80783101·00000000·hx1......x1.....1952 ··0x015cfc58·68783101·00000000·80783101·00000000·hx1......x1.....
1953 ··0x015cfc68·98783101·00000000·e0c33001·00000000·.x1.......0.....1953 ··0x015cfc68·98783101·00000000·e0c33001·00000000·.x1.......0.....
1954 ··0x015cfc78·80ad3001·00000000·b8783101·00000000·..0......x1.....1954 ··0x015cfc78·80ad3001·00000000·b8783101·00000000·..0......x1.....
1955 ··0x015cfc88·c0783101·00000000·c0af2e01·00000000·.x1.............1955 ··0x015cfc88·c0783101·00000000·c0af2e01·00000000·.x1.............
1956 ··0x015cfc98·d0783101·00000000·e0783101·00000000·.x1......x1.....1956 ··0x015cfc98·d0783101·00000000·e0783101·00000000·.x1......x1.....
1957 ··0x015cfca8·40793101·00000000·00793101·00000000·@y1......y1.....1957 ··0x015cfca8·58793101·00000000·f8783101·00000000·Xy1......x1.....
1958 ··0x015cfcb8·10793101·00000000·28793101·00000000·.y1.....(y1.....1958 ··0x015cfcb8·10793101·00000000·28793101·00000000·.y1.....(y1.....
1959 ··0x015cfcc8·50793101·00000000·68793101·00000000·Py1.....hy1.....1959 ··0x015cfcc8·40793101·00000000·68793101·00000000·@y1.....hy1.....
1960 ··0x015cfcd8·80793101·00000000·98793101·00000000·.y1......y1.....1960 ··0x015cfcd8·80793101·00000000·98793101·00000000·.y1......y1.....
1961 ··0x015cfce8·408b3101·00000000·a8793101·00000000·@.1......y1.....1961 ··0x015cfce8·408b3101·00000000·a8793101·00000000·@.1......y1.....
1962 ··0x015cfcf8·b8793101·00000000·c8793101·00000000·.y1......y1.....1962 ··0x015cfcf8·b8793101·00000000·c8793101·00000000·.y1......y1.....
1963 ··0x015cfd08·d8793101·00000000·e8793101·00000000·.y1......y1.....1963 ··0x015cfd08·d8793101·00000000·e8793101·00000000·.y1......y1.....
1964 ··0x015cfd18·007a3101·00000000·187a3101·00000000·.z1......z1.....1964 ··0x015cfd18·007a3101·00000000·187a3101·00000000·.z1......z1.....
1965 ··0x015cfd28·307a3101·00000000·407a3101·00000000·0z1.....@z1.....1965 ··0x015cfd28·307a3101·00000000·407a3101·00000000·0z1.....@z1.....
1966 ··0x015cfd38·587a3101·00000000·687a3101·00000000·Xz1.....hz1.....1966 ··0x015cfd38·587a3101·00000000·687a3101·00000000·Xz1.....hz1.....
⊟
4.15 KB
readelf --wide --decompress --hex-dump=.data {}
    
Offset 592, 25 lines modifiedOffset 592, 25 lines modified
592 ··0x015e24d0·00000000·00000000·ff010000·00000000·................592 ··0x015e24d0·00000000·00000000·ff010000·00000000·................
593 ··0x015e24e0·c06d3101·00000000·01000000·00000000·.m1.............593 ··0x015e24e0·c06d3101·00000000·01000000·00000000·.m1.............
594 ··0x015e24f0·00000000·00000000·00020000·00000000·................594 ··0x015e24f0·00000000·00000000·00020000·00000000·................
595 ··0x015e2500·d86d3101·00000000·01000000·00000000·.m1.............595 ··0x015e2500·d86d3101·00000000·01000000·00000000·.m1.............
596 ··0x015e2510·00000000·00000000·01020000·00000000·................596 ··0x015e2510·00000000·00000000·01020000·00000000·................
597 ··0x015e2520·106e3101·00000000·01000000·00000000·.n1.............597 ··0x015e2520·106e3101·00000000·01000000·00000000·.n1.............
598 ··0x015e2530·00000000·00000000·02020000·00000000·................598 ··0x015e2530·00000000·00000000·02020000·00000000·................
599 ··0x015e2540·00793101·00000000·01000000·00000000·.y1.............599 ··0x015e2540·f8783101·00000000·01000000·00000000·.x1.............
600 ··0x015e2550·00000000·00000000·03020000·00000000·................600 ··0x015e2550·00000000·00000000·03020000·00000000·................
601 ··0x015e2560·f8783101·00000000·01000000·00000000·.x1.............601 ··0x015e2560·08793101·00000000·01000000·00000000·.y1.............
602 ··0x015e2570·00000000·00000000·04020000·00000000·................602 ··0x015e2570·00000000·00000000·04020000·00000000·................
603 ··0x015e2580·10793101·00000000·01000000·00000000·.y1.............603 ··0x015e2580·10793101·00000000·01000000·00000000·.y1.............
604 ··0x015e2590·00000000·00000000·05020000·00000000·................604 ··0x015e2590·00000000·00000000·05020000·00000000·................
605 ··0x015e25a0·28793101·00000000·01000000·00000000·(y1.............605 ··0x015e25a0·28793101·00000000·01000000·00000000·(y1.............
606 ··0x015e25b0·00000000·00000000·06020000·00000000·................606 ··0x015e25b0·00000000·00000000·06020000·00000000·................
607 ··0x015e25c0·50793101·00000000·01000000·00000000·Py1.............607 ··0x015e25c0·40793101·00000000·01000000·00000000·@y1.............
608 ··0x015e25d0·00000000·00000000·07020000·00000000·................608 ··0x015e25d0·00000000·00000000·07020000·00000000·................
609 ··0x015e25e0·40793101·00000000·01000000·00000000·@y1.............609 ··0x015e25e0·58793101·00000000·01000000·00000000·Xy1.............
610 ··0x015e25f0·00000000·00000000·08020000·00000000·................610 ··0x015e25f0·00000000·00000000·08020000·00000000·................
611 ··0x015e2600·68793101·00000000·01000000·00000000·hy1.............611 ··0x015e2600·68793101·00000000·01000000·00000000·hy1.............
612 ··0x015e2610·00000000·00000000·09020000·00000000·................612 ··0x015e2610·00000000·00000000·09020000·00000000·................
613 ··0x015e2620·80793101·00000000·01000000·00000000·.y1.............613 ··0x015e2620·80793101·00000000·01000000·00000000·.y1.............
614 ··0x015e2630·00000000·00000000·0a020000·00000000·................614 ··0x015e2630·00000000·00000000·0a020000·00000000·................
615 ··0x015e2640·98793101·00000000·01000000·00000000·.y1.............615 ··0x015e2640·98793101·00000000·01000000·00000000·.y1.............
616 ··0x015e2650·00000000·00000000·0b020000·00000000·................616 ··0x015e2650·00000000·00000000·0b020000·00000000·................
Offset 1675, 15 lines modifiedOffset 1675, 15 lines modified
1675 ··0x015e6880·01000000·00000000·01000000·00000000·................1675 ··0x015e6880·01000000·00000000·01000000·00000000·................
1676 ··0x015e6890·00000000·00000000·e0ba3301·00000000·..........3.....1676 ··0x015e6890·00000000·00000000·e0ba3301·00000000·..........3.....
1677 ··0x015e68a0·18653301·00000000·01000000·00000000·.e3.............1677 ··0x015e68a0·18653301·00000000·01000000·00000000·.e3.............
1678 ··0x015e68b0·01000000·00000000·00000000·00000000·................1678 ··0x015e68b0·01000000·00000000·00000000·00000000·................
1679 ··0x015e68c0·c0ba3301·00000000·28653301·00000000·..3.....(e3.....1679 ··0x015e68c0·c0ba3301·00000000·28653301·00000000·..3.....(e3.....
1680 ··0x015e68d0·01000000·01000000·03000000·00000000·................1680 ··0x015e68d0·01000000·01000000·03000000·00000000·................
1681 ··0x015e68e0·00000000·00000000·a8ba3301·00000000·..........3.....1681 ··0x015e68e0·00000000·00000000·a8ba3301·00000000·..........3.....
1682 ··0x015e68f0·f8783101·00000000·00000000·00000000·.x1.............1682 ··0x015e68f0·08793101·00000000·00000000·00000000·.y1.............
1683 ··0x015e6900·01000000·00000000·00000000·00000000·................1683 ··0x015e6900·01000000·00000000·00000000·00000000·................
1684 ··0x015e6910·88ba3301·00000000·38653301·00000000·..3.....8e3.....1684 ··0x015e6910·88ba3301·00000000·38653301·00000000·..3.....8e3.....
1685 ··0x015e6920·01000000·00000000·01000000·00000000·................1685 ··0x015e6920·01000000·00000000·01000000·00000000·................
1686 ··0x015e6930·00000000·00000000·68ba3301·00000000·........h.3.....1686 ··0x015e6930·00000000·00000000·68ba3301·00000000·........h.3.....
1687 ··0x015e6940·50653301·00000000·01000000·00000000·Pe3.............1687 ··0x015e6940·50653301·00000000·01000000·00000000·Pe3.............
1688 ··0x015e6950·01000000·00000000·00000000·00000000·................1688 ··0x015e6950·01000000·00000000·00000000·00000000·................
1689 ··0x015e6960·48ba3301·00000000·60653301·00000000·H.3.....`e3.....1689 ··0x015e6960·48ba3301·00000000·60653301·00000000·H.3.....`e3.....
Offset 2102, 15 lines modifiedOffset 2102, 15 lines modified
2102 ··0x015e8330·10653301·00000000·01000000·00000000·.e3.............2102 ··0x015e8330·10653301·00000000·01000000·00000000·.e3.............
2103 ··0x015e8340·01000000·00000000·00000000·00000000·................2103 ··0x015e8340·01000000·00000000·00000000·00000000·................
2104 ··0x015e8350·e0ba3301·00000000·18653301·00000000·..3......e3.....2104 ··0x015e8350·e0ba3301·00000000·18653301·00000000·..3......e3.....
2105 ··0x015e8360·01000000·00000000·01000000·00000000·................2105 ··0x015e8360·01000000·00000000·01000000·00000000·................
2106 ··0x015e8370·00000000·00000000·c0ba3301·00000000·..........3.....2106 ··0x015e8370·00000000·00000000·c0ba3301·00000000·..........3.....
2107 ··0x015e8380·28653301·00000000·01000000·01000000·(e3.............2107 ··0x015e8380·28653301·00000000·01000000·01000000·(e3.............
2108 ··0x015e8390·03000000·00000000·00000000·00000000·................2108 ··0x015e8390·03000000·00000000·00000000·00000000·................
2109 ··0x015e83a0·a8ba3301·00000000·f8783101·00000000·..3......x1.....2109 ··0x015e83a0·a8ba3301·00000000·08793101·00000000·..3......y1.....
2110 ··0x015e83b0·00000000·00000000·01000000·00000000·................2110 ··0x015e83b0·00000000·00000000·01000000·00000000·................
2111 ··0x015e83c0·00000000·00000000·88ba3301·00000000·..........3.....2111 ··0x015e83c0·00000000·00000000·88ba3301·00000000·..........3.....
2112 ··0x015e83d0·38653301·00000000·01000000·00000000·8e3.............2112 ··0x015e83d0·38653301·00000000·01000000·00000000·8e3.............
2113 ··0x015e83e0·01000000·00000000·00000000·00000000·................2113 ··0x015e83e0·01000000·00000000·00000000·00000000·................
2114 ··0x015e83f0·68ba3301·00000000·50653301·00000000·h.3.....Pe3.....2114 ··0x015e83f0·68ba3301·00000000·50653301·00000000·h.3.....Pe3.....
2115 ··0x015e8400·01000000·00000000·01000000·00000000·................2115 ··0x015e8400·01000000·00000000·01000000·00000000·................
2116 ··0x015e8410·00000000·00000000·48ba3301·00000000·........H.3.....2116 ··0x015e8410·00000000·00000000·48ba3301·00000000·........H.3.....
⊟
811 B
readelf --wide --decompress --hex-dump=.gnu_debuglink {}
error from `readelf --wide --decompress --hex-dump=.gnu_debuglink {}`: readelf: Error: no .dynamic section in the dynamic segment
    
Offset 1, 7 lines modifiedOffset 1, 7 lines modified
  
1 Hex·dump·of·section·'.gnu_debuglink':1 Hex·dump·of·section·'.gnu_debuglink':
2 ··0x00000000·37336239·39313838·64643364·37396233·73b99188dd3d79b3 
3 ··0x00000010·64623937·61666235·66623663·31336430·db97afb5fb6c13d02 ··0x00000000·39666161·35653439·64666632·31323139·9faa5e49dff21219
 3 ··0x00000010·61343336·63316430·33333765·33313233·a436c1d0337e3123
4 ··0x00000020·32363966·39662e64·65627567·00000000·269f9f.debug....4 ··0x00000020·30386632·32312e64·65627567·00000000·08f221.debug....
5 ··0x00000030·ddfbdaa6····························....5 ··0x00000030·cbea9d47····························...G
  
⊟
2.19 KB
libcvc5parser1_1.1.2-2_arm64.deb
⊟
452 B
file list
    
Offset 1, 3 lines modifiedOffset 1, 3 lines modified
1 -rw-r--r--···0········0········0········4·2024-03-19·00:06:23.000000·debian-binary1 -rw-r--r--···0········0········0········4·2024-03-19·00:06:23.000000·debian-binary
2 -rw-r--r--···0········0········0·····1256·2024-03-19·00:06:23.000000·control.tar.xz2 -rw-r--r--···0········0········0·····1260·2024-03-19·00:06:23.000000·control.tar.xz
3 -rw-r--r--···0········0········0···205780·2024-03-19·00:06:23.000000·data.tar.xz3 -rw-r--r--···0········0········0···206492·2024-03-19·00:06:23.000000·data.tar.xz
⊟
98.0 B
control.tar.xz
⊟
70.0 B
control.tar
⊟
48.0 B
./md5sums
⊟
30.0 B
./md5sums
Files differ
⊟
1.59 KB
data.tar.xz
⊟
1.57 KB
data.tar
⊟
1.56 KB
./usr/lib/aarch64-linux-gnu/libcvc5parser.so.1
File has been modified after NT_GNU_BUILD_ID has been applied.
⊟
628 B
readelf --wide --notes {}
    
Offset 1, 8 lines modifiedOffset 1, 8 lines modified
  
1 Displaying·notes·found·in:·.note.gnu.property1 Displaying·notes·found·in:·.note.gnu.property
2 ··Owner················Data·size·»  Description2 ··Owner················Data·size·»  Description
3 ··GNU··················0x00000010»  NT_GNU_PROPERTY_TYPE_0»    ······Properties:·AArch64·feature:·BTI,·PAC3 ··GNU··················0x00000010»  NT_GNU_PROPERTY_TYPE_0»    ······Properties:·AArch64·feature:·BTI,·PAC
  
4 Displaying·notes·found·in:·.note.gnu.build-id4 Displaying·notes·found·in:·.note.gnu.build-id
5 ··Owner················Data·size·»  Description5 ··Owner················Data·size·»  Description
6 ··GNU··················0x00000014»  NT_GNU_BUILD_ID·(unique·build·ID·bitstring)»   ····Build·ID:·c09e668e997b304e3778b09aa291ac6709a3c8f36 ··GNU··················0x00000014»  NT_GNU_BUILD_ID·(unique·build·ID·bitstring)»   ····Build·ID:·450b2c011317d8b08fbbc412d04cabb8e50ad186
⊟
811 B
readelf --wide --decompress --hex-dump=.gnu_debuglink {}
error from `readelf --wide --decompress --hex-dump=.gnu_debuglink {}`: readelf: Error: no .dynamic section in the dynamic segment
    
Offset 1, 7 lines modifiedOffset 1, 7 lines modified
  
1 Hex·dump·of·section·'.gnu_debuglink':1 Hex·dump·of·section·'.gnu_debuglink':
2 ··0x00000000·39653636·38653939·37623330·34653337·9e668e997b304e37 
3 ··0x00000010·37386230·39616132·39316163·36373039·78b09aa291ac67092 ··0x00000000·30623263·30313133·31376438·62303866·0b2c011317d8b08f
 3 ··0x00000010·62626334·31326430·34636162·62386535·bbc412d04cabb8e5
4 ··0x00000020·61336338·66332e64·65627567·00000000·a3c8f3.debug....4 ··0x00000020·30616431·38362e64·65627567·00000000·0ad186.debug....
5 ··0x00000030·2b095968····························+.Yh5 ··0x00000030·f9e8d63a····························...:
  
⊟
2.18 KB
python3-cvc5_1.1.2-2_arm64.deb
⊟
367 B
file list
    
Offset 1, 3 lines modifiedOffset 1, 3 lines modified
1 -rw-r--r--···0········0········0········4·2024-03-19·00:06:23.000000·debian-binary1 -rw-r--r--···0········0········0········4·2024-03-19·00:06:23.000000·debian-binary
2 -rw-r--r--···0········0········0·····1676·2024-03-19·00:06:23.000000·control.tar.xz2 -rw-r--r--···0········0········0·····1676·2024-03-19·00:06:23.000000·control.tar.xz
3 -rw-r--r--···0········0········0···295632·2024-03-19·00:06:23.000000·data.tar.xz3 -rw-r--r--···0········0········0···296264·2024-03-19·00:06:23.000000·data.tar.xz
⊟
98.0 B
control.tar.xz
⊟
70.0 B
control.tar
⊟
48.0 B
./md5sums
⊟
30.0 B
./md5sums
Files differ
⊟
1.67 KB
data.tar.xz
⊟
1.65 KB
data.tar
⊟
1.63 KB
./usr/lib/python3/dist-packages/cvc5/cvc5_python_base.cpython-312-aarch64-linux-gnu.so
File has been modified after NT_GNU_BUILD_ID has been applied.
⊟
628 B
readelf --wide --notes {}
    
Offset 1, 8 lines modifiedOffset 1, 8 lines modified
  
1 Displaying·notes·found·in:·.note.gnu.property1 Displaying·notes·found·in:·.note.gnu.property
2 ··Owner················Data·size·»  Description2 ··Owner················Data·size·»  Description
3 ··GNU··················0x00000010»  NT_GNU_PROPERTY_TYPE_0»    ······Properties:·AArch64·feature:·BTI,·PAC3 ··GNU··················0x00000010»  NT_GNU_PROPERTY_TYPE_0»    ······Properties:·AArch64·feature:·BTI,·PAC
  
4 Displaying·notes·found·in:·.note.gnu.build-id4 Displaying·notes·found·in:·.note.gnu.build-id
5 ··Owner················Data·size·»  Description5 ··Owner················Data·size·»  Description
6 ··GNU··················0x00000014»  NT_GNU_BUILD_ID·(unique·build·ID·bitstring)»   ····Build·ID:·0da16c234d1aaa4aee7ddc487d94a07f1efe11bd6 ··GNU··················0x00000014»  NT_GNU_BUILD_ID·(unique·build·ID·bitstring)»   ····Build·ID:·7d40e879aec3972e357d6c72e2b5348a31363b5a
⊟
811 B
readelf --wide --decompress --hex-dump=.gnu_debuglink {}
error from `readelf --wide --decompress --hex-dump=.gnu_debuglink {}`: readelf: Error: no .dynamic section in the dynamic segment
    
Offset 1, 7 lines modifiedOffset 1, 7 lines modified
  
1 Hex·dump·of·section·'.gnu_debuglink':1 Hex·dump·of·section·'.gnu_debuglink':
2 ··0x00000000·61313663·32333464·31616161·34616565·a16c234d1aaa4aee 
3 ··0x00000010·37646463·34383764·39346130·37663165·7ddc487d94a07f1e2 ··0x00000000·34306538·37396165·63333937·32653335·40e879aec3972e35
 3 ··0x00000010·37643663·37326532·62353334·38613331·7d6c72e2b5348a31
4 ··0x00000020·66653131·62642e64·65627567·00000000·fe11bd.debug....4 ··0x00000020·33363362·35612e64·65627567·00000000·363b5a.debug....
5 ··0x00000030·84eaa9e9····························....5 ··0x00000030·5971e1df····························Yq..
  
⊟
37.4 MB
cvc5-dbgsym_1.1.2-2_arm64.deb
⊟
452 B
file list
    
Offset 1, 3 lines modifiedOffset 1, 3 lines modified
1 -rw-r--r--···0········0········0········4·2024-03-19·00:06:23.000000·debian-binary1 -rw-r--r--···0········0········0········4·2024-03-19·00:06:23.000000·debian-binary
2 -rw-r--r--···0········0········0······528·2024-03-19·00:06:23.000000·control.tar.xz2 -rw-r--r--···0········0········0······532·2024-03-19·00:06:23.000000·control.tar.xz
3 -rw-r--r--···0········0········0··1844800·2024-03-19·00:06:23.000000·data.tar.xz3 -rw-r--r--···0········0········0··1844528·2024-03-19·00:06:23.000000·data.tar.xz
⊟
652 B
control.tar.xz
⊟
624 B
control.tar
⊟
376 B
./control
    
Offset 5, 8 lines modifiedOffset 5, 8 lines modified
5 Architecture:·arm645 Architecture:·arm64
6 Maintainer:·Debian·Science·Maintainers·<debian-science-maintainers@alioth-lists.debian.net>6 Maintainer:·Debian·Science·Maintainers·<debian-science-maintainers@alioth-lists.debian.net>
7 Installed-Size:·19317 Installed-Size:·1931
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:·98266b63202cc6750d333506f51cbb80702e70f512 Build-Ids:·6ea14a7995b85770b89f1297d6fe809981590388
⊟
226 B
./md5sums
⊟
30.0 B
./md5sums
Files differ
⊟
178 B
line order
    
Offset 1, 1 lines modifiedOffset 1, 1 lines modified
1 usr/lib/debug/.build-id/98/266b63202cc6750d333506f51cbb80702e70f5.debug1 usr/lib/debug/.build-id/6e/a14a7995b85770b89f1297d6fe809981590388.debug
⊟
37.4 MB
data.tar.xz
⊟
37.4 MB
data.tar
⊟
1.37 KB
file list
    
Offset 1, 10 lines modifiedOffset 1, 10 lines modified
1 drwxr-xr-x···0·root·········(0)·root·········(0)········0·2024-03-19·00:06:23.000000·./1 drwxr-xr-x···0·root·········(0)·root·········(0)········0·2024-03-19·00:06:23.000000·./
2 drwxr-xr-x···0·root·········(0)·root·········(0)········0·2024-03-19·00:06:23.000000·./usr/2 drwxr-xr-x···0·root·········(0)·root·········(0)········0·2024-03-19·00:06:23.000000·./usr/
3 drwxr-xr-x···0·root·········(0)·root·········(0)········0·2024-03-19·00:06:23.000000·./usr/lib/3 drwxr-xr-x···0·root·········(0)·root·········(0)········0·2024-03-19·00:06:23.000000·./usr/lib/
4 drwxr-xr-x···0·root·········(0)·root·········(0)········0·2024-03-19·00:06:23.000000·./usr/lib/debug/4 drwxr-xr-x···0·root·········(0)·root·········(0)········0·2024-03-19·00:06:23.000000·./usr/lib/debug/
5 drwxr-xr-x···0·root·········(0)·root·········(0)········0·2024-03-19·00:06:23.000000·./usr/lib/debug/.build-id/5 drwxr-xr-x···0·root·········(0)·root·········(0)········0·2024-03-19·00:06:23.000000·./usr/lib/debug/.build-id/
6 drwxr-xr-x···0·root·········(0)·root·········(0)········0·2024-03-19·00:06:23.000000·./usr/lib/debug/.build-id/98/6 drwxr-xr-x···0·root·········(0)·root·········(0)········0·2024-03-19·00:06:23.000000·./usr/lib/debug/.build-id/6e/
7 -rw-r--r--···0·root·········(0)·root·········(0)··1967040·2024-03-19·00:06:23.000000·./usr/lib/debug/.build-id/98/266b63202cc6750d333506f51cbb80702e70f5.debug7 -rw-r--r--···0·root·········(0)·root·········(0)··1967032·2024-03-19·00:06:23.000000·./usr/lib/debug/.build-id/6e/a14a7995b85770b89f1297d6fe809981590388.debug
8 drwxr-xr-x···0·root·········(0)·root·········(0)········0·2024-03-19·00:06:23.000000·./usr/share/8 drwxr-xr-x···0·root·········(0)·root·········(0)········0·2024-03-19·00:06:23.000000·./usr/share/
9 drwxr-xr-x···0·root·········(0)·root·········(0)········0·2024-03-19·00:06:23.000000·./usr/share/doc/9 drwxr-xr-x···0·root·········(0)·root·········(0)········0·2024-03-19·00:06:23.000000·./usr/share/doc/
10 lrwxrwxrwx···0·root·········(0)·root·········(0)········0·2024-03-19·00:06:23.000000·./usr/share/doc/cvc5-dbgsym·->·cvc510 lrwxrwxrwx···0·root·········(0)·root·········(0)········0·2024-03-19·00:06:23.000000·./usr/share/doc/cvc5-dbgsym·->·cvc5
⊟
37.4 MB
./usr/lib/debug/.build-id/98/266b63202cc6750d333506f51cbb80702e70f5.debug vs.
./usr/lib/debug/.build-id/6e/a14a7995b85770b89f1297d6fe809981590388.debug
File has been modified after NT_GNU_BUILD_ID has been applied. Files 74% similar despite different names
⊟
969 B
readelf --wide --file-header {}
error from `readelf --wide --file-header {}`: readelf: Error: Unable to find program interpreter name
    
Offset 6, 15 lines modifiedOffset 6, 15 lines modified
6 ··OS/ABI:····························UNIX·-·System·V6 ··OS/ABI:····························UNIX·-·System·V
7 ··ABI·Version:·······················07 ··ABI·Version:·······················0
8 ··Type:······························DYN·(Shared·object·file)8 ··Type:······························DYN·(Shared·object·file)
9 ··Machine:···························AArch649 ··Machine:···························AArch64
10 ··Version:···························0x110 ··Version:···························0x1
11 ··Entry·point·address:···············0xab4011 ··Entry·point·address:···············0xab40
12 ··Start·of·program·headers:··········64·(bytes·into·file)12 ··Start·of·program·headers:··········64·(bytes·into·file)
13 ··Start·of·section·headers:··········1964480·(bytes·into·file)13 ··Start·of·section·headers:··········1964472·(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:·········1117 ··Number·of·program·headers:·········11
18 ··Size·of·section·headers:···········64·(bytes)18 ··Size·of·section·headers:···········64·(bytes)
19 ··Number·of·section·headers:·········4019 ··Number·of·section·headers:·········40
20 ··Section·header·string·table·index:·3920 ··Section·header·string·table·index:·39
⊟
3.56 KB
readelf --wide --sections {}
error from `readelf --wide --sections {}`: readelf: Error: Unable to find program interpreter name
    
Offset 1, 8 lines modifiedOffset 1, 8 lines modified
1 There·are·40·section·headers,·starting·at·offset·0x1df9c0:1 There·are·40·section·headers,·starting·at·offset·0x1df9b8:
  
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]·.interp···········NOBITS··········00000000000002a8·0002a8·00001b·00···A··0···0··15 ··[·1]·.interp···········NOBITS··········00000000000002a8·0002a8·00001b·00···A··0···0··1
6 ··[·2]·.note.gnu.property·NOTE············00000000000002c8·0002c8·000020·00···A··0···0··86 ··[·2]·.note.gnu.property·NOTE············00000000000002c8·0002c8·000020·00···A··0···0··8
7 ··[·3]·.note.gnu.build-id·NOTE············00000000000002e8·0002e8·000024·00···A··0···0··47 ··[·3]·.note.gnu.build-id·NOTE············00000000000002e8·0002e8·000024·00···A··0···0··4
Offset 27, 23 lines modifiedOffset 27, 23 lines modified
27 ··[22]·.data.rel.ro······NOBITS··········000000000006f5f8·00f5c8·000150·00··WA··0···0··827 ··[22]·.data.rel.ro······NOBITS··········000000000006f5f8·00f5c8·000150·00··WA··0···0··8
28 ··[23]·.dynamic··········NOBITS··········000000000006f748·00f5c8·000260·10··WA··7···0··828 ··[23]·.dynamic··········NOBITS··········000000000006f748·00f5c8·000260·10··WA··7···0··8
29 ··[24]·.got··············NOBITS··········000000000006f9a8·00f5c8·000658·08··WA··0···0··829 ··[24]·.got··············NOBITS··········000000000006f9a8·00f5c8·000658·08··WA··0···0··8
30 ··[25]·.data·············NOBITS··········0000000000070000·00f5c8·006180·00··WA··0···0··830 ··[25]·.data·············NOBITS··········0000000000070000·00f5c8·006180·00··WA··0···0··8
31 ··[26]·.bss··············NOBITS··········0000000000076180·00f5c8·000100·00··WA··0···0··831 ··[26]·.bss··············NOBITS··········0000000000076180·00f5c8·000100·00··WA··0···0··8
32 ··[27]·.comment··········PROGBITS········0000000000000000·00032c·00001e·01··MS··0···0··132 ··[27]·.comment··········PROGBITS········0000000000000000·00032c·00001e·01··MS··0···0··1
33 ··[28]·.debug_aranges····PROGBITS········0000000000000000·000350·0001b6·00···C··0···0··833 ··[28]·.debug_aranges····PROGBITS········0000000000000000·000350·0001b6·00···C··0···0··8
34 ··[29]·.debug_info·······PROGBITS········0000000000000000·000508·15482a·00···C··0···0··834 ··[29]·.debug_info·······PROGBITS········0000000000000000·000508·154824·00···C··0···0··8
35 ··[30]·.debug_abbrev·····PROGBITS········0000000000000000·154d38·0034ce·00···C··0···0··835 ··[30]·.debug_abbrev·····PROGBITS········0000000000000000·154d30·0034ce·00···C··0···0··8
36 ··[31]·.debug_line·······PROGBITS········0000000000000000·158208·00f40f·00···C··0···0··836 ··[31]·.debug_line·······PROGBITS········0000000000000000·158200·00f40f·00···C··0···0··8
37 ··[32]·.debug_str········PROGBITS········0000000000000000·167618·02f56c·01·MSC··0···0··837 ··[32]·.debug_str········PROGBITS········0000000000000000·167610·02f56a·01·MSC··0···0··8
38 ··[33]·.debug_line_str···PROGBITS········0000000000000000·196b88·000801·01·MSC··0···0··838 ··[33]·.debug_line_str···PROGBITS········0000000000000000·196b80·000801·01·MSC··0···0··8
39 ··[34]·.debug_loclists···PROGBITS········0000000000000000·197390·02fcbd·00···C··0···0··839 ··[34]·.debug_loclists···PROGBITS········0000000000000000·197388·02fcbd·00···C··0···0··8
40 ··[35]·.debug_macro······PROGBITS········0000000000000000·1c7050·00a2bd·00···C··0···0··840 ··[35]·.debug_macro······PROGBITS········0000000000000000·1c7048·00a2c0·00···C··0···0··8
41 ··[36]·.debug_rnglists···PROGBITS········0000000000000000·1d1310·007096·00···C··0···0··841 ··[36]·.debug_rnglists···PROGBITS········0000000000000000·1d1308·007096·00···C··0···0··8
42 ··[37]·.symtab···········SYMTAB··········0000000000000000·1d83a8·003420·18·····38·260··842 ··[37]·.symtab···········SYMTAB··········0000000000000000·1d83a0·003420·18·····38·260··8
43 ··[38]·.strtab···········STRTAB··········0000000000000000·1db7c8·004049·00······0···0··143 ··[38]·.strtab···········STRTAB··········0000000000000000·1db7c0·004049·00······0···0··1
44 ··[39]·.shstrtab·········STRTAB··········0000000000000000·1df811·0001a9·00······0···0··144 ··[39]·.shstrtab·········STRTAB··········0000000000000000·1df809·0001a9·00······0···0··1
45 Key·to·Flags:45 Key·to·Flags:
46 ··W·(write),·A·(alloc),·X·(execute),·M·(merge),·S·(strings),·I·(info),46 ··W·(write),·A·(alloc),·X·(execute),·M·(merge),·S·(strings),·I·(info),
47 ··L·(link·order),·O·(extra·OS·processing·required),·G·(group),·T·(TLS),47 ··L·(link·order),·O·(extra·OS·processing·required),·G·(group),·T·(TLS),
48 ··C·(compressed),·x·(unknown),·o·(OS·specific),·E·(exclude),48 ··C·(compressed),·x·(unknown),·o·(OS·specific),·E·(exclude),
49 ··D·(mbind),·p·(processor·specific)49 ··D·(mbind),·p·(processor·specific)
⊟
909 B
readelf --wide --notes {}
error from `readelf --wide --notes {}`: readelf: Error: Unable to find program interpreter name
    
Offset 1, 12 lines modifiedOffset 1, 12 lines modified
  
1 Displaying·notes·found·in:·.note.gnu.property1 Displaying·notes·found·in:·.note.gnu.property
2 ··Owner················Data·size·»  Description2 ··Owner················Data·size·»  Description
3 ··GNU··················0x00000010»  NT_GNU_PROPERTY_TYPE_0»    ······Properties:·AArch64·feature:·BTI,·PAC3 ··GNU··················0x00000010»  NT_GNU_PROPERTY_TYPE_0»    ······Properties:·AArch64·feature:·BTI,·PAC
  
4 Displaying·notes·found·in:·.note.gnu.build-id4 Displaying·notes·found·in:·.note.gnu.build-id
5 ··Owner················Data·size·»  Description5 ··Owner················Data·size·»  Description
6 ··GNU··················0x00000014»  NT_GNU_BUILD_ID·(unique·build·ID·bitstring)»   ····Build·ID:·98266b63202cc6750d333506f51cbb80702e70f56 ··GNU··················0x00000014»  NT_GNU_BUILD_ID·(unique·build·ID·bitstring)»   ····Build·ID:·6ea14a7995b85770b89f1297d6fe809981590388
  
7 Displaying·notes·found·in:·.note.ABI-tag7 Displaying·notes·found·in:·.note.ABI-tag
8 ··Owner················Data·size·»  Description8 ··Owner················Data·size·»  Description
9 ··GNU··················0x00000010»  NT_GNU_ABI_TAG·(ABI·version·tag)»     ····OS:·Linux,·ABI:·3.7.09 ··GNU··················0x00000010»  NT_GNU_ABI_TAG·(ABI·version·tag)»     ····OS:·Linux,·ABI:·3.7.0
⊟
35.8 MB
readelf --wide --debug-dump=info {}
error from `readelf --wide --debug-dump=info {}`: readelf: Error: Unable to find program interpreter name
    
Offset 8, 155 lines modifiedOffset 8, 155 lines modified
8 ···Pointer·Size:··88 ···Pointer·Size:··8
9 ·<0><c>:·Abbrev·Number:·28·(DW_TAG_partial_unit)9 ·<0><c>:·Abbrev·Number:·28·(DW_TAG_partial_unit)
10 ····<d>···DW_AT_stmt_list···:·(sec_offset)·010 ····<d>···DW_AT_stmt_list···:·(sec_offset)·0
11 ····<11>···DW_AT_comp_dir····:·(line_strp)·(offset:·0):·./obj-aarch64-linux-gnu/src/main11 ····<11>···DW_AT_comp_dir····:·(line_strp)·(offset:·0):·./obj-aarch64-linux-gnu/src/main
12 ·<1><15>:·Abbrev·Number:·18·(DW_TAG_base_type)12 ·<1><15>:·Abbrev·Number:·18·(DW_TAG_base_type)
13 ····<16>···DW_AT_byte_size···:·(data1)·113 ····<16>···DW_AT_byte_size···:·(data1)·1
14 ····<17>···DW_AT_encoding····:·(data1)·8»    (unsigned·char)14 ····<17>···DW_AT_encoding····:·(data1)·8»    (unsigned·char)
15 ····<18>···DW_AT_name········:·(strp)·(offset:·0xa340a):·unsigned·char15 ····<18>···DW_AT_name········:·(strp)·(offset:·0xa343d):·unsigned·char
16 ·<1><1c>:·Abbrev·Number:·18·(DW_TAG_base_type)16 ·<1><1c>:·Abbrev·Number:·18·(DW_TAG_base_type)
17 ····<1d>···DW_AT_byte_size···:·(data1)·217 ····<1d>···DW_AT_byte_size···:·(data1)·2
18 ····<1e>···DW_AT_encoding····:·(data1)·7»    (unsigned)18 ····<1e>···DW_AT_encoding····:·(data1)·7»    (unsigned)
19 ····<1f>···DW_AT_name········:·(strp)·(offset:·0x4a388):·short·unsigned·int19 ····<1f>···DW_AT_name········:·(strp)·(offset:·0x4a39f):·short·unsigned·int
20 ·<1><23>:·Abbrev·Number:·18·(DW_TAG_base_type)20 ·<1><23>:·Abbrev·Number:·18·(DW_TAG_base_type)
21 ····<24>···DW_AT_byte_size···:·(data1)·421 ····<24>···DW_AT_byte_size···:·(data1)·4
22 ····<25>···DW_AT_encoding····:·(data1)·7»    (unsigned)22 ····<25>···DW_AT_encoding····:·(data1)·7»    (unsigned)
23 ····<26>···DW_AT_name········:·(strp)·(offset:·0xbb53b):·unsigned·int23 ····<26>···DW_AT_name········:·(strp)·(offset:·0xbb56e):·unsigned·int
24 ·<1><2a>:·Abbrev·Number:·18·(DW_TAG_base_type)24 ·<1><2a>:·Abbrev·Number:·18·(DW_TAG_base_type)
25 ····<2b>···DW_AT_byte_size···:·(data1)·825 ····<2b>···DW_AT_byte_size···:·(data1)·8
26 ····<2c>···DW_AT_encoding····:·(data1)·7»    (unsigned)26 ····<2c>···DW_AT_encoding····:·(data1)·7»    (unsigned)
27 ····<2d>···DW_AT_name········:·(strp)·(offset:·0x7cd49):·long·unsigned·int27 ····<2d>···DW_AT_name········:·(strp)·(offset:·0x7cd60):·long·unsigned·int
28 ·<1><31>:·Abbrev·Number:·39·(DW_TAG_typedef)28 ·<1><31>:·Abbrev·Number:·39·(DW_TAG_typedef)
29 ····<32>···DW_AT_name········:·(strp)·(offset:·0xb575):·__int8_t29 ····<32>···DW_AT_name········:·(strp)·(offset:·0xb575):·__int8_t
30 ····<36>···DW_AT_decl_file···:·(data1)·3130 ····<36>···DW_AT_decl_file···:·(data1)·31
31 ····<37>···DW_AT_decl_line···:·(data1)·3731 ····<37>···DW_AT_decl_line···:·(data1)·37
32 ····<38>···DW_AT_decl_column·:·(data1)·2132 ····<38>···DW_AT_decl_column·:·(data1)·21
33 ····<39>···DW_AT_type········:·(ref_udata)·<0x3a>,·signed·char33 ····<39>···DW_AT_type········:·(ref_udata)·<0x3a>,·signed·char
34 ·<1><3a>:·Abbrev·Number:·18·(DW_TAG_base_type)34 ·<1><3a>:·Abbrev·Number:·18·(DW_TAG_base_type)
35 ····<3b>···DW_AT_byte_size···:·(data1)·135 ····<3b>···DW_AT_byte_size···:·(data1)·1
36 ····<3c>···DW_AT_encoding····:·(data1)·6»    (signed·char)36 ····<3c>···DW_AT_encoding····:·(data1)·6»    (signed·char)
37 ····<3d>···DW_AT_name········:·(strp)·(offset:·0x7154f):·signed·char37 ····<3d>···DW_AT_name········:·(strp)·(offset:·0x71566):·signed·char
38 ·<1><41>:·Abbrev·Number:·39·(DW_TAG_typedef)38 ·<1><41>:·Abbrev·Number:·39·(DW_TAG_typedef)
39 ····<42>···DW_AT_name········:·(strp)·(offset:·0x416be):·__uint8_t39 ····<42>···DW_AT_name········:·(strp)·(offset:·0x416a4):·__uint8_t
40 ····<46>···DW_AT_decl_file···:·(data1)·3140 ····<46>···DW_AT_decl_file···:·(data1)·31
41 ····<47>···DW_AT_decl_line···:·(data1)·3841 ····<47>···DW_AT_decl_line···:·(data1)·38
42 ····<48>···DW_AT_decl_column·:·(data1)·2342 ····<48>···DW_AT_decl_column·:·(data1)·23
43 ····<49>···DW_AT_type········:·(ref_udata)·<0x15>,·unsigned·char43 ····<49>···DW_AT_type········:·(ref_udata)·<0x15>,·unsigned·char
44 ·<1><4a>:·Abbrev·Number:·39·(DW_TAG_typedef)44 ·<1><4a>:·Abbrev·Number:·39·(DW_TAG_typedef)
45 ····<4b>···DW_AT_name········:·(strp)·(offset:·0xb4067):·__int16_t45 ····<4b>···DW_AT_name········:·(strp)·(offset:·0xb409a):·__int16_t
46 ····<4f>···DW_AT_decl_file···:·(data1)·3146 ····<4f>···DW_AT_decl_file···:·(data1)·31
47 ····<50>···DW_AT_decl_line···:·(data1)·3947 ····<50>···DW_AT_decl_line···:·(data1)·39
48 ····<51>···DW_AT_decl_column·:·(data1)·2648 ····<51>···DW_AT_decl_column·:·(data1)·26
49 ····<52>···DW_AT_type········:·(ref_udata)·<0x53>,·short·int49 ····<52>···DW_AT_type········:·(ref_udata)·<0x53>,·short·int
50 ·<1><53>:·Abbrev·Number:·18·(DW_TAG_base_type)50 ·<1><53>:·Abbrev·Number:·18·(DW_TAG_base_type)
51 ····<54>···DW_AT_byte_size···:·(data1)·251 ····<54>···DW_AT_byte_size···:·(data1)·2
52 ····<55>···DW_AT_encoding····:·(data1)·5»    (signed)52 ····<55>···DW_AT_encoding····:·(data1)·5»    (signed)
53 ····<56>···DW_AT_name········:·(strp)·(offset:·0x8b46a):·short·int53 ····<56>···DW_AT_name········:·(strp)·(offset:·0x8b481):·short·int
54 ·<1><5a>:·Abbrev·Number:·39·(DW_TAG_typedef)54 ·<1><5a>:·Abbrev·Number:·39·(DW_TAG_typedef)
55 ····<5b>···DW_AT_name········:·(strp)·(offset:·0xb8da4):·__uint16_t55 ····<5b>···DW_AT_name········:·(strp)·(offset:·0xb8dd7):·__uint16_t
56 ····<5f>···DW_AT_decl_file···:·(data1)·3156 ····<5f>···DW_AT_decl_file···:·(data1)·31
57 ····<60>···DW_AT_decl_line···:·(data1)·4057 ····<60>···DW_AT_decl_line···:·(data1)·40
58 ····<61>···DW_AT_decl_column·:·(data1)·2858 ····<61>···DW_AT_decl_column·:·(data1)·28
59 ····<62>···DW_AT_type········:·(ref_udata)·<0x1c>,·short·unsigned·int59 ····<62>···DW_AT_type········:·(ref_udata)·<0x1c>,·short·unsigned·int
60 ·<1><63>:·Abbrev·Number:·39·(DW_TAG_typedef)60 ·<1><63>:·Abbrev·Number:·39·(DW_TAG_typedef)
61 ····<64>···DW_AT_name········:·(strp)·(offset:·0x8b29e):·__int32_t61 ····<64>···DW_AT_name········:·(strp)·(offset:·0x8b2b5):·__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:·0x8fcb0):·__uint32_t73 ····<76>···DW_AT_name········:·(strp)·(offset:·0x8fcc7):·__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:·0x63a73):·__int64_t79 ····<7f>···DW_AT_name········:·(strp)·(offset:·0x63a8a):·__int64_t
80 ····<83>···DW_AT_decl_file···:·(data1)·3180 ····<83>···DW_AT_decl_file···:·(data1)·31
81 ····<84>···DW_AT_decl_line···:·(data1)·4481 ····<84>···DW_AT_decl_line···:·(data1)·44
82 ····<85>···DW_AT_decl_column·:·(data1)·2582 ····<85>···DW_AT_decl_column·:·(data1)·25
83 ····<86>···DW_AT_type········:·(ref_udata)·<0x88>,·long·int83 ····<86>···DW_AT_type········:·(ref_udata)·<0x88>,·long·int
84 ·<1><88>:·Abbrev·Number:·18·(DW_TAG_base_type)84 ·<1><88>:·Abbrev·Number:·18·(DW_TAG_base_type)
85 ····<89>···DW_AT_byte_size···:·(data1)·885 ····<89>···DW_AT_byte_size···:·(data1)·8
86 ····<8a>···DW_AT_encoding····:·(data1)·5»    (signed)86 ····<8a>···DW_AT_encoding····:·(data1)·5»    (signed)
87 ····<8b>···DW_AT_name········:·(strp)·(offset:·0xfe12):·long·int87 ····<8b>···DW_AT_name········:·(strp)·(offset:·0xfe12):·long·int
88 ·<1><8f>:·Abbrev·Number:·39·(DW_TAG_typedef)88 ·<1><8f>:·Abbrev·Number:·39·(DW_TAG_typedef)
89 ····<90>···DW_AT_name········:·(strp)·(offset:·0x68937):·__uint64_t89 ····<90>···DW_AT_name········:·(strp)·(offset:·0x6894e):·__uint64_t
90 ····<94>···DW_AT_decl_file···:·(data1)·3190 ····<94>···DW_AT_decl_file···:·(data1)·31
91 ····<95>···DW_AT_decl_line···:·(data1)·4591 ····<95>···DW_AT_decl_line···:·(data1)·45
92 ····<96>···DW_AT_decl_column·:·(data1)·2792 ····<96>···DW_AT_decl_column·:·(data1)·27
93 ····<97>···DW_AT_type········:·(ref_udata)·<0x2a>,·long·unsigned·int93 ····<97>···DW_AT_type········:·(ref_udata)·<0x2a>,·long·unsigned·int
94 ·<1><98>:·Abbrev·Number:·39·(DW_TAG_typedef)94 ·<1><98>:·Abbrev·Number:·39·(DW_TAG_typedef)
95 ····<99>···DW_AT_name········:·(strp)·(offset:·0x59fa0):·__int_least8_t95 ····<99>···DW_AT_name········:·(strp)·(offset:·0x59fb7):·__int_least8_t
96 ····<9d>···DW_AT_decl_file···:·(data1)·3196 ····<9d>···DW_AT_decl_file···:·(data1)·31
97 ····<9e>···DW_AT_decl_line···:·(data1)·5297 ····<9e>···DW_AT_decl_line···:·(data1)·52
98 ····<9f>···DW_AT_decl_column·:·(data1)·1898 ····<9f>···DW_AT_decl_column·:·(data1)·18
99 ····<a0>···DW_AT_type········:·(ref_udata)·<0x31>,·__int8_t,·signed·char99 ····<a0>···DW_AT_type········:·(ref_udata)·<0x31>,·__int8_t,·signed·char
100 ·<1><a1>:·Abbrev·Number:·39·(DW_TAG_typedef)100 ·<1><a1>:·Abbrev·Number:·39·(DW_TAG_typedef)
101 ····<a2>···DW_AT_name········:·(strp)·(offset:·0x5ff65):·__uint_least8_t101 ····<a2>···DW_AT_name········:·(strp)·(offset:·0x5ff7c):·__uint_least8_t
102 ····<a6>···DW_AT_decl_file···:·(data1)·31102 ····<a6>···DW_AT_decl_file···:·(data1)·31
103 ····<a7>···DW_AT_decl_line···:·(data1)·53103 ····<a7>···DW_AT_decl_line···:·(data1)·53
104 ····<a8>···DW_AT_decl_column·:·(data1)·19104 ····<a8>···DW_AT_decl_column·:·(data1)·19
105 ····<a9>···DW_AT_type········:·(ref_udata)·<0x41>,·__uint8_t,·unsigned·char105 ····<a9>···DW_AT_type········:·(ref_udata)·<0x41>,·__uint8_t,·unsigned·char
106 ·<1><aa>:·Abbrev·Number:·39·(DW_TAG_typedef)106 ·<1><aa>:·Abbrev·Number:·39·(DW_TAG_typedef)
107 ····<ab>···DW_AT_name········:·(strp)·(offset:·0x7fe65):·__int_least16_t107 ····<ab>···DW_AT_name········:·(strp)·(offset:·0x7fe7c):·__int_least16_t
108 ····<af>···DW_AT_decl_file···:·(data1)·31108 ····<af>···DW_AT_decl_file···:·(data1)·31
109 ····<b0>···DW_AT_decl_line···:·(data1)·54109 ····<b0>···DW_AT_decl_line···:·(data1)·54
110 ····<b1>···DW_AT_decl_column·:·(data1)·19110 ····<b1>···DW_AT_decl_column·:·(data1)·19
111 ····<b2>···DW_AT_type········:·(ref_udata)·<0x4a>,·__int16_t,·short·int111 ····<b2>···DW_AT_type········:·(ref_udata)·<0x4a>,·__int16_t,·short·int
112 ·<1><b3>:·Abbrev·Number:·39·(DW_TAG_typedef)112 ·<1><b3>:·Abbrev·Number:·39·(DW_TAG_typedef)
113 ····<b4>···DW_AT_name········:·(strp)·(offset:·0x10d65):·__uint_least16_t113 ····<b4>···DW_AT_name········:·(strp)·(offset:·0x10d65):·__uint_least16_t
114 ····<b8>···DW_AT_decl_file···:·(data1)·31114 ····<b8>···DW_AT_decl_file···:·(data1)·31
115 ····<b9>···DW_AT_decl_line···:·(data1)·55115 ····<b9>···DW_AT_decl_line···:·(data1)·55
116 ····<ba>···DW_AT_decl_column·:·(data1)·20116 ····<ba>···DW_AT_decl_column·:·(data1)·20
117 ····<bb>···DW_AT_type········:·(ref_udata)·<0x5a>,·__uint16_t,·short·unsigned·int117 ····<bb>···DW_AT_type········:·(ref_udata)·<0x5a>,·__uint16_t,·short·unsigned·int
118 ·<1><bc>:·Abbrev·Number:·39·(DW_TAG_typedef)118 ·<1><bc>:·Abbrev·Number:·39·(DW_TAG_typedef)
119 ····<bd>···DW_AT_name········:·(strp)·(offset:·0x56f98):·__int_least32_t119 ····<bd>···DW_AT_name········:·(strp)·(offset:·0x56faf):·__int_least32_t
120 ····<c1>···DW_AT_decl_file···:·(data1)·31120 ····<c1>···DW_AT_decl_file···:·(data1)·31
121 ····<c2>···DW_AT_decl_line···:·(data1)·56121 ····<c2>···DW_AT_decl_line···:·(data1)·56
122 ····<c3>···DW_AT_decl_column·:·(data1)·19122 ····<c3>···DW_AT_decl_column·:·(data1)·19
123 ····<c4>···DW_AT_type········:·(ref_udata)·<0x63>,·__int32_t,·int123 ····<c4>···DW_AT_type········:·(ref_udata)·<0x63>,·__int32_t,·int
124 ·<1><c5>:·Abbrev·Number:·39·(DW_TAG_typedef)124 ·<1><c5>:·Abbrev·Number:·39·(DW_TAG_typedef)
125 ····<c6>···DW_AT_name········:·(strp)·(offset:·0xcaa9d):·__uint_least32_t125 ····<c6>···DW_AT_name········:·(strp)·(offset:·0xcaa83):·__uint_least32_t
126 ····<ca>···DW_AT_decl_file···:·(data1)·31126 ····<ca>···DW_AT_decl_file···:·(data1)·31
127 ····<cb>···DW_AT_decl_line···:·(data1)·57127 ····<cb>···DW_AT_decl_line···:·(data1)·57
128 ····<cc>···DW_AT_decl_column·:·(data1)·20128 ····<cc>···DW_AT_decl_column·:·(data1)·20
129 ····<cd>···DW_AT_type········:·(ref_udata)·<0x75>,·__uint32_t,·unsigned·int129 ····<cd>···DW_AT_type········:·(ref_udata)·<0x75>,·__uint32_t,·unsigned·int
130 ·<1><ce>:·Abbrev·Number:·39·(DW_TAG_typedef)130 ·<1><ce>:·Abbrev·Number:·39·(DW_TAG_typedef)
131 ····<cf>···DW_AT_name········:·(strp)·(offset:·0x2ef45):·__int_least64_t131 ····<cf>···DW_AT_name········:·(strp)·(offset:·0x2ef2b):·__int_least64_t
132 ····<d3>···DW_AT_decl_file···:·(data1)·31132 ····<d3>···DW_AT_decl_file···:·(data1)·31
133 ····<d4>···DW_AT_decl_line···:·(data1)·58133 ····<d4>···DW_AT_decl_line···:·(data1)·58
134 ····<d5>···DW_AT_decl_column·:·(data1)·19134 ····<d5>···DW_AT_decl_column·:·(data1)·19
Max diff block lines reached; 37479067/37487174 bytes (99.98%) of diff not shown.
⊟
2.11 KB
readelf --wide --debug-dump=macro {}
error from `readelf --wide --debug-dump=macro {}`: readelf: Error: Unable to find program interpreter name
    
Offset 1774, 16 lines modifiedOffset 1774, 16 lines modified
1774 ·DW_MACRO_define_strp·-·lineno·:·0·macro·:·_GNU_SOURCE·11774 ·DW_MACRO_define_strp·-·lineno·:·0·macro·:·_GNU_SOURCE·1
1775 ·DW_MACRO_define_strp·-·lineno·:·0·macro·:·CVC5_STATISTICS_ON·11775 ·DW_MACRO_define_strp·-·lineno·:·0·macro·:·CVC5_STATISTICS_ON·1
1776 ·DW_MACRO_define_strp·-·lineno·:·0·macro·:·CVC5_USE_CRYPTOMINISAT·11776 ·DW_MACRO_define_strp·-·lineno·:·0·macro·:·CVC5_USE_CRYPTOMINISAT·1
1777 ·DW_MACRO_define_strp·-·lineno·:·0·macro·:·NDEBUG·11777 ·DW_MACRO_define_strp·-·lineno·:·0·macro·:·NDEBUG·1
1778 ·DW_MACRO_define_strp·-·lineno·:·0·macro·:·__BUILDING_CVC5DRIVER·11778 ·DW_MACRO_define_strp·-·lineno·:·0·macro·:·__BUILDING_CVC5DRIVER·1
1779 ·DW_MACRO_define_strp·-·lineno·:·0·macro·:·cvc5_obj_EXPORTS·11779 ·DW_MACRO_define_strp·-·lineno·:·0·macro·:·cvc5_obj_EXPORTS·1
1780 ·DW_MACRO_define_strp·-·lineno·:·0·macro·:·_FORTIFY_SOURCE·21780 ·DW_MACRO_define_strp·-·lineno·:·0·macro·:·_FORTIFY_SOURCE·2
1781 ·DW_MACRO_define_strp·-·lineno·:·0·macro·:·DEB_BUILD_DATE·"2024-03-18"1781 ·DW_MACRO_define_strp·-·lineno·:·0·macro·:·DEB_BUILD_DATE·"2024-03-19"
1782 ·DW_MACRO_define_strp·-·lineno·:·0·macro·:·DEB_BUILD_TIME·"12:06:23"1782 ·DW_MACRO_define_strp·-·lineno·:·0·macro·:·DEB_BUILD_TIME·"14:06:23"
  
1783 ··Offset:······················0x1daf1783 ··Offset:······················0x1daf
1784 ··Version:·····················51784 ··Version:·····················5
1785 ··Offset·size:·················41785 ··Offset·size:·················4
  
1786 ·DW_MACRO_define_strp·-·lineno·:·19·macro·:·_STDC_PREDEF_H·11786 ·DW_MACRO_define_strp·-·lineno·:·19·macro·:·_STDC_PREDEF_H·1
1787 ·DW_MACRO_define_strp·-·lineno·:·38·macro·:·__STDC_IEC_559__·11787 ·DW_MACRO_define_strp·-·lineno·:·38·macro·:·__STDC_IEC_559__·1
Offset 14102, 16 lines modifiedOffset 14102, 16 lines modified
14102 ·DW_MACRO_define_strp·-·lineno·:·0·macro·:·_GNU_SOURCE·114102 ·DW_MACRO_define_strp·-·lineno·:·0·macro·:·_GNU_SOURCE·1
14103 ·DW_MACRO_define_strp·-·lineno·:·0·macro·:·CVC5_STATISTICS_ON·114103 ·DW_MACRO_define_strp·-·lineno·:·0·macro·:·CVC5_STATISTICS_ON·1
14104 ·DW_MACRO_define_strp·-·lineno·:·0·macro·:·CVC5_USE_CRYPTOMINISAT·114104 ·DW_MACRO_define_strp·-·lineno·:·0·macro·:·CVC5_USE_CRYPTOMINISAT·1
14105 ·DW_MACRO_define_strp·-·lineno·:·0·macro·:·NDEBUG·114105 ·DW_MACRO_define_strp·-·lineno·:·0·macro·:·NDEBUG·1
14106 ·DW_MACRO_define_strp·-·lineno·:·0·macro·:·__BUILDING_CVC5DRIVER·114106 ·DW_MACRO_define_strp·-·lineno·:·0·macro·:·__BUILDING_CVC5DRIVER·1
14107 ·DW_MACRO_define_strp·-·lineno·:·0·macro·:·cvc5_obj_EXPORTS·114107 ·DW_MACRO_define_strp·-·lineno·:·0·macro·:·cvc5_obj_EXPORTS·1
14108 ·DW_MACRO_define_strp·-·lineno·:·0·macro·:·_FORTIFY_SOURCE·214108 ·DW_MACRO_define_strp·-·lineno·:·0·macro·:·_FORTIFY_SOURCE·2
14109 ·DW_MACRO_define_strp·-·lineno·:·0·macro·:·DEB_BUILD_DATE·"2024-03-18"14109 ·DW_MACRO_define_strp·-·lineno·:·0·macro·:·DEB_BUILD_DATE·"2024-03-19"
14110 ·DW_MACRO_define_strp·-·lineno·:·0·macro·:·DEB_BUILD_TIME·"12:06:23"14110 ·DW_MACRO_define_strp·-·lineno·:·0·macro·:·DEB_BUILD_TIME·"14:06:23"
  
14111 ··Offset:······················0x131ec14111 ··Offset:······················0x131ec
14112 ··Version:·····················514112 ··Version:·····················5
14113 ··Offset·size:·················414113 ··Offset·size:·················4
  
14114 ·DW_MACRO_define_strp·-·lineno·:·35·macro·:·RLIMIT_CPU·RLIMIT_CPU14114 ·DW_MACRO_define_strp·-·lineno·:·35·macro·:·RLIMIT_CPU·RLIMIT_CPU
14115 ·DW_MACRO_define_strp·-·lineno·:·39·macro·:·RLIMIT_FSIZE·RLIMIT_FSIZE14115 ·DW_MACRO_define_strp·-·lineno·:·39·macro·:·RLIMIT_FSIZE·RLIMIT_FSIZE
⊟
8.31 KB
strings --all --bytes=8 {}
    
Offset 1, 388 lines modifiedOffset 1, 394 lines modified
1 GCC:·(Debian·14.2.0-6)·14.2.01 GCC:·(Debian·14.2.0-6)·14.2.0
2 -.FY"n@9O< 
3 <}ybT3dv 
4 au#aS#aG# 
5 rVd+"!sl42 
6 P$!!Z7dqapE! 
7 ?4F!?u"D 
8 v!f·!~ij 
9 Y;>c.P!:6TB 
10 X&BX},K\ 
11 -^J,DhoQ 
12 !?u"D,:P 
13 y/q>@"Dn 
14 @M-rlwuLz 
15 8G|:[z:[<? 
16 q_`rs6B-e 
17 IW.@dRrR5 
18 m_KY]g{V 
19 5-^ZZsCM>w 
20 .W.g·*7c 
21 rHy0&=z: 
22 qv>.@H·O 
23 kh.>4LQN! 
24 )dL:_qnz 
25 wC%W;p\F 
26 $o~7=Z+u 
27 -4tg0VN% 
28 GxsZL"NI 
29 .-=»    g'»  .S2 )-BY"mD9G
 3 ViJ5>:Q*
 4 >V»     F*|'I8l
 5 n26KN)`1
 6 ZB'H_]jZQj
 7 '·*"*"(6
 8 1DJ]"DJ]
 9 m|[Nic46A
 10 sW"DZ'vv
 11 .)@^gH#\
 12 |$3Z"Df$
 13 N!&#!~[d
 14 !?u"DF#%LX>
 15 [}RD!*\@
 16 5a+g(!B\BG
 17 Y$D@f0.D
 18 $+-s}uP»
 19 PV2NzMKN|
 20 }=2$e$Yp
 21 vbVJjJIY
 22 6FEb|M(7
 23 FY.$cGe<
 24 6\9"o%-Jb
 25 XhF!}Mc*A
 26 <,xt0['dx
 27 wC%{:r\f
 28 jEk;naRiKGT;
 29 ~~;M<aTQ
 30 "Xn`bK3<
 31 cmA»    )t_.
 32 c2GUQ#(a
 33 V}3(!j» 2
 34 6u&gKVwFp
 35 R},j;&nW
 36 4~H|R.y?
 37 xBVg&C;Y#
30 x760zw+>38 x760zg+>
 39 ;ZxjFS:E}
 40 XeY]G7btp+
 41 wC)94Sb>
 42 7A=vA+Yi
 43 nA];p?KV
 44 XQp:»   O'J`
 45 n;!#hVC*n
 46 e/F%·_*!+KY
 47 ~5$#ZsP)»       
 48 »       ;sa,gXg
 49 jL}87[AEa
 50 u(Yg#!'#-d
 51 =Tc3?RF+=
 52 YYI-?Z+e_|
 53 .#U2;F%]
 54 N3BX`9<S
 55 r6U+=d]}
 56 >PzRs=U-
 57 r?53ES|`
 58 4Xu<`-!B
 59 N3a"D'Fx&LE
31 -d5»    [M4o& 
32 AZO$9mqr 
33 Qd$J*.3Yw 
34 4r9M4:]u 
35 1@X%YP^Vm 
36 g%4\cY]Q 
37 aG~bC~%v 
38 !J"DI.7A6 
39 fa·Ko5AV 
40 $a]_.&~%L?R" 
41 7ns9»   /g1 
42 F»      d/nRhj 
43 ZB+Nie~* 
44 3@VWgCkz` 
45 Vie$[qSA 
46 1UqV»   Pa# 
47 p@o'KzVf 
48 MY&>K)B>x 
49 vsaUO·)&v 
50 h#$@O_Gy 
51 hp9Ze{b} 
52 S%3-[.0d 
53 O?mD>YD> 
54 jPk4]K\E 
55 p')f#|VS& 
56 j^/>`Sjd4qv60 j~o>`Sjd4qv
 61 NQ{Sf,BGM
 62 }#q!O-fo
 63 _x(»    %8NW
 64 ,_g>7"EW
 65 2a+@6G2&
 66 vc8/9.!w
 67 %ww7IJ{F
 68 XW^\sN--EZ
 69 [V/qQPK(
 70 GvAUIJkeux_
 71 0ST9E?!?7K+
 72 B=E5o5E,
 73 _oOs#Frp
 74 7p-A[Y|d[4
 75 $rP~k>e{Q
Max diff block lines reached; 3397/8457 bytes (40.17%) of diff not shown.
⊟
1.62 MB
readelf --wide --decompress --string-dump=.debug_str {}
error from `readelf --wide --decompress --string-dump=.debug_str {}`: readelf: Error: Unable to find program interpreter name
    
Offset 2187, 11003 lines modifiedOffset 2187, 11003 lines modified
2187 ··[·221b1]··_____fpos_t_defined·12187 ··[·221b1]··_____fpos_t_defined·1
2188 ··[·221c7]··__normal_iterator<unsigned·int*,·std::vector<unsigned·int,·std::allocator<unsigned·int>·>·>2188 ··[·221c7]··__normal_iterator<unsigned·int*,·std::vector<unsigned·int,·std::allocator<unsigned·int>·>·>
2189 ··[·22223]··_ZNK4cvc56Result6isNullEv2189 ··[·22223]··_ZNK4cvc56Result6isNullEv
2190 ··[·2223d]··_ZNKSt10unique_ptrIN4cvc58internal7options13HolderPRINTERESt14default_deleteIS3_EE11get_deleterEv2190 ··[·2223d]··_ZNKSt10unique_ptrIN4cvc58internal7options13HolderPRINTERESt14default_deleteIS3_EE11get_deleterEv
2191 ··[·2229f]··_ZNKSt8_Rb_treeIN4cvc54TermES1_St9_IdentityIS1_ESt4lessIS1_ESaIS1_EE8max_sizeEv2191 ··[·2229f]··_ZNKSt8_Rb_treeIN4cvc54TermES1_St9_IdentityIS1_ESt4lessIS1_ESaIS1_EE8max_sizeEv
2192 ··[·222ef]··_ZNSt3mapIN4cvc54TermENSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEESt4lessIS1_ESaISt4pairIKS1_S7_EEE11upper_boundERSB_2192 ··[·222ef]··_ZNSt3mapIN4cvc54TermENSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEESt4lessIS1_ESaISt4pairIKS1_S7_EEE11upper_boundERSB_
Diff chunk too large, falling back to line-by-line diff (10989 lines added, 10989 lines removed)
2193 ··[·2236d]··_ZNSt22_Optional_payload_baseIlEC4EOS0_2193 ··[·2236d]··_ZNSt22_Optional_payload_baseIlEC4EOS0_
2194 ··[·22395]··DEB_BUILD_TIME·"12:06:23"2194 ··[·22395]··_SC_V7_LP64_OFF64·_SC_V7_LP64_OFF64
2195 ··[·223af]··_SC_V7_LP64_OFF64·_SC_V7_LP64_OFF642195 ··[·223b9]··CLOCK_MONOTONIC_COARSE·6
2196 ··[·223d3]··CLOCK_MONOTONIC_COARSE·62196 ··[·223d2]··_GLIBCXX_HAVE_SYS_STAT_H·1
2197 ··[·223ec]··_GLIBCXX_HAVE_SYS_STAT_H·12197 ··[·223ed]··_ZNSt13_Rb_tree_nodeISt4pairINSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEEmEE9_M_valptrEv
2198 ··[·22407]··_ZNSt13_Rb_tree_nodeISt4pairINSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEEmEE9_M_valptrEv2198 ··[·2244e]··__cpp_rvalue_reference·200610L
2199 ··[·22468]··__cpp_rvalue_reference·200610L2199 ··[·2246d]··_ZNKSt14default_deleteIN4cvc56parser13SymbolManagerEEclEPS2_
2200 ··[·22487]··_ZNKSt14default_deleteIN4cvc56parser13SymbolManagerEEclEPS2_2200 ··[·224aa]··d_sep
2201 ··[·224c4]··d_sep2201 ··[·224b0]··_ZNSt12_Vector_baseIN4cvc54TermESaIS1_EE12_Vector_implC4EOS2_OS4_
2202 ··[·224ca]··_ZNSt12_Vector_baseIN4cvc54TermESaIS1_EE12_Vector_implC4EOS2_OS4_2202 ··[·224f2]··__try·try
2203 ··[·2250c]··__try·try2203 ··[·224fc]··_ZNSt14default_deleteIN4cvc58internal7options12HolderPARSEREEC4Ev
2204 ··[·22516]··_ZNSt14default_deleteIN4cvc58internal7options12HolderPARSEREEC4Ev2204 ··[·2253e]··isSequenceValue
2205 ··[·22558]··isSequenceValue2205 ··[·2254e]··_ZNSt6vectorISt4pairINSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEES6_ESaIS7_EEC4EOS9_RKS8_
2206 ··[·22568]··_ZNSt6vectorISt4pairINSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEES6_ESaIS7_EEC4EOS9_RKS8_2206 ··[·225b0]··__CPU_FREE(cpuset)·__sched_cpufree·(cpuset)
2207 ··[·225ca]··__CPU_FREE(cpuset)·__sched_cpufree·(cpuset)2207 ··[·225dc]··__glibcxx_want_smart_ptr_for_overwrite
2208 ··[·225f6]··__glibcxx_want_smart_ptr_for_overwrite2208 ··[·22603]··_ZNSt15__uniq_ptr_dataIN4cvc58internal3smt16UnsatCoreManagerESt14default_deleteIS3_ELb1ELb1EEaSEOS6_
2209 ··[·2261d]··_ZNSt15__uniq_ptr_dataIN4cvc58internal3smt16UnsatCoreManagerESt14default_deleteIS3_ELb1ELb1EEaSEOS6_2209 ··[·22668]··_ZNSt11_Tuple_implILm0EJPN4cvc58internal7options10HolderSETSESt14default_deleteIS3_EEE7_M_swapERS7_
2210 ··[·22682]··_ZNSt11_Tuple_implILm0EJPN4cvc58internal7options10HolderSETSESt14default_deleteIS3_EEE7_M_swapERS7_2210 ··[·226cc]··_ZNK4cvc512DatatypeDecl12isNullHelperEv
2211 ··[·226e6]··_ZNK4cvc512DatatypeDecl12isNullHelperEv2211 ··[·226f4]··_ZNSt12_Vector_baseIN4cvc516DatatypeSelectorESaIS1_EE19_M_get_Tp_allocatorEv
2212 ··[·2270e]··_ZNSt12_Vector_baseIN4cvc516DatatypeSelectorESaIS1_EE19_M_get_Tp_allocatorEv2212 ··[·22741]··_ZNSt8_Rb_treeINSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEESt4pairIKS5_N4cvc54StatEESt10_Select1stISA_ESt4lessIS5_ESaISA_EE14_M_move_assignERSG_St17integral_constantIbLb1EE
2213 ··[·2275b]··_ZNSt8_Rb_treeINSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEESt4pairIKS5_N4cvc54StatEESt10_Select1stISA_ESt4lessIS5_ESaISA_EE14_M_move_assignERSG_St17integral_constantIbLb1EE2213 ··[·227f6]··_M_erase_at_end
2214 ··[·22810]··_M_erase_at_end2214 ··[·22806]··_ZNSt11_Tuple_implILm1EJSt14default_deleteIN4cvc58internal7options12HolderDRIVEREEEE7_M_swapERS6_
2215 ··[·22820]··_ZNSt11_Tuple_implILm1EJSt14default_deleteIN4cvc58internal7options12HolderDRIVEREEEE7_M_swapERS6_2215 ··[·22868]··_ZNKSt6vectorIjSaIjEE4dataEv
2216 ··[·22882]··_ZNKSt6vectorIjSaIjEE4dataEv2216 ··[·22885]··_ZNK9__gnu_cxx17__normal_iteratorIPKNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEESt6vectorIS6_SaIS6_EEEptEv
2217 ··[·2289f]··_ZNK9__gnu_cxx17__normal_iteratorIPKNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEESt6vectorIS6_SaIS6_EEEptEv2217 ··[·228f8]··__UINT_LEAST32_MAX__·0xffffffffU
2218 ··[·22912]··__UINT_LEAST32_MAX__·0xffffffffU2218 ··[·22919]··_ZNSaISt13_Rb_tree_nodeISt4pairINSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEEmEEEC4Ev
2219 ··[·22933]··_ZNSaISt13_Rb_tree_nodeISt4pairINSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEEmEEEC4Ev2219 ··[·22976]··Trace(tag)·cvc5::internal::__cvc5_true()·?·cvc5::internal::nullStream·:·cvc5::internal::TraceChannel()
2220 ··[·22990]··Trace(tag)·cvc5::internal::__cvc5_true()·?·cvc5::internal::nullStream·:·cvc5::internal::TraceChannel()2220 ··[·229dd]··allocator_traits<std::allocator<char>·>
2221 ··[·229f7]··allocator_traits<std::allocator<char>·>2221 ··[·22a05]··_ZNKSt10unique_ptrIN4cvc58internal7options9HolderSEPESt14default_deleteIS3_EEcvbEv
2222 ··[·22a1f]··_ZNKSt10unique_ptrIN4cvc58internal7options9HolderSEPESt14default_deleteIS3_EEcvbEv2222 ··[·22a58]··_ZNSt6vectorIbSaIbEE4flipEv
2223 ··[·22a72]··_ZNSt6vectorIbSaIbEE4flipEv2223 ··[·22a74]··_ZNSt5tupleIJPN4cvc58internal7options8HolderBVESt14default_deleteIS3_EEE4swapERS7_
2224 ··[·22a8e]··_ZNSt5tupleIJPN4cvc58internal7options8HolderBVESt14default_deleteIS3_EEE4swapERS7_2224 ··[·22ac7]··__need___va_list
2225 ··[·22ae1]··__need___va_list2225 ··[·22ad8]··_GLIBCXX_TXN_SAFE_DYN·
2226 ··[·22af2]··_GLIBCXX_TXN_SAFE_DYN·2226 ··[·22aef]··__gthrw(name)·__gthrw2(__gthrw_·##·name,name,name)
2227 ··[·22b09]··__gthrw(name)·__gthrw2(__gthrw_·##·name,name,name)2227 ··[·22b22]··_ZNSt19_Bit_const_iteratorC4ERKSt13_Bit_iterator
2228 ··[·22b3c]··_ZNSt19_Bit_const_iteratorC4ERKSt13_Bit_iterator2228 ··[·22b53]··_ZNSt3mapINSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEEN4cvc54StatESt4lessIS5_ESaISt4pairIKS5_S7_EEEC4ESt16initializer_listISC_ERKS9_RKSD_
2229 ··[·22b6d]··_ZNSt3mapINSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEEN4cvc54StatESt4lessIS5_ESaISt4pairIKS5_S7_EEEC4ESt16initializer_listISC_ERKS9_RKSD_2229 ··[·22be5]··_ZNKSt19_Optional_base_implIlSt14_Optional_baseIlLb1ELb1EEE6_M_getEv
2230 ··[·22bff]··_ZNKSt19_Optional_base_implIlSt14_Optional_baseIlLb1ELb1EEE6_M_getEv2230 ··[·22c2a]··d_bv
2231 ··[·22c44]··d_bv2231 ··[·22c2f]··EXISTS
2232 ··[·22c49]··EXISTS2232 ··[·22c36]··_ZNKSt6vectorIbSaIbEE7crbeginEv
2233 ··[·22c50]··_ZNKSt6vectorIbSaIbEE7crbeginEv2233 ··[·22c56]··_ZNSt6vectorIN4cvc54main15PortfolioConfigESaIS2_EEC4EmRKS2_RKS3_
2234 ··[·22c70]··_ZNSt6vectorIN4cvc54main15PortfolioConfigESaIS2_EEC4EmRKS2_RKS3_2234 ··[·22c97]··_SC_JOB_CONTROL·_SC_JOB_CONTROL
2235 ··[·22cb1]··_SC_JOB_CONTROL·_SC_JOB_CONTROL2235 ··[·22cb7]··__glibcxx_want_execution
2236 ··[·22cd1]··__glibcxx_want_execution2236 ··[·22cd0]··_ZNSt6vectorIN4cvc523DatatypeConstructorDeclESaIS1_EE4rendEv
2237 ··[·22cea]··_ZNSt6vectorIN4cvc523DatatypeConstructorDeclESaIS1_EE4rendEv2237 ··[·22d0d]··__INO_T_TYPE·__ULONGWORD_TYPE
2238 ··[·22d27]··__INO_T_TYPE·__ULONGWORD_TYPE2238 ··[·22d2b]··__dat
2239 ··[·22d45]··__dat2239 ··[·22d31]··__LC_MEASUREMENT·11
2240 ··[·22d4b]··__LC_MEASUREMENT·112240 ··[·22d45]··__in_chrg
2241 ··[·22d5f]··__in_chrg2241 ··[·22d4f]··_ZNSt11_Tuple_implILm1EJSt14default_deleteIN4cvc58internal7options8HolderFPEEEEC4Ev
2242 ··[·22d69]··_ZNSt11_Tuple_implILm1EJSt14default_deleteIN4cvc58internal7options8HolderFPEEEEC4Ev2242 ··[·22da3]··_Tuple_impl<0,·cvc5::internal::options::HolderSMT*,·std::default_delete<cvc5::internal::options::HolderSMT>·>
2243 ··[·22dbd]··_Tuple_impl<0,·cvc5::internal::options::HolderSMT*,·std::default_delete<cvc5::internal::options::HolderSMT>·>2243 ··[·22e11]··_Arg
2244 ··[·22e2b]··_Arg2244 ··[·22e16]··_PSTL_PRAGMA_LOCATION·"·[Parallel·STL·message]:·"
2245 ··[·22e30]··_PSTL_PRAGMA_LOCATION·"·[Parallel·STL·message]:·"2245 ··[·22e48]··__STDC_UTF_32__·1
2246 ··[·22e62]··__STDC_UTF_32__·12246 ··[·22e5a]··__glibcxx_want_optional·
2247 ··[·22e74]··__glibcxx_want_optional·2247 ··[·22e73]··_ZNSt15__uniq_ptr_implIN4cvc58internal3smt19ResourceOutListenerESt14default_deleteIS3_EEaSEOS6_
2248 ··[·22e8d]··_ZNSt15__uniq_ptr_implIN4cvc58internal3smt19ResourceOutListenerESt14default_deleteIS3_EEaSEOS6_2248 ··[·22ed3]··__uniq_ptr_data<cvc5::internal::options::HolderSEP,·std::default_delete<cvc5::internal::options::HolderSEP>,·true,·true>
2249 ··[·22eed]··__uniq_ptr_data<cvc5::internal::options::HolderSEP,·std::default_delete<cvc5::internal::options::HolderSEP>,·true,·true>2249 ··[·22f4c]··add_lvalue_reference<cvc5::internal::smt::SmtSolver>
2250 ··[·22f66]··add_lvalue_reference<cvc5::internal::smt::SmtSolver>2250 ··[·22f81]··__glibcxx_no_dangling_refs(_U1,_U2)·
2251 ··[·22f9b]··__glibcxx_no_dangling_refs(_U1,_U2)·2251 ··[·22fa6]··long·double
2252 ··[·22fc0]··long·double2252 ··[·22fb2]··_ZNSt4pairISt23_Rb_tree_const_iteratorIS_INSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEEmEEbEC4ERKS9_
2253 ··[·22fcc]··_ZNSt4pairISt23_Rb_tree_const_iteratorIS_INSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEEmEEbEC4ERKS9_2253 ··[·2301e]··_ZNSt15__uniq_ptr_dataIN4cvc58internal7options14HolderPARALLELESt14default_deleteIS3_ELb1ELb1EEC4EOS6_
2254 ··[·23038]··_ZNSt15__uniq_ptr_dataIN4cvc58internal7options14HolderPARALLELESt14default_deleteIS3_ELb1ELb1EEC4EOS6_2254 ··[·23085]··_ZNSt11_Tuple_implILm0EJPN4cvc58internal3smt11SygusSolverESt14default_deleteIS3_EEE7_M_tailERS7_
2255 ··[·2309f]··_ZNSt11_Tuple_implILm0EJPN4cvc58internal3smt11SygusSolverESt14default_deleteIS3_EEE7_M_tailERS7_2255 ··[·230e6]··_ZNSt11char_traitsIwE7compareEPKwS2_m
2256 ··[·23100]··_ZNSt11char_traitsIwE7compareEPKwS2_m2256 ··[·2310c]··_ZNKSt8optionalImE9has_valueEv
2257 ··[·23126]··_ZNKSt8optionalImE9has_valueEv2257 ··[·2312b]··__uniq_ptr_data<cvc5::internal::smt::ContextManager,·std::default_delete<cvc5::internal::smt::ContextManager>,·true,·true>
2258 ··[·23145]··__uniq_ptr_data<cvc5::internal::smt::ContextManager,·std::default_delete<cvc5::internal::smt::ContextManager>,·true,·true>2258 ··[·231a6]··_GLIBCXX_USE_CHMOD·1
2259 ··[·231c0]··_GLIBCXX_USE_CHMOD·12259 ··[·231bb]··_GLIBCXX_USE_ASSIGN_FOR_INIT(T,U)·__is_trivial(T)·&&·__is_assignable(T&,·U)·&&·std::__check_constructible<T,·U>()
2260 ··[·231d5]··_GLIBCXX_USE_ASSIGN_FOR_INIT(T,U)·__is_trivial(T)·&&·__is_assignable(T&,·U)·&&·std::__check_constructible<T,·U>()2260 ··[·2322d]··_ZNSt10_Head_baseILm0EPN4cvc58internal7options9HolderSMTELb0EEC4ERKS5_
2261 ··[·23247]··_ZNSt10_Head_baseILm0EPN4cvc58internal7options9HolderSMTELb0EEC4ERKS5_2261 ··[·23274]··_ZNSt15__uniq_ptr_implIN4cvc58internal3smt14ContextManagerESt14default_deleteIS3_EE10_M_deleterEv
2262 ··[·2328e]··_ZNSt15__uniq_ptr_implIN4cvc58internal3smt14ContextManagerESt14default_deleteIS3_EE10_M_deleterEv2262 ··[·232d6]··__BLKCNT_T_TYPE·__SLONGWORD_TYPE
2263 ··[·232f0]··__BLKCNT_T_TYPE·__SLONGWORD_TYPE2263 ··[·232f7]··_ZNKSt17basic_string_viewIcSt11char_traitsIcEE12find_last_ofES2_m
2264 ··[·23311]··_ZNKSt17basic_string_viewIcSt11char_traitsIcEE12find_last_ofES2_m2264 ··[·23339]··_ZNSt17basic_string_viewIwSt11char_traitsIwEEC4EPKw
2265 ··[·23353]··_ZNSt17basic_string_viewIwSt11char_traitsIwEEC4EPKw2265 ··[·2336d]··_ZNSt8__detail9__variant17__gen_vtable_implINS0_12_Multi_arrayIPFvOZNS0_16_Variant_storageILb0EJN4cvc510OptionInfo8VoidInfoENS5_9ValueInfoIbEENS7_INSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEEEENS5_10NumberInfoIlEENSG_ImEENSG_IdEENS5_8ModeInfoE[·...·truncated·by·diffoscope;·len:·103,·SHA:·edd0440173f5cabc70b4dadb8324e2cbc791caa342bdfb437aaa73f2a26e6424·...·]
2266 ··[·23387]··_ZNSt8__detail9__variant17__gen_vtable_implINS0_12_Multi_arrayIPFvOZNS0_16_Variant_storageILb0EJN4cvc510OptionInfo8VoidInfoENS5_9ValueInfoIbEENS7_INSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEEEENS5_10NumberInfoIlEENSG_ImEENSG_IdEENS5_8ModeInfo[·...·truncated·by·diffoscope;·len:·101,·SHA:·ecc7433b303f222fd62c73d447079cf7cac53afba0d38038fc648b9983ebe290·...·]yEv2266 ··[·234d0]··_ZNKSt3mapINSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEEN4cvc54StatESt4lessIS5_ESaISt4pairIKS5_S7_EEE5emptyEv
2267 ··[·234ea]··_ZNKSt3mapINSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEEN4cvc54StatESt4lessIS5_ESaISt4pairIKS5_S7_EEE5emptyEv2267 ··[·23545]··_Head_base<1,·std::default_delete<cvc5::internal::options::OptionsHandler>,·true>
2268 ··[·2355f]··_Head_base<1,·std::default_delete<cvc5::internal::options::OptionsHandler>,·true>2268 ··[·23597]··_ZNSt13_Bvector_baseISaIbEE8_S_nwordEm
2269 ··[·235b1]··_ZNSt13_Bvector_baseISaIbEE8_S_nwordEm2269 ··[·235be]··assertFormulaInternal
2270 ··[·235d8]··assertFormulaInternal2270 ··[·235d4]··__ARM_FEATURE_SVE2_BITPERM
2271 ··[·235ee]··__ARM_FEATURE_SVE2_BITPERM2271 ··[·235ef]··mkNullableLift
2272 ··[·23609]··mkNullableLift2272 ··[·235fe]··_ZNSt14default_deleteIN4cvc58internal7options12HolderDRIVEREEC4Ev
2273 ··[·23618]··_ZNSt14default_deleteIN4cvc58internal7options12HolderDRIVEREEC4Ev2273 ··[·23640]··_ZNSt15__uniq_ptr_implIN4cvc54Stat8StatDataESt14default_deleteIS2_EE6_M_ptrEv
2274 ··[·2365a]··_ZNSt15__uniq_ptr_implIN4cvc54Stat8StatDataESt14default_deleteIS2_EE6_M_ptrEv2274 ··[·2368e]··mkFiniteFieldElem
2275 ··[·236a8]··mkFiniteFieldElem2275 ··[·236a0]··ARITH_TRANS_EXP_NEG
2276 ··[·236ba]··ARITH_TRANS_EXP_NEG2276 ··[·236b4]··__glibcxx_allocator_traits_is_always_equal·201411L
2277 ··[·236ce]··__glibcxx_allocator_traits_is_always_equal·201411L2277 ··[·236e7]··_ZNK4cvc58internal9LogicInfo15isTheoryEnabledENS0_6theory8TheoryIdE
2278 ··[·23701]··_ZNK4cvc58internal9LogicInfo15isTheoryEnabledENS0_6theory8TheoryIdE2278 ··[·2372b]··_SC_2_FORT_DEV·_SC_2_FORT_DEV
2279 ··[·23745]··_SC_2_FORT_DEV·_SC_2_FORT_DEV2279 ··[·23749]··__uniq_ptr_data<cvc5::internal::options::HolderBOOLEANS,·std::default_delete<cvc5::internal::options::HolderBOOLEANS>,·true,·true>
2280 ··[·23763]··__uniq_ptr_data<cvc5::internal::options::HolderBOOLEANS,·std::default_delete<cvc5::internal::options::HolderBOOLEANS>,·true,·true>2280 ··[·237cc]··_ZNSt3setIN4cvc54TermESt4lessIS1_ESaIS1_EE6insertESt23_Rb_tree_const_iteratorIS1_EOSt12_Node_handleIS1_S1_SaISt13_Rb_tree_nodeIS1_EEE
2281 ··[·237e6]··_ZNSt3setIN4cvc54TermESt4lessIS1_ESaIS1_EE6insertESt23_Rb_tree_const_iteratorIS1_EOSt12_Node_handleIS1_S1_SaISt13_Rb_tree_nodeIS1_EEE2281 ··[·23852]··_ZNK4cvc56Solver8setLogicERKNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEE
2282 ··[·2386c]··_ZNK4cvc56Solver8setLogicERKNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEE2282 ··[·238a3]··_ZNK4cvc512DatatypeDecl10isResolvedEv
2283 ··[·238bd]··_ZNK4cvc512DatatypeDecl10isResolvedEv2283 ··[·238c9]··_ZNKSt3mapIN4cvc54TermENSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEESt4lessIS1_ESaISt4pairIKS1_S7_EEE5crendEv
2284 ··[·238e3]··_ZNKSt3mapIN4cvc54TermENSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEESt4lessIS1_ESaISt4pairIKS1_S7_EEE5crendEv2284 ··[·2393e]··_IsUnused
2285 ··[·23958]··_IsUnused2285 ··[·23948]··_ZNSt15__new_allocatorIN4cvc54TermEED4Ev
2286 ··[·23962]··_ZNSt15__new_allocatorIN4cvc54TermEED4Ev2286 ··[·23971]··_ZNSt19_Node_handle_commonISt4pairINSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEEmESaISt13_Rb_tree_nodeIS7_EEE7_M_swapERSB_
2287 ··[·2398b]··_ZNSt19_Node_handle_commonISt4pairINSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEEmESaISt13_Rb_tree_nodeIS7_EEE7_M_swapERSB_2287 ··[·239f3]··_vtable_offset
2288 ··[·23a0d]··_vtable_offset2288 ··[·23a02]··_ZNSt8_Rb_treeISt4pairINSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEEmES7_St9_IdentityIS7_ESt4lessIS7_ESaIS7_EE5eraseB5cxx11ESt23_Rb_tree_const_iteratorIS7_E
2289 ··[·23a1c]··_ZNSt8_Rb_treeISt4pairINSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEEmES7_St9_IdentityIS7_ESt4lessIS7_ESaIS7_EE5eraseB5cxx11ESt23_Rb_tree_const_iteratorIS7_E2289 ··[·23aa6]··_ZNKSt7__cxx1112basic_stringIwSt11char_traitsIwESaIwEE7compareEmmRKS4_mm
2290 ··[·23ac0]··_ZNKSt7__cxx1112basic_stringIwSt11char_traitsIwESaIwEE7compareEmmRKS4_mm2290 ··[·23aef]··__FLT64X_EPSILON__·1.92592994438723585305597794258492732e-34F64x
2291 ··[·23b09]··__FLT64X_EPSILON__·1.92592994438723585305597794258492732e-34F64x2291 ··[·23b30]··_GLIBCXX_POSTYPES_H·1
2292 ··[·23b4a]··_GLIBCXX_POSTYPES_H·12292 ··[·23b46]··__ARM_FEATURE_BF16_VECTOR_ARITHMETIC
2293 ··[·23b60]··__ARM_FEATURE_BF16_VECTOR_ARITHMETIC2293 ··[·23b6b]··INT_FAST16_MIN·(-9223372036854775807L-1)
2294 ··[·23b85]··INT_FAST16_MIN·(-9223372036854775807L-1)2294 ··[·23b94]··_ZNSt11_Tuple_implILm0EJPN4cvc58internal3smt9SmtSolverESt14default_deleteIS3_EEE7_M_headERS7_
2295 ··[·23bae]··_ZNSt11_Tuple_implILm0EJPN4cvc58internal3smt9SmtSolverESt14default_deleteIS3_EEE7_M_headERS7_2295 ··[·23bf2]··__cpp_lib_tuples_by_type·201304L
2296 ··[·23c0c]··__cpp_lib_tuples_by_type·201304L2296 ··[·23c13]··__TIME_T_TYPE·__SLONGWORD_TYPE
2297 ··[·23c2d]··__TIME_T_TYPE·__SLONGWORD_TYPE2297 ··[·23c32]··getInterpolant
2298 ··[·23c4c]··getInterpolant2298 ··[·23c41]··reverse_iterator<__gnu_cxx::__normal_iterator<std::pair<std::__cxx11::basic_string<char,·std::char_traits<char>,·std::allocator<char>·>,·std::__cxx11::basic_string<char,·std::char_traits<char>,·std::allocator<char>·>·>*,·std::vector<std::pair<std::__cx[·...·truncated·by·diffoscope;·len:·350,·SHA:·81491adab825dbd61f9775b4dcfb8208d81a5431c0692b25f688255f369a4a34·...·]
2299 ··[·23c5b]··reverse_iterator<__gnu_cxx::__normal_iterator<std::pair<std::__cxx11::basic_string<char,·std::char_traits<char>,·std::allocator<char>·>,·std::__cxx11::basic_string<char,·std::char_traits<char>,·std::allocator<char>·>·>*,·std::vector<std::pair<std::__[·...·truncated·by·diffoscope;·len:·349,·SHA:·f2936e81a0cece3952cbd4f1d7c107efb18853c4712b5e4164f7f050a5bafc60·...·]>·>2299 ··[·23e9c]··rebind<std::_Rb_tree_node<cvc5::Term>·>
2300 ··[·23eb6]··rebind<std::_Rb_tree_node<cvc5::Term>·>2300 ··[·23ec4]··PTHREAD_RWLOCK_WRITER_NONRECURSIVE_INITIALIZER_NP·{·{·__PTHREAD_RWLOCK_INITIALIZER·(PTHREAD_RWLOCK_PREFER_WRITER_NONRECURSIVE_NP)·}·}
2301 ··[·23ede]··PTHREAD_RWLOCK_WRITER_NONRECURSIVE_INITIALIZER_NP·{·{·__PTHREAD_RWLOCK_INITIALIZER·(PTHREAD_RWLOCK_PREFER_WRITER_NONRECURSIVE_NP)·}·}2301 ··[·23f4a]··_ZNSt10_Head_baseILm1ESt14default_deleteIN4cvc58internal3smt15AbductionSolverEELb1EE7_M_headERKS6_
2302 ··[·23f64]··_ZNSt10_Head_baseILm1ESt14default_deleteIN4cvc58internal3smt15AbductionSolverEELb1EE7_M_headERKS6_2302 ··[·23fad]··_ZNSt8optionalIlEaSESt9nullopt_t
2303 ··[·23fc7]··_ZNSt8optionalIlEaSESt9nullopt_t2303 ··[·23fce]··_ZNSt16initializer_listIPKcEC4EPKS1_m
2304 ··[·23fe8]··_ZNSt16initializer_listIPKcEC4EPKS1_m2304 ··[·23ff4]··_SC_2_PBS_ACCOUNTING·_SC_2_PBS_ACCOUNTING
2305 ··[·2400e]··_SC_2_PBS_ACCOUNTING·_SC_2_PBS_ACCOUNTING2305 ··[·2401e]··_ZNSt15basic_streambufIcSt11char_traitsIcEE9showmanycEv
2306 ··[·24038]··_ZNSt15basic_streambufIcSt11char_traitsIcEE9showmanycEv2306 ··[·24056]··_POSIX_TRACE·-1
2307 ··[·24070]··_POSIX_TRACE·-12307 ··[·24066]··_Head_base<1,·std::default_delete<cvc5::internal::smt::InterpolationSolver>,·true>
2308 ··[·24080]··_Head_base<1,·std::default_delete<cvc5::internal::smt::InterpolationSolver>,·true>2308 ··[·240b9]··_ZNSt10_Head_baseILm0EPN4cvc58internal7options13HolderBUILTINELb0EE7_M_headERS5_
2309 ··[·240d3]··_ZNSt10_Head_baseILm0EPN4cvc58internal7options13HolderBUILTINELb0EE7_M_headERS5_2309 ··[·2410a]··_M_parent
2310 ··[·24124]··_M_parent2310 ··[·24114]··_ZNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEpLEc
2311 ··[·2412e]··_ZNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEpLEc2311 ··[·2414e]··_ZNSt16allocator_traitsISaIwEE10deallocateERS0_Pwm
2312 ··[·24168]··_ZNSt16allocator_traitsISaIwEE10deallocateERS0_Pwm2312 ··[·24181]··PDP_ENDIAN·__PDP_ENDIAN
Max diff block lines reached; 358/1698747 bytes (0.02%) of diff not shown.
⊟
24.9 MB
libcvc5-1-dbgsym_1.1.2-2_arm64.deb
⊟
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······556·2024-03-19·00:06:23.000000·control.tar.xz2 -rw-r--r--···0········0········0······556·2024-03-19·00:06:23.000000·control.tar.xz
3 -rw-r--r--···0········0········0·179687816·2024-03-19·00:06:23.000000·data.tar.xz3 -rw-r--r--···0········0········0·179689380·2024-03-19·00:06:23.000000·data.tar.xz
⊟
802 B
control.tar.xz
⊟
774 B
control.tar
⊟
526 B
./control
    
Offset 1, 13 lines modifiedOffset 1, 13 lines modified
1 Package:·libcvc5-1-dbgsym1 Package:·libcvc5-1-dbgsym
2 Source:·cvc52 Source:·cvc5
3 Version:·1.1.2-23 Version:·1.1.2-2
4 Auto-Built-Package:·debug-symbols4 Auto-Built-Package:·debug-symbols
5 Architecture:·arm645 Architecture:·arm64
6 Maintainer:·Debian·Science·Maintainers·<debian-science-maintainers@alioth-lists.debian.net>6 Maintainer:·Debian·Science·Maintainers·<debian-science-maintainers@alioth-lists.debian.net>
7 Installed-Size:·1787857 Installed-Size:·178784
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:·3273b99188dd3d79b3db97afb5fb6c13d0269f9f13 Build-Ids:·6d9faa5e49dff21219a436c1d0337e312308f221
⊟
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/32/73b99188dd3d79b3db97afb5fb6c13d0269f9f.debug1 usr/lib/debug/.build-id/6d/9faa5e49dff21219a436c1d0337e312308f221.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/32/6 drwxr-xr-x···0·root·········(0)·root·········(0)········0·2024-03-19·00:06:23.000000·./usr/lib/debug/.build-id/6d/
7 -rw-r--r--···0·root·········(0)·root·········(0)·183065240·2024-03-19·00:06:23.000000·./usr/lib/debug/.build-id/32/73b99188dd3d79b3db97afb5fb6c13d0269f9f.debug7 -rw-r--r--···0·root·········(0)·root·········(0)·183063992·2024-03-19·00:06:23.000000·./usr/lib/debug/.build-id/6d/9faa5e49dff21219a436c1d0337e312308f221.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/32/73b99188dd3d79b3db97afb5fb6c13d0269f9f.debug vs.
./usr/lib/debug/.build-id/6d/9faa5e49dff21219a436c1d0337e312308f221.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
⊟
865 B
readelf --wide --file-header {}
    
Offset 6, 15 lines modifiedOffset 6, 15 lines modified
6 ··OS/ABI:····························UNIX·-·GNU6 ··OS/ABI:····························UNIX·-·GNU
7 ··ABI·Version:·······················07 ··ABI·Version:·······················0
8 ··Type:······························DYN·(Shared·object·file)8 ··Type:······························DYN·(Shared·object·file)
9 ··Machine:···························AArch649 ··Machine:···························AArch64
10 ··Version:···························0x110 ··Version:···························0x1
11 ··Entry·point·address:···············0x011 ··Entry·point·address:···············0x0
12 ··Start·of·program·headers:··········64·(bytes·into·file)12 ··Start·of·program·headers:··········64·(bytes·into·file)
13 ··Start·of·section·headers:··········183062680·(bytes·into·file)13 ··Start·of·section·headers:··········183061432·(bytes·into·file)
14 ··Flags:·····························0x014 ··Flags:·····························0x0
15 ··Size·of·this·header:···············64·(bytes)15 ··Size·of·this·header:···············64·(bytes)
16 ··Size·of·program·headers:···········56·(bytes)16 ··Size·of·program·headers:···········56·(bytes)
17 ··Number·of·program·headers:·········1017 ··Number·of·program·headers:·········10
18 ··Size·of·section·headers:···········64·(bytes)18 ··Size·of·section·headers:···········64·(bytes)
19 ··Number·of·section·headers:·········4019 ··Number·of·section·headers:·········40
20 ··Section·header·string·table·index:·3920 ··Section·header·string·table·index:·39
⊟
3.51 KB
readelf --wide --sections {}
    
Offset 1, 8 lines modifiedOffset 1, 8 lines modified
1 There·are·40·section·headers,·starting·at·offset·0xae95098:1 There·are·40·section·headers,·starting·at·offset·0xae94bb8:
  
2 Section·Headers:2 Section·Headers:
3 ··[Nr]·Name··············Type············Address··········Off····Size···ES·Flg·Lk·Inf·Al3 ··[Nr]·Name··············Type············Address··········Off····Size···ES·Flg·Lk·Inf·Al
4 ··[·0]···················NULL············0000000000000000·000000·000000·00······0···0··04 ··[·0]···················NULL············0000000000000000·000000·000000·00······0···0··0
5 ··[·1]·.note.gnu.property·NOTE············0000000000000270·000270·000020·00···A··0···0··85 ··[·1]·.note.gnu.property·NOTE············0000000000000270·000270·000020·00···A··0···0··8
6 ··[·2]·.note.gnu.build-id·NOTE············0000000000000290·000290·000024·00···A··0···0··46 ··[·2]·.note.gnu.build-id·NOTE············0000000000000290·000290·000024·00···A··0···0··4
7 ··[·3]·.gnu.hash·········NOBITS··········00000000000002b8·0002b4·004d18·00···A··4···0··87 ··[·3]·.gnu.hash·········NOBITS··········00000000000002b8·0002b4·004d18·00···A··4···0··8
Offset 27, 23 lines modifiedOffset 27, 23 lines modified
27 ··[22]·.data.rel.ro······NOBITS··········00000000015c8288·007070·013ae8·00··WA··0···0··827 ··[22]·.data.rel.ro······NOBITS··········00000000015c8288·007070·013ae8·00··WA··0···0··8
28 ··[23]·.dynamic··········NOBITS··········00000000015dbd70·007070·000260·10··WA··5···0··828 ··[23]·.dynamic··········NOBITS··········00000000015dbd70·007070·000260·10··WA··5···0··8
29 ··[24]·.got··············NOBITS··········00000000015dbfd0·007070·004030·08··WA··0···0··829 ··[24]·.got··············NOBITS··········00000000015dbfd0·007070·004030·08··WA··0···0··8
30 ··[25]·.data·············NOBITS··········00000000015e0000·007070·009ca8·00··WA··0···0·1630 ··[25]·.data·············NOBITS··········00000000015e0000·007070·009ca8·00··WA··0···0·16
31 ··[26]·.bss··············NOBITS··········00000000015e9ca8·007070·003340·00··WA··0···0··831 ··[26]·.bss··············NOBITS··········00000000015e9ca8·007070·003340·00··WA··0···0··8
32 ··[27]·.comment··········PROGBITS········0000000000000000·0002b4·00001e·01··MS··0···0··132 ··[27]·.comment··········PROGBITS········0000000000000000·0002b4·00001e·01··MS··0···0··1
33 ··[28]·.debug_aranges····PROGBITS········0000000000000000·0002d8·00c60c·00···C··0···0··833 ··[28]·.debug_aranges····PROGBITS········0000000000000000·0002d8·00c60c·00···C··0···0··8
34 ··[29]·.debug_info·······PROGBITS········0000000000000000·00c8e8·87e8234·00···C··0···0··834 ··[29]·.debug_info·······PROGBITS········0000000000000000·00c8e8·87e7d5f·00···C··0···0··8
35 ··[30]·.debug_abbrev·····PROGBITS········0000000000000000·87f4b20·0db0a2·00···C··0···0··835 ··[30]·.debug_abbrev·····PROGBITS········0000000000000000·87f4648·0db0a2·00···C··0···0··8
36 ··[31]·.debug_line·······PROGBITS········0000000000000000·88cfbc8·7cc935·00···C··0···0··836 ··[31]·.debug_line·······PROGBITS········0000000000000000·88cf6f0·7cc935·00···C··0···0··8
37 ··[32]·.debug_str········PROGBITS········0000000000000000·909c500·3dfe09·01·MSC··0···0··837 ··[32]·.debug_str········PROGBITS········0000000000000000·909c028·3dfe0a·01·MSC··0···0··8
38 ··[33]·.debug_line_str···PROGBITS········0000000000000000·947c310·0028b6·01·MSC··0···0··838 ··[33]·.debug_line_str···PROGBITS········0000000000000000·947be38·0028b6·01·MSC··0···0··8
39 ··[34]·.debug_loclists···PROGBITS········0000000000000000·947ebc8·1147872·00···C··0···0··839 ··[34]·.debug_loclists···PROGBITS········0000000000000000·947e6f0·1147870·00···C··0···0··8
40 ··[35]·.debug_macro······PROGBITS········0000000000000000·a5c6440·1609bf·00···C··0···0··840 ··[35]·.debug_macro······PROGBITS········0000000000000000·a5c5f60·1609bd·00···C··0···0··8
41 ··[36]·.debug_rnglists···PROGBITS········0000000000000000·a726e00·48726b·00···C··0···0··841 ··[36]·.debug_rnglists···PROGBITS········0000000000000000·a726920·48726b·00···C··0···0··8
42 ··[37]·.symtab···········SYMTAB··········0000000000000000·abae070·0e9af0·18·····38·37166··842 ··[37]·.symtab···········SYMTAB··········0000000000000000·abadb90·0e9af0·18·····38·37166··8
43 ··[38]·.strtab···········STRTAB··········0000000000000000·ac97b60·1fd398·00······0···0··143 ··[38]·.strtab···········STRTAB··········0000000000000000·ac97680·1fd398·00······0···0··1
44 ··[39]·.shstrtab·········STRTAB··········0000000000000000·ae94ef8·0001a0·00······0···0··144 ··[39]·.shstrtab·········STRTAB··········0000000000000000·ae94a18·0001a0·00······0···0··1
45 Key·to·Flags:45 Key·to·Flags:
46 ··W·(write),·A·(alloc),·X·(execute),·M·(merge),·S·(strings),·I·(info),46 ··W·(write),·A·(alloc),·X·(execute),·M·(merge),·S·(strings),·I·(info),
47 ··L·(link·order),·O·(extra·OS·processing·required),·G·(group),·T·(TLS),47 ··L·(link·order),·O·(extra·OS·processing·required),·G·(group),·T·(TLS),
48 ··C·(compressed),·x·(unknown),·o·(OS·specific),·E·(exclude),48 ··C·(compressed),·x·(unknown),·o·(OS·specific),·E·(exclude),
49 ··R·(retain),·D·(mbind),·p·(processor·specific)49 ··R·(retain),·D·(mbind),·p·(processor·specific)
⊟
628 B
readelf --wide --notes {}
    
Offset 1, 8 lines modifiedOffset 1, 8 lines modified
  
1 Displaying·notes·found·in:·.note.gnu.property1 Displaying·notes·found·in:·.note.gnu.property
2 ··Owner················Data·size·»  Description2 ··Owner················Data·size·»  Description
3 ··GNU··················0x00000010»  NT_GNU_PROPERTY_TYPE_0»    ······Properties:·AArch64·feature:·BTI,·PAC3 ··GNU··················0x00000010»  NT_GNU_PROPERTY_TYPE_0»    ······Properties:·AArch64·feature:·BTI,·PAC
  
4 Displaying·notes·found·in:·.note.gnu.build-id4 Displaying·notes·found·in:·.note.gnu.build-id
5 ··Owner················Data·size·»  Description5 ··Owner················Data·size·»  Description
6 ··GNU··················0x00000014»  NT_GNU_BUILD_ID·(unique·build·ID·bitstring)»   ····Build·ID:·3273b99188dd3d79b3db97afb5fb6c13d0269f9f6 ··GNU··················0x00000014»  NT_GNU_BUILD_ID·(unique·build·ID·bitstring)»   ····Build·ID:·6d9faa5e49dff21219a436c1d0337e312308f221
⊟
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:·3·(DW_TAG_partial_unit)9 ·<0><c>:·Abbrev·Number:·3·(DW_TAG_partial_unit)
10 ····<d>···DW_AT_stmt_list···:·(sec_offset)·010 ····<d>···DW_AT_stmt_list···:·(sec_offset)·0
11 ····<11>···DW_AT_comp_dir····:·(line_strp)·(offset:·0x15):·./obj-aarch64-linux-gnu/src11 ····<11>···DW_AT_comp_dir····:·(line_strp)·(offset:·0x15):·./obj-aarch64-linux-gnu/src
12 ·<1><15>:·Abbrev·Number:·33·(DW_TAG_base_type)12 ·<1><15>:·Abbrev·Number:·33·(DW_TAG_base_type)
13 ····<16>···DW_AT_byte_size···:·(data1)·813 ····<16>···DW_AT_byte_size···:·(data1)·8
14 ····<17>···DW_AT_encoding····:·(data1)·5»    (signed)14 ····<17>···DW_AT_encoding····:·(data1)·5»    (signed)
15 ····<18>···DW_AT_name········:·(strp)·(offset:·0x161dd):·long·int15 ····<18>···DW_AT_name········:·(strp)·(offset:·0x161f7):·long·int
16 ·<1><1c>:·Abbrev·Number:·33·(DW_TAG_base_type)16 ·<1><1c>:·Abbrev·Number:·33·(DW_TAG_base_type)
17 ····<1d>···DW_AT_byte_size···:·(data1)·817 ····<1d>···DW_AT_byte_size···:·(data1)·8
18 ····<1e>···DW_AT_encoding····:·(data1)·7»    (unsigned)18 ····<1e>···DW_AT_encoding····:·(data1)·7»    (unsigned)
19 ····<1f>···DW_AT_name········:·(strp)·(offset:·0xeb39):·long·unsigned·int19 ····<1f>···DW_AT_name········:·(strp)·(offset:·0xeb39):·long·unsigned·int
20 ·<1><23>:·Abbrev·Number:·33·(DW_TAG_base_type)20 ·<1><23>:·Abbrev·Number:·33·(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:·0x1aea9):·unsigned·char23 ····<26>···DW_AT_name········:·(strp)·(offset:·0x1aea9):·unsigned·char
24 ·<1><2a>:·Abbrev·Number:·33·(DW_TAG_base_type)24 ·<1><2a>:·Abbrev·Number:·33·(DW_TAG_base_type)
25 ····<2b>···DW_AT_byte_size···:·(data1)·225 ····<2b>···DW_AT_byte_size···:·(data1)·2
26 ····<2c>···DW_AT_encoding····:·(data1)·7»    (unsigned)26 ····<2c>···DW_AT_encoding····:·(data1)·7»    (unsigned)
27 ····<2d>···DW_AT_name········:·(strp)·(offset:·0x1296d):·short·unsigned·int27 ····<2d>···DW_AT_name········:·(strp)·(offset:·0x12987):·short·unsigned·int
28 ·<1><31>:·Abbrev·Number:·33·(DW_TAG_base_type)28 ·<1><31>:·Abbrev·Number:·33·(DW_TAG_base_type)
29 ····<32>···DW_AT_byte_size···:·(data1)·429 ····<32>···DW_AT_byte_size···:·(data1)·4
30 ····<33>···DW_AT_encoding····:·(data1)·7»    (unsigned)30 ····<33>···DW_AT_encoding····:·(data1)·7»    (unsigned)
31 ····<34>···DW_AT_name········:·(strp)·(offset:·0xc9bd):·unsigned·int31 ····<34>···DW_AT_name········:·(strp)·(offset:·0xc9bd):·unsigned·int
32 ·<1><38>:·Abbrev·Number:·33·(DW_TAG_base_type)32 ·<1><38>:·Abbrev·Number:·33·(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:·33·(DW_TAG_base_type)100 ·<1><b8>:·Abbrev·Number:·33·(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:·0x20025):·char32_t103 ····<bb>···DW_AT_name········:·(strp)·(offset:·0x20025):·char32_t
104 ·<1><bf>:·Abbrev·Number:·33·(DW_TAG_base_type)104 ·<1><bf>:·Abbrev·Number:·33·(DW_TAG_base_type)
105 ····<c0>···DW_AT_byte_size···:·(data1)·16105 ····<c0>···DW_AT_byte_size···:·(data1)·16
106 ····<c1>···DW_AT_encoding····:·(data1)·5»    (signed)106 ····<c1>···DW_AT_encoding····:·(data1)·5»    (signed)
107 ····<c2>···DW_AT_name········:·(strp)·(offset:·0x14308):·__int128107 ····<c2>···DW_AT_name········:·(strp)·(offset:·0x14322):·__int128
108 ·<1><c6>:·Abbrev·Number:·33·(DW_TAG_base_type)108 ·<1><c6>:·Abbrev·Number:·33·(DW_TAG_base_type)
109 ····<c7>···DW_AT_byte_size···:·(data1)·16109 ····<c7>···DW_AT_byte_size···:·(data1)·16
110 ····<c8>···DW_AT_encoding····:·(data1)·7»    (unsigned)110 ····<c8>···DW_AT_encoding····:·(data1)·7»    (unsigned)
111 ····<c9>···DW_AT_name········:·(strp)·(offset:·0x238a1):·__int128·unsigned111 ····<c9>···DW_AT_name········:·(strp)·(offset:·0x238a1):·__int128·unsigned
112 ·<1><cd>:·Abbrev·Number:·0112 ·<1><cd>:·Abbrev·Number:·0
113 ··Compilation·Unit·@·offset·0xce:113 ··Compilation·Unit·@·offset·0xce:
114 ···Length:········0xff6·(32-bit)114 ···Length:········0xff6·(32-bit)
Offset 807, 29 lines modifiedOffset 807, 29 lines modified
807 ····<457>···DW_AT_name········:·(strp)·(offset:·0x1f2d4):·_IO_read_end807 ····<457>···DW_AT_name········:·(strp)·(offset:·0x1f2d4):·_IO_read_end
808 ····<45b>···DW_AT_decl_file···:·(data1)·68808 ····<45b>···DW_AT_decl_file···:·(data1)·68
809 ····<45c>···DW_AT_decl_line···:·(data1)·55809 ····<45c>···DW_AT_decl_line···:·(data1)·55
810 ····<45d>···DW_AT_decl_column·:·(data1)·9810 ····<45d>···DW_AT_decl_column·:·(data1)·9
811 ····<45e>···DW_AT_type········:·(ref_udata)·<0x13d>811 ····<45e>···DW_AT_type········:·(ref_udata)·<0x13d>
812 ····<45f>···DW_AT_data_member_location:·(data1)·16812 ····<45f>···DW_AT_data_member_location:·(data1)·16
813 ·<2><460>:·Abbrev·Number:·68·(DW_TAG_member)813 ·<2><460>:·Abbrev·Number:·68·(DW_TAG_member)
814 ····<461>···DW_AT_name········:·(strp)·(offset:·0x10709):·_IO_read_base814 ····<461>···DW_AT_name········:·(strp)·(offset:·0x10723):·_IO_read_base
815 ····<465>···DW_AT_decl_file···:·(data1)·68815 ····<465>···DW_AT_decl_file···:·(data1)·68
816 ····<466>···DW_AT_decl_line···:·(data1)·56816 ····<466>···DW_AT_decl_line···:·(data1)·56
817 ····<467>···DW_AT_decl_column·:·(data1)·9817 ····<467>···DW_AT_decl_column·:·(data1)·9
818 ····<468>···DW_AT_type········:·(ref_udata)·<0x13d>818 ····<468>···DW_AT_type········:·(ref_udata)·<0x13d>
819 ····<469>···DW_AT_data_member_location:·(data1)·24819 ····<469>···DW_AT_data_member_location:·(data1)·24
820 ·<2><46a>:·Abbrev·Number:·68·(DW_TAG_member)820 ·<2><46a>:·Abbrev·Number:·68·(DW_TAG_member)
821 ····<46b>···DW_AT_name········:·(strp)·(offset:·0x51af):·_IO_write_base821 ····<46b>···DW_AT_name········:·(strp)·(offset:·0x51af):·_IO_write_base
822 ····<46f>···DW_AT_decl_file···:·(data1)·68822 ····<46f>···DW_AT_decl_file···:·(data1)·68
823 ····<470>···DW_AT_decl_line···:·(data1)·57823 ····<470>···DW_AT_decl_line···:·(data1)·57
824 ····<471>···DW_AT_decl_column·:·(data1)·9824 ····<471>···DW_AT_decl_column·:·(data1)·9
825 ····<472>···DW_AT_type········:·(ref_udata)·<0x13d>825 ····<472>···DW_AT_type········:·(ref_udata)·<0x13d>
826 ····<473>···DW_AT_data_member_location:·(data1)·32826 ····<473>···DW_AT_data_member_location:·(data1)·32
827 ·<2><474>:·Abbrev·Number:·68·(DW_TAG_member)827 ·<2><474>:·Abbrev·Number:·68·(DW_TAG_member)
828 ····<475>···DW_AT_name········:·(strp)·(offset:·0xfd34):·_IO_write_ptr828 ····<475>···DW_AT_name········:·(strp)·(offset:·0xfd4e):·_IO_write_ptr
829 ····<479>···DW_AT_decl_file···:·(data1)·68829 ····<479>···DW_AT_decl_file···:·(data1)·68
830 ····<47a>···DW_AT_decl_line···:·(data1)·58830 ····<47a>···DW_AT_decl_line···:·(data1)·58
831 ····<47b>···DW_AT_decl_column·:·(data1)·9831 ····<47b>···DW_AT_decl_column·:·(data1)·9
832 ····<47c>···DW_AT_type········:·(ref_udata)·<0x13d>832 ····<47c>···DW_AT_type········:·(ref_udata)·<0x13d>
833 ····<47d>···DW_AT_data_member_location:·(data1)·40833 ····<47d>···DW_AT_data_member_location:·(data1)·40
834 ·<2><47e>:·Abbrev·Number:·68·(DW_TAG_member)834 ·<2><47e>:·Abbrev·Number:·68·(DW_TAG_member)
835 ····<47f>···DW_AT_name········:·(strp)·(offset:·0xe409):·_IO_write_end835 ····<47f>···DW_AT_name········:·(strp)·(offset:·0xe409):·_IO_write_end
Offset 842, 36 lines modifiedOffset 842, 36 lines modified
842 ····<489>···DW_AT_name········:·(strp)·(offset:·0xb6dc):·_IO_buf_base842 ····<489>···DW_AT_name········:·(strp)·(offset:·0xb6dc):·_IO_buf_base
843 ····<48d>···DW_AT_decl_file···:·(data1)·68843 ····<48d>···DW_AT_decl_file···:·(data1)·68
844 ····<48e>···DW_AT_decl_line···:·(data1)·60844 ····<48e>···DW_AT_decl_line···:·(data1)·60
845 ····<48f>···DW_AT_decl_column·:·(data1)·9845 ····<48f>···DW_AT_decl_column·:·(data1)·9
846 ····<490>···DW_AT_type········:·(ref_udata)·<0x13d>846 ····<490>···DW_AT_type········:·(ref_udata)·<0x13d>
847 ····<491>···DW_AT_data_member_location:·(data1)·56847 ····<491>···DW_AT_data_member_location:·(data1)·56
848 ·<2><492>:·Abbrev·Number:·68·(DW_TAG_member)848 ·<2><492>:·Abbrev·Number:·68·(DW_TAG_member)
849 ····<493>···DW_AT_name········:·(strp)·(offset:·0x155bf):·_IO_buf_end849 ····<493>···DW_AT_name········:·(strp)·(offset:·0x155d9):·_IO_buf_end
850 ····<497>···DW_AT_decl_file···:·(data1)·68850 ····<497>···DW_AT_decl_file···:·(data1)·68
851 ····<498>···DW_AT_decl_line···:·(data1)·61851 ····<498>···DW_AT_decl_line···:·(data1)·61
852 ····<499>···DW_AT_decl_column·:·(data1)·9852 ····<499>···DW_AT_decl_column·:·(data1)·9
853 ····<49a>···DW_AT_type········:·(ref_udata)·<0x13d>853 ····<49a>···DW_AT_type········:·(ref_udata)·<0x13d>
854 ····<49b>···DW_AT_data_member_location:·(data1)·64854 ····<49b>···DW_AT_data_member_location:·(data1)·64
855 ·<2><49c>:·Abbrev·Number:·68·(DW_TAG_member)855 ·<2><49c>:·Abbrev·Number:·68·(DW_TAG_member)
856 ····<49d>···DW_AT_name········:·(strp)·(offset:·0xe47c):·_IO_save_base856 ····<49d>···DW_AT_name········:·(strp)·(offset:·0xe47c):·_IO_save_base
857 ····<4a1>···DW_AT_decl_file···:·(data1)·68857 ····<4a1>···DW_AT_decl_file···:·(data1)·68
858 ····<4a2>···DW_AT_decl_line···:·(data1)·64858 ····<4a2>···DW_AT_decl_line···:·(data1)·64
859 ····<4a3>···DW_AT_decl_column·:·(data1)·9859 ····<4a3>···DW_AT_decl_column·:·(data1)·9
860 ····<4a4>···DW_AT_type········:·(ref_udata)·<0x13d>860 ····<4a4>···DW_AT_type········:·(ref_udata)·<0x13d>
861 ····<4a5>···DW_AT_data_member_location:·(data1)·72861 ····<4a5>···DW_AT_data_member_location:·(data1)·72
862 ·<2><4a6>:·Abbrev·Number:·68·(DW_TAG_member)862 ·<2><4a6>:·Abbrev·Number:·68·(DW_TAG_member)
863 ····<4a7>···DW_AT_name········:·(strp)·(offset:·0x11090):·_IO_backup_base863 ····<4a7>···DW_AT_name········:·(strp)·(offset:·0x110aa):·_IO_backup_base
864 ····<4ab>···DW_AT_decl_file···:·(data1)·68864 ····<4ab>···DW_AT_decl_file···:·(data1)·68
865 ····<4ac>···DW_AT_decl_line···:·(data1)·65865 ····<4ac>···DW_AT_decl_line···:·(data1)·65
866 ····<4ad>···DW_AT_decl_column·:·(data1)·9866 ····<4ad>···DW_AT_decl_column·:·(data1)·9
867 ····<4ae>···DW_AT_type········:·(ref_udata)·<0x13d>867 ····<4ae>···DW_AT_type········:·(ref_udata)·<0x13d>
868 ····<4af>···DW_AT_data_member_location:·(data1)·80868 ····<4af>···DW_AT_data_member_location:·(data1)·80
869 ·<2><4b0>:·Abbrev·Number:·68·(DW_TAG_member)869 ·<2><4b0>:·Abbrev·Number:·68·(DW_TAG_member)
870 ····<4b1>···DW_AT_name········:·(strp)·(offset:·0x18e87):·_IO_save_end870 ····<4b1>···DW_AT_name········:·(strp)·(offset:·0x18ea1):·_IO_save_end
871 ····<4b5>···DW_AT_decl_file···:·(data1)·68871 ····<4b5>···DW_AT_decl_file···:·(data1)·68
872 ····<4b6>···DW_AT_decl_line···:·(data1)·66872 ····<4b6>···DW_AT_decl_line···:·(data1)·66
873 ····<4b7>···DW_AT_decl_column·:·(data1)·9873 ····<4b7>···DW_AT_decl_column·:·(data1)·9
874 ····<4b8>···DW_AT_type········:·(ref_udata)·<0x13d>874 ····<4b8>···DW_AT_type········:·(ref_udata)·<0x13d>
875 ····<4b9>···DW_AT_data_member_location:·(data1)·88875 ····<4b9>···DW_AT_data_member_location:·(data1)·88
876 ·<2><4ba>:·Abbrev·Number:·68·(DW_TAG_member)876 ·<2><4ba>:·Abbrev·Number:·68·(DW_TAG_member)
877 ····<4bb>···DW_AT_name········:·(strp)·(offset:·0x4bcd):·_markers877 ····<4bb>···DW_AT_name········:·(strp)·(offset:·0x4bcd):·_markers
Offset 884, 15 lines modifiedOffset 884, 15 lines modified
884 ····<4c6>···DW_AT_name········:·(strp)·(offset:·0x83aa45):·_chain884 ····<4c6>···DW_AT_name········:·(strp)·(offset:·0x83aa45):·_chain
885 ····<4ca>···DW_AT_decl_file···:·(data1)·68885 ····<4ca>···DW_AT_decl_file···:·(data1)·68
886 ····<4cb>···DW_AT_decl_line···:·(data1)·70886 ····<4cb>···DW_AT_decl_line···:·(data1)·70
887 ····<4cc>···DW_AT_decl_column·:·(data1)·20887 ····<4cc>···DW_AT_decl_column·:·(data1)·20
888 ····<4cd>···DW_AT_type········:·(ref_udata)·<0xee0>888 ····<4cd>···DW_AT_type········:·(ref_udata)·<0xee0>
889 ····<4cf>···DW_AT_data_member_location:·(data1)·104889 ····<4cf>···DW_AT_data_member_location:·(data1)·104
890 ·<2><4d0>:·Abbrev·Number:·4·(DW_TAG_member)890 ·<2><4d0>:·Abbrev·Number:·4·(DW_TAG_member)
891 ····<4d1>···DW_AT_name········:·(strp)·(offset:·0x1a101):·_fileno891 ····<4d1>···DW_AT_name········:·(strp)·(offset:·0x1a11b):·_fileno
892 ····<4d5>···DW_AT_decl_file···:·(data1)·68892 ····<4d5>···DW_AT_decl_file···:·(data1)·68
893 ····<4d6>···DW_AT_decl_line···:·(data1)·72893 ····<4d6>···DW_AT_decl_line···:·(data1)·72
894 ····<4d7>···DW_AT_decl_column·:·(data1)·7894 ····<4d7>···DW_AT_decl_column·:·(data1)·7
895 ····<4d8>···DW_AT_type········:·(ref_addr)·<0x46>,·int895 ····<4d8>···DW_AT_type········:·(ref_addr)·<0x46>,·int
896 ····<4dc>···DW_AT_data_member_location:·(data1)·112896 ····<4dc>···DW_AT_data_member_location:·(data1)·112
897 ·<2><4dd>:·Abbrev·Number:·4·(DW_TAG_member)897 ·<2><4dd>:·Abbrev·Number:·4·(DW_TAG_member)
898 ····<4de>···DW_AT_name········:·(strp)·(offset:·0x1c382):·_flags2898 ····<4de>···DW_AT_name········:·(strp)·(offset:·0x1c382):·_flags2
Offset 905, 29 lines modifiedOffset 905, 29 lines modified
Max diff block lines reached; 25377369/25384407 bytes (99.97%) of diff not shown.
⊟
3.5 KB
readelf --wide --debug-dump=macro {}
    
Offset 1601, 16 lines modifiedOffset 1601, 16 lines modified
1601 ·DW_MACRO_define_strp·-·lineno·:·0·macro·:·_GNU_SOURCE·11601 ·DW_MACRO_define_strp·-·lineno·:·0·macro·:·_GNU_SOURCE·1
1602 ·DW_MACRO_define_strp·-·lineno·:·0·macro·:·CVC5_STATISTICS_ON·11602 ·DW_MACRO_define_strp·-·lineno·:·0·macro·:·CVC5_STATISTICS_ON·1
1603 ·DW_MACRO_define_strp·-·lineno·:·0·macro·:·CVC5_USE_CRYPTOMINISAT·11603 ·DW_MACRO_define_strp·-·lineno·:·0·macro·:·CVC5_USE_CRYPTOMINISAT·1
1604 ·DW_MACRO_define_strp·-·lineno·:·0·macro·:·NDEBUG·11604 ·DW_MACRO_define_strp·-·lineno·:·0·macro·:·NDEBUG·1
1605 ·DW_MACRO_define_strp·-·lineno·:·0·macro·:·__BUILDING_CVC5LIB·11605 ·DW_MACRO_define_strp·-·lineno·:·0·macro·:·__BUILDING_CVC5LIB·1
1606 ·DW_MACRO_define_strp·-·lineno·:·0·macro·:·cvc5_obj_EXPORTS·11606 ·DW_MACRO_define_strp·-·lineno·:·0·macro·:·cvc5_obj_EXPORTS·1
1607 ·DW_MACRO_define_strp·-·lineno·:·0·macro·:·_FORTIFY_SOURCE·21607 ·DW_MACRO_define_strp·-·lineno·:·0·macro·:·_FORTIFY_SOURCE·2
1608 ·DW_MACRO_define_strp·-·lineno·:·0·macro·:·DEB_BUILD_DATE·"2024-03-18"1608 ·DW_MACRO_define_strp·-·lineno·:·0·macro·:·DEB_BUILD_DATE·"2024-03-19"
1609 ·DW_MACRO_define_strp·-·lineno·:·0·macro·:·DEB_BUILD_TIME·"12:06:23"1609 ·DW_MACRO_define_strp·-·lineno·:·0·macro·:·DEB_BUILD_TIME·"14:06:23"
  
1610 ··Offset:······················0x1b261610 ··Offset:······················0x1b26
1611 ··Version:·····················51611 ··Version:·····················5
1612 ··Offset·size:·················41612 ··Offset·size:·················4
  
1613 ·DW_MACRO_define_strp·-·lineno·:·19·macro·:·_STDC_PREDEF_H·11613 ·DW_MACRO_define_strp·-·lineno·:·19·macro·:·_STDC_PREDEF_H·1
1614 ·DW_MACRO_define_strp·-·lineno·:·38·macro·:·__STDC_IEC_559__·11614 ·DW_MACRO_define_strp·-·lineno·:·38·macro·:·__STDC_IEC_559__·1
Offset 52288, 16 lines modifiedOffset 52288, 16 lines modified
52288 ·DW_MACRO_define_strp·-·lineno·:·0·macro·:·__DECIMAL_BID_FORMAT__·152288 ·DW_MACRO_define_strp·-·lineno·:·0·macro·:·__DECIMAL_BID_FORMAT__·1
52289 ·DW_MACRO_define_strp·-·lineno·:·0·macro·:·CVC5_STATISTICS_ON·152289 ·DW_MACRO_define_strp·-·lineno·:·0·macro·:·CVC5_STATISTICS_ON·1
52290 ·DW_MACRO_define_strp·-·lineno·:·0·macro·:·CVC5_USE_CRYPTOMINISAT·152290 ·DW_MACRO_define_strp·-·lineno·:·0·macro·:·CVC5_USE_CRYPTOMINISAT·1
52291 ·DW_MACRO_define_strp·-·lineno·:·0·macro·:·NDEBUG·152291 ·DW_MACRO_define_strp·-·lineno·:·0·macro·:·NDEBUG·1
52292 ·DW_MACRO_define_strp·-·lineno·:·0·macro·:·__BUILDING_CVC5LIB·152292 ·DW_MACRO_define_strp·-·lineno·:·0·macro·:·__BUILDING_CVC5LIB·1
52293 ·DW_MACRO_define_strp·-·lineno·:·0·macro·:·cvc5_obj_EXPORTS·152293 ·DW_MACRO_define_strp·-·lineno·:·0·macro·:·cvc5_obj_EXPORTS·1
52294 ·DW_MACRO_define_strp·-·lineno·:·0·macro·:·_FORTIFY_SOURCE·252294 ·DW_MACRO_define_strp·-·lineno·:·0·macro·:·_FORTIFY_SOURCE·2
52295 ·DW_MACRO_define_strp·-·lineno·:·0·macro·:·DEB_BUILD_DATE·"2024-03-18"52295 ·DW_MACRO_define_strp·-·lineno·:·0·macro·:·DEB_BUILD_DATE·"2024-03-19"
52296 ·DW_MACRO_define_strp·-·lineno·:·0·macro·:·DEB_BUILD_TIME·"12:06:23"52296 ·DW_MACRO_define_strp·-·lineno·:·0·macro·:·DEB_BUILD_TIME·"14:06:23"
  
52297 ··Offset:······················0x48c8252297 ··Offset:······················0x48c82
52298 ··Version:·····················552298 ··Version:·····················5
52299 ··Offset·size:·················452299 ··Offset·size:·················4
  
52300 ·DW_MACRO_define_strp·-·lineno·:·39·macro·:·_STDDEF_H·52300 ·DW_MACRO_define_strp·-·lineno·:·39·macro·:·_STDDEF_H·
52301 ·DW_MACRO_define_strp·-·lineno·:·40·macro·:·_STDDEF_H_·52301 ·DW_MACRO_define_strp·-·lineno·:·40·macro·:·_STDDEF_H_·
Offset 1309608, 17 lines modifiedOffset 1309608, 15 lines modified
1309608 ·DW_MACRO_define_strp·-·lineno·:·22·macro·:·CVC5__OPTIONS__THEORY_H·1309608 ·DW_MACRO_define_strp·-·lineno·:·22·macro·:·CVC5__OPTIONS__THEORY_H·
1309609 ·DW_MACRO_start_file·-·lineno:·24·filenum:·421309609 ·DW_MACRO_start_file·-·lineno:·24·filenum:·42
1309610 ·DW_MACRO_end_file1309610 ·DW_MACRO_end_file
1309611 ·DW_MACRO_import·-·offset·:·0x51b3d1309611 ·DW_MACRO_import·-·offset·:·0x51b3d
1309612 ·DW_MACRO_end_file1309612 ·DW_MACRO_end_file
1309613 ·DW_MACRO_start_file·-·lineno:·49·filenum:·1361309613 ·DW_MACRO_start_file·-·lineno:·49·filenum:·136
1309614 ·DW_MACRO_end_file1309614 ·DW_MACRO_end_file
1309615 ·DW_MACRO_start_file·-·lineno:·52·filenum:·31 
1309616 ·DW_MACRO_end_file 
1309617 ·DW_MACRO_start_file·-·lineno:·53·filenum:·2911309615 ·DW_MACRO_start_file·-·lineno:·51·filenum:·291
1309618 ·DW_MACRO_define_strp·-·lineno·:·30·macro·:·_GLIBCXX_UNORDERED_MAP·11309616 ·DW_MACRO_define_strp·-·lineno·:·30·macro·:·_GLIBCXX_UNORDERED_MAP·1
1309619 ·DW_MACRO_start_file·-·lineno:·41·filenum:·181309617 ·DW_MACRO_start_file·-·lineno:·41·filenum:·18
1309620 ·DW_MACRO_define_strp·-·lineno·:·31·macro·:·_UNORDERED_MAP_H·1309618 ·DW_MACRO_define_strp·-·lineno·:·31·macro·:·_UNORDERED_MAP_H·
1309621 ·DW_MACRO_start_file·-·lineno:·33·filenum:·131309619 ·DW_MACRO_start_file·-·lineno:·33·filenum:·13
1309622 ·DW_MACRO_define_strp·-·lineno·:·31·macro·:·_HASHTABLE_H·11309620 ·DW_MACRO_define_strp·-·lineno·:·31·macro·:·_HASHTABLE_H·1
1309623 ·DW_MACRO_start_file·-·lineno:·35·filenum:·141309621 ·DW_MACRO_start_file·-·lineno:·35·filenum:·14
1309624 ·DW_MACRO_define_strp·-·lineno·:·32·macro·:·_HASHTABLE_POLICY_H·11309622 ·DW_MACRO_define_strp·-·lineno·:·32·macro·:·_HASHTABLE_POLICY_H·1
Offset 1309626, 15 lines modifiedOffset 1309624, 17 lines modified
1309626 ·DW_MACRO_end_file1309624 ·DW_MACRO_end_file
1309627 ·DW_MACRO_end_file1309625 ·DW_MACRO_end_file
1309628 ·DW_MACRO_import·-·offset·:·0x9e381309626 ·DW_MACRO_import·-·offset·:·0x9e38
1309629 ·DW_MACRO_start_file·-·lineno:·56·filenum:·1771309627 ·DW_MACRO_start_file·-·lineno:·56·filenum:·177
1309630 ·DW_MACRO_import·-·offset·:·0x4f3b921309628 ·DW_MACRO_import·-·offset·:·0x4f3b92
1309631 ·DW_MACRO_end_file1309629 ·DW_MACRO_end_file
1309632 ·DW_MACRO_end_file1309630 ·DW_MACRO_end_file
1309633 ·DW_MACRO_start_file·-·lineno:·54·filenum:·1121309631 ·DW_MACRO_start_file·-·lineno:·52·filenum:·112
 1309632 ·DW_MACRO_end_file
 1309633 ·DW_MACRO_start_file·-·lineno:·54·filenum:·31
1309634 ·DW_MACRO_end_file1309634 ·DW_MACRO_end_file
1309635 ·DW_MACRO_start_file·-·lineno:·57·filenum:·831309635 ·DW_MACRO_start_file·-·lineno:·57·filenum:·83
1309636 ·DW_MACRO_define_strp·-·lineno·:·41·macro·:·__glibcxx_want_freestanding_cstring·1309636 ·DW_MACRO_define_strp·-·lineno·:·41·macro·:·__glibcxx_want_freestanding_cstring·
1309637 ·DW_MACRO_start_file·-·lineno:·42·filenum:·1771309637 ·DW_MACRO_start_file·-·lineno:·42·filenum:·177
1309638 ·DW_MACRO_import·-·offset·:·0x4f417e1309638 ·DW_MACRO_import·-·offset·:·0x4f417e
1309639 ·DW_MACRO_end_file1309639 ·DW_MACRO_end_file
1309640 ·DW_MACRO_start_file·-·lineno:·43·filenum:·1401309640 ·DW_MACRO_start_file·-·lineno:·43·filenum:·140
⊟
630 B
readelf --wide --debug-dump=loc {}
    
Offset 4194297, 8 lines modifiedOffset 4194297, 8 lines modified
4194297 ·············0000000000467ef0·0000000000467ef0·(DW_OP_reg24·(x24))4194297 ·············0000000000467ef0·0000000000467ef0·(DW_OP_reg24·(x24))
4194298 ····00bcc2ce·<End·of·list>4194298 ····00bcc2ce·<End·of·list>
  
4194299 ····00bcc2cf·v000000000000006·v000000000000008·location·view·pair4194299 ····00bcc2cf·v000000000000006·v000000000000008·location·view·pair
  
4194300 ····00bcc2d1·v000000000000006·v000000000000008·views·at·00bcc2cf·for:4194300 ····00bcc2d1·v000000000000006·v000000000000008·views·at·00bcc2cf·for:
4194301 ·············0000000000467f0c·0000000000467f0c·(DW_OP_implicit_pointer:·<0x349ab8a>·0)4194301 ·············0000000000467f0c·0000000000467f0c·(DW_OP_implicit_pointer:·<0x349ab8a>·0)
4194302 [·Too·much·input·for·diff·(SHA256:·624ac0261eeb61b38a38f490fc4c1fcbb1c9eb36be464904f2f333aa1681308a)·]4194302 [·Too·much·input·for·diff·(SHA256:·709592d9df43e2f288c98bef285e65d55eb7e02abb01bcb9b76af68f78c21d84)·]
⊟
657 KB
strings --all --bytes=8 {}
    
Offset 1, 30392 lines modifiedOffset 1, 30243 lines modified
1 GCC:·(Debian·14.2.0-6)·14.2.01 !GCC:·(Debian·14.2.0-6)·14.2.0
2 _P?Qt|0T2 _P?Qt|0T
3 =>'?(}Hf3 =>'?(}Hf
4 xK(BF%D[%!4 xK(BF%D[%!
5 L5_F0}Yzj5 L5_F0}Yzj
6 &1)VbpKw6 &2)_bpKw
7 E»      0c^"Us< 
8 k\{WG"IM 
9 5$k2n0nlQ 
10 "z4agM(> 
11 8fPU_g9@ 
12 ·'<N{`Yv 
13 ,'[c7.gDS 
14 PtM=WX@e 
15 b+?dk)L`" 
16 7QKoZ7(<n 
17 ]nPv5Y<% 
18 $@m?>i?>i 
19 t07u0H?R 
20 w24zxM3{ 
21 TTnUhGv/b 
22 :mm0T){) 
23 7J<6ZAr. 
24 |7h8i"o& 
25 /Kg=wXy\i 
26 |+4fU:Pnl 
27 YmoSvbb5 
28 g#jcx1Z](»      t 
29 ^}|J{[UI 
30 DMn>V#|: 
31 w@»     rri'l 
32 w@»     rri'l 
33 Ni([&pJ[ 
34 kQpJ;LP'6x 
35 )]#rJK-& 
36 2h»     t?d8; 
37 kN#thI@+ 
38 S>&9uR!F|w 
39 ")[Ew=VJ2/ 
40 70xX0b]* 
41 0"R)Kv9» 
42 XXP91fjL 
43 >&{B6ouU 
44 ^/Xvop!1Puop 
45 .zX[59ez7 &5?rN'wA
 8 ]{P~_Isl1
 9 hqyQ9|L~T2
 10 }+;P9hZ.T
 11 yQYua~T2
 12 8y7?UiL7?
 13 t9do2lc\f
 14 Lsx0*;,:4
 15 uDfP?Wdf
 16 c!g<#|,e6
 17 FXk+#&XjF
 18 ejotn7mS
 19 +0pR!Jc|
 20 ]Do&(^n8
 21 uW=X(d6$Rv
 22 !|Gya?#;
 23 T=nR1HO%
 24 lSR`))|s»       _\
 25 (·)zt.$~
 26 p\*]5Nw\
 27 ]oR65Y<5
 28 Peyp&@RY
 29 HqRv%EhGh
 30 4o=p_%Oeb
 31 80{qg(C{
 32 6'TzQc\$nx
 33 S»      Ot].O4
 34 Qp'xYRXVM7
 35 ·M=H!m>a?
 36 z@5xf"7l
 37 "{"!eua&
 38 i7UCRR;as
 39 'B_MT?_'*
 40 )mSqJ;-P[
 41 SZ]Wf·qJW
 42 df?5pf·k*
 43 h7q[%ZY>.'
 44 i%c%tE;lH/
 45 k:A|in^#H
 46 9w5f:T3N
 47 W;ovv4B1
 48 V79OQ.,*.
 49 ?fs&»   (ji
 50 \];iom98
 51 "cN=&B&jT
 52 Hu\M·*T$`_
 53 9TsS'<PI·\
 54 s~<539hh
 55 t<531eVx
 56 »       W6Chp3<
46 7$/xCR4oHQ57 7$/xCR4oHQ
47 ,@+~oH@=K&58 ,@+~oH@=K&
48 +xCR4oHVX3Q4oH59 +xCR4oHVX3Q4oH
 60 >x;R4_HS
 61 %o{q{K{q
 62 KKA6Vtn»:
 63 =$bLl#%"&
 64 OrW9G)jq(
 65 r]q»    gYc2
 66 v:Vf'}E";<
 67 L34[_U*~
49 BR4_H;Bv 
50 (xF#,=;5| 
51 &»      v;b?6\ 
52 O#4w·&F> 
53 %SkG~fnf 
54 f]E!VQ;I 
55 i&s*B5+J 
56 Fc`p+p5F^n»     &c 
57 p>1,;kW` 
58 ^sVd`f&fL 
59 5i}ui{u-- 
60 fXgXh^e. 
61 !zxA^wY_ 
62 ?f{·4ZQG 
63 pA99,mdZn?/68 pA99,mdZn?/
 69 ZR~uyUK-v
 70 H26+sWr}\$
 71 NX?1g(/&
 72 Jlz,|74>
 73 gb&Sia;)
 74 YluJ4uYi
 75 /Vn|S~w>
Max diff block lines reached; 671473/673146 bytes (99.75%) 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.
⊟
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_arm64.deb
Timeout exceeded; details may be incomplete.
⊟
118 B
python3-cvc5-dbgsym_1.1.2-2_arm64.deb
Timeout exceeded; details may be incomplete.
Generated by diffoscope 282