103 MB
/srv/reproducible-results/rbuild-debian/r-b-build.7WN9nOim/b1/cvc5_1.1.2-2_amd64.changes vs.
/srv/reproducible-results/rbuild-debian/r-b-build.7WN9nOim/b2/cvc5_1.1.2-2_amd64.changes
1.52 KB
Files
    
Offset 1, 10 lines modifiedOffset 1, 10 lines modified
  
1 ·ea11a0c5bf0073d3040704f5e42add36·1886524·debug·optional·cvc5-dbgsym_1.1.2-2_amd64.deb 
2 ·de1670d00e1976635c6d131aa941d112·107444·math·optional·cvc5_1.1.2-2_amd64.deb 
3 ·3690b7e1328fa77db8315865cf121305·183023840·debug·optional·libcvc5-1-dbgsym_1.1.2-2_amd64.deb 
4 ·f92c656190a692b0ef61eba736ac51be·6692752·libs·optional·libcvc5-1_1.1.2-2_amd64.deb1 ·03ef4b1debc41c93ca0b8004b1902006·1886304·debug·optional·cvc5-dbgsym_1.1.2-2_amd64.deb
 2 ·aa14c288eb36480b35322a9bb5116a06·108224·math·optional·cvc5_1.1.2-2_amd64.deb
 3 ·54a0fa98d6e250e7c7291b31945ae231·183024280·debug·optional·libcvc5-1-dbgsym_1.1.2-2_amd64.deb
 4 ·e27372041f106d49ce8691f51111a20d·6694412·libs·optional·libcvc5-1_1.1.2-2_amd64.deb
5 ·ac8ddc29b51a2e586d2e7f24e288929b·93012·libdevel·optional·libcvc5-dev_1.1.2-2_amd64.deb5 ·ac8ddc29b51a2e586d2e7f24e288929b·93012·libdevel·optional·libcvc5-dev_1.1.2-2_amd64.deb
6 ·0b305e31c5f056623d6189c449f1ef0b·4116440·debug·optional·libcvc5parser1-dbgsym_1.1.2-2_amd64.deb6 ·bf6623bdcde5026de04ad8c69039397c·4116384·debug·optional·libcvc5parser1-dbgsym_1.1.2-2_amd64.deb
7 ·9d26066386683c618e2818a5cc170af9·237284·libs·optional·libcvc5parser1_1.1.2-2_amd64.deb 
8 ·8658de1fe074f16e6cda04dbd38c1162·2664712·debug·optional·python3-cvc5-dbgsym_1.1.2-2_amd64.deb 
9 ·0ea96229bf3ccce0bf95c5c65a38dc23·338980·python·optional·python3-cvc5_1.1.2-2_amd64.deb7 ·7f0b17107783d93431ea64b56acdd80b·237588·libs·optional·libcvc5parser1_1.1.2-2_amd64.deb
 8 ·e3d72a19e52ce062a952960b9634fbff·2665148·debug·optional·python3-cvc5-dbgsym_1.1.2-2_amd64.deb
 9 ·9ada833f07b0409fd488ea3794cfebc4·339924·python·optional·python3-cvc5_1.1.2-2_amd64.deb
2.27 KB
cvc5_1.1.2-2_amd64.deb
367 B
file list
    
Offset 1, 3 lines modifiedOffset 1, 3 lines modified
1 -rw-r--r--···0········0········0········4·2024-03-19·00:06:23.000000·debian-binary1 -rw-r--r--···0········0········0········4·2024-03-19·00:06:23.000000·debian-binary
2 -rw-r--r--···0········0········0·····1116·2024-03-19·00:06:23.000000·control.tar.xz2 -rw-r--r--···0········0········0·····1116·2024-03-19·00:06:23.000000·control.tar.xz
3 -rw-r--r--···0········0········0···106136·2024-03-19·00:06:23.000000·data.tar.xz3 -rw-r--r--···0········0········0···106916·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.74 KB
./usr/bin/cvc5
File has been modified after NT_GNU_BUILD_ID has been applied.
821 B
readelf --wide --notes {}
    
Offset 1, 12 lines modifiedOffset 1, 12 lines modified
  
1 Displaying·notes·found·in:·.note.gnu.property1 Displaying·notes·found·in:·.note.gnu.property
2 ··Owner················Data·size·»  Description2 ··Owner················Data·size·»  Description
3 ··GNU··················0x00000010»  NT_GNU_PROPERTY_TYPE_0»    ······Properties:·x86·ISA·needed:·x86-64-baseline3 ··GNU··················0x00000010»  NT_GNU_PROPERTY_TYPE_0»    ······Properties:·x86·ISA·needed:·x86-64-baseline
  
4 Displaying·notes·found·in:·.note.gnu.build-id4 Displaying·notes·found·in:·.note.gnu.build-id
5 ··Owner················Data·size·»  Description5 ··Owner················Data·size·»  Description
6 ··GNU··················0x00000014»  NT_GNU_BUILD_ID·(unique·build·ID·bitstring)»   ····Build·ID:·28f322ac499f4e46617e2331e3bad12e784d9d996 ··GNU··················0x00000014»  NT_GNU_BUILD_ID·(unique·build·ID·bitstring)»   ····Build·ID:·c9df1aaf4c6ff84bbee1b0e83213632d120889a9
  
7 Displaying·notes·found·in:·.note.ABI-tag7 Displaying·notes·found·in:·.note.ABI-tag
8 ··Owner················Data·size·»  Description8 ··Owner················Data·size·»  Description
9 ··GNU··················0x00000010»  NT_GNU_ABI_TAG·(ABI·version·tag)»     ····OS:·Linux,·ABI:·3.2.09 ··GNU··················0x00000010»  NT_GNU_ABI_TAG·(ABI·version·tag)»     ····OS:·Linux,·ABI:·3.2.0
866 B
error from `readelf --wide --decompress --hex-dump=.gnu_debuglink {}`: readelf: Error: Unable to find program interpreter name readelf: Error: no .dynamic section in the dynamic segment
    
Offset 1, 7 lines modifiedOffset 1, 7 lines modified
  
1 Hex·dump·of·section·'.gnu_debuglink':1 Hex·dump·of·section·'.gnu_debuglink':
2 ··0x00000000·66333232·61633439·39663465·34363631·f322ac499f4e4661 
3 ··0x00000010·37653233·33316533·62616431·32653738·7e2331e3bad12e782 ··0x00000000·64663161·61663463·36666638·34626265·df1aaf4c6ff84bbe
 3 ··0x00000010·65316230·65383332·31333633·32643132·e1b0e83213632d12
4 ··0x00000020·34643964·39392e64·65627567·00000000·4d9d99.debug....4 ··0x00000020·30383839·61392e64·65627567·00000000·0889a9.debug....
5 ··0x00000030·17890c4f····························...O5 ··0x00000030·f1ffa8b1····························....
  
7.6 KB
libcvc5-1_1.1.2-2_amd64.deb
367 B
file list
    
Offset 1, 3 lines modifiedOffset 1, 3 lines modified
1 -rw-r--r--···0········0········0········4·2024-03-19·00:06:23.000000·debian-binary1 -rw-r--r--···0········0········0········4·2024-03-19·00:06:23.000000·debian-binary
2 -rw-r--r--···0········0········0·····1280·2024-03-19·00:06:23.000000·control.tar.xz2 -rw-r--r--···0········0········0·····1280·2024-03-19·00:06:23.000000·control.tar.xz
3 -rw-r--r--···0········0········0··6691280·2024-03-19·00:06:23.000000·data.tar.xz3 -rw-r--r--···0········0········0··6692940·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
7.09 KB
data.tar.xz
7.07 KB
data.tar
7.05 KB
./usr/lib/x86_64-linux-gnu/libcvc5.so.1
File has been modified after NT_GNU_BUILD_ID has been applied.
430 B
readelf --wide --notes {}
    
Offset 1, 4 lines modifiedOffset 1, 4 lines modified
  
1 Displaying·notes·found·in:·.note.gnu.build-id1 Displaying·notes·found·in:·.note.gnu.build-id
2 ··Owner················Data·size·»  Description2 ··Owner················Data·size·»  Description
3 ··GNU··················0x00000014»  NT_GNU_BUILD_ID·(unique·build·ID·bitstring)»   ····Build·ID:·10ae1df488ea05ce9b8041e28c39c004e3e5e4153 ··GNU··················0x00000014»  NT_GNU_BUILD_ID·(unique·build·ID·bitstring)»   ····Build·ID:·0984530b89719969e46842e6e0ad6e18573942e6
5.71 KB
objdump --line-numbers --disassemble --demangle --reloc --no-show-raw-insn --section=.text {}
    
Offset 668316, 19 lines modifiedOffset 668316, 19 lines modified
668316 »       movl···$0x52,0xd20(%rsp)668316 »       movl···$0x52,0xd20(%rsp)
668317 »       call···13feab0·<cvc5::internal::Options::Options()@@Base+0x12d0>668317 »       call···13feab0·<cvc5::internal::Options::Options()@@Base+0x12d0>
668318 »       lea····0xd50(%rsp),%rdi668318 »       lea····0xd50(%rsp),%rdi
668319 »       lea····0x12d29f9(%rip),%rsi········668319 »       lea····0x12d29f9(%rip),%rsi········
668320 »       movl···$0x53,0xd48(%rsp)668320 »       movl···$0x53,0xd48(%rsp)
668321 »       call···13feab0·<cvc5::internal::Options::Options()@@Base+0x12d0>668321 »       call···13feab0·<cvc5::internal::Options::Options()@@Base+0x12d0>
668322 »       lea····0xd78(%rsp),%rdi668322 »       lea····0xd78(%rsp),%rdi
668323 »       lea····0x12d0ea8(%rip),%rsi········668323 »       lea····0x12d3cb5(%rip),%rsi········
668324 »       movl···$0x54,0xd70(%rsp)668324 »       movl···$0x54,0xd70(%rsp)
668325 »       call···13feab0·<cvc5::internal::Options::Options()@@Base+0x12d0>668325 »       call···13feab0·<cvc5::internal::Options::Options()@@Base+0x12d0>
668326 »       lea····0xda0(%rsp),%rdi668326 »       lea····0xda0(%rsp),%rdi
668327 »       lea····0x12d3c96(%rip),%rsi········668327 »       lea····0x12d0e89(%rip),%rsi········
668328 »       movl···$0x55,0xd98(%rsp)668328 »       movl···$0x55,0xd98(%rsp)
668329 »       call···13feab0·<cvc5::internal::Options::Options()@@Base+0x12d0>668329 »       call···13feab0·<cvc5::internal::Options::Options()@@Base+0x12d0>
668330 »       lea····0xdc8(%rsp),%rdi668330 »       lea····0xdc8(%rsp),%rdi
668331 »       lea····0x12d04c2(%rip),%rsi········668331 »       lea····0x12d04c2(%rip),%rsi········
668332 »       movl···$0x55,0xdc0(%rsp)668332 »       movl···$0x55,0xdc0(%rsp)
668333 »       call···13feab0·<cvc5::internal::Options::Options()@@Base+0x12d0>668333 »       call···13feab0·<cvc5::internal::Options::Options()@@Base+0x12d0>
668334 »       lea····0xdf0(%rsp),%rdi668334 »       lea····0xdf0(%rsp),%rdi
Offset 668460, 19 lines modifiedOffset 668460, 19 lines modified
668460 »       movl···$0x75,0x12c0(%rsp)668460 »       movl···$0x75,0x12c0(%rsp)
668461 »       call···13feab0·<cvc5::internal::Options::Options()@@Base+0x12d0>668461 »       call···13feab0·<cvc5::internal::Options::Options()@@Base+0x12d0>
668462 »       lea····0x12f0(%rsp),%rdi668462 »       lea····0x12f0(%rsp),%rdi
668463 »       lea····0x12d1f13(%rip),%rsi········668463 »       lea····0x12d1f13(%rip),%rsi········
668464 »       movl···$0x76,0x12e8(%rsp)668464 »       movl···$0x76,0x12e8(%rsp)
668465 »       call···13feab0·<cvc5::internal::Options::Options()@@Base+0x12d0>668465 »       call···13feab0·<cvc5::internal::Options::Options()@@Base+0x12d0>
668466 »       lea····0x1318(%rsp),%rdi668466 »       lea····0x1318(%rsp),%rdi
668467 »       lea····0x12c62b1(%rip),%rsi········668467 »       lea····0x12c3f2c(%rip),%rsi········
668468 »       movl···$0x77,0x1310(%rsp)668468 »       movl···$0x77,0x1310(%rsp)
668469 »       call···13feab0·<cvc5::internal::Options::Options()@@Base+0x12d0>668469 »       call···13feab0·<cvc5::internal::Options::Options()@@Base+0x12d0>
668470 »       lea····0x1340(%rsp),%rdi668470 »       lea····0x1340(%rsp),%rdi
668471 »       lea····0x12c3f0d(%rip),%rsi········668471 »       lea····0x12c6292(%rip),%rsi········
668472 »       movl···$0x78,0x1338(%rsp)668472 »       movl···$0x78,0x1338(%rsp)
668473 »       call···13feab0·<cvc5::internal::Options::Options()@@Base+0x12d0>668473 »       call···13feab0·<cvc5::internal::Options::Options()@@Base+0x12d0>
668474 »       lea····0x1368(%rsp),%rdi668474 »       lea····0x1368(%rsp),%rdi
668475 »       lea····0x12d0a62(%rip),%rsi········668475 »       lea····0x12d0a62(%rip),%rsi········
668476 »       movl···$0x78,0x1360(%rsp)668476 »       movl···$0x78,0x1360(%rsp)
668477 »       call···13feab0·<cvc5::internal::Options::Options()@@Base+0x12d0>668477 »       call···13feab0·<cvc5::internal::Options::Options()@@Base+0x12d0>
668478 »       lea····0x1390(%rsp),%rdi668478 »       lea····0x1390(%rsp),%rdi
Offset 668692, 19 lines modifiedOffset 668692, 19 lines modified
668692 »       movl···$0xae,0x1bd0(%rsp)668692 »       movl···$0xae,0x1bd0(%rsp)
668693 »       call···13feab0·<cvc5::internal::Options::Options()@@Base+0x12d0>668693 »       call···13feab0·<cvc5::internal::Options::Options()@@Base+0x12d0>
668694 »       lea····0x1c00(%rsp),%rdi668694 »       lea····0x1c00(%rsp),%rdi
668695 »       lea····0x12d04b1(%rip),%rsi········668695 »       lea····0x12d04b1(%rip),%rsi········
668696 »       movl···$0xaf,0x1bf8(%rsp)668696 »       movl···$0xaf,0x1bf8(%rsp)
668697 »       call···13feab0·<cvc5::internal::Options::Options()@@Base+0x12d0>668697 »       call···13feab0·<cvc5::internal::Options::Options()@@Base+0x12d0>
668698 »       lea····0x1c28(%rsp),%rdi668698 »       lea····0x1c28(%rsp),%rdi
668699 »       lea····0x12d04a0(%rip),%rsi········668699 »       lea····0x12d05da(%rip),%rsi········
668700 »       movl···$0xb0,0x1c20(%rsp)668700 »       movl···$0xb0,0x1c20(%rsp)
668701 »       call···13feab0·<cvc5::internal::Options::Options()@@Base+0x12d0>668701 »       call···13feab0·<cvc5::internal::Options::Options()@@Base+0x12d0>
668702 »       lea····0x1c50(%rsp),%rdi668702 »       lea····0x1c50(%rsp),%rdi
668703 »       lea····0x12d05bb(%rip),%rsi········668703 »       lea····0x12d0481(%rip),%rsi········
668704 »       movl···$0xb1,0x1c48(%rsp)668704 »       movl···$0xb1,0x1c48(%rsp)
668705 »       call···13feab0·<cvc5::internal::Options::Options()@@Base+0x12d0>668705 »       call···13feab0·<cvc5::internal::Options::Options()@@Base+0x12d0>
668706 »       lea····0x1c78(%rsp),%rdi668706 »       lea····0x1c78(%rsp),%rdi
668707 »       lea····0x12d1e8b(%rip),%rsi········668707 »       lea····0x12d1e8b(%rip),%rsi········
668708 »       movl···$0xb1,0x1c70(%rsp)668708 »       movl···$0xb1,0x1c70(%rsp)
668709 »       call···13feab0·<cvc5::internal::Options::Options()@@Base+0x12d0>668709 »       call···13feab0·<cvc5::internal::Options::Options()@@Base+0x12d0>
668710 »       lea····0x1ca0(%rsp),%rdi668710 »       lea····0x1ca0(%rsp),%rdi
Offset 668940, 35 lines modifiedOffset 668940, 35 lines modified
668940 »       movl···$0xe9,0x2580(%rsp)668940 »       movl···$0xe9,0x2580(%rsp)
668941 »       call···13feab0·<cvc5::internal::Options::Options()@@Base+0x12d0>668941 »       call···13feab0·<cvc5::internal::Options::Options()@@Base+0x12d0>
668942 »       lea····0x25b0(%rsp),%rdi668942 »       lea····0x25b0(%rsp),%rdi
668943 »       lea····0x12d1280(%rip),%rsi········668943 »       lea····0x12d1280(%rip),%rsi········
668944 »       movl···$0xea,0x25a8(%rsp)668944 »       movl···$0xea,0x25a8(%rsp)
668945 »       call···13feab0·<cvc5::internal::Options::Options()@@Base+0x12d0>668945 »       call···13feab0·<cvc5::internal::Options::Options()@@Base+0x12d0>
668946 »       lea····0x25d8(%rsp),%rdi668946 »       lea····0x25d8(%rsp),%rdi
668947 »       lea····0x12c70d4(%rip),%rsi········668947 »       lea····0x12cfe5d(%rip),%rsi········
668948 »       movl···$0xeb,0x25d0(%rsp)668948 »       movl···$0xeb,0x25d0(%rsp)
668949 »       call···13feab0·<cvc5::internal::Options::Options()@@Base+0x12d0>668949 »       call···13feab0·<cvc5::internal::Options::Options()@@Base+0x12d0>
668950 »       lea····0x2600(%rsp),%rdi668950 »       lea····0x2600(%rsp),%rdi
668951 »       lea····0x12cfe3e(%rip),%rsi········668951 »       lea····0x12c70b5(%rip),%rsi········
668952 »       movl···$0xec,0x25f8(%rsp)668952 »       movl···$0xec,0x25f8(%rsp)
668953 »       call···13feab0·<cvc5::internal::Options::Options()@@Base+0x12d0>668953 »       call···13feab0·<cvc5::internal::Options::Options()@@Base+0x12d0>
668954 »       lea····0x2628(%rsp),%rdi668954 »       lea····0x2628(%rsp),%rdi
668955 »       lea····0x12cfe2f(%rip),%rsi········668955 »       lea····0x12cfe2f(%rip),%rsi········
668956 »       movl···$0xec,0x2620(%rsp)668956 »       movl···$0xec,0x2620(%rsp)
668957 »       call···13feab0·<cvc5::internal::Options::Options()@@Base+0x12d0>668957 »       call···13feab0·<cvc5::internal::Options::Options()@@Base+0x12d0>
668958 »       lea····0x2650(%rsp),%rdi668958 »       lea····0x2650(%rsp),%rdi
668959 »       lea····0x12cfe28(%rip),%rsi········668959 »       lea····0x12cfe28(%rip),%rsi········
668960 »       movl···$0xed,0x2648(%rsp)668960 »       movl···$0xed,0x2648(%rsp)
668961 »       call···13feab0·<cvc5::internal::Options::Options()@@Base+0x12d0>668961 »       call···13feab0·<cvc5::internal::Options::Options()@@Base+0x12d0>
668962 »       lea····0x2678(%rsp),%rdi668962 »       lea····0x2678(%rsp),%rdi
668963 »       lea····0x12cfe1e(%rip),%rsi········668963 »       lea····0x12cfa9e(%rip),%rsi········
668964 »       movl···$0xee,0x2670(%rsp)668964 »       movl···$0xee,0x2670(%rsp)
668965 »       call···13feab0·<cvc5::internal::Options::Options()@@Base+0x12d0>668965 »       call···13feab0·<cvc5::internal::Options::Options()@@Base+0x12d0>
668966 »       lea····0x26a0(%rsp),%rdi668966 »       lea····0x26a0(%rsp),%rdi
668967 »       lea····0x12cfa7f(%rip),%rsi········668967 »       lea····0x12cfdff(%rip),%rsi········
668968 »       movl···$0xef,0x2698(%rsp)668968 »       movl···$0xef,0x2698(%rsp)
668969 »       call···13feab0·<cvc5::internal::Options::Options()@@Base+0x12d0>668969 »       call···13feab0·<cvc5::internal::Options::Options()@@Base+0x12d0>
668970 »       lea····0x26c8(%rsp),%rdi668970 »       lea····0x26c8(%rsp),%rdi
668971 »       lea····0x12cfdf3(%rip),%rsi········668971 »       lea····0x12cfdf3(%rip),%rsi········
668972 »       movl···$0xef,0x26c0(%rsp)668972 »       movl···$0xef,0x26c0(%rsp)
668973 »       call···13feab0·<cvc5::internal::Options::Options()@@Base+0x12d0>668973 »       call···13feab0·<cvc5::internal::Options::Options()@@Base+0x12d0>
668974 »       lea····0x26f0(%rsp),%rdi668974 »       lea····0x26f0(%rsp),%rdi
Offset 669044, 19 lines modifiedOffset 669044, 19 lines modified
669044 »       movl···$0x101,0x2990(%rsp)669044 »       movl···$0x101,0x2990(%rsp)
669045 »       call···13feab0·<cvc5::internal::Options::Options()@@Base+0x12d0>669045 »       call···13feab0·<cvc5::internal::Options::Options()@@Base+0x12d0>
669046 »       lea····0x29c0(%rsp),%rdi669046 »       lea····0x29c0(%rsp),%rdi
669047 »       lea····0x12d14ad(%rip),%rsi········669047 »       lea····0x12d14ad(%rip),%rsi········
669048 »       movl···$0x102,0x29b8(%rsp)669048 »       movl···$0x102,0x29b8(%rsp)
669049 »       call···13feab0·<cvc5::internal::Options::Options()@@Base+0x12d0>669049 »       call···13feab0·<cvc5::internal::Options::Options()@@Base+0x12d0>
669050 »       lea····0x29e8(%rsp),%rdi669050 »       lea····0x29e8(%rsp),%rdi
669051 »       lea····0x12d14a1(%rip),%rsi········669051 »       lea····0x12d14b7(%rip),%rsi········
669052 »       movl···$0x103,0x29e0(%rsp)669052 »       movl···$0x103,0x29e0(%rsp)
669053 »       call···13feab0·<cvc5::internal::Options::Options()@@Base+0x12d0>669053 »       call···13feab0·<cvc5::internal::Options::Options()@@Base+0x12d0>
669054 »       lea····0x2a10(%rsp),%rdi669054 »       lea····0x2a10(%rsp),%rdi
669055 »       lea····0x12d1498(%rip),%rsi········669055 »       lea····0x12d1482(%rip),%rsi········
669056 »       movl···$0x104,0x2a08(%rsp)669056 »       movl···$0x104,0x2a08(%rsp)
669057 »       call···13feab0·<cvc5::internal::Options::Options()@@Base+0x12d0>669057 »       call···13feab0·<cvc5::internal::Options::Options()@@Base+0x12d0>
669058 »       lea····0x2a38(%rsp),%rdi669058 »       lea····0x2a38(%rsp),%rdi
669059 »       lea····0x12d148d(%rip),%rsi········669059 »       lea····0x12d148d(%rip),%rsi········
669060 »       movl···$0x104,0x2a30(%rsp)669060 »       movl···$0x104,0x2a30(%rsp)
669061 »       call···13feab0·<cvc5::internal::Options::Options()@@Base+0x12d0>669061 »       call···13feab0·<cvc5::internal::Options::Options()@@Base+0x12d0>
669062 »       lea····0x2a60(%rsp),%rdi669062 »       lea····0x2a60(%rsp),%rdi
Offset 4194296, 8 lines modifiedOffset 4194296, 8 lines modified
4194296 »       cmp····%rbx,-0x188(%rbp)4194296 »       cmp····%rbx,-0x188(%rbp)
4194297 »       je·····d07170·<void·std::vector<long,·std::allocator<long>·>::_M_realloc_append<long>(long&&)@@Base+0xeb920>4194297 »       je·····d07170·<void·std::vector<long,·std::allocator<long>·>::_M_realloc_append<long>(long&&)@@Base+0xeb920>
4194298 ./obj-x86_64-linux-gnu/src/./src/theory/quantifiers/instantiate.cpp:5914194298 ./obj-x86_64-linux-gnu/src/./src/theory/quantifiers/instantiate.cpp:591
4194299 »       mov····(%rbx),%rsi4194299 »       mov····(%rbx),%rsi
4194300 ./obj-x86_64-linux-gnu/src/./src/./expr/node.h:10584194300 ./obj-x86_64-linux-gnu/src/./src/./expr/node.h:1058
4194301 »       mov····(%r12),%rdi4194301 »       mov····(%r12),%rdi
4194302 ./obj-x86_64-linux-gnu/src/./src/theory/quantifiers/instantiate.cpp:5914194302 ./obj-x86_64-linux-gnu/src/./src/theory/quantifiers/instantiate.cpp:591
4194303 [·Too·much·input·for·diff·(SHA256:·dd0d3f55a9f59a025bf4ccc54ce8290e532851066f4d5a78edf123341caa913d)·]4194303 [·Too·much·input·for·diff·(SHA256:·e29e4cbd07b865a48438b2ce497b69e8415ffc1a0808cac9d8de1573ed7b4b6b)·]
811 B
error from `readelf --wide --decompress --hex-dump=.gnu_debuglink {}`: readelf: Error: no .dynamic section in the dynamic segment
    
Offset 1, 7 lines modifiedOffset 1, 7 lines modified
  
1 Hex·dump·of·section·'.gnu_debuglink':1 Hex·dump·of·section·'.gnu_debuglink':
2 ··0x00000000·61653164·66343838·65613035·63653962·ae1df488ea05ce9b 
3 ··0x00000010·38303431·65323863·33396330·30346533·8041e28c39c004e32 ··0x00000000·38343533·30623839·37313939·36396534·84530b89719969e4
 3 ··0x00000010·36383432·65366530·61643665·31383537·6842e6e0ad6e1857
4 ··0x00000020·65356534·31352e64·65627567·00000000·e5e415.debug....4 ··0x00000020·33393432·65362e64·65627567·00000000·3942e6.debug....
5 ··0x00000030·2c8efcdf····························,...5 ··0x00000030·c3bf74b2····························..t.
  
1.91 KB
libcvc5parser1_1.1.2-2_amd64.deb
367 B
file list
    
Offset 1, 3 lines modifiedOffset 1, 3 lines modified
1 -rw-r--r--···0········0········0········4·2024-03-19·00:06:23.000000·debian-binary1 -rw-r--r--···0········0········0········4·2024-03-19·00:06:23.000000·debian-binary
2 -rw-r--r--···0········0········0·····1264·2024-03-19·00:06:23.000000·control.tar.xz2 -rw-r--r--···0········0········0·····1264·2024-03-19·00:06:23.000000·control.tar.xz
3 -rw-r--r--···0········0········0···235828·2024-03-19·00:06:23.000000·data.tar.xz3 -rw-r--r--···0········0········0···236132·2024-03-19·00:06:23.000000·data.tar.xz
98.0 B
control.tar.xz
70.0 B
control.tar
48.0 B
./md5sums
30.0 B
./md5sums
Files differ
1.4 KB
data.tar.xz
1.38 KB
data.tar
1.36 KB
./usr/lib/x86_64-linux-gnu/libcvc5parser.so.1
File has been modified after NT_GNU_BUILD_ID has been applied.
430 B
readelf --wide --notes {}
    
Offset 1, 4 lines modifiedOffset 1, 4 lines modified
  
1 Displaying·notes·found·in:·.note.gnu.build-id1 Displaying·notes·found·in:·.note.gnu.build-id
2 ··Owner················Data·size·»  Description2 ··Owner················Data·size·»  Description
3 ··GNU··················0x00000014»  NT_GNU_BUILD_ID·(unique·build·ID·bitstring)»   ····Build·ID:·6cfe61039083b5aeaebb47eff3f8d5265caa185b3 ··GNU··················0x00000014»  NT_GNU_BUILD_ID·(unique·build·ID·bitstring)»   ····Build·ID:·8b0524c14b219b3facc090ab17316e883af8bd67
811 B
error from `readelf --wide --decompress --hex-dump=.gnu_debuglink {}`: readelf: Error: no .dynamic section in the dynamic segment
    
Offset 1, 7 lines modifiedOffset 1, 7 lines modified
  
1 Hex·dump·of·section·'.gnu_debuglink':1 Hex·dump·of·section·'.gnu_debuglink':
2 ··0x00000000·66653631·30333930·38336235·61656165·fe61039083b5aeae 
3 ··0x00000010·62623437·65666633·66386435·32363563·bb47eff3f8d5265c2 ··0x00000000·30353234·63313462·32313962·33666163·0524c14b219b3fac
 3 ··0x00000010·63303930·61623137·33313665·38383361·c090ab17316e883a
4 ··0x00000020·61613138·35622e64·65627567·00000000·aa185b.debug....4 ··0x00000020·66386264·36372e64·65627567·00000000·f8bd67.debug....
5 ··0x00000030·7b155615····························{.V.5 ··0x00000030·923d1e9b····························.=..
  
2.07 KB
python3-cvc5_1.1.2-2_amd64.deb
452 B
file list
    
Offset 1, 3 lines modifiedOffset 1, 3 lines modified
1 -rw-r--r--···0········0········0········4·2024-03-19·00:06:23.000000·debian-binary1 -rw-r--r--···0········0········0········4·2024-03-19·00:06:23.000000·debian-binary
2 -rw-r--r--···0········0········0·····1680·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···337108·2024-03-19·00:06:23.000000·data.tar.xz3 -rw-r--r--···0········0········0···338056·2024-03-19·00:06:23.000000·data.tar.xz
98.0 B
control.tar.xz
70.0 B
control.tar
48.0 B
./md5sums
30.0 B
./md5sums
Files differ
1.48 KB
data.tar.xz
1.45 KB
data.tar
1.44 KB
./usr/lib/python3/dist-packages/cvc5/cvc5_python_base.cpython-313-x86_64-linux-gnu.so
File has been modified after NT_GNU_BUILD_ID has been applied.
430 B
readelf --wide --notes {}
    
Offset 1, 4 lines modifiedOffset 1, 4 lines modified
  
1 Displaying·notes·found·in:·.note.gnu.build-id1 Displaying·notes·found·in:·.note.gnu.build-id
2 ··Owner················Data·size·»  Description2 ··Owner················Data·size·»  Description
3 ··GNU··················0x00000014»  NT_GNU_BUILD_ID·(unique·build·ID·bitstring)»   ····Build·ID:·21728b22c074c6bbf9461f8e95708606307510e73 ··GNU··················0x00000014»  NT_GNU_BUILD_ID·(unique·build·ID·bitstring)»   ····Build·ID:·924d9467010297420674df556ad342b2aa042d8e
811 B
error from `readelf --wide --decompress --hex-dump=.gnu_debuglink {}`: readelf: Error: no .dynamic section in the dynamic segment
    
Offset 1, 7 lines modifiedOffset 1, 7 lines modified
  
1 Hex·dump·of·section·'.gnu_debuglink':1 Hex·dump·of·section·'.gnu_debuglink':
2 ··0x00000000·37323862·32326330·37346336·62626639·728b22c074c6bbf9 
3 ··0x00000010·34363166·38653935·37303836·30363330·461f8e95708606302 ··0x00000000·34643934·36373031·30323937·34323036·4d94670102974206
 3 ··0x00000010·37346466·35353661·64333432·62326161·74df556ad342b2aa
4 ··0x00000020·37353130·65372e64·65627567·00000000·7510e7.debug....4 ··0x00000020·30343264·38652e64·65627567·00000000·042d8e.debug....
5 ··0x00000030·fd8055ce····························..U.5 ··0x00000030·6fab9072····························o..r
  
2.46 KB
cvc5-dbgsym_1.1.2-2_amd64.deb
367 B
file list
    
Offset 1, 3 lines modifiedOffset 1, 3 lines modified
1 -rw-r--r--···0········0········0········4·2024-03-19·00:06:23.000000·debian-binary1 -rw-r--r--···0········0········0········4·2024-03-19·00:06:23.000000·debian-binary
2 -rw-r--r--···0········0········0······532·2024-03-19·00:06:23.000000·control.tar.xz2 -rw-r--r--···0········0········0······532·2024-03-19·00:06:23.000000·control.tar.xz
3 -rw-r--r--···0········0········0··1885800·2024-03-19·00:06:23.000000·data.tar.xz3 -rw-r--r--···0········0········0··1885580·2024-03-19·00:06:23.000000·data.tar.xz
652 B
control.tar.xz
624 B
control.tar
376 B
./control
    
Offset 5, 8 lines modifiedOffset 5, 8 lines modified
5 Architecture:·amd645 Architecture:·amd64
6 Maintainer:·Debian·Science·Maintainers·<debian-science-maintainers@alioth-lists.debian.net>6 Maintainer:·Debian·Science·Maintainers·<debian-science-maintainers@alioth-lists.debian.net>
7 Installed-Size:·20907 Installed-Size:·2090
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:·28f322ac499f4e46617e2331e3bad12e784d9d9912 Build-Ids:·c9df1aaf4c6ff84bbee1b0e83213632d120889a9
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/28/f322ac499f4e46617e2331e3bad12e784d9d99.debug1 usr/lib/debug/.build-id/c9/df1aaf4c6ff84bbee1b0e83213632d120889a9.debug
1.41 KB
data.tar.xz
1.39 KB
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/28/6 drwxr-xr-x···0·root·········(0)·root·········(0)········0·2024-03-19·00:06:23.000000·./usr/lib/debug/.build-id/c9/
7 -rw-r--r--···0·root·········(0)·root·········(0)··2129024·2024-03-19·00:06:23.000000·./usr/lib/debug/.build-id/28/f322ac499f4e46617e2331e3bad12e784d9d99.debug7 -rw-r--r--···0·root·········(0)·root·········(0)··2128960·2024-03-19·00:06:23.000000·./usr/lib/debug/.build-id/c9/df1aaf4c6ff84bbee1b0e83213632d120889a9.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
25.0 MB
libcvc5-1-dbgsym_1.1.2-2_amd64.deb
369 B
file list
    
Offset 1, 3 lines modifiedOffset 1, 3 lines modified
1 -rw-r--r--···0········0········0········4·2024-03-19·00:06:23.000000·debian-binary1 -rw-r--r--···0········0········0········4·2024-03-19·00:06:23.000000·debian-binary
2 -rw-r--r--···0········0········0······552·2024-03-19·00:06:23.000000·control.tar.xz2 -rw-r--r--···0········0········0······552·2024-03-19·00:06:23.000000·control.tar.xz
3 -rw-r--r--···0········0········0·183023096·2024-03-19·00:06:23.000000·data.tar.xz3 -rw-r--r--···0········0········0·183023536·2024-03-19·00:06:23.000000·data.tar.xz
802 B
control.tar.xz
774 B
control.tar
526 B
./control
    
Offset 1, 13 lines modifiedOffset 1, 13 lines modified
1 Package:·libcvc5-1-dbgsym1 Package:·libcvc5-1-dbgsym
2 Source:·cvc52 Source:·cvc5
3 Version:·1.1.2-23 Version:·1.1.2-2
4 Auto-Built-Package:·debug-symbols4 Auto-Built-Package:·debug-symbols
5 Architecture:·amd645 Architecture:·amd64
6 Maintainer:·Debian·Science·Maintainers·<debian-science-maintainers@alioth-lists.debian.net>6 Maintainer:·Debian·Science·Maintainers·<debian-science-maintainers@alioth-lists.debian.net>
7 Installed-Size:·1826197 Installed-Size:·182617
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:·10ae1df488ea05ce9b8041e28c39c004e3e5e41513 Build-Ids:·0984530b89719969e46842e6e0ad6e18573942e6
226 B
./md5sums
30.0 B
./md5sums
Files differ
178 B
line order
    
Offset 1, 1 lines modifiedOffset 1, 1 lines modified
1 usr/lib/debug/.build-id/10/ae1df488ea05ce9b8041e28c39c004e3e5e415.debug1 usr/lib/debug/.build-id/09/84530b89719969e46842e6e0ad6e18573942e6.debug
25.0 MB
data.tar.xz
25.0 MB
data.tar
1.39 KB
file list
    
Offset 1, 10 lines modifiedOffset 1, 10 lines modified
1 drwxr-xr-x···0·root·········(0)·root·········(0)········0·2024-03-19·00:06:23.000000·./1 drwxr-xr-x···0·root·········(0)·root·········(0)········0·2024-03-19·00:06:23.000000·./
2 drwxr-xr-x···0·root·········(0)·root·········(0)········0·2024-03-19·00:06:23.000000·./usr/2 drwxr-xr-x···0·root·········(0)·root·········(0)········0·2024-03-19·00:06:23.000000·./usr/
3 drwxr-xr-x···0·root·········(0)·root·········(0)········0·2024-03-19·00:06:23.000000·./usr/lib/3 drwxr-xr-x···0·root·········(0)·root·········(0)········0·2024-03-19·00:06:23.000000·./usr/lib/
4 drwxr-xr-x···0·root·········(0)·root·········(0)········0·2024-03-19·00:06:23.000000·./usr/lib/debug/4 drwxr-xr-x···0·root·········(0)·root·········(0)········0·2024-03-19·00:06:23.000000·./usr/lib/debug/
5 drwxr-xr-x···0·root·········(0)·root·········(0)········0·2024-03-19·00:06:23.000000·./usr/lib/debug/.build-id/5 drwxr-xr-x···0·root·········(0)·root·········(0)········0·2024-03-19·00:06:23.000000·./usr/lib/debug/.build-id/
6 drwxr-xr-x···0·root·········(0)·root·········(0)········0·2024-03-19·00:06:23.000000·./usr/lib/debug/.build-id/10/6 drwxr-xr-x···0·root·········(0)·root·········(0)········0·2024-03-19·00:06:23.000000·./usr/lib/debug/.build-id/09/
7 -rw-r--r--···0·root·········(0)·root·········(0)·186990856·2024-03-19·00:06:23.000000·./usr/lib/debug/.build-id/10/ae1df488ea05ce9b8041e28c39c004e3e5e415.debug7 -rw-r--r--···0·root·········(0)·root·········(0)·186989320·2024-03-19·00:06:23.000000·./usr/lib/debug/.build-id/09/84530b89719969e46842e6e0ad6e18573942e6.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
25.0 MB
./usr/lib/debug/.build-id/10/ae1df488ea05ce9b8041e28c39c004e3e5e415.debug vs.
./usr/lib/debug/.build-id/09/84530b89719969e46842e6e0ad6e18573942e6.debug
File has been modified after NT_GNU_BUILD_ID has been applied. Files 97% similar despite different names
887 B
readelf --wide --file-header {}
    
Offset 6, 15 lines modifiedOffset 6, 15 lines modified
6 ··OS/ABI:····························UNIX·-·GNU6 ··OS/ABI:····························UNIX·-·GNU
7 ··ABI·Version:·······················07 ··ABI·Version:·······················0
8 ··Type:······························DYN·(Shared·object·file)8 ··Type:······························DYN·(Shared·object·file)
9 ··Machine:···························Advanced·Micro·Devices·X86-649 ··Machine:···························Advanced·Micro·Devices·X86-64
10 ··Version:···························0x110 ··Version:···························0x1
11 ··Entry·point·address:···············0x011 ··Entry·point·address:···············0x0
12 ··Start·of·program·headers:··········64·(bytes·into·file)12 ··Start·of·program·headers:··········64·(bytes·into·file)
13 ··Start·of·section·headers:··········186988296·(bytes·into·file)13 ··Start·of·section·headers:··········186986760·(bytes·into·file)
14 ··Flags:·····························0x014 ··Flags:·····························0x0
15 ··Size·of·this·header:···············64·(bytes)15 ··Size·of·this·header:···············64·(bytes)
16 ··Size·of·program·headers:···········56·(bytes)16 ··Size·of·program·headers:···········56·(bytes)
17 ··Number·of·program·headers:·········1017 ··Number·of·program·headers:·········10
18 ··Size·of·section·headers:···········64·(bytes)18 ··Size·of·section·headers:···········64·(bytes)
19 ··Number·of·section·headers:·········4019 ··Number·of·section·headers:·········40
20 ··Section·header·string·table·index:·3920 ··Section·header·string·table·index:·39
3.52 KB
readelf --wide --sections {}
    
Offset 1, 8 lines modifiedOffset 1, 8 lines modified
1 There·are·40·section·headers,·starting·at·offset·0xb253708:1 There·are·40·section·headers,·starting·at·offset·0xb253108:
  
2 Section·Headers:2 Section·Headers:
3 ··[Nr]·Name··············Type············Address··········Off····Size···ES·Flg·Lk·Inf·Al3 ··[Nr]·Name··············Type············Address··········Off····Size···ES·Flg·Lk·Inf·Al
4 ··[·0]···················NULL············0000000000000000·000000·000000·00······0···0··04 ··[·0]···················NULL············0000000000000000·000000·000000·00······0···0··0
5 ··[·1]·.note.gnu.build-id·NOTE············0000000000000270·000270·000024·00···A··0···0··45 ··[·1]·.note.gnu.build-id·NOTE············0000000000000270·000270·000024·00···A··0···0··4
6 ··[·2]·.gnu.hash·········NOBITS··········0000000000000298·000294·004d0c·00···A··3···0··86 ··[·2]·.gnu.hash·········NOBITS··········0000000000000298·000294·004d0c·00···A··3···0··8
7 ··[·3]·.dynsym···········NOBITS··········0000000000004fa8·000294·00fe58·18···A··4···1··87 ··[·3]·.dynsym···········NOBITS··········0000000000004fa8·000294·00fe58·18···A··4···1··8
Offset 27, 23 lines modifiedOffset 27, 23 lines modified
27 ··[22]·.data.rel.ro······NOBITS··········0000000001864780·000570·014ad0·00··WA··0···0·3227 ··[22]·.data.rel.ro······NOBITS··········0000000001864780·000570·014ad0·00··WA··0···0·32
28 ··[23]·.dynamic··········NOBITS··········0000000001879250·000570·000250·10··WA··4···0··828 ··[23]·.dynamic··········NOBITS··········0000000001879250·000570·000250·10··WA··4···0··8
29 ··[24]·.got··············NOBITS··········00000000018794a0·000570·003b50·08··WA··0···0··829 ··[24]·.got··············NOBITS··········00000000018794a0·000570·003b50·08··WA··0···0··8
30 ··[25]·.data·············NOBITS··········000000000187d000·000570·008240·00··WA··0···0·3230 ··[25]·.data·············NOBITS··········000000000187d000·000570·008240·00··WA··0···0·32
31 ··[26]·.bss··············NOBITS··········0000000001885240·000570·001a00·00··WA··0···0·3231 ··[26]·.bss··············NOBITS··········0000000001885240·000570·001a00·00··WA··0···0·32
32 ··[27]·.comment··········PROGBITS········0000000000000000·000294·00001f·01··MS··0···0··132 ··[27]·.comment··········PROGBITS········0000000000000000·000294·00001f·01··MS··0···0··1
33 ··[28]·.debug_aranges····PROGBITS········0000000000000000·0002b8·00dc19·00···C··0···0··833 ··[28]·.debug_aranges····PROGBITS········0000000000000000·0002b8·00dc19·00···C··0···0··8
34 ··[29]·.debug_info·······PROGBITS········0000000000000000·00ded8·8815d80·00···C··0···0··834 ··[29]·.debug_info·······PROGBITS········0000000000000000·00ded8·881574c·00···C··0···0··8
35 ··[30]·.debug_abbrev·····PROGBITS········0000000000000000·8823c58·0dc9ab·00···C··0···0··835 ··[30]·.debug_abbrev·····PROGBITS········0000000000000000·8823628·0dc9ab·00···C··0···0··8
36 ··[31]·.debug_line·······PROGBITS········0000000000000000·8900608·8726d8·00···C··0···0··836 ··[31]·.debug_line·······PROGBITS········0000000000000000·88fffd8·8726d8·00···C··0···0··8
37 ··[32]·.debug_str········PROGBITS········0000000000000000·9172ce0·3e0075·01·MSC··0···0··837 ··[32]·.debug_str········PROGBITS········0000000000000000·91726b0·3e0072·01·MSC··0···0··8
38 ··[33]·.debug_line_str···PROGBITS········0000000000000000·9552d58·0028d5·01·MSC··0···0··838 ··[33]·.debug_line_str···PROGBITS········0000000000000000·9552728·0028d5·01·MSC··0···0··8
39 ··[34]·.debug_loclists···PROGBITS········0000000000000000·9555630·12960c0·00···C··0···0··839 ··[34]·.debug_loclists···PROGBITS········0000000000000000·9555000·12960c0·00···C··0···0··8
40 ··[35]·.debug_macro······PROGBITS········0000000000000000·a7eb6f0·16a5d7·00···C··0···0··840 ··[35]·.debug_macro······PROGBITS········0000000000000000·a7eb0c0·16a601·00···C··0···0··8
41 ··[36]·.debug_rnglists···PROGBITS········0000000000000000·a955cc8·585e55·00···C··0···0··841 ··[36]·.debug_rnglists···PROGBITS········0000000000000000·a9556c8·585e55·00···C··0···0··8
42 ··[37]·.symtab···········SYMTAB··········0000000000000000·aedbb20·0ca1a0·18·····38·31780··842 ··[37]·.symtab···········SYMTAB··········0000000000000000·aedb520·0ca1a0·18·····38·31780··8
43 ··[38]·.strtab···········STRTAB··········0000000000000000·afa5cc0·2ad8b5·00······0···0··143 ··[38]·.strtab···········STRTAB··········0000000000000000·afa56c0·2ad8b5·00······0···0··1
44 ··[39]·.shstrtab·········STRTAB··········0000000000000000·b253575·000191·00······0···0··144 ··[39]·.shstrtab·········STRTAB··········0000000000000000·b252f75·000191·00······0···0··1
45 Key·to·Flags:45 Key·to·Flags:
46 ··W·(write),·A·(alloc),·X·(execute),·M·(merge),·S·(strings),·I·(info),46 ··W·(write),·A·(alloc),·X·(execute),·M·(merge),·S·(strings),·I·(info),
47 ··L·(link·order),·O·(extra·OS·processing·required),·G·(group),·T·(TLS),47 ··L·(link·order),·O·(extra·OS·processing·required),·G·(group),·T·(TLS),
48 ··C·(compressed),·x·(unknown),·o·(OS·specific),·E·(exclude),48 ··C·(compressed),·x·(unknown),·o·(OS·specific),·E·(exclude),
49 ··R·(retain),·D·(mbind),·l·(large),·p·(processor·specific)49 ··R·(retain),·D·(mbind),·l·(large),·p·(processor·specific)
430 B
readelf --wide --notes {}
    
Offset 1, 4 lines modifiedOffset 1, 4 lines modified
  
1 Displaying·notes·found·in:·.note.gnu.build-id1 Displaying·notes·found·in:·.note.gnu.build-id
2 ··Owner················Data·size·»  Description2 ··Owner················Data·size·»  Description
3 ··GNU··················0x00000014»  NT_GNU_BUILD_ID·(unique·build·ID·bitstring)»   ····Build·ID:·10ae1df488ea05ce9b8041e28c39c004e3e5e4153 ··GNU··················0x00000014»  NT_GNU_BUILD_ID·(unique·build·ID·bitstring)»   ····Build·ID:·0984530b89719969e46842e6e0ad6e18573942e6
24.2 MB
readelf --wide --debug-dump=info {}
    
Offset 8, 27 lines modifiedOffset 8, 27 lines modified
8 ···Pointer·Size:··88 ···Pointer·Size:··8
9 ·<0><c>:·Abbrev·Number:·1·(DW_TAG_partial_unit)9 ·<0><c>:·Abbrev·Number:·1·(DW_TAG_partial_unit)
10 ····<d>···DW_AT_stmt_list···:·(sec_offset)·010 ····<d>···DW_AT_stmt_list···:·(sec_offset)·0
11 ····<11>···DW_AT_comp_dir····:·(line_strp)·(offset:·0):·./obj-x86_64-linux-gnu/src11 ····<11>···DW_AT_comp_dir····:·(line_strp)·(offset:·0):·./obj-x86_64-linux-gnu/src
12 ·<1><15>:·Abbrev·Number:·29·(DW_TAG_base_type)12 ·<1><15>:·Abbrev·Number:·29·(DW_TAG_base_type)
13 ····<16>···DW_AT_byte_size···:·(data1)·813 ····<16>···DW_AT_byte_size···:·(data1)·8
14 ····<17>···DW_AT_encoding····:·(data1)·5»    (signed)14 ····<17>···DW_AT_encoding····:·(data1)·5»    (signed)
15 ····<18>···DW_AT_name········:·(strp)·(offset:·0x1608e):·long·int15 ····<18>···DW_AT_name········:·(strp)·(offset:·0x160a8):·long·int
16 ·<1><1c>:·Abbrev·Number:·29·(DW_TAG_base_type)16 ·<1><1c>:·Abbrev·Number:·29·(DW_TAG_base_type)
17 ····<1d>···DW_AT_byte_size···:·(data1)·817 ····<1d>···DW_AT_byte_size···:·(data1)·8
18 ····<1e>···DW_AT_encoding····:·(data1)·7»    (unsigned)18 ····<1e>···DW_AT_encoding····:·(data1)·7»    (unsigned)
19 ····<1f>···DW_AT_name········:·(strp)·(offset:·0xea17):·long·unsigned·int19 ····<1f>···DW_AT_name········:·(strp)·(offset:·0xea17):·long·unsigned·int
20 ·<1><23>:·Abbrev·Number:·29·(DW_TAG_base_type)20 ·<1><23>:·Abbrev·Number:·29·(DW_TAG_base_type)
21 ····<24>···DW_AT_byte_size···:·(data1)·121 ····<24>···DW_AT_byte_size···:·(data1)·1
22 ····<25>···DW_AT_encoding····:·(data1)·8»    (unsigned·char)22 ····<25>···DW_AT_encoding····:·(data1)·8»    (unsigned·char)
23 ····<26>···DW_AT_name········:·(strp)·(offset:·0x1ad64):·unsigned·char23 ····<26>···DW_AT_name········:·(strp)·(offset:·0x1ad64):·unsigned·char
24 ·<1><2a>:·Abbrev·Number:·29·(DW_TAG_base_type)24 ·<1><2a>:·Abbrev·Number:·29·(DW_TAG_base_type)
25 ····<2b>···DW_AT_byte_size···:·(data1)·225 ····<2b>···DW_AT_byte_size···:·(data1)·2
26 ····<2c>···DW_AT_encoding····:·(data1)·7»    (unsigned)26 ····<2c>···DW_AT_encoding····:·(data1)·7»    (unsigned)
27 ····<2d>···DW_AT_name········:·(strp)·(offset:·0x127f5):·short·unsigned·int27 ····<2d>···DW_AT_name········:·(strp)·(offset:·0x1280f):·short·unsigned·int
28 ·<1><31>:·Abbrev·Number:·29·(DW_TAG_base_type)28 ·<1><31>:·Abbrev·Number:·29·(DW_TAG_base_type)
29 ····<32>···DW_AT_byte_size···:·(data1)·429 ····<32>···DW_AT_byte_size···:·(data1)·4
30 ····<33>···DW_AT_encoding····:·(data1)·7»    (unsigned)30 ····<33>···DW_AT_encoding····:·(data1)·7»    (unsigned)
31 ····<34>···DW_AT_name········:·(strp)·(offset:·0xc7b8):·unsigned·int31 ····<34>···DW_AT_name········:·(strp)·(offset:·0xc7b8):·unsigned·int
32 ·<1><38>:·Abbrev·Number:·29·(DW_TAG_base_type)32 ·<1><38>:·Abbrev·Number:·29·(DW_TAG_base_type)
33 ····<39>···DW_AT_byte_size···:·(data1)·133 ····<39>···DW_AT_byte_size···:·(data1)·1
34 ····<3a>···DW_AT_encoding····:·(data1)·6»    (signed·char)34 ····<3a>···DW_AT_encoding····:·(data1)·6»    (signed·char)
Offset 100, 15 lines modifiedOffset 100, 15 lines modified
100 ·<1><b8>:·Abbrev·Number:·29·(DW_TAG_base_type)100 ·<1><b8>:·Abbrev·Number:·29·(DW_TAG_base_type)
101 ····<b9>···DW_AT_byte_size···:·(data1)·4101 ····<b9>···DW_AT_byte_size···:·(data1)·4
102 ····<ba>···DW_AT_encoding····:·(data1)·16»   (unicode·string)102 ····<ba>···DW_AT_encoding····:·(data1)·16»   (unicode·string)
103 ····<bb>···DW_AT_name········:·(strp)·(offset:·0x1ff56):·char32_t103 ····<bb>···DW_AT_name········:·(strp)·(offset:·0x1ff56):·char32_t
104 ·<1><bf>:·Abbrev·Number:·29·(DW_TAG_base_type)104 ·<1><bf>:·Abbrev·Number:·29·(DW_TAG_base_type)
105 ····<c0>···DW_AT_byte_size···:·(data1)·16105 ····<c0>···DW_AT_byte_size···:·(data1)·16
106 ····<c1>···DW_AT_encoding····:·(data1)·5»    (signed)106 ····<c1>···DW_AT_encoding····:·(data1)·5»    (signed)
107 ····<c2>···DW_AT_name········:·(strp)·(offset:·0x14164):·__int128107 ····<c2>···DW_AT_name········:·(strp)·(offset:·0x1417e):·__int128
108 ·<1><c6>:·Abbrev·Number:·29·(DW_TAG_base_type)108 ·<1><c6>:·Abbrev·Number:·29·(DW_TAG_base_type)
109 ····<c7>···DW_AT_byte_size···:·(data1)·16109 ····<c7>···DW_AT_byte_size···:·(data1)·16
110 ····<c8>···DW_AT_encoding····:·(data1)·7»    (unsigned)110 ····<c8>···DW_AT_encoding····:·(data1)·7»    (unsigned)
111 ····<c9>···DW_AT_name········:·(strp)·(offset:·0x236e8):·__int128·unsigned111 ····<c9>···DW_AT_name········:·(strp)·(offset:·0x236e8):·__int128·unsigned
112 ·<1><cd>:·Abbrev·Number:·0112 ·<1><cd>:·Abbrev·Number:·0
113 ··Compilation·Unit·@·offset·0xce:113 ··Compilation·Unit·@·offset·0xce:
114 ···Length:········0x1006·(32-bit)114 ···Length:········0x1006·(32-bit)
Offset 807, 29 lines modifiedOffset 807, 29 lines modified
807 ····<45a>···DW_AT_name········:·(strp)·(offset:·0x1f16f):·_IO_read_end807 ····<45a>···DW_AT_name········:·(strp)·(offset:·0x1f16f):·_IO_read_end
808 ····<45e>···DW_AT_decl_file···:·(data1)·69808 ····<45e>···DW_AT_decl_file···:·(data1)·69
809 ····<45f>···DW_AT_decl_line···:·(data1)·56809 ····<45f>···DW_AT_decl_line···:·(data1)·56
810 ····<460>···DW_AT_decl_column·:·(data1)·9810 ····<460>···DW_AT_decl_column·:·(data1)·9
811 ····<461>···DW_AT_type········:·(ref_udata)·<0x13d>811 ····<461>···DW_AT_type········:·(ref_udata)·<0x13d>
812 ····<462>···DW_AT_data_member_location:·(data1)·16812 ····<462>···DW_AT_data_member_location:·(data1)·16
813 ·<2><463>:·Abbrev·Number:·43·(DW_TAG_member)813 ·<2><463>:·Abbrev·Number:·43·(DW_TAG_member)
814 ····<464>···DW_AT_name········:·(strp)·(offset:·0x10623):·_IO_read_base814 ····<464>···DW_AT_name········:·(strp)·(offset:·0x1063d):·_IO_read_base
815 ····<468>···DW_AT_decl_file···:·(data1)·69815 ····<468>···DW_AT_decl_file···:·(data1)·69
816 ····<469>···DW_AT_decl_line···:·(data1)·57816 ····<469>···DW_AT_decl_line···:·(data1)·57
817 ····<46a>···DW_AT_decl_column·:·(data1)·9817 ····<46a>···DW_AT_decl_column·:·(data1)·9
818 ····<46b>···DW_AT_type········:·(ref_udata)·<0x13d>818 ····<46b>···DW_AT_type········:·(ref_udata)·<0x13d>
819 ····<46c>···DW_AT_data_member_location:·(data1)·24819 ····<46c>···DW_AT_data_member_location:·(data1)·24
820 ·<2><46d>:·Abbrev·Number:·43·(DW_TAG_member)820 ·<2><46d>:·Abbrev·Number:·43·(DW_TAG_member)
821 ····<46e>···DW_AT_name········:·(strp)·(offset:·0x519c):·_IO_write_base821 ····<46e>···DW_AT_name········:·(strp)·(offset:·0x519c):·_IO_write_base
822 ····<472>···DW_AT_decl_file···:·(data1)·69822 ····<472>···DW_AT_decl_file···:·(data1)·69
823 ····<473>···DW_AT_decl_line···:·(data1)·58823 ····<473>···DW_AT_decl_line···:·(data1)·58
824 ····<474>···DW_AT_decl_column·:·(data1)·9824 ····<474>···DW_AT_decl_column·:·(data1)·9
825 ····<475>···DW_AT_type········:·(ref_udata)·<0x13d>825 ····<475>···DW_AT_type········:·(ref_udata)·<0x13d>
826 ····<476>···DW_AT_data_member_location:·(data1)·32826 ····<476>···DW_AT_data_member_location:·(data1)·32
827 ·<2><477>:·Abbrev·Number:·43·(DW_TAG_member)827 ·<2><477>:·Abbrev·Number:·43·(DW_TAG_member)
828 ····<478>···DW_AT_name········:·(strp)·(offset:·0xfccb):·_IO_write_ptr828 ····<478>···DW_AT_name········:·(strp)·(offset:·0xfce5):·_IO_write_ptr
829 ····<47c>···DW_AT_decl_file···:·(data1)·69829 ····<47c>···DW_AT_decl_file···:·(data1)·69
830 ····<47d>···DW_AT_decl_line···:·(data1)·59830 ····<47d>···DW_AT_decl_line···:·(data1)·59
831 ····<47e>···DW_AT_decl_column·:·(data1)·9831 ····<47e>···DW_AT_decl_column·:·(data1)·9
832 ····<47f>···DW_AT_type········:·(ref_udata)·<0x13d>832 ····<47f>···DW_AT_type········:·(ref_udata)·<0x13d>
833 ····<480>···DW_AT_data_member_location:·(data1)·40833 ····<480>···DW_AT_data_member_location:·(data1)·40
834 ·<2><481>:·Abbrev·Number:·43·(DW_TAG_member)834 ·<2><481>:·Abbrev·Number:·43·(DW_TAG_member)
835 ····<482>···DW_AT_name········:·(strp)·(offset:·0xe2fe):·_IO_write_end835 ····<482>···DW_AT_name········:·(strp)·(offset:·0xe2fe):·_IO_write_end
Offset 842, 36 lines modifiedOffset 842, 36 lines modified
842 ····<48c>···DW_AT_name········:·(strp)·(offset:·0xb549):·_IO_buf_base842 ····<48c>···DW_AT_name········:·(strp)·(offset:·0xb549):·_IO_buf_base
843 ····<490>···DW_AT_decl_file···:·(data1)·69843 ····<490>···DW_AT_decl_file···:·(data1)·69
844 ····<491>···DW_AT_decl_line···:·(data1)·61844 ····<491>···DW_AT_decl_line···:·(data1)·61
845 ····<492>···DW_AT_decl_column·:·(data1)·9845 ····<492>···DW_AT_decl_column·:·(data1)·9
846 ····<493>···DW_AT_type········:·(ref_udata)·<0x13d>846 ····<493>···DW_AT_type········:·(ref_udata)·<0x13d>
847 ····<494>···DW_AT_data_member_location:·(data1)·56847 ····<494>···DW_AT_data_member_location:·(data1)·56
848 ·<2><495>:·Abbrev·Number:·43·(DW_TAG_member)848 ·<2><495>:·Abbrev·Number:·43·(DW_TAG_member)
849 ····<496>···DW_AT_name········:·(strp)·(offset:·0x153ff):·_IO_buf_end849 ····<496>···DW_AT_name········:·(strp)·(offset:·0x15419):·_IO_buf_end
850 ····<49a>···DW_AT_decl_file···:·(data1)·69850 ····<49a>···DW_AT_decl_file···:·(data1)·69
851 ····<49b>···DW_AT_decl_line···:·(data1)·62851 ····<49b>···DW_AT_decl_line···:·(data1)·62
852 ····<49c>···DW_AT_decl_column·:·(data1)·9852 ····<49c>···DW_AT_decl_column·:·(data1)·9
853 ····<49d>···DW_AT_type········:·(ref_udata)·<0x13d>853 ····<49d>···DW_AT_type········:·(ref_udata)·<0x13d>
854 ····<49e>···DW_AT_data_member_location:·(data1)·64854 ····<49e>···DW_AT_data_member_location:·(data1)·64
855 ·<2><49f>:·Abbrev·Number:·43·(DW_TAG_member)855 ·<2><49f>:·Abbrev·Number:·43·(DW_TAG_member)
856 ····<4a0>···DW_AT_name········:·(strp)·(offset:·0xe371):·_IO_save_base856 ····<4a0>···DW_AT_name········:·(strp)·(offset:·0xe371):·_IO_save_base
857 ····<4a4>···DW_AT_decl_file···:·(data1)·69857 ····<4a4>···DW_AT_decl_file···:·(data1)·69
858 ····<4a5>···DW_AT_decl_line···:·(data1)·65858 ····<4a5>···DW_AT_decl_line···:·(data1)·65
859 ····<4a6>···DW_AT_decl_column·:·(data1)·9859 ····<4a6>···DW_AT_decl_column·:·(data1)·9
860 ····<4a7>···DW_AT_type········:·(ref_udata)·<0x13d>860 ····<4a7>···DW_AT_type········:·(ref_udata)·<0x13d>
861 ····<4a8>···DW_AT_data_member_location:·(data1)·72861 ····<4a8>···DW_AT_data_member_location:·(data1)·72
862 ·<2><4a9>:·Abbrev·Number:·43·(DW_TAG_member)862 ·<2><4a9>:·Abbrev·Number:·43·(DW_TAG_member)
863 ····<4aa>···DW_AT_name········:·(strp)·(offset:·0x10eea):·_IO_backup_base863 ····<4aa>···DW_AT_name········:·(strp)·(offset:·0x10f04):·_IO_backup_base
864 ····<4ae>···DW_AT_decl_file···:·(data1)·69864 ····<4ae>···DW_AT_decl_file···:·(data1)·69
865 ····<4af>···DW_AT_decl_line···:·(data1)·66865 ····<4af>···DW_AT_decl_line···:·(data1)·66
866 ····<4b0>···DW_AT_decl_column·:·(data1)·9866 ····<4b0>···DW_AT_decl_column·:·(data1)·9
867 ····<4b1>···DW_AT_type········:·(ref_udata)·<0x13d>867 ····<4b1>···DW_AT_type········:·(ref_udata)·<0x13d>
868 ····<4b2>···DW_AT_data_member_location:·(data1)·80868 ····<4b2>···DW_AT_data_member_location:·(data1)·80
869 ·<2><4b3>:·Abbrev·Number:·43·(DW_TAG_member)869 ·<2><4b3>:·Abbrev·Number:·43·(DW_TAG_member)
870 ····<4b4>···DW_AT_name········:·(strp)·(offset:·0x18d1d):·_IO_save_end870 ····<4b4>···DW_AT_name········:·(strp)·(offset:·0x18d37):·_IO_save_end
871 ····<4b8>···DW_AT_decl_file···:·(data1)·69871 ····<4b8>···DW_AT_decl_file···:·(data1)·69
872 ····<4b9>···DW_AT_decl_line···:·(data1)·67872 ····<4b9>···DW_AT_decl_line···:·(data1)·67
873 ····<4ba>···DW_AT_decl_column·:·(data1)·9873 ····<4ba>···DW_AT_decl_column·:·(data1)·9
874 ····<4bb>···DW_AT_type········:·(ref_udata)·<0x13d>874 ····<4bb>···DW_AT_type········:·(ref_udata)·<0x13d>
875 ····<4bc>···DW_AT_data_member_location:·(data1)·88875 ····<4bc>···DW_AT_data_member_location:·(data1)·88
876 ·<2><4bd>:·Abbrev·Number:·43·(DW_TAG_member)876 ·<2><4bd>:·Abbrev·Number:·43·(DW_TAG_member)
877 ····<4be>···DW_AT_name········:·(strp)·(offset:·0x4be3):·_markers877 ····<4be>···DW_AT_name········:·(strp)·(offset:·0x4be3):·_markers
Offset 884, 58 lines modifiedOffset 884, 58 lines modified
884 ····<4c9>···DW_AT_name········:·(strp)·(offset:·0x83ac82):·_chain884 ····<4c9>···DW_AT_name········:·(strp)·(offset:·0x83ac82):·_chain
885 ····<4cd>···DW_AT_decl_file···:·(data1)·69885 ····<4cd>···DW_AT_decl_file···:·(data1)·69
886 ····<4ce>···DW_AT_decl_line···:·(data1)·71886 ····<4ce>···DW_AT_decl_line···:·(data1)·71
887 ····<4cf>···DW_AT_decl_column·:·(data1)·20887 ····<4cf>···DW_AT_decl_column·:·(data1)·20
888 ····<4d0>···DW_AT_type········:·(ref_udata)·<0xef0>888 ····<4d0>···DW_AT_type········:·(ref_udata)·<0xef0>
889 ····<4d2>···DW_AT_data_member_location:·(data1)·104889 ····<4d2>···DW_AT_data_member_location:·(data1)·104
890 ·<2><4d3>:·Abbrev·Number:·1·(DW_TAG_member)890 ·<2><4d3>:·Abbrev·Number:·1·(DW_TAG_member)
891 ····<4d4>···DW_AT_name········:·(strp)·(offset:·0x19fce):·_fileno891 ····<4d4>···DW_AT_name········:·(strp)·(offset:·0x19fe8):·_fileno
892 ····<4d8>···DW_AT_decl_file···:·(data1)·69892 ····<4d8>···DW_AT_decl_file···:·(data1)·69
893 ····<4d9>···DW_AT_decl_line···:·(data1)·73893 ····<4d9>···DW_AT_decl_line···:·(data1)·73
894 ····<4da>···DW_AT_decl_column·:·(data1)·7894 ····<4da>···DW_AT_decl_column·:·(data1)·7
895 ····<4db>···DW_AT_type········:·(ref_addr)·<0x46>,·int895 ····<4db>···DW_AT_type········:·(ref_addr)·<0x46>,·int
896 ····<4df>···DW_AT_data_member_location:·(data1)·112896 ····<4df>···DW_AT_data_member_location:·(data1)·112
897 ·<2><4e0>:·Abbrev·Number:·44·(DW_TAG_member)897 ·<2><4e0>:·Abbrev·Number:·44·(DW_TAG_member)
898 ····<4e1>···DW_AT_name········:·(strp)·(offset:·0x1c249):·_flags2898 ····<4e1>···DW_AT_name········:·(strp)·(offset:·0x1c249):·_flags2
899 ····<4e5>···DW_AT_decl_file···:·(data1)·69899 ····<4e5>···DW_AT_decl_file···:·(data1)·69
Max diff block lines reached; 25374023/25381125 bytes (99.97%) of diff not shown.
3.5 KB
readelf --wide --debug-dump=macro {}
    
Offset 1568, 16 lines modifiedOffset 1568, 16 lines modified
1568 ·DW_MACRO_define_strp·-·lineno·:·0·macro·:·_GNU_SOURCE·11568 ·DW_MACRO_define_strp·-·lineno·:·0·macro·:·_GNU_SOURCE·1
1569 ·DW_MACRO_define_strp·-·lineno·:·0·macro·:·CVC5_STATISTICS_ON·11569 ·DW_MACRO_define_strp·-·lineno·:·0·macro·:·CVC5_STATISTICS_ON·1
1570 ·DW_MACRO_define_strp·-·lineno·:·0·macro·:·CVC5_USE_CRYPTOMINISAT·11570 ·DW_MACRO_define_strp·-·lineno·:·0·macro·:·CVC5_USE_CRYPTOMINISAT·1
1571 ·DW_MACRO_define_strp·-·lineno·:·0·macro·:·NDEBUG·11571 ·DW_MACRO_define_strp·-·lineno·:·0·macro·:·NDEBUG·1
1572 ·DW_MACRO_define_strp·-·lineno·:·0·macro·:·__BUILDING_CVC5LIB·11572 ·DW_MACRO_define_strp·-·lineno·:·0·macro·:·__BUILDING_CVC5LIB·1
1573 ·DW_MACRO_define_strp·-·lineno·:·0·macro·:·cvc5_obj_EXPORTS·11573 ·DW_MACRO_define_strp·-·lineno·:·0·macro·:·cvc5_obj_EXPORTS·1
1574 ·DW_MACRO_define_strp·-·lineno·:·0·macro·:·_FORTIFY_SOURCE·21574 ·DW_MACRO_define_strp·-·lineno·:·0·macro·:·_FORTIFY_SOURCE·2
1575 ·DW_MACRO_define_strp·-·lineno·:·0·macro·:·DEB_BUILD_DATE·"2024-03-18"1575 ·DW_MACRO_define_strp·-·lineno·:·0·macro·:·DEB_BUILD_DATE·"2024-03-19"
1576 ·DW_MACRO_define_strp·-·lineno·:·0·macro·:·DEB_BUILD_TIME·"12:06:23"1576 ·DW_MACRO_define_strp·-·lineno·:·0·macro·:·DEB_BUILD_TIME·"14:06:23"
  
1577 ··Offset:······················0x19e81577 ··Offset:······················0x19e8
1578 ··Version:·····················51578 ··Version:·····················5
1579 ··Offset·size:·················41579 ··Offset·size:·················4
  
1580 ·DW_MACRO_define_strp·-·lineno·:·19·macro·:·_STDC_PREDEF_H·11580 ·DW_MACRO_define_strp·-·lineno·:·19·macro·:·_STDC_PREDEF_H·1
1581 ·DW_MACRO_define_strp·-·lineno·:·38·macro·:·__STDC_IEC_559__·11581 ·DW_MACRO_define_strp·-·lineno·:·38·macro·:·__STDC_IEC_559__·1
Offset 52751, 16 lines modifiedOffset 52751, 16 lines modified
52751 ·DW_MACRO_define_strp·-·lineno·:·0·macro·:·__DECIMAL_BID_FORMAT__·152751 ·DW_MACRO_define_strp·-·lineno·:·0·macro·:·__DECIMAL_BID_FORMAT__·1
52752 ·DW_MACRO_define_strp·-·lineno·:·0·macro·:·CVC5_STATISTICS_ON·152752 ·DW_MACRO_define_strp·-·lineno·:·0·macro·:·CVC5_STATISTICS_ON·1
52753 ·DW_MACRO_define_strp·-·lineno·:·0·macro·:·CVC5_USE_CRYPTOMINISAT·152753 ·DW_MACRO_define_strp·-·lineno·:·0·macro·:·CVC5_USE_CRYPTOMINISAT·1
52754 ·DW_MACRO_define_strp·-·lineno·:·0·macro·:·NDEBUG·152754 ·DW_MACRO_define_strp·-·lineno·:·0·macro·:·NDEBUG·1
52755 ·DW_MACRO_define_strp·-·lineno·:·0·macro·:·__BUILDING_CVC5LIB·152755 ·DW_MACRO_define_strp·-·lineno·:·0·macro·:·__BUILDING_CVC5LIB·1
52756 ·DW_MACRO_define_strp·-·lineno·:·0·macro·:·cvc5_obj_EXPORTS·152756 ·DW_MACRO_define_strp·-·lineno·:·0·macro·:·cvc5_obj_EXPORTS·1
52757 ·DW_MACRO_define_strp·-·lineno·:·0·macro·:·_FORTIFY_SOURCE·252757 ·DW_MACRO_define_strp·-·lineno·:·0·macro·:·_FORTIFY_SOURCE·2
52758 ·DW_MACRO_define_strp·-·lineno·:·0·macro·:·DEB_BUILD_DATE·"2024-03-18"52758 ·DW_MACRO_define_strp·-·lineno·:·0·macro·:·DEB_BUILD_DATE·"2024-03-19"
52759 ·DW_MACRO_define_strp·-·lineno·:·0·macro·:·DEB_BUILD_TIME·"12:06:23"52759 ·DW_MACRO_define_strp·-·lineno·:·0·macro·:·DEB_BUILD_TIME·"14:06:23"
  
52760 ··Offset:······················0x4915552760 ··Offset:······················0x49155
52761 ··Version:·····················552761 ··Version:·····················5
52762 ··Offset·size:·················452762 ··Offset·size:·················4
  
52763 ·DW_MACRO_define_strp·-·lineno·:·39·macro·:·_STDDEF_H·52763 ·DW_MACRO_define_strp·-·lineno·:·39·macro·:·_STDDEF_H·
52764 ·DW_MACRO_define_strp·-·lineno·:·40·macro·:·_STDDEF_H_·52764 ·DW_MACRO_define_strp·-·lineno·:·40·macro·:·_STDDEF_H_·
Offset 1342747, 17 lines modifiedOffset 1342747, 15 lines modified
1342747 ·DW_MACRO_define_strp·-·lineno·:·22·macro·:·CVC5__OPTIONS__THEORY_H·1342747 ·DW_MACRO_define_strp·-·lineno·:·22·macro·:·CVC5__OPTIONS__THEORY_H·
1342748 ·DW_MACRO_start_file·-·lineno:·24·filenum:·421342748 ·DW_MACRO_start_file·-·lineno:·24·filenum:·42
1342749 ·DW_MACRO_end_file1342749 ·DW_MACRO_end_file
1342750 ·DW_MACRO_import·-·offset·:·0x522661342750 ·DW_MACRO_import·-·offset·:·0x52266
1342751 ·DW_MACRO_end_file1342751 ·DW_MACRO_end_file
1342752 ·DW_MACRO_start_file·-·lineno:·49·filenum:·1361342752 ·DW_MACRO_start_file·-·lineno:·49·filenum:·136
1342753 ·DW_MACRO_end_file1342753 ·DW_MACRO_end_file
1342754 ·DW_MACRO_start_file·-·lineno:·52·filenum:·112 
1342755 ·DW_MACRO_end_file 
1342756 ·DW_MACRO_start_file·-·lineno:·53·filenum:·3031342754 ·DW_MACRO_start_file·-·lineno:·50·filenum:·303
1342757 ·DW_MACRO_define_strp·-·lineno·:·30·macro·:·_GLIBCXX_UNORDERED_MAP·11342755 ·DW_MACRO_define_strp·-·lineno·:·30·macro·:·_GLIBCXX_UNORDERED_MAP·1
1342758 ·DW_MACRO_start_file·-·lineno:·41·filenum:·141342756 ·DW_MACRO_start_file·-·lineno:·41·filenum:·14
1342759 ·DW_MACRO_define_strp·-·lineno·:·31·macro·:·_UNORDERED_MAP_H·1342757 ·DW_MACRO_define_strp·-·lineno·:·31·macro·:·_UNORDERED_MAP_H·
1342760 ·DW_MACRO_start_file·-·lineno:·33·filenum:·151342758 ·DW_MACRO_start_file·-·lineno:·33·filenum:·15
1342761 ·DW_MACRO_define_strp·-·lineno·:·31·macro·:·_HASHTABLE_H·11342759 ·DW_MACRO_define_strp·-·lineno·:·31·macro·:·_HASHTABLE_H·1
1342762 ·DW_MACRO_start_file·-·lineno:·35·filenum:·161342760 ·DW_MACRO_start_file·-·lineno:·35·filenum:·16
1342763 ·DW_MACRO_define_strp·-·lineno·:·32·macro·:·_HASHTABLE_POLICY_H·11342761 ·DW_MACRO_define_strp·-·lineno·:·32·macro·:·_HASHTABLE_POLICY_H·1
Offset 1342765, 15 lines modifiedOffset 1342763, 17 lines modified
1342765 ·DW_MACRO_end_file1342763 ·DW_MACRO_end_file
1342766 ·DW_MACRO_end_file1342764 ·DW_MACRO_end_file
1342767 ·DW_MACRO_import·-·offset·:·0x9e161342765 ·DW_MACRO_import·-·offset·:·0x9e16
1342768 ·DW_MACRO_start_file·-·lineno:·56·filenum:·1771342766 ·DW_MACRO_start_file·-·lineno:·56·filenum:·177
1342769 ·DW_MACRO_import·-·offset·:·0x5108261342767 ·DW_MACRO_import·-·offset·:·0x510826
1342770 ·DW_MACRO_end_file1342768 ·DW_MACRO_end_file
1342771 ·DW_MACRO_end_file1342769 ·DW_MACRO_end_file
 1342770 ·DW_MACRO_start_file·-·lineno:·51·filenum:·112
 1342771 ·DW_MACRO_end_file
1342772 ·DW_MACRO_start_file·-·lineno:·54·filenum:·311342772 ·DW_MACRO_start_file·-·lineno:·52·filenum:·31
1342773 ·DW_MACRO_end_file1342773 ·DW_MACRO_end_file
1342774 ·DW_MACRO_start_file·-·lineno:·57·filenum:·831342774 ·DW_MACRO_start_file·-·lineno:·57·filenum:·83
1342775 ·DW_MACRO_define_strp·-·lineno·:·41·macro·:·__glibcxx_want_freestanding_cstring·1342775 ·DW_MACRO_define_strp·-·lineno·:·41·macro·:·__glibcxx_want_freestanding_cstring·
1342776 ·DW_MACRO_start_file·-·lineno:·42·filenum:·1771342776 ·DW_MACRO_start_file·-·lineno:·42·filenum:·177
1342777 ·DW_MACRO_import·-·offset·:·0x510e121342777 ·DW_MACRO_import·-·offset·:·0x510e12
1342778 ·DW_MACRO_end_file1342778 ·DW_MACRO_end_file
1342779 ·DW_MACRO_start_file·-·lineno:·43·filenum:·1401342779 ·DW_MACRO_start_file·-·lineno:·43·filenum:·140
544 B
readelf --wide --debug-dump=loc {}
    
Offset 4194297, 8 lines modifiedOffset 4194297, 8 lines modified
  
4194297 ····00c1aa78·v000000000000000·v000000000000000·views·at·00c1aa76·for:4194297 ····00c1aa78·v000000000000000·v000000000000000·views·at·00c1aa76·for:
4194298 ·············00000000006223e3·0000000000622422·(DW_OP_reg13·(r13))4194298 ·············00000000006223e3·0000000000622422·(DW_OP_reg13·(r13))
4194299 ····00c1aa84·<End·of·list>4194299 ····00c1aa84·<End·of·list>
  
4194300 ····00c1aa85·v000000000000000·v000000000000000·location·view·pair4194300 ····00c1aa85·v000000000000000·v000000000000000·location·view·pair
  
4194301 [·Too·much·input·for·diff·(SHA256:·278279a4cdfe6c7ffcd4d7d59dd8ba636ce13eabc83ecf9040683a842e071d74)·]4194301 [·Too·much·input·for·diff·(SHA256:·bafd65713b2c2ce52f6bd6cf1a7522f718408bcb4c750e2de12024e3ed907db8)·]
651 KB
strings --all --bytes=8 {}
    
Offset 1, 30016 lines modifiedOffset 1, 30053 lines modified
1 GCC:·(Debian·14.2.0-19)·14.2.01 GCC:·(Debian·14.2.0-19)·14.2.0
2 }ggfggy<2 }ggfggy<
3 O.P__\{e3 O.P__\{e
4 o3~c`moG}4 o3~c`moG}
5 Fd~y_)K^%t5 Fd~y_)K^%t
6 #w{`~U=s;6 #w{`~U=s;
7 D;KY-|\B 
8 nZ`*^lh_| 
9 Zd^T&LrG% 
10 cj)!=vj· 
11 z)_{ivi5 
12 -QBv/NU4 
13 LG^n?AJL 
14 W5C<G{ZC 
15 pnNe*t87w 
16 Y0R>T6Ff 
17 rV=ZF-kU 
18 F/c!'((( 
19 8En$_H:Hg 
20 oP\*lO}&7 {rW~Q{l-
 8 Wa}||}jw
 9 VwhJ,z^j
 10 0[g$owOpV
 11 ^d^i.)VM
 12 ;$h07K5XQy
 13 IEGHo@G4~
 14 f0Pqe-:a
 15 Xdo4ne\>
 16 XRcj)!5vz·
 17 #=#Am1XB
 18 )HuJ`Am9
 19 M@~Uf3~s:Q
 20 7<c6$@EPb(@E
 21 2##MRYv~c
 22 `p-$rw8_
 23 Hr#)$fqs
 24 OkTR"2)»
 25 K;2eo+O$
21 S+\;5iC(T26 S+\;5ic(T
22 nMyqknbA 
23 =FxyX*aY27 nKyq[nRA
 28 N7lz%Yvl
 29 G96}c$3?
24 &9W$7Hvd,30 &9W$7Jvd,
25 V:_ES5K?` 
26 /i6%)4H& 
27 );s[56#* 
28 XJ&AB^@G31 AZZUUd#2
 32 Jg=wB~Zn
 33 {""YG#c*
 34 Q$`F*l$;H
 35 I(V,G25c
 36 gIE4w<jG
 37 eWO34nZb
 38 /8K{w7FO"
 39 &<&/u=*}
 40 R/cd·;mj]B
29 wWqgy1UTJM41 sWqgy1ETJM
 42 dVY0mbeM
 43 vuJ»    l8tc0
 44 L^P,O$nJ=
 45 ,?&{zA?M
 46 ^Pl#_O/(
 47 5:n@9mQPN
 48 ^I9-UCT()
 49 VI9-f+i_
 50 RN39PN[\)
 51 PRNC6M!t
 52 rZ»     IQ/QN
 53 D9]*RNK-p
 54 cF%9?d#{
 55 Rh,+]1||
 56 -h8Q"%a;
 57 YFoM$iG1
 58 |o!+[fuX
 59 R209X1rW
 60 OY/REY2b
 61 -PG[sk$*
 62 $|9^<,4@D
 63 p\,ZV_fM
 64 Ijhfm1IR
 65 /Ym$Oj0E
 66 sp@xx0Or
 67 KVq<h&2"
30 Q::HRN<KD 
31 %+JR,BwlOuY 
32 rACNm#(S 
33 $BS,s-zzjHT^ 
34 GMHr@»  Jr 
35 {|h%O(» 3"< 
36 GTUBiaC% 
37 de?a(w)~ 
38 zD0JSQ!SN 
39 CI+NuQ?ME 
40 zS{):?y3T 
41 .exY#TJ? 
42 w(|"+]1|| 
43 ,2hTj-Fv 
44 e~O>$U>bp 
45 Gu5VmyMv 
46 W^KtQ\KA,w 
47 4&v;nEMp 
48 _,\I}Wr~q 
49 »       vW{Tn?,W 
50 Qp\+:2z# 
51 qz|@T5(X6N 
52 ·ai}$A%Z 
53 f<K5?I3?K 
54 }Gpr&E#g 
55 "@)B/}IR* 
56 ^va'I7aO 
57 cH.XnI#$ 
58 &uees\Yi 
59 2(K+M](K 
60 25t9U?S!b 
61 pCemulp` 
62 x<·{WIve 
63 c^·_t%T\ 
64 c(·2"l;CW 
65 ]V7,H"?% 
66 ]Z<yF$^n68 ]Z<yF$^n
67 uk3`S{Hn69 Uk3`S{Jn
 70 7):,yRrH
 71 69!8nH·F
 72 o,3aukEu
 73 }m|mn|Q0>
 74 rL>%'Ms4
Max diff block lines reached; 663649/666682 bytes (99.55%) of diff not shown.
176 KB
readelf --wide --decompress --string-dump=.debug_str {}
    
Offset 259, 30 lines modifiedOffset 259, 30 lines modified
259 ··[··2521]··_M_guarded259 ··[··2521]··_M_guarded
260 ··[··252c]··__SIZEOF_PTHREAD_RWLOCKATTR_T·8260 ··[··252c]··__SIZEOF_PTHREAD_RWLOCKATTR_T·8
261 ··[··254c]··__FLT64X_DIG__·18261 ··[··254c]··__FLT64X_DIG__·18
262 ··[··255e]··wcstombs262 ··[··255e]··wcstombs
263 ··[··2567]··_S_noreplace263 ··[··2567]··_S_noreplace
264 ··[··2574]··CVC5_PREDICT_FALSE(x)·(__builtin_expect(x,·false))264 ··[··2574]··CVC5_PREDICT_FALSE(x)·(__builtin_expect(x,·false))
265 ··[··25a7]··EVALUE(name)·CVC5_PROOF_FORMAT_·##name265 ··[··25a7]··EVALUE(name)·CVC5_PROOF_FORMAT_·##name
266 ··[··25ce]··DEB_BUILD_DATE·"2024-03-18" 
267 ··[··25ea]··_GLIBCXX_SIZED_DEALLOC(T,p,n)·(p),·(n)·*·sizeof(T)266 ··[··25ce]··_GLIBCXX_SIZED_DEALLOC(T,p,n)·(p),·(n)·*·sizeof(T)
268 ··[··261d]··__FLT32_DENORM_MIN__·1.40129846432481707092372958328991613e-45F32267 ··[··2601]··__FLT32_DENORM_MIN__·1.40129846432481707092372958328991613e-45F32
269 ··[··265f]··CVC5_API_CHECK_TERMS(terms)·do·{·size_t·i·=·0;·for·(const·auto&·s·:·terms)·{·CVC5_API_ARG_AT_INDEX_CHECK_NOT_NULL("term",·s,·terms,·i);·CVC5_API_ARG_AT_INDEX_CHECK_EXPECTED(d_nm·==·s.d_nm,·"term",·terms,·i)·<<·"a·term·associated·with·the·node·manager·this·object·is·"·"associated·"·"with";·i·+=·1;·}·}·while·(0)268 ··[··2643]··CVC5_API_CHECK_TERMS(terms)·do·{·size_t·i·=·0;·for·(const·auto&·s·:·terms)·{·CVC5_API_ARG_AT_INDEX_CHECK_NOT_NULL("term",·s,·terms,·i);·CVC5_API_ARG_AT_INDEX_CHECK_EXPECTED(d_nm·==·s.d_nm,·"term",·terms,·i)·<<·"a·term·associated·with·the·node·manager·this·object·is·"·"associated·"·"with";·i·+=·1;·}·}·while·(0)
270 ··[··2797]··_GLIBCXX_HAVE_WCHAR_H·1269 ··[··277b]··_GLIBCXX_HAVE_WCHAR_H·1
271 ··[··27af]··CVC5_PROOF_FORMAT_ALF270 ··[··2793]··CVC5_PROOF_FORMAT_ALF
272 ··[··27c5]··__glibcxx_requires_irreflexive(_First,_Last)·271 ··[··27a9]··__glibcxx_requires_irreflexive(_First,_Last)·
273 ··[··27f3]··__cpp_initializer_lists·200806L272 ··[··27d7]··__cpp_initializer_lists·200806L
274 ··[··2813]··__glibcxx_want_map_try_emplace·273 ··[··27f7]··__glibcxx_want_map_try_emplace·
275 ··[··2833]··__glibcxx_map_try_emplace·201411L274 ··[··2817]··__glibcxx_map_try_emplace·201411L
276 ··[··2855]··CVC5_KIND_BAG_UNION_DISJOINT275 ··[··2839]··CVC5_KIND_BAG_UNION_DISJOINT
277 ··[··2872]··__FLT16_MAX_10_EXP__·4276 ··[··2856]··__FLT16_MAX_10_EXP__·4
278 ··[··2889]··__FLT128_DENORM_MIN__·6.47517511943802511092443895822764655e-4966F128277 ··[··286d]··__FLT128_DENORM_MIN__·6.47517511943802511092443895822764655e-4966F128
279 ··[··28cf]··__glibcxx_want_constexpr_memory·278 ··[··28b3]··__glibcxx_want_constexpr_memory·
280 ··[··28f0]··_ZNSt7__cxx1115basic_stringbufIcSt11char_traitsIcESaIcEE9showmanycEv279 ··[··28d4]··_ZNSt7__cxx1115basic_stringbufIcSt11char_traitsIcESaIcEE9showmanycEv
281 ··[··2935]··_ZNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEE16_M_get_allocatorEv280 ··[··2919]··_ZNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEE16_M_get_allocatorEv
 281 ··[··2963]··DEB_BUILD_DATE·"2024-03-19"
282 ··[··297f]··__glibc_fortify_n(f,__l,__s,__osz,...)·(__glibc_safe_or_unknown_len·(__l,·__s,·__osz)·?·__·##·f·##·_alias·(__VA_ARGS__)·:·(__glibc_unsafe_len·(__l,·__s,·__osz)·?·__·##·f·##·_chk_warn·(__VA_ARGS__,·(__osz)·/·(__s))·:·__·##·f·##·_chk·(__VA_ARGS__,·(__osz)·/·(__s))))282 ··[··297f]··__glibc_fortify_n(f,__l,__s,__osz,...)·(__glibc_safe_or_unknown_len·(__l,·__s,·__osz)·?·__·##·f·##·_alias·(__VA_ARGS__)·:·(__glibc_unsafe_len·(__l,·__s,·__osz)·?·__·##·f·##·_chk_warn·(__VA_ARGS__,·(__osz)·/·(__s))·:·__·##·f·##·_chk·(__VA_ARGS__,·(__osz)·/·(__s))))
283 ··[··2a88]··_GLIBCXX_USE_NANOSLEEP·1283 ··[··2a88]··_GLIBCXX_USE_NANOSLEEP·1
284 ··[··2aa1]··_ZNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEC4ERKS3_284 ··[··2aa1]··_ZNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEC4ERKS3_
285 ··[··2adf]··__FLT32_HAS_INFINITY__·1285 ··[··2adf]··__FLT32_HAS_INFINITY__·1
286 ··[··2af8]··__swappable_with_details286 ··[··2af8]··__swappable_with_details
287 ··[··2b11]··tolower287 ··[··2b11]··tolower
288 ··[··2b19]··streampos288 ··[··2b19]··streampos
Offset 1770, 1287 lines modifiedOffset 1770, 1287 lines modified
1770 ··[··f190]··EPERM·11770 ··[··f190]··EPERM·1
1771 ··[··f198]··__glibcxx_want_shared_timed_mutex1771 ··[··f198]··__glibcxx_want_shared_timed_mutex
1772 ··[··f1ba]··CVC5_KIND_NULLABLE_LIFT1772 ··[··f1ba]··CVC5_KIND_NULLABLE_LIFT
1773 ··[··f1d2]··_VA_LIST_·1773 ··[··f1d2]··_VA_LIST_·
1774 ··[··f1dd]··__x86_64·11774 ··[··f1dd]··__x86_64·1
1775 ··[··f1e8]··__LC_TELEPHONE·101775 ··[··f1e8]··__LC_TELEPHONE·10
Diff chunk too large, falling back to line-by-line diff (1273 lines added, 1273 lines removed)
1776 ··[··f1fa]··_ZNKSt17basic_string_viewIcSt11char_traitsIcEE7compareES2_1776 ··[··f1fa]··_ZNKSt17basic_string_viewIcSt11char_traitsIcEE7compareES2_
1777 ··[··f235]··_ZNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEE5eraseEN9__gnu_cxx17__normal_iteratorIPKcS4_EE1777 ··[··f235]··DEB_BUILD_TIME·"14:06:23"
1778 ··[··f299]··CPU_COUNT(cpusetp)·__CPU_COUNT_S·(sizeof·(cpu_set_t),·cpusetp)1778 ··[··f24f]··_ZNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEE5eraseEN9__gnu_cxx17__normal_iteratorIPKcS4_EE
1779 ··[··f2d8]··__SSE2__·11779 ··[··f2b3]··CPU_COUNT(cpusetp)·__CPU_COUNT_S·(sizeof·(cpu_set_t),·cpusetp)
1780 ··[··f2e3]··_ZN9__gnu_cxx21__default_lock_policyE1780 ··[··f2f2]··__SSE2__·1
1781 ··[··f309]··msg_prefix1781 ··[··f2fd]··_ZN9__gnu_cxx21__default_lock_policyE
1782 ··[··f314]··INT_LEAST64_MIN·(-__INT64_C(9223372036854775807)-1)1782 ··[··f323]··msg_prefix
1783 ··[··f348]··_ZNSiC4Ev1783 ··[··f32e]··INT_LEAST64_MIN·(-__INT64_C(9223372036854775807)-1)
1784 ··[··f352]··_GLIBCXX_USE_SCHED_YIELD·11784 ··[··f362]··_ZNSiC4Ev
1785 ··[··f36d]··__EXCEPTION_H·11785 ··[··f36c]··_GLIBCXX_USE_SCHED_YIELD·1
1786 ··[··f37d]··INT_LEAST64_MAX·(__INT64_C(9223372036854775807))1786 ··[··f387]··__EXCEPTION_H·1
1787 ··[··f3ae]··_ZSt8distanceIPKcENSt15iterator_traitsIT_E15difference_typeES3_S3_1787 ··[··f397]··INT_LEAST64_MAX·(__INT64_C(9223372036854775807))
1788 ··[··f3f1]··__glibcxx_want_formatters1788 ··[··f3c8]··_ZSt8distanceIPKcENSt15iterator_traitsIT_E15difference_typeES3_S3_
1789 ··[··f40b]··__CPU_ISSET_S(cpu,setsize,cpusetp)·(__extension__·({·size_t·__cpu·=·(cpu);·__cpu·/·8·<·(setsize)·?·((((const·__cpu_mask·*)·((cpusetp)->__bits))[__CPUELT·(__cpu)]·&·__CPUMASK·(__cpu)))·!=·0·:·0;·}))1789 ··[··f40b]··__glibcxx_want_formatters
1790 ··[··f4d1]··EVALUE(name)·CVC5_BLOCK_MODELS_MODE_·##name1790 ··[··f425]··__CPU_ISSET_S(cpu,setsize,cpusetp)·(__extension__·({·size_t·__cpu·=·(cpu);·__cpu·/·8·<·(setsize)·?·((((const·__cpu_mask·*)·((cpusetp)->__bits))[__CPUELT·(__cpu)]·&·__CPUMASK·(__cpu)))·!=·0·:·0;·}))
1791 ··[··f4fd]··__glibcxx_want_quoted_string_io1791 ··[··f4eb]··EVALUE(name)·CVC5_BLOCK_MODELS_MODE_·##name
1792 ··[··f51d]··_ZNSaIcEaSERKS_1792 ··[··f517]··__glibcxx_want_quoted_string_io
1793 ··[··f52d]··CVC5_KIND_FLOATINGPOINT_IS_NAN1793 ··[··f537]··_ZNSaIcEaSERKS_
1794 ··[··f54c]··_ZNKSt17basic_string_viewIcSt11char_traitsIcEE16find_last_not_ofES2_m1794 ··[··f547]··CVC5_KIND_FLOATINGPOINT_IS_NAN
1795 ··[··f592]··__WORDSIZE_TIME64_COMPAT32·11795 ··[··f566]··_ZNKSt17basic_string_viewIcSt11char_traitsIcEE16find_last_not_ofES2_m
1796 ··[··f5af]··_ZNSt9exceptionD0Ev1796 ··[··f5ac]··__WORDSIZE_TIME64_COMPAT32·1
1797 ··[··f5c3]··__glibcxx_want_semaphore1797 ··[··f5c9]··_ZNSt9exceptionD0Ev
1798 ··[··f5dc]··CVC5_KIND_BITVECTOR_SMULO1798 ··[··f5dd]··__glibcxx_want_semaphore
1799 ··[··f5f6]··_GLIBCXX20_DEPRECATED·1799 ··[··f5f6]··CVC5_KIND_BITVECTOR_SMULO
1800 ··[··f60d]··CVC5_KIND_SEQ_UPDATE1800 ··[··f610]··_GLIBCXX20_DEPRECATED·
1801 ··[··f622]··_ZNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEE6appendERKS4_mm1801 ··[··f627]··CVC5_KIND_SEQ_UPDATE
1802 ··[··f667]··MOD_MAXERROR·ADJ_MAXERROR1802 ··[··f63c]··_ZNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEE6appendERKS4_mm
1803 ··[··f681]··__PTHREAD_RWLOCK_INITIALIZER(__flags)·0,·0,·0,·0,·0,·0,·0,·0,·__PTHREAD_RWLOCK_ELISION_EXTRA,·0,·__flags1803 ··[··f681]··MOD_MAXERROR·ADJ_MAXERROR
1804 ··[··f6ea]··_GLIBCXX_PARSE_NUMBERS_H·11804 ··[··f69b]··__PTHREAD_RWLOCK_INITIALIZER(__flags)·0,·0,·0,·0,·0,·0,·0,·0,·__PTHREAD_RWLOCK_ELISION_EXTRA,·0,·__flags
1805 ··[··f705]··_GLIBCXX_CHARCONV_H·11805 ··[··f704]··_GLIBCXX_PARSE_NUMBERS_H·1
1806 ··[··f71b]··__GLIBC_USE_C23_STRTOL1806 ··[··f71f]··_GLIBCXX_CHARCONV_H·1
1807 ··[··f732]··_GLIBCXX_MOVE_BACKWARD3(_Tp,_Up,_Vp)·std::move_backward(_Tp,·_Up,·_Vp)1807 ··[··f735]··__GLIBC_USE_C23_STRTOL
1808 ··[··f779]··CVC5_KIND_STRING_TO_CODE1808 ··[··f74c]··_GLIBCXX_MOVE_BACKWARD3(_Tp,_Up,_Vp)·std::move_backward(_Tp,·_Up,·_Vp)
1809 ··[··f792]··_ZNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEE12_Alloc_hiderC4EPcRKS3_1809 ··[··f793]··CVC5_KIND_STRING_TO_CODE
1810 ··[··f7e0]··CVC5_LEARNED_LIT_TYPE_PREPROCESS_SOLVED1810 ··[··f7ac]··_ZNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEE12_Alloc_hiderC4EPcRKS3_
1811 ··[··f808]··_GLIBCXX_HAVE_COMPLEX_H·11811 ··[··f7fa]··CVC5_LEARNED_LIT_TYPE_PREPROCESS_SOLVED
1812 ··[··f822]··7lldiv_t1812 ··[··f822]··_GLIBCXX_HAVE_COMPLEX_H·1
1813 ··[··f82b]··_ZNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEE9_M_mutateEmmPKcm1813 ··[··f83c]··7lldiv_t
1814 ··[··f872]··_ZNKSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEE5rfindEPKcmm1814 ··[··f845]··_ZNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEE9_M_mutateEmmPKcm
1815 ··[··f8b5]··_ZNSt6localeC4ERKS_RKNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEEi1815 ··[··f88c]··_ZNKSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEE5rfindEPKcmm
1816 ··[··f900]··_ZNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEE7replaceEmmPKcm1816 ··[··f8cf]··_ZNSt6localeC4ERKS_RKNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEEi
1817 ··[··f945]··__EXCEPTIONS·11817 ··[··f91a]··_ZNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEE7replaceEmmPKcm
1818 ··[··f954]··_GLIBCXX_ALWAYS_INLINE·inline·__attribute__((__always_inline__))1818 ··[··f95f]··__EXCEPTIONS·1
1819 ··[··f995]··_ZNKSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEE5crendEv1819 ··[··f96e]··_GLIBCXX_ALWAYS_INLINE·inline·__attribute__((__always_inline__))
1820 ··[··f9d4]··CVC5_RM_ROUND_TOWARD_POSITIVE1820 ··[··f9af]··_ZNKSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEE5crendEv
1821 ··[··f9f2]··CVC5_LEARNED_LIT_TYPE_INTERNAL1821 ··[··f9ee]··CVC5_RM_ROUND_TOWARD_POSITIVE
1822 ··[··fa11]··__HAVE_FLOAT128_UNLIKE_LDBL·(__HAVE_DISTINCT_FLOAT128·&&·__LDBL_MANT_DIG__·!=·113)1822 ··[··fa0c]··CVC5_LEARNED_LIT_TYPE_INTERNAL
1823 ··[··fa64]··__glibcxx_unordered_map_try_emplace·201411L1823 ··[··fa2b]··__HAVE_FLOAT128_UNLIKE_LDBL·(__HAVE_DISTINCT_FLOAT128·&&·__LDBL_MANT_DIG__·!=·113)
1824 ··[··fa90]··_____fpos_t_defined·11824 ··[··fa7e]··__glibcxx_unordered_map_try_emplace·201411L
1825 ··[··faa6]··CVC5_KIND_INST_ADD_TO_POOL1825 ··[··faaa]··_____fpos_t_defined·1
1826 ··[··fac1]··_GLIBCXX_HAVE_ARPA_INET_H·11826 ··[··fac0]··CVC5_KIND_INST_ADD_TO_POOL
1827 ··[··fadd]··ENAVAIL·1191827 ··[··fadb]··_GLIBCXX_HAVE_ARPA_INET_H·1
1828 ··[··fae9]··_GLIBCXX_STDIO_SEEK_END·21828 ··[··faf7]··ENAVAIL·119
1829 ··[··fb03]··__USE_UNIX981829 ··[··fb03]··_GLIBCXX_STDIO_SEEK_END·2
1830 ··[··fb10]··__REDIRECT_NTHNL(name,proto,alias)·name·proto·__THROWNL·__asm__·(__ASMNAME·(#alias))1830 ··[··fb1d]··__USE_UNIX98
1831 ··[··fb65]··_GLIBCXX_PACKAGE_BUGREPORT·""1831 ··[··fb2a]··__REDIRECT_NTHNL(name,proto,alias)·name·proto·__THROWNL·__asm__·(__ASMNAME·(#alias))
1832 ··[··fb83]··__glibcxx_want_adaptor_iterator_pair_constructor1832 ··[··fb7f]··_GLIBCXX_PACKAGE_BUGREPORT·""
1833 ··[··fbb4]··_ZN9__gnu_cxx17__normal_iteratorIPcNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEEEpLEl1833 ··[··fb9d]··__glibcxx_want_adaptor_iterator_pair_constructor
1834 ··[··fc11]··__stub_revoke·1834 ··[··fbce]··_ZN9__gnu_cxx17__normal_iteratorIPcNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEEEpLEl
1835 ··[··fc20]··_ZNKSt17basic_string_viewIcSt11char_traitsIcEE4copyEPcmm1835 ··[··fc2b]··__stub_revoke·
1836 ··[··fc59]··wcsncmp1836 ··[··fc3a]··_ZNKSt17basic_string_viewIcSt11char_traitsIcEE4copyEPcmm
1837 ··[··fc61]··STA_CLOCKERR·0x10001837 ··[··fc73]··wcsncmp
1838 ··[··fc75]··UINTPTR_WIDTH·__WORDSIZE1838 ··[··fc7b]··STA_CLOCKERR·0x1000
1839 ··[··fc8e]··__FLT16_HAS_INFINITY__·11839 ··[··fc8f]··UINTPTR_WIDTH·__WORDSIZE
1840 ··[··fca7]··_GLIBCXX_TSAN_MUTEX_POST_SIGNAL(X)·1840 ··[··fca8]··__FLT16_HAS_INFINITY__·1
1841 ··[··fccb]··_IO_write_ptr1841 ··[··fcc1]··_GLIBCXX_TSAN_MUTEX_POST_SIGNAL(X)·
1842 ··[··fcd9]··CVC5_SORT_KIND_TUPLE_SORT1842 ··[··fce5]··_IO_write_ptr
1843 ··[··fcf3]··__glibcxx_want_nonmember_container_access1843 ··[··fcf3]··CVC5_SORT_KIND_TUPLE_SORT
1844 ··[··fd1d]··_GLIBCXX_ATOMIC_LOCK_FREE_H·11844 ··[··fd0d]··__glibcxx_want_nonmember_container_access
1845 ··[··fd3b]··_GLIBCXX_HAVE_NETDB_H·11845 ··[··fd37]··_GLIBCXX_ATOMIC_LOCK_FREE_H·1
1846 ··[··fd53]··CVC5_USE_CRYPTOMINISAT·11846 ··[··fd55]··_GLIBCXX_HAVE_NETDB_H·1
1847 ··[··fd6c]··__builtin_unwind_resume1847 ··[··fd6d]··CVC5_USE_CRYPTOMINISAT·1
1848 ··[··fd84]··__SC_THREAD_STACK_MIN_VALUE·751848 ··[··fd86]··__builtin_unwind_resume
1849 ··[··fda3]··EKEYEXPIRED·1271849 ··[··fd9e]··__SC_THREAD_STACK_MIN_VALUE·75
1850 ··[··fdb3]··towctrans1850 ··[··fdbd]··EKEYEXPIRED·127
1851 ··[··fdbd]··_BITS_STDIO_LIM_H·11851 ··[··fdcd]··towctrans
1852 ··[··fdd1]··_ZNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEE10_M_replaceEmmPKcm1852 ··[··fdd7]··_BITS_STDIO_LIM_H·1
1853 ··[··fe1a]··MOD_CLKA·ADJ_OFFSET_SINGLESHOT1853 ··[··fdeb]··_ZNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEE10_M_replaceEmmPKcm
1854 ··[··fe39]··_ZNKSt15__exception_ptr13exception_ptr20__cxa_exception_typeEv1854 ··[··fe34]··MOD_CLKA·ADJ_OFFSET_SINGLESHOT
1855 ··[··fe78]··_ZNSt15basic_streambufIcSt11char_traitsIcEE4syncEv1855 ··[··fe53]··_ZNKSt15__exception_ptr13exception_ptr20__cxa_exception_typeEv
1856 ··[··feab]··_GLIBCXX_HAVE_LINK·11856 ··[··fe92]··_ZNSt15basic_streambufIcSt11char_traitsIcEE4syncEv
1857 ··[··fec0]··htole16(x)·__uint16_identity·(x)1857 ··[··fec5]··_GLIBCXX_HAVE_LINK·1
1858 ··[··fee1]··STA_UNSYNC·0x00401858 ··[··feda]··htole16(x)·__uint16_identity·(x)
1859 ··[··fef3]··CVC5_KIND_FLOATINGPOINT_IS_NEG1859 ··[··fefb]··STA_UNSYNC·0x0040
1860 ··[··ff12]··__glibcxx_want_int_pow2·1860 ··[··ff0d]··CVC5_KIND_FLOATINGPOINT_IS_NEG
1861 ··[··ff2b]··__DECIMAL_DIG__·211861 ··[··ff2c]··__glibcxx_want_int_pow2·
1862 ··[··ff3e]··cvc5_sort_kind_hash1862 ··[··ff45]··__DECIMAL_DIG__·21
1863 ··[··ff52]··INTMAX_MIN·(-__INT64_C(9223372036854775807)-1)1863 ··[··ff58]··cvc5_sort_kind_hash
Max diff block lines reached; 50001/179641 bytes (27.83%) of diff not shown.
60.4 MB
libcvc5parser1-dbgsym_1.1.2-2_amd64.deb
367 B
file list
    
Offset 1, 3 lines modifiedOffset 1, 3 lines modified
1 -rw-r--r--···0········0········0········4·2024-03-19·00:06:23.000000·debian-binary1 -rw-r--r--···0········0········0········4·2024-03-19·00:06:23.000000·debian-binary
2 -rw-r--r--···0········0········0······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··4115692·2024-03-19·00:06:23.000000·data.tar.xz3 -rw-r--r--···0········0········0··4115636·2024-03-19·00:06:23.000000·data.tar.xz
813 B
control.tar.xz
785 B
control.tar
537 B
./control
    
Offset 1, 13 lines modifiedOffset 1, 13 lines modified
1 Package:·libcvc5parser1-dbgsym1 Package:·libcvc5parser1-dbgsym
2 Source:·cvc52 Source:·cvc5
3 Version:·1.1.2-23 Version:·1.1.2-2
4 Auto-Built-Package:·debug-symbols4 Auto-Built-Package:·debug-symbols
5 Architecture:·amd645 Architecture:·amd64
6 Maintainer:·Debian·Science·Maintainers·<debian-science-maintainers@alioth-lists.debian.net>6 Maintainer:·Debian·Science·Maintainers·<debian-science-maintainers@alioth-lists.debian.net>
7 Installed-Size:·42217 Installed-Size:·4220
8 Depends:·libcvc5parser1·(=·1.1.2-2)8 Depends:·libcvc5parser1·(=·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·libcvc5parser112 Description:·debug·symbols·for·libcvc5parser1
13 Build-Ids:·6cfe61039083b5aeaebb47eff3f8d5265caa185b13 Build-Ids:·8b0524c14b219b3facc090ab17316e883af8bd67
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/6c/fe61039083b5aeaebb47eff3f8d5265caa185b.debug1 usr/lib/debug/.build-id/8b/0524c14b219b3facc090ab17316e883af8bd67.debug
60.4 MB
data.tar.xz
60.4 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/6c/6 drwxr-xr-x···0·root·········(0)·root·········(0)········0·2024-03-19·00:06:23.000000·./usr/lib/debug/.build-id/8b/
7 -rw-r--r--···0·root·········(0)·root·········(0)··4311064·2024-03-19·00:06:23.000000·./usr/lib/debug/.build-id/6c/fe61039083b5aeaebb47eff3f8d5265caa185b.debug7 -rw-r--r--···0·root·········(0)·root·········(0)··4310944·2024-03-19·00:06:23.000000·./usr/lib/debug/.build-id/8b/0524c14b219b3facc090ab17316e883af8bd67.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/libcvc5parser1-dbgsym·->·libcvc5parser110 lrwxrwxrwx···0·root·········(0)·root·········(0)········0·2024-03-19·00:06:23.000000·./usr/share/doc/libcvc5parser1-dbgsym·->·libcvc5parser1
60.4 MB
./usr/lib/debug/.build-id/6c/fe61039083b5aeaebb47eff3f8d5265caa185b.debug vs.
./usr/lib/debug/.build-id/8b/0524c14b219b3facc090ab17316e883af8bd67.debug
File has been modified after NT_GNU_BUILD_ID has been applied. Files 92% similar despite different names
887 B
readelf --wide --file-header {}
    
Offset 6, 15 lines modifiedOffset 6, 15 lines modified
6 ··OS/ABI:····························UNIX·-·System·V6 ··OS/ABI:····························UNIX·-·System·V
7 ··ABI·Version:·······················07 ··ABI·Version:·······················0
8 ··Type:······························DYN·(Shared·object·file)8 ··Type:······························DYN·(Shared·object·file)
9 ··Machine:···························Advanced·Micro·Devices·X86-649 ··Machine:···························Advanced·Micro·Devices·X86-64
10 ··Version:···························0x110 ··Version:···························0x1
11 ··Entry·point·address:···············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:··········4308632·(bytes·into·file)13 ··Start·of·section·headers:··········4308512·(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:·········917 ··Number·of·program·headers:·········9
18 ··Size·of·section·headers:···········64·(bytes)18 ··Size·of·section·headers:···········64·(bytes)
19 ··Number·of·section·headers:·········3819 ··Number·of·section·headers:·········38
20 ··Section·header·string·table·index:·3720 ··Section·header·string·table·index:·37
3.48 KB
readelf --wide --sections {}
    
Offset 1, 8 lines modifiedOffset 1, 8 lines modified
1 There·are·38·section·headers,·starting·at·offset·0x41be98:1 There·are·38·section·headers,·starting·at·offset·0x41be20:
  
2 Section·Headers:2 Section·Headers:
3 ··[Nr]·Name··············Type············Address··········Off····Size···ES·Flg·Lk·Inf·Al3 ··[Nr]·Name··············Type············Address··········Off····Size···ES·Flg·Lk·Inf·Al
4 ··[·0]···················NULL············0000000000000000·000000·000000·00······0···0··04 ··[·0]···················NULL············0000000000000000·000000·000000·00······0···0··0
5 ··[·1]·.note.gnu.build-id·NOTE············0000000000000238·000238·000024·00···A··0···0··45 ··[·1]·.note.gnu.build-id·NOTE············0000000000000238·000238·000024·00···A··0···0··4
6 ··[·2]·.gnu.hash·········NOBITS··········0000000000000260·00025c·0018fc·00···A··3···0··86 ··[·2]·.gnu.hash·········NOBITS··········0000000000000260·00025c·0018fc·00···A··3···0··8
7 ··[·3]·.dynsym···········NOBITS··········0000000000001b60·00025c·007050·18···A··4···1··87 ··[·3]·.dynsym···········NOBITS··········0000000000001b60·00025c·007050·18···A··4···1··8
Offset 25, 23 lines modifiedOffset 25, 23 lines modified
25 ··[20]·.data.rel.ro······NOBITS··········00000000000ba918·0008d8·001fb8·00··WA··0···0··825 ··[20]·.data.rel.ro······NOBITS··········00000000000ba918·0008d8·001fb8·00··WA··0···0··8
26 ··[21]·.dynamic··········NOBITS··········00000000000bc8d0·0008d8·000230·10··WA··4···0··826 ··[21]·.dynamic··········NOBITS··········00000000000bc8d0·0008d8·000230·10··WA··4···0··8
27 ··[22]·.got··············NOBITS··········00000000000bcb00·0008d8·001500·08··WA··0···0··827 ··[22]·.got··············NOBITS··········00000000000bcb00·0008d8·001500·08··WA··0···0··8
28 ··[23]·.data·············NOBITS··········00000000000be000·0008d8·000058·00··WA··0···0··828 ··[23]·.data·············NOBITS··········00000000000be000·0008d8·000058·00··WA··0···0··8
29 ··[24]·.bss··············NOBITS··········00000000000be060·0008d8·000080·00··WA··0···0·3229 ··[24]·.bss··············NOBITS··········00000000000be060·0008d8·000080·00··WA··0···0·32
30 ··[25]·.comment··········PROGBITS········0000000000000000·00025c·00001f·01··MS··0···0··130 ··[25]·.comment··········PROGBITS········0000000000000000·00025c·00001f·01··MS··0···0··1
31 ··[26]·.debug_aranges····PROGBITS········0000000000000000·000280·000741·00···C··0···0··831 ··[26]·.debug_aranges····PROGBITS········0000000000000000·000280·000741·00···C··0···0··8
32 ··[27]·.debug_info·······PROGBITS········0000000000000000·0009c8·2a2309·00···C··0···0··832 ··[27]·.debug_info·······PROGBITS········0000000000000000·0009c8·2a22a2·00···C··0···0··8
33 ··[28]·.debug_abbrev·····PROGBITS········0000000000000000·2a2cd8·00654b·00···C··0···0··833 ··[28]·.debug_abbrev·····PROGBITS········0000000000000000·2a2c70·00654b·00···C··0···0··8
34 ··[29]·.debug_line·······PROGBITS········0000000000000000·2a9228·03286e·00···C··0···0··834 ··[29]·.debug_line·······PROGBITS········0000000000000000·2a91c0·03286e·00···C··0···0··8
35 ··[30]·.debug_str········PROGBITS········0000000000000000·2dba98·05b034·01·MSC··0···0··835 ··[30]·.debug_str········PROGBITS········0000000000000000·2dba30·05b02c·01·MSC··0···0··8
36 ··[31]·.debug_line_str···PROGBITS········0000000000000000·336ad0·0007d4·01·MSC··0···0··836 ··[31]·.debug_line_str···PROGBITS········0000000000000000·336a60·0007d4·01·MSC··0···0··8
37 ··[32]·.debug_loclists···PROGBITS········0000000000000000·3372a8·087530·00···C··0···0··837 ··[32]·.debug_loclists···PROGBITS········0000000000000000·337238·087530·00···C··0···0··8
38 ··[33]·.debug_macro······PROGBITS········0000000000000000·3be7d8·00cbcd·00···C··0···0··838 ··[33]·.debug_macro······PROGBITS········0000000000000000·3be768·00cbc1·00···C··0···0··8
39 ··[34]·.debug_rnglists···PROGBITS········0000000000000000·3cb3a8·020c46·00···C··0···0··839 ··[34]·.debug_rnglists···PROGBITS········0000000000000000·3cb330·020c46·00···C··0···0··8
40 ··[35]·.symtab···········SYMTAB··········0000000000000000·3ebff0·00d0f8·18·····36·1032··840 ··[35]·.symtab···········SYMTAB··········0000000000000000·3ebf78·00d0f8·18·····36·1032··8
41 ··[36]·.strtab···········STRTAB··········0000000000000000·3f90e8·022c26·00······0···0··141 ··[36]·.strtab···········STRTAB··········0000000000000000·3f9070·022c26·00······0···0··1
42 ··[37]·.shstrtab·········STRTAB··········0000000000000000·41bd0e·000184·00······0···0··142 ··[37]·.shstrtab·········STRTAB··········0000000000000000·41bc96·000184·00······0···0··1
43 Key·to·Flags:43 Key·to·Flags:
44 ··W·(write),·A·(alloc),·X·(execute),·M·(merge),·S·(strings),·I·(info),44 ··W·(write),·A·(alloc),·X·(execute),·M·(merge),·S·(strings),·I·(info),
45 ··L·(link·order),·O·(extra·OS·processing·required),·G·(group),·T·(TLS),45 ··L·(link·order),·O·(extra·OS·processing·required),·G·(group),·T·(TLS),
46 ··C·(compressed),·x·(unknown),·o·(OS·specific),·E·(exclude),46 ··C·(compressed),·x·(unknown),·o·(OS·specific),·E·(exclude),
47 ··D·(mbind),·l·(large),·p·(processor·specific)47 ··D·(mbind),·l·(large),·p·(processor·specific)
430 B
readelf --wide --notes {}
    
Offset 1, 4 lines modifiedOffset 1, 4 lines modified
  
1 Displaying·notes·found·in:·.note.gnu.build-id1 Displaying·notes·found·in:·.note.gnu.build-id
2 ··Owner················Data·size·»  Description2 ··Owner················Data·size·»  Description
3 ··GNU··················0x00000014»  NT_GNU_BUILD_ID·(unique·build·ID·bitstring)»   ····Build·ID:·6cfe61039083b5aeaebb47eff3f8d5265caa185b3 ··GNU··················0x00000014»  NT_GNU_BUILD_ID·(unique·build·ID·bitstring)»   ····Build·ID:·8b0524c14b219b3facc090ab17316e883af8bd67
58.7 MB
readelf --wide --debug-dump=info {}
    
Offset 18, 110 lines modifiedOffset 18, 110 lines modified
18 ····<21>···DW_AT_decl_file···:·(data1)·4518 ····<21>···DW_AT_decl_file···:·(data1)·45
19 ····<22>···DW_AT_decl_line···:·(data1)·21419 ····<22>···DW_AT_decl_line···:·(data1)·214
20 ····<23>···DW_AT_decl_column·:·(data1)·2320 ····<23>···DW_AT_decl_column·:·(data1)·23
21 ····<24>···DW_AT_type········:·(ref_udata)·<0x25>,·long·unsigned·int21 ····<24>···DW_AT_type········:·(ref_udata)·<0x25>,·long·unsigned·int
22 ·<1><25>:·Abbrev·Number:·68·(DW_TAG_base_type)22 ·<1><25>:·Abbrev·Number:·68·(DW_TAG_base_type)
23 ····<26>···DW_AT_byte_size···:·(data1)·823 ····<26>···DW_AT_byte_size···:·(data1)·8
24 ····<27>···DW_AT_encoding····:·(data1)·7»    (unsigned)24 ····<27>···DW_AT_encoding····:·(data1)·7»    (unsigned)
25 ····<28>···DW_AT_name········:·(strp)·(offset:·0x4d140):·long·unsigned·int25 ····<28>···DW_AT_name········:·(strp)·(offset:·0x4d176):·long·unsigned·int
26 ·<1><2c>:·Abbrev·Number:·71·(DW_TAG_structure_type)26 ·<1><2c>:·Abbrev·Number:·71·(DW_TAG_structure_type)
27 ····<2d>···DW_AT_byte_size···:·(data1)·3227 ····<2d>···DW_AT_byte_size···:·(data1)·32
28 ····<2e>···DW_AT_alignment···:·(data1)·1628 ····<2e>···DW_AT_alignment···:·(data1)·16
29 ····<2f>···DW_AT_decl_file···:·(data1)·4529 ····<2f>···DW_AT_decl_file···:·(data1)·45
30 ····<30>···DW_AT_decl_line···:·(data2)·42530 ····<30>···DW_AT_decl_line···:·(data2)·425
31 ····<32>···DW_AT_decl_column·:·(data1)·1631 ····<32>···DW_AT_decl_column·:·(data1)·16
32 ····<33>···DW_AT_linkage_name:·(strp)·(offset:·0xa5bef):·11max_align_t32 ····<33>···DW_AT_linkage_name:·(strp)·(offset:·0xa5c09):·11max_align_t
33 ····<37>···DW_AT_sibling·····:·(ref_udata)·<0x51>33 ····<37>···DW_AT_sibling·····:·(ref_udata)·<0x51>
34 ·<2><38>:·Abbrev·Number:·88·(DW_TAG_member)34 ·<2><38>:·Abbrev·Number:·88·(DW_TAG_member)
35 ····<39>···DW_AT_name········:·(strp)·(offset:·0x52227):·__max_align_ll35 ····<39>···DW_AT_name········:·(strp)·(offset:·0x5225d):·__max_align_ll
36 ····<3d>···DW_AT_decl_file···:·(data1)·4536 ····<3d>···DW_AT_decl_file···:·(data1)·45
37 ····<3e>···DW_AT_decl_line···:·(data2)·42637 ····<3e>···DW_AT_decl_line···:·(data2)·426
38 ····<40>···DW_AT_decl_column·:·(data1)·1338 ····<40>···DW_AT_decl_column·:·(data1)·13
39 ····<41>···DW_AT_type········:·(ref_udata)·<0x51>,·long·long·int39 ····<41>···DW_AT_type········:·(ref_udata)·<0x51>,·long·long·int
40 ····<42>···DW_AT_alignment···:·(data1)·840 ····<42>···DW_AT_alignment···:·(data1)·8
41 ····<43>···DW_AT_data_member_location:·(data1)·041 ····<43>···DW_AT_data_member_location:·(data1)·0
42 ·<2><44>:·Abbrev·Number:·88·(DW_TAG_member)42 ·<2><44>:·Abbrev·Number:·88·(DW_TAG_member)
43 ····<45>···DW_AT_name········:·(strp)·(offset:·0x52206):·__max_align_ld43 ····<45>···DW_AT_name········:·(strp)·(offset:·0x5223c):·__max_align_ld
44 ····<49>···DW_AT_decl_file···:·(data1)·4544 ····<49>···DW_AT_decl_file···:·(data1)·45
45 ····<4a>···DW_AT_decl_line···:·(data2)·42745 ····<4a>···DW_AT_decl_line···:·(data2)·427
46 ····<4c>···DW_AT_decl_column·:·(data1)·1546 ····<4c>···DW_AT_decl_column·:·(data1)·15
47 ····<4d>···DW_AT_type········:·(ref_udata)·<0x58>,·long·double47 ····<4d>···DW_AT_type········:·(ref_udata)·<0x58>,·long·double
48 ····<4e>···DW_AT_alignment···:·(data1)·1648 ····<4e>···DW_AT_alignment···:·(data1)·16
49 ····<4f>···DW_AT_data_member_location:·(data1)·1649 ····<4f>···DW_AT_data_member_location:·(data1)·16
50 ·<2><50>:·Abbrev·Number:·050 ·<2><50>:·Abbrev·Number:·0
51 ·<1><51>:·Abbrev·Number:·68·(DW_TAG_base_type)51 ·<1><51>:·Abbrev·Number:·68·(DW_TAG_base_type)
52 ····<52>···DW_AT_byte_size···:·(data1)·852 ····<52>···DW_AT_byte_size···:·(data1)·8
53 ····<53>···DW_AT_encoding····:·(data1)·5»    (signed)53 ····<53>···DW_AT_encoding····:·(data1)·5»    (signed)
54 ····<54>···DW_AT_name········:·(strp)·(offset:·0x63c8c):·long·long·int54 ····<54>···DW_AT_name········:·(strp)·(offset:·0x63cc2):·long·long·int
55 ·<1><58>:·Abbrev·Number:·68·(DW_TAG_base_type)55 ·<1><58>:·Abbrev·Number:·68·(DW_TAG_base_type)
56 ····<59>···DW_AT_byte_size···:·(data1)·1656 ····<59>···DW_AT_byte_size···:·(data1)·16
57 ····<5a>···DW_AT_encoding····:·(data1)·4»    (float)57 ····<5a>···DW_AT_encoding····:·(data1)·4»    (float)
58 ····<5b>···DW_AT_name········:·(strp)·(offset:·0x9aca1):·long·double58 ····<5b>···DW_AT_name········:·(strp)·(offset:·0x9acbb):·long·double
59 ·<1><5f>:·Abbrev·Number:·87·(DW_TAG_typedef)59 ·<1><5f>:·Abbrev·Number:·87·(DW_TAG_typedef)
60 ····<60>···DW_AT_name········:·(strp)·(offset:·0xa5bf1):·max_align_t60 ····<60>···DW_AT_name········:·(strp)·(offset:·0xa5c0b):·max_align_t
61 ····<64>···DW_AT_decl_file···:·(data1)·4561 ····<64>···DW_AT_decl_file···:·(data1)·45
62 ····<65>···DW_AT_decl_line···:·(data2)·43662 ····<65>···DW_AT_decl_line···:·(data2)·436
63 ····<67>···DW_AT_decl_column·:·(data1)·363 ····<67>···DW_AT_decl_column·:·(data1)·3
64 ····<68>···DW_AT_type········:·(ref_udata)·<0x2c>,·11max_align_t64 ····<68>···DW_AT_type········:·(ref_udata)·<0x2c>,·11max_align_t
65 ····<69>···DW_AT_alignment···:·(data1)·1665 ····<69>···DW_AT_alignment···:·(data1)·16
66 ·<1><6a>:·Abbrev·Number:·86·(DW_TAG_unspecified_type)66 ·<1><6a>:·Abbrev·Number:·86·(DW_TAG_unspecified_type)
67 ····<6b>···DW_AT_name········:·(strp)·(offset:·0x34ad7):·decltype(nullptr)67 ····<6b>···DW_AT_name········:·(strp)·(offset:·0x34af3):·decltype(nullptr)
68 ·<1><6f>:·Abbrev·Number:·68·(DW_TAG_base_type)68 ·<1><6f>:·Abbrev·Number:·68·(DW_TAG_base_type)
69 ····<70>···DW_AT_byte_size···:·(data1)·169 ····<70>···DW_AT_byte_size···:·(data1)·1
70 ····<71>···DW_AT_encoding····:·(data1)·8»    (unsigned·char)70 ····<71>···DW_AT_encoding····:·(data1)·8»    (unsigned·char)
71 ····<72>···DW_AT_name········:·(strp)·(offset:·0xa2c1e):·unsigned·char71 ····<72>···DW_AT_name········:·(strp)·(offset:·0xa2c38):·unsigned·char
72 ·<1><76>:·Abbrev·Number:·68·(DW_TAG_base_type)72 ·<1><76>:·Abbrev·Number:·68·(DW_TAG_base_type)
73 ····<77>···DW_AT_byte_size···:·(data1)·273 ····<77>···DW_AT_byte_size···:·(data1)·2
74 ····<78>···DW_AT_encoding····:·(data1)·7»    (unsigned)74 ····<78>···DW_AT_encoding····:·(data1)·7»    (unsigned)
75 ····<79>···DW_AT_name········:·(strp)·(offset:·0x5b4c7):·short·unsigned·int75 ····<79>···DW_AT_name········:·(strp)·(offset:·0x5b4fd):·short·unsigned·int
76 ·<1><7d>:·Abbrev·Number:·68·(DW_TAG_base_type)76 ·<1><7d>:·Abbrev·Number:·68·(DW_TAG_base_type)
77 ····<7e>···DW_AT_byte_size···:·(data1)·477 ····<7e>···DW_AT_byte_size···:·(data1)·4
78 ····<7f>···DW_AT_encoding····:·(data1)·7»    (unsigned)78 ····<7f>···DW_AT_encoding····:·(data1)·7»    (unsigned)
79 ····<80>···DW_AT_name········:·(strp)·(offset:·0x14506c):·unsigned·int79 ····<80>···DW_AT_name········:·(strp)·(offset:·0x14506c):·unsigned·int
80 ·<1><84>:·Abbrev·Number:·68·(DW_TAG_base_type)80 ·<1><84>:·Abbrev·Number:·68·(DW_TAG_base_type)
81 ····<85>···DW_AT_byte_size···:·(data1)·181 ····<85>···DW_AT_byte_size···:·(data1)·1
82 ····<86>···DW_AT_encoding····:·(data1)·6»    (signed·char)82 ····<86>···DW_AT_encoding····:·(data1)·6»    (signed·char)
83 ····<87>···DW_AT_name········:·(strp)·(offset:·0xd9a3a):·signed·char83 ····<87>···DW_AT_name········:·(strp)·(offset:·0xd9a54):·signed·char
84 ·<1><8b>:·Abbrev·Number:·68·(DW_TAG_base_type)84 ·<1><8b>:·Abbrev·Number:·68·(DW_TAG_base_type)
85 ····<8c>···DW_AT_byte_size···:·(data1)·285 ····<8c>···DW_AT_byte_size···:·(data1)·2
86 ····<8d>···DW_AT_encoding····:·(data1)·5»    (signed)86 ····<8d>···DW_AT_encoding····:·(data1)·5»    (signed)
87 ····<8e>···DW_AT_name········:·(strp)·(offset:·0x4bc75):·short·int87 ····<8e>···DW_AT_name········:·(strp)·(offset:·0x4bcab):·short·int
88 ·<1><92>:·Abbrev·Number:·90·(DW_TAG_typedef)88 ·<1><92>:·Abbrev·Number:·90·(DW_TAG_typedef)
89 ····<93>···DW_AT_name········:·(strp)·(offset:·0x9c1f5):·__int32_t89 ····<93>···DW_AT_name········:·(strp)·(offset:·0x9c20f):·__int32_t
90 ····<97>···DW_AT_decl_file···:·(data1)·4690 ····<97>···DW_AT_decl_file···:·(data1)·46
91 ····<98>···DW_AT_decl_line···:·(data1)·4191 ····<98>···DW_AT_decl_line···:·(data1)·41
92 ····<99>···DW_AT_decl_column·:·(data1)·2092 ····<99>···DW_AT_decl_column·:·(data1)·20
93 ····<9a>···DW_AT_type········:·(ref_udata)·<0x9f>,·int93 ····<9a>···DW_AT_type········:·(ref_udata)·<0x9f>,·int
94 ·<1><9c>:·Abbrev·Number:·34·(DW_TAG_const_type)94 ·<1><9c>:·Abbrev·Number:·34·(DW_TAG_const_type)
95 ····<9d>···DW_AT_type········:·(ref_udata)·<0x92>,·__int32_t,·int95 ····<9d>···DW_AT_type········:·(ref_udata)·<0x92>,·__int32_t,·int
96 ·<1><9f>:·Abbrev·Number:·83·(DW_TAG_base_type)96 ·<1><9f>:·Abbrev·Number:·83·(DW_TAG_base_type)
97 ····<a0>···DW_AT_byte_size···:·(data1)·497 ····<a0>···DW_AT_byte_size···:·(data1)·4
98 ····<a1>···DW_AT_encoding····:·(data1)·5»    (signed)98 ····<a1>···DW_AT_encoding····:·(data1)·5»    (signed)
99 ····<a2>···DW_AT_name········:·(string)·int99 ····<a2>···DW_AT_name········:·(string)·int
100 ·<1><a6>:·Abbrev·Number:·90·(DW_TAG_typedef)100 ·<1><a6>:·Abbrev·Number:·90·(DW_TAG_typedef)
101 ····<a7>···DW_AT_name········:·(strp)·(offset:·0xa80ee):·__off_t101 ····<a7>···DW_AT_name········:·(strp)·(offset:·0xa8108):·__off_t
102 ····<ab>···DW_AT_decl_file···:·(data1)·46102 ····<ab>···DW_AT_decl_file···:·(data1)·46
103 ····<ac>···DW_AT_decl_line···:·(data1)·152103 ····<ac>···DW_AT_decl_line···:·(data1)·152
104 ····<ad>···DW_AT_decl_column·:·(data1)·25104 ····<ad>···DW_AT_decl_column·:·(data1)·25
105 ····<ae>···DW_AT_type········:·(ref_udata)·<0x15>,·long·int105 ····<ae>···DW_AT_type········:·(ref_udata)·<0x15>,·long·int
106 ·<1><af>:·Abbrev·Number:·90·(DW_TAG_typedef)106 ·<1><af>:·Abbrev·Number:·90·(DW_TAG_typedef)
107 ····<b0>···DW_AT_name········:·(strp)·(offset:·0xa5bfd):·__off64_t107 ····<b0>···DW_AT_name········:·(strp)·(offset:·0xa5c17):·__off64_t
108 ····<b4>···DW_AT_decl_file···:·(data1)·46108 ····<b4>···DW_AT_decl_file···:·(data1)·46
109 ····<b5>···DW_AT_decl_line···:·(data1)·153109 ····<b5>···DW_AT_decl_line···:·(data1)·153
110 ····<b6>···DW_AT_decl_column·:·(data1)·27110 ····<b6>···DW_AT_decl_column·:·(data1)·27
111 ····<b7>···DW_AT_type········:·(ref_udata)·<0x15>,·long·int111 ····<b7>···DW_AT_type········:·(ref_udata)·<0x15>,·long·int
112 ·<1><b8>:·Abbrev·Number:·57·(DW_TAG_pointer_type)112 ·<1><b8>:·Abbrev·Number:·57·(DW_TAG_pointer_type)
113 ····<b9>···DW_AT_byte_size···:·(data1)·8113 ····<b9>···DW_AT_byte_size···:·(data1)·8
114 ·<1><ba>:·Abbrev·Number:·26·(DW_TAG_pointer_type)114 ·<1><ba>:·Abbrev·Number:·26·(DW_TAG_pointer_type)
115 ····<bb>···DW_AT_byte_size···:·(implicit_const)·8115 ····<bb>···DW_AT_byte_size···:·(implicit_const)·8
116 ····<bb>···DW_AT_type········:·(ref_udata)·<0xbd>,·char116 ····<bb>···DW_AT_type········:·(ref_udata)·<0xbd>,·char
117 ·<1><bd>:·Abbrev·Number:·68·(DW_TAG_base_type)117 ·<1><bd>:·Abbrev·Number:·68·(DW_TAG_base_type)
118 ····<be>···DW_AT_byte_size···:·(data1)·1118 ····<be>···DW_AT_byte_size···:·(data1)·1
119 ····<bf>···DW_AT_encoding····:·(data1)·6»    (signed·char)119 ····<bf>···DW_AT_encoding····:·(data1)·6»    (signed·char)
120 ····<c0>···DW_AT_name········:·(strp)·(offset:·0xd9a41):·char120 ····<c0>···DW_AT_name········:·(strp)·(offset:·0xd9a5b):·char
121 ·<1><c4>:·Abbrev·Number:·34·(DW_TAG_const_type)121 ·<1><c4>:·Abbrev·Number:·34·(DW_TAG_const_type)
122 ····<c5>···DW_AT_type········:·(ref_udata)·<0xbd>,·char122 ····<c5>···DW_AT_type········:·(ref_udata)·<0xbd>,·char
123 ·<1><c7>:·Abbrev·Number:·28·(DW_TAG_namespace)123 ·<1><c7>:·Abbrev·Number:·28·(DW_TAG_namespace)
124 ····<c8>···DW_AT_name········:·(string)·std124 ····<c8>···DW_AT_name········:·(string)·std
125 ····<cc>···DW_AT_sibling·····:·(ref_udata)·<0x461>125 ····<cc>···DW_AT_sibling·····:·(ref_udata)·<0x461>
126 ·<2><ce>:·Abbrev·Number:·79·(DW_TAG_imported_declaration)126 ·<2><ce>:·Abbrev·Number:·79·(DW_TAG_imported_declaration)
127 ····<cf>···DW_AT_decl_file···:·(data1)·52127 ····<cf>···DW_AT_decl_file···:·(data1)·52
Offset 512, 15 lines modifiedOffset 512, 15 lines modified
512 ····<2ac>···DW_AT_import······:·(ref_udata)·<0xdfb>»   [Abbrev·Number:·60·(DW_TAG_subprogram)]512 ····<2ac>···DW_AT_import······:·(ref_udata)·<0xdfb>»   [Abbrev·Number:·60·(DW_TAG_subprogram)]
513 ·<2><2ae>:·Abbrev·Number:·79·(DW_TAG_imported_declaration)513 ·<2><2ae>:·Abbrev·Number:·79·(DW_TAG_imported_declaration)
514 ····<2af>···DW_AT_decl_file···:·(data1)·58514 ····<2af>···DW_AT_decl_file···:·(data1)·58
515 ····<2b0>···DW_AT_decl_line···:·(data1)·55515 ····<2b0>···DW_AT_decl_line···:·(data1)·55
516 ····<2b1>···DW_AT_decl_column·:·(data1)·11516 ····<2b1>···DW_AT_decl_column·:·(data1)·11
517 ····<2b2>···DW_AT_import······:·(ref_udata)·<0xe0e>»   [Abbrev·Number:·78·(DW_TAG_subprogram)]517 ····<2b2>···DW_AT_import······:·(ref_udata)·<0xe0e>»   [Abbrev·Number:·78·(DW_TAG_subprogram)]
518 ·<2><2b4>:·Abbrev·Number:·82·(DW_TAG_typedef)518 ·<2><2b4>:·Abbrev·Number:·82·(DW_TAG_typedef)
519 ····<2b5>···DW_AT_name········:·(strp)·(offset:·0x4ded7):·ptrdiff_t519 ····<2b5>···DW_AT_name········:·(strp)·(offset:·0x4df0d):·ptrdiff_t
520 ····<2b9>···DW_AT_decl_file···:·(data1)·53520 ····<2b9>···DW_AT_decl_file···:·(data1)·53
521 ····<2ba>···DW_AT_decl_line···:·(data2)·311521 ····<2ba>···DW_AT_decl_line···:·(data2)·311
522 ····<2bc>···DW_AT_decl_column·:·(data1)·28522 ····<2bc>···DW_AT_decl_column·:·(data1)·28
523 ····<2bd>···DW_AT_type········:·(ref_udata)·<0x15>,·long·int523 ····<2bd>···DW_AT_type········:·(ref_udata)·<0x15>,·long·int
524 ·<2><2be>:·Abbrev·Number:·79·(DW_TAG_imported_declaration)524 ·<2><2be>:·Abbrev·Number:·79·(DW_TAG_imported_declaration)
525 ····<2bf>···DW_AT_decl_file···:·(data1)·63525 ····<2bf>···DW_AT_decl_file···:·(data1)·63
526 ····<2c0>···DW_AT_decl_line···:·(data1)·131526 ····<2c0>···DW_AT_decl_line···:·(data1)·131
Offset 853, 15 lines modifiedOffset 853, 15 lines modified
Max diff block lines reached; 61543188/61550958 bytes (99.99%) of diff not shown.
1.99 KB
readelf --wide --debug-dump=macro {}
    
Offset 1794, 16 lines modifiedOffset 1794, 16 lines modified
1794 ·DW_MACRO_define_strp·-·lineno·:·0·macro·:·_GNU_SOURCE·11794 ·DW_MACRO_define_strp·-·lineno·:·0·macro·:·_GNU_SOURCE·1
1795 ·DW_MACRO_define_strp·-·lineno·:·0·macro·:·CVC5_STATISTICS_ON·11795 ·DW_MACRO_define_strp·-·lineno·:·0·macro·:·CVC5_STATISTICS_ON·1
1796 ·DW_MACRO_define_strp·-·lineno·:·0·macro·:·CVC5_USE_CRYPTOMINISAT·11796 ·DW_MACRO_define_strp·-·lineno·:·0·macro·:·CVC5_USE_CRYPTOMINISAT·1
1797 ·DW_MACRO_define_strp·-·lineno·:·0·macro·:·NDEBUG·11797 ·DW_MACRO_define_strp·-·lineno·:·0·macro·:·NDEBUG·1
1798 ·DW_MACRO_define_strp·-·lineno·:·0·macro·:·__BUILDING_CVC5PARSERLIB·11798 ·DW_MACRO_define_strp·-·lineno·:·0·macro·:·__BUILDING_CVC5PARSERLIB·1
1799 ·DW_MACRO_define_strp·-·lineno·:·0·macro·:·cvc5_obj_EXPORTS·11799 ·DW_MACRO_define_strp·-·lineno·:·0·macro·:·cvc5_obj_EXPORTS·1
1800 ·DW_MACRO_define_strp·-·lineno·:·0·macro·:·_FORTIFY_SOURCE·21800 ·DW_MACRO_define_strp·-·lineno·:·0·macro·:·_FORTIFY_SOURCE·2
1801 ·DW_MACRO_define_strp·-·lineno·:·0·macro·:·DEB_BUILD_DATE·"2024-03-18"1801 ·DW_MACRO_define_strp·-·lineno·:·0·macro·:·DEB_BUILD_DATE·"2024-03-19"
1802 ·DW_MACRO_define_strp·-·lineno·:·0·macro·:·DEB_BUILD_TIME·"12:06:23"1802 ·DW_MACRO_define_strp·-·lineno·:·0·macro·:·DEB_BUILD_TIME·"14:06:23"
  
1803 ··Offset:······················0x1ccf1803 ··Offset:······················0x1ccf
1804 ··Version:·····················51804 ··Version:·····················5
1805 ··Offset·size:·················41805 ··Offset·size:·················4
  
1806 ·DW_MACRO_define_strp·-·lineno·:·19·macro·:·_STDC_PREDEF_H·11806 ·DW_MACRO_define_strp·-·lineno·:·19·macro·:·_STDC_PREDEF_H·1
1807 ·DW_MACRO_define_strp·-·lineno·:·38·macro·:·__STDC_IEC_559__·11807 ·DW_MACRO_define_strp·-·lineno·:·38·macro·:·__STDC_IEC_559__·1
Offset 48467, 16 lines modifiedOffset 48467, 16 lines modified
48467 ·DW_MACRO_define_strp·-·lineno·:·0·macro·:·_GNU_SOURCE·148467 ·DW_MACRO_define_strp·-·lineno·:·0·macro·:·_GNU_SOURCE·1
48468 ·DW_MACRO_define_strp·-·lineno·:·0·macro·:·CVC5_STATISTICS_ON·148468 ·DW_MACRO_define_strp·-·lineno·:·0·macro·:·CVC5_STATISTICS_ON·1
48469 ·DW_MACRO_define_strp·-·lineno·:·0·macro·:·CVC5_USE_CRYPTOMINISAT·148469 ·DW_MACRO_define_strp·-·lineno·:·0·macro·:·CVC5_USE_CRYPTOMINISAT·1
48470 ·DW_MACRO_define_strp·-·lineno·:·0·macro·:·NDEBUG·148470 ·DW_MACRO_define_strp·-·lineno·:·0·macro·:·NDEBUG·1
48471 ·DW_MACRO_define_strp·-·lineno·:·0·macro·:·__BUILDING_CVC5LIB·148471 ·DW_MACRO_define_strp·-·lineno·:·0·macro·:·__BUILDING_CVC5LIB·1
48472 ·DW_MACRO_define_strp·-·lineno·:·0·macro·:·cvc5_obj_EXPORTS·148472 ·DW_MACRO_define_strp·-·lineno·:·0·macro·:·cvc5_obj_EXPORTS·1
48473 ·DW_MACRO_define_strp·-·lineno·:·0·macro·:·_FORTIFY_SOURCE·248473 ·DW_MACRO_define_strp·-·lineno·:·0·macro·:·_FORTIFY_SOURCE·2
48474 ·DW_MACRO_define_strp·-·lineno·:·0·macro·:·DEB_BUILD_DATE·"2024-03-18"48474 ·DW_MACRO_define_strp·-·lineno·:·0·macro·:·DEB_BUILD_DATE·"2024-03-19"
48475 ·DW_MACRO_define_strp·-·lineno·:·0·macro·:·DEB_BUILD_TIME·"12:06:23"48475 ·DW_MACRO_define_strp·-·lineno·:·0·macro·:·DEB_BUILD_TIME·"14:06:23"
  
48476 ··Offset:······················0x3efeb48476 ··Offset:······················0x3efeb
48477 ··Version:·····················548477 ··Version:·····················5
48478 ··Offset·size:·················448478 ··Offset·size:·················4
  
48479 ·DW_MACRO_define_strp·-·lineno·:·31·macro·:·_GLIBCXX_OS_DEFINES·148479 ·DW_MACRO_define_strp·-·lineno·:·31·macro·:·_GLIBCXX_OS_DEFINES·1
48480 ·DW_MACRO_define_strp·-·lineno·:·37·macro·:·__NO_CTYPE·148480 ·DW_MACRO_define_strp·-·lineno·:·37·macro·:·__NO_CTYPE·1
14.8 KB
strings --all --bytes=8 {}
    
Offset 1, 596 lines modifiedOffset 1, 613 lines modified
1 [GCC:·(Debian·14.2.0-19)·14.2.01 gGCC:·(Debian·14.2.0-19)·14.2.0
2 ]czx""iY 
3 vZ@ZK'EY 
4 pN#y3ujY|G 
5 Z&xy-Sd^= 
6 .:J?VO,j 
7 P|NMoy5B,z 
8 XTB,[$@+G; 
9 z;V*P,*! 
10 |Z#DK0@RP 
11 *;%B$TQ»q 
12 B'lO>HD\m~- 
13 T%D·r@HV< 
14 ;6v]:)\-$ 
15 8?pVq:r" 
16 RLp"?b`W1· 
17 »       {1'gr|$ 
18 n@+?s.W{'> 
19 L^I3Y5Z|?* 
20 E25QE9;uQ 
21 i»      cJ»    cUn 
22 bbkVS!zWg 
23 +PLS5Oe| 
24 Ks&»    r<Rc|S8Q 
25 obKQpH_= 
26 s#@V?M;6 
27 9tppdP+/b 
28 "{M7MwME 
29 Vt1Q8HzGS 
30 ?;P0#PkE 
31 gd?cPB>, 
32 gvruJiG76 
33 FFO2ok2# 
34 *E=VlCdW%) 
35 ,Q6TU<.| 
36 8)D^uvtp#= 
37 ,DX,:+-\ 
38 kz"k1rZ7 
39 h|r-H$s3 
40 #@Cfua5A 
41 b0$Oux{·%z 
42 r/_?BPf# 
43 6A;4SI.bR 
44 Vt{pr1>% 
45 \oE*t»  gT 
46 i?yJBc1f 
47 I&jDkISz·x 
48 ~AP?$}o9> 
49 _8A<Nj!9 
50 ,5@S+w)h 
51 ;t&m}*)M 
52 {{A=^O:M 
53 +G»     Ll"QMD 
54 tb<=c"|X 
55 aE:@^!-7 
56 ?-8SJ<MW 
57 =:{Qo'\i/ 
58 ;7BA+7BU 
59 u,{9/~Qd 
60 85Ek%5LH 
61 »       ,-^gW.`P 
62 "l/`AulM 
63 82H*kWKF 
64 *)&PmTGK 
65 ')ywoU<$ 
66 .Ostnd<» 
67 v]xK$ZFG 
68 tlY$r8aS[l 
69 =JAn~B^e 
70 pO_·}XnP 
71 A5f$FdS*2 `J=T*$$t
 3 &Cs;~+@+3&K
 4 ,!1wEi» v.
 5 vm.;a2V7K
 6 dS9kKZi(6
 7 X\-*15{g
 8 r']e]G-Z'
 9 ]L2!&8[\
 10 tB,i#AJL6
 11 T#D0rBXN
 12 !)X,N/5'
 13 1!B@`I,o
 14 Va·`q·»   H&
 15 hsVn)_uJ
 16 &\YW8!JR
 17 1_bYnI:Qd
 18 OH#Z{8-\
 19 '_Ru8H<[
 20 rbp]rpYjpE
 21 ('}·v6iZ
 22 k_+gT2RH
 23 ra4,b-QW
 24 |ZTzyiQ/
 25 S5KVV{f@
 26 ,MLk:iCkV
 27 {b#Mo4Y")EX
 28 2'»     Ynzq/4
 29 x~9,7aI1
 30 ,tk)!U{W
 31 s!ysd=>3Z
 32 [utov9[T
 33 $.7»    <Kl|]
 34 IT|mC~f#h
 35 $A;y%4]'»       
 36 `Gtz>}R»
 37 @P5$}jH^
 38 e*H`g0mX
 39 U'q#'_#un
 40 m}tuGOxe/n
 41 W9_p?VEf
 42 @mY·|Hyt
 43 yjP>?nik2
 44 [P%2,f-Y
 45 V2okw»  Vx
 46 !~-M21&P
 47 C]px-=ibQ
 48 `w2mBA-(
 49 >XPMWWK>G
 50 WO!'ta=W
 51 |[F1YU,d
 52 ^rWQp0W]
 53 x-dM{,(8A
 54 [W.{0Af»
 55 j&5Ga·zY
 56 YP`e#cn2
 57 _E:y;FRE*
 58 1)i»    494tm$Rs:
Max diff block lines reached; 13420/15103 bytes (88.86%) of diff not shown.
1.67 MB
readelf --wide --decompress --string-dump=.debug_str {}
    
Offset 2237, 9874 lines modifiedOffset 2237, 9874 lines modified
2237 ··[·27d3b]··_ZNSt16ostream_iteratorIN4cvc54TermEcSt11char_traitsIcEEaSERKS4_2237 ··[·27d3b]··_ZNSt16ostream_iteratorIN4cvc54TermEcSt11char_traitsIcEEaSERKS4_
2238 ··[·27d7c]··__cpp_lib_launder·201606L2238 ··[·27d7c]··__cpp_lib_launder·201606L
2239 ··[·27d96]··_ZSt20__throw_length_errorPKc2239 ··[·27d96]··_ZSt20__throw_length_errorPKc
2240 ··[·27db4]··_ZNSt10_Head_baseILm1ESt14default_deleteIN4cvc58internal7options10HolderEXPREELb1EEC4EOS6_2240 ··[·27db4]··_ZNSt10_Head_baseILm1ESt14default_deleteIN4cvc58internal7options10HolderEXPREELb1EEC4EOS6_
2241 ··[·27e0f]··_ZNSt3mapIN4cvc54TermENSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEESt4lessIS1_ESaISt4pairIKS1_S7_EEE7extractERSB_2241 ··[·27e0f]··_ZNSt3mapIN4cvc54TermENSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEESt4lessIS1_ESaISt4pairIKS1_S7_EEE7extractERSB_
2242 ··[·27e88]··remove_extent<cvc5::internal::DTypeSelector>2242 ··[·27e88]··remove_extent<cvc5::internal::DTypeSelector>
Diff chunk too large, falling back to line-by-line diff (9860 lines added, 9860 lines removed)
2243 ··[·27eb5]··_GLIBCXX_HAVE_ATTRIBUTE_VISIBILITY·12243 ··[·27eb5]··_GLIBCXX_HAVE_ATTRIBUTE_VISIBILITY·1
2244 ··[·27eda]··_GLIBCXX_TSAN_MUTEX_POST_UNLOCK(X)·2244 ··[·27eda]··DEB_BUILD_DATE·"2024-03-19"
2245 ··[·27efe]··_ZNSt8_Rb_treeINSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEESt4pairIKS5_N4cvc54StatEESt10_Select1stISA_ESt4lessIS5_ESaISA_EEC4ERKSG_RKSF_2245 ··[·27ef6]··_GLIBCXX_TSAN_MUTEX_POST_UNLOCK(X)·
2246 ··[·27f8f]··_ZNSt12__shared_ptrIN4cvc58internal6ResultELN9__gnu_cxx12_Lock_policyE2EEaSERKS5_2246 ··[·27f1a]··_ZNSt8_Rb_treeINSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEESt4pairIKS5_N4cvc54StatEESt10_Select1stISA_ESt4lessIS5_ESaISA_EEC4ERKSG_RKSF_
2247 ··[·27fe1]··_ZN9__gnu_cxx14__alloc_traitsISaIcEcE27_S_propagate_on_copy_assignEv2247 ··[·27fab]··_ZNSt12__shared_ptrIN4cvc58internal6ResultELN9__gnu_cxx12_Lock_policyE2EEaSERKS5_
2248 ··[·28026]··_ZNKSt6vectorIPN4cvc58internal4expr9NodeValueESaIS4_EE8capacityEv2248 ··[·27ffd]··_ZN9__gnu_cxx14__alloc_traitsISaIcEcE27_S_propagate_on_copy_assignEv
2249 ··[·28068]··_ZNK4cvc56parser20GetAssignmentCommand11printResultEPNS_6SolverERSo2249 ··[·28042]··_ZNKSt6vectorIPN4cvc58internal4expr9NodeValueESaIS4_EE8capacityEv
2250 ··[·280ac]··isDatatypeConstructor2250 ··[·28084]··_ZNK4cvc56parser20GetAssignmentCommand11printResultEPNS_6SolverERSo
2251 ··[·280c2]··__ONCE_ALIGNMENT·2251 ··[·280c8]··isDatatypeConstructor
2252 ··[·280d4]··_ZNSt19_Node_handle_commonIPN4cvc58internal4expr9NodeValueESaINSt8__detail10_Hash_nodeIS4_Lb1EEEEE15_Optional_allocD4Ev2252 ··[·280de]··__ONCE_ALIGNMENT·
2253 ··[·2814c]··_ZNSt11_Tuple_implILm1EJSt14default_deleteIN4cvc58internal7options12HolderDRIVEREEEEC4ERKS6_2253 ··[·280f0]··_ZNSt19_Node_handle_commonIPN4cvc58internal4expr9NodeValueESaINSt8__detail10_Hash_nodeIS4_Lb1EEEEE15_Optional_allocD4Ev
2254 ··[·281a9]··_ZN4cvc56parser11QuitCommand6invokeEPNS_6SolverEPNS0_10SymManagerE2254 ··[·28168]··_ZNSt11_Tuple_implILm1EJSt14default_deleteIN4cvc58internal7options12HolderDRIVEREEEEC4ERKS6_
2255 ··[·281ec]··_ZNKSt8__detail16_Hashtable_allocISaINS_10_Hash_nodeISt4pairIKN4cvc58internal12NodeTemplateILb0EEES6_ELb1EEEEE17_M_node_allocatorEv2255 ··[·281c5]··_ZN4cvc56parser11QuitCommand6invokeEPNS_6SolverEPNS0_10SymManagerE
2256 ··[·28270]··_ZNKSt10_HashtableIN4cvc58internal12NodeTemplateILb0EEESt4pairIKS3_S3_ESaIS6_ENSt8__detail10_Select1stESt8equal_toIS3_ESt4hashIS3_ENS8_18_Mod_range_hashingENS8_20_Default_ranged_hashENS8_20_Prime_rehash_policyENS8_17_Hashtable_traitsILb1ELb0ELb1EEEE15[·...·truncated·by·diffoscope;·len:·50,·SHA:·a54e03624d2a00a81299b7b79f705232c7b2cd763bc27140e1fe24d96623205d·...·]2256 ··[·28208]··_ZNKSt8__detail16_Hashtable_allocISaINS_10_Hash_nodeISt4pairIKN4cvc58internal12NodeTemplateILb0EEES6_ELb1EEEEE17_M_node_allocatorEv
2257 ··[·2839e]··_ZNSt10unique_ptrIN4cvc58internal7options12HolderARRAYSESt14default_deleteIS3_EE7releaseEv2257 ··[·2828c]··_ZNKSt10_HashtableIN4cvc58internal12NodeTemplateILb0EEESt4pairIKS3_S3_ESaIS6_ENSt8__detail10_Select1stESt8equal_toIS3_ESt4hashIS3_ENS8_18_Mod_range_hashingENS8_20_Default_ranged_hashENS8_20_Prime_rehash_policyENS8_17_Hashtable_traitsILb1ELb0ELb1EEEE1[·...·truncated·by·diffoscope;·len:·51,·SHA:·474978bc0c09aa7f1a2816dddceffeb09292312dbf3e315d1b42def375f78216·...·]
2258 ··[·283f9]··_GLIBCXX_HAVE_STRTOLD·12258 ··[·283ba]··_ZNSt10unique_ptrIN4cvc58internal7options12HolderARRAYSESt14default_deleteIS3_EE7releaseEv
2259 ··[·28411]··_ZNSt12__shared_ptrIN4cvc58internal9ProofNodeELN9__gnu_cxx12_Lock_policyE2EEC4ERKSt10__weak_ptrIS2_LS4_2EESt9nothrow_t2259 ··[·28415]··_GLIBCXX_HAVE_STRTOLD·1
2260 ··[·28488]··IAND2260 ··[·2842d]··_ZNSt12__shared_ptrIN4cvc58internal9ProofNodeELN9__gnu_cxx12_Lock_policyE2EEC4ERKSt10__weak_ptrIS2_LS4_2EESt9nothrow_t
2261 ··[·2848d]··_ZNKSt8_Rb_treeINSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEESt4pairIKS5_N4cvc54StatEESt10_Select1stISA_ESt4lessIS5_ESaISA_EE4findERS7_2261 ··[·284a4]··IAND
2262 ··[·2851c]··_ZNK4cvc56parser22DeclareFunctionCommand14getCommandNameB5cxx11Ev2262 ··[·284a9]··_ZNKSt8_Rb_treeINSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEESt4pairIKS5_N4cvc54StatEESt10_Select1stISA_ESt4lessIS5_ESaISA_EE4findERS7_
2263 ··[·2855e]··__attr_dealloc_fclose·2263 ··[·28538]··_ZNK4cvc56parser22DeclareFunctionCommand14getCommandNameB5cxx11Ev
2264 ··[·28575]··_ZN4cvc56parser15GetModelCommandC4EOS1_2264 ··[·2857a]··__attr_dealloc_fclose·
2265 ··[·2859d]··_ZNKSt8_Rb_treeIN4cvc54TermESt4pairIKS1_S1_ESt10_Select1stIS4_ESt4lessIS1_ESaIS4_EE8_M_beginEv2265 ··[·28591]··_ZN4cvc56parser15GetModelCommandC4EOS1_
2266 ··[·285fc]··_ZNSt15__uniq_ptr_implIN4cvc58internal7options17HolderQUANTIFIERSESt14default_deleteIS3_EEC4EPS3_2266 ··[·285b9]··_ZNKSt8_Rb_treeIN4cvc54TermESt4pairIKS1_S1_ESt10_Select1stIS4_ESt4lessIS1_ESaIS4_EE8_M_beginEv
2267 ··[·2865e]··__glibcxx_make_unique·201304L2267 ··[·28618]··_ZNSt15__uniq_ptr_implIN4cvc58internal7options17HolderQUANTIFIERSESt14default_deleteIS3_EEC4EPS3_
2268 ··[·2867c]··_ZNSt3mapIN4cvc58internal4kind6Kind_tES_INS1_8TypeNodeENS1_12NodeTemplateILb1EEESt4lessIS4_ESaISt4pairIKS4_S6_EEES7_IS3_ESaIS9_IKS3_SD_EEE6insertESt23_Rb_tree_const_iteratorISG_EOSG_2268 ··[·2867a]··__glibcxx_make_unique·201304L
2269 ··[·28733]··_ZNSt8_Rb_treeIN4cvc58internal4kind6Kind_tESt4pairIKS3_St3mapINS1_8TypeNodeENS1_12NodeTemplateILb1EEESt4lessIS7_ESaIS4_IKS7_S9_EEEESt10_Select1stISG_ESA_IS3_ESaISG_EE23_M_reinsert_node_uniqueEOSt12_Node_handleIS3_SG_SaISt13_Rb_tree_nodeISG_EEE2269 ··[·28698]··_ZNSt3mapIN4cvc58internal4kind6Kind_tES_INS1_8TypeNodeENS1_12NodeTemplateILb1EEESt4lessIS4_ESaISt4pairIKS4_S6_EEES7_IS3_ESaIS9_IKS3_SD_EEE6insertESt23_Rb_tree_const_iteratorISG_EOSG_
2270 ··[·28827]··_ZNKSt10_HashtableIN4cvc58internal8TypeNodeESt4pairIKS2_S2_ESaIS5_ENSt8__detail10_Select1stESt8equal_toIS2_ESt4hashIS2_ENS7_18_Mod_range_hashingENS7_20_Default_ranged_hashENS7_20_Prime_rehash_policyENS7_17_Hashtable_traitsILb1ELb0ELb1EEEE21_M_uses_si[·...·truncated·by·diffoscope;·len:·13,·SHA:·73bb4ca2bb3bd26e47e4f18b7ee85ad37a35a86925bf89c4cc76f8046ffdd730·...·]2270 ··[·2874f]··_ZNSt8_Rb_treeIN4cvc58internal4kind6Kind_tESt4pairIKS3_St3mapINS1_8TypeNodeENS1_12NodeTemplateILb1EEESt4lessIS7_ESaIS4_IKS7_S9_EEEESt10_Select1stISG_ESA_IS3_ESaISG_EE23_M_reinsert_node_uniqueEOSt12_Node_handleIS3_SG_SaISt13_Rb_tree_nodeISG_EEE
2271 ··[·2892f]··_ZN9__gnu_cxx14__alloc_traitsISaIwEwE15_S_always_equalEv2271 ··[·28843]··_ZNKSt10_HashtableIN4cvc58internal8TypeNodeESt4pairIKS2_S2_ESaIS5_ENSt8__detail10_Select1stESt8equal_toIS2_ESt4hashIS2_ENS7_18_Mod_range_hashingENS7_20_Default_ranged_hashENS7_20_Prime_rehash_policyENS7_17_Hashtable_traitsILb1ELb0ELb1EEEE21_M_uses_si[·...·truncated·by·diffoscope;·len:·11,·SHA:·64dc54b0d2d811c0ad4d5f1a19f8ca786c84bcc91e24b1116d8c0775eeae0fa0·...·]Ev
2272 ··[·28968]··_ZNSt5tupleIJPN4cvc58internal7options11HolderPROOFESt14default_deleteIS3_EEEaSERKS7_2272 ··[·2894b]··_ZN9__gnu_cxx14__alloc_traitsISaIwEwE15_S_always_equalEv
2273 ··[·289bd]··_ZNSt10_Head_baseILm0EPN4cvc513APIStatisticsELb0EEC4Ev2273 ··[·28984]··_ZNSt5tupleIJPN4cvc58internal7options11HolderPROOFESt14default_deleteIS3_EEEaSERKS7_
2274 ··[·289f4]··_ZNSt10_Head_baseILm0EPN4cvc58internal7options10HolderBASEELb0EEC4Ev2274 ··[·289d9]··_ZNSt10_Head_baseILm0EPN4cvc513APIStatisticsELb0EEC4Ev
2275 ··[·28a39]··_ENABLE_SPECIAL_MEMBERS_H·12275 ··[·28a10]··_ZNSt10_Head_baseILm0EPN4cvc58internal7options10HolderBASEELb0EEC4Ev
2276 ··[·28a55]··_ZNKSt6vectorIN4cvc55ProofESaIS1_EE5beginEv2276 ··[·28a55]··_ENABLE_SPECIAL_MEMBERS_H·1
2277 ··[·28a81]··_ZNSt14_Optional_baseINSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEELb0ELb0EED2Ev2277 ··[·28a71]··_ZNKSt6vectorIN4cvc55ProofESaIS1_EE5beginEv
2278 ··[·28ad9]··add_lvalue_reference<cvc5::internal::options::HolderARRAYS>2278 ··[·28a9d]··_ZNSt14_Optional_baseINSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEELb0ELb0EED2Ev
2279 ··[·28b15]··_ZNSt17_Rb_tree_iteratorISt4pairIKN4cvc54TermES2_EEC4EPSt18_Rb_tree_node_base2279 ··[·28af5]··add_lvalue_reference<cvc5::internal::options::HolderARRAYS>
2280 ··[·28b63]··destroy<std::pair<const·cvc5::Term,·cvc5::Term>·>2280 ··[·28b31]··_ZNSt17_Rb_tree_iteratorISt4pairIKN4cvc54TermES2_EEC4EPSt18_Rb_tree_node_base
2281 ··[·28b95]··_ZNSt8_Rb_treeIN4cvc58internal4kind6Kind_tESt4pairIKS3_St3mapINS1_8TypeNodeENS1_12NodeTemplateILb1EEESt4lessIS7_ESaIS4_IKS7_S9_EEEESt10_Select1stISG_ESA_IS3_ESaISG_EE6_M_endEv2281 ··[·28b7f]··destroy<std::pair<const·cvc5::Term,·cvc5::Term>·>
2282 ··[·28c45]··_ZNSt22_Optional_payload_baseINSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEEE8_StorageIS5_Lb0EEC4IJRS5_EEESt10in_place_tDpOT_2282 ··[·28bb1]··_ZNSt8_Rb_treeIN4cvc58internal4kind6Kind_tESt4pairIKS3_St3mapINS1_8TypeNodeENS1_12NodeTemplateILb1EEESt4lessIS7_ESaIS4_IKS7_S9_EEEESt10_Select1stISG_ESA_IS3_ESaISG_EE6_M_endEv
2283 ··[·28cc9]··map<cvc5::internal::TypeNode,·std::map<std::__cxx11::basic_string<char,·std::char_traits<char>,·std::allocator<char>·>,·cvc5::internal::NodeManager::RecTypeCache,·std::less<std::__cxx11::basic_string<char,·std::char_traits<char>,·std::allocator<char>·[·...·truncated·by·diffoscope;·len:·649,·SHA:·3dc86236aa417e39a1fad6ab3f19f9fb3ee1732bd87a41d791181ebf5c112656·...·]2283 ··[·28c61]··_ZNSt22_Optional_payload_baseINSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEEE8_StorageIS5_Lb0EEC4IJRS5_EEESt10in_place_tDpOT_
2284 ··[·2904e]··_ZNSt16allocator_traitsISaISt4pairIKN4cvc58internal4kind6Kind_tESt3mapINS2_8TypeNodeENS2_12NodeTemplateILb1EEESt4lessIS7_ESaIS0_IKS7_S9_EEEEEE10deallocateERSH_PSG_m2284 ··[·28ce5]··map<cvc5::internal::TypeNode,·std::map<std::__cxx11::basic_string<char,·std::char_traits<char>,·std::allocator<char>·>,·cvc5::internal::NodeManager::RecTypeCache,·std::less<std::__cxx11::basic_string<char,·std::char_traits<char>,·std::allocator<char[·...·truncated·by·diffoscope;·len:·651,·SHA:·c07f176e2b3da22b23895644e233953b4302cf0f4a932a551b200ab4ded61a19·...·]
2285 ··[·290f3]··reverse_iterator<__gnu_cxx::__normal_iterator<const·cvc5::DatatypeConstructor*,·std::vector<cvc5::DatatypeConstructor,·std::allocator<cvc5::DatatypeConstructor>·>·>·>2285 ··[·2906a]··_ZNSt16allocator_traitsISaISt4pairIKN4cvc58internal4kind6Kind_tESt3mapINS2_8TypeNodeENS2_12NodeTemplateILb1EEESt4lessIS7_ESaIS0_IKS7_S9_EEEEEE10deallocateERSH_PSG_m
2286 ··[·2919a]··_ZNSt6vectorIN4cvc58internal12NodeTemplateILb1EEESaIS3_EE14_M_insert_rvalEN9__gnu_cxx17__normal_iteratorIPKS3_S5_EEOS3_2286 ··[·2910f]··reverse_iterator<__gnu_cxx::__normal_iterator<const·cvc5::DatatypeConstructor*,·std::vector<cvc5::DatatypeConstructor,·std::allocator<cvc5::DatatypeConstructor>·>·>·>
2287 ··[·29212]··fgetpos2287 ··[·291b6]··_ZNSt6vectorIN4cvc58internal12NodeTemplateILb1EEESaIS3_EE14_M_insert_rvalEN9__gnu_cxx17__normal_iteratorIPKS3_S5_EEOS3_
2288 ··[·2921a]··_ZNSt10_Head_baseILm1ESt14default_deleteIN4cvc58internal7options12HolderPARSEREELb1EEC4ESt15allocator_arg_tSt13__uses_alloc02288 ··[·2922e]··fgetpos
2289 ··[·29297]··_ZNKSt10unique_ptrIN4cvc58internal7options8HolderBVESt14default_deleteIS3_EE3getEv2289 ··[·29236]··_ZNSt10_Head_baseILm1ESt14default_deleteIN4cvc58internal7options12HolderPARSEREELb1EEC4ESt15allocator_arg_tSt13__uses_alloc0
2290 ··[·292ea]··BAG_FILTER2290 ··[·292b3]··_ZNKSt10unique_ptrIN4cvc58internal7options8HolderBVESt14default_deleteIS3_EE3getEv
2291 ··[·292f5]··_ZNSt13move_iteratorIPN4cvc54TermEEmIEl2291 ··[·29306]··BAG_FILTER
2292 ··[·2931d]··_ZNSt19_Node_handle_commonIPN4cvc58internal4expr9NodeValueESaINSt8__detail10_Hash_nodeIS4_Lb1EEEEE7_M_swapERS9_2292 ··[·29311]··_ZNSt13move_iteratorIPN4cvc54TermEEmIEl
2293 ··[·2938d]··_ZNSt11_Tuple_implILm0EJPN4cvc58internal7options12HolderDRIVERESt14default_deleteIS3_EEE7_M_headERKS7_2293 ··[·29339]··_ZNSt19_Node_handle_commonIPN4cvc58internal4expr9NodeValueESaINSt8__detail10_Hash_nodeIS4_Lb1EEEEE7_M_swapERS9_
2294 ··[·293f4]··_ZNKSt6vectorIN4cvc523DatatypeConstructorDeclESaIS1_EE6rbeginEv2294 ··[·293a9]··_ZNSt11_Tuple_implILm0EJPN4cvc58internal7options12HolderDRIVERESt14default_deleteIS3_EEE7_M_headERKS7_
2295 ··[·29434]··_ZNSt8_Rb_treeINSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEESt4pairIKS5_N4cvc54StatEESt10_Select1stISA_ESt4lessIS5_ESaISA_EE11_M_leftmostEv2295 ··[·29410]··_ZNKSt6vectorIN4cvc523DatatypeConstructorDeclESaIS1_EE6rbeginEv
2296 ··[·294c7]··_ZNKSt6vectorIN4cvc58internal8TypeNodeESaIS2_EE4cendEv2296 ··[·29450]··_ZNSt8_Rb_treeINSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEESt4pairIKS5_N4cvc54StatEESt10_Select1stISA_ESt4lessIS5_ESaISA_EE11_M_leftmostEv
2297 ··[·294fe]··_ZNSt17_Optional_payloadINSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEELb1ELb0ELb0EEC4ERKS6_2297 ··[·294e3]··_ZNKSt6vectorIN4cvc58internal8TypeNodeESaIS2_EE4cendEv
2298 ··[·29561]··_ZNSt6vectorISt10unique_ptrIN4cvc58internal6OracleESt14default_deleteIS3_EESaIS6_EE16_M_shrink_to_fitEv2298 ··[·2951a]··_ZNSt17_Optional_payloadINSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEELb1ELb0ELb0EEC4ERKS6_
2299 ··[·295c9]··_ZNSt8__detail12_Insert_baseIN4cvc58internal12NodeTemplateILb0EEESt4pairIKS4_S4_ESaIS7_ENS_10_Select1stESt8equal_toIS4_ESt4hashIS4_ENS_18_Mod_range_hashingENS_20_Default_ranged_hashENS_20_Prime_rehash_policyENS_17_Hashtable_traitsILb1ELb0ELb1EEEE6inse[·...·truncated·by·diffoscope;·len:·47,·SHA:·372a63a1f987a1402ffe50e2b84f8e42547a8de904fd8046209e7e5ae349f9b5·...·]2299 ··[·2957d]··_ZNSt6vectorISt10unique_ptrIN4cvc58internal6OracleESt14default_deleteIS3_EESaIS6_EE16_M_shrink_to_fitEv
2300 ··[·296f4]··__al2300 ··[·295e5]··_ZNSt8__detail12_Insert_baseIN4cvc58internal12NodeTemplateILb0EEESt4pairIKS4_S4_ESaIS7_ENS_10_Select1stESt8equal_toIS4_ESt4hashIS4_ENS_18_Mod_range_hashingENS_20_Default_ranged_hashENS_20_Prime_rehash_policyENS_17_Hashtable_traitsILb1ELb0ELb1EEEE6ins[·...·truncated·by·diffoscope;·len:·48,·SHA:·1c86c23b7626e5c8f4fba2e8ef90b3373121ed58feb085fa8fe0e8c013d0f2ed·...·]
2301 ··[·296f9]··construct<std::vector<cvc5::Term>,·std::vector<cvc5::Term,·std::allocator<cvc5::Term>·>·>2301 ··[·29710]··__al
2302 ··[·29753]··_ZNSt6vectorIN4cvc519DatatypeConstructorESaIS1_EE6insertEN9__gnu_cxx17__normal_iteratorIPKS1_S3_EERS6_2302 ··[·29715]··construct<std::vector<cvc5::Term>,·std::vector<cvc5::Term,·std::allocator<cvc5::Term>·>·>
2303 ··[·297ba]··_ZNKSt17basic_string_viewIcSt11char_traitsIcEE7compareEmmS2_mm2303 ··[·2976f]··_ZNSt6vectorIN4cvc519DatatypeConstructorESaIS1_EE6insertEN9__gnu_cxx17__normal_iteratorIPKS1_S3_EERS6_
2304 ··[·297f9]··_ZSt12__niter_baseIN4cvc54Term14const_iteratorEET_S3_2304 ··[·297d6]··_ZNKSt17basic_string_viewIcSt11char_traitsIcEE7compareEmmS2_mm
2305 ··[·2982f]··in_place_t2305 ··[·29815]··_ZSt12__niter_baseIN4cvc54Term14const_iteratorEET_S3_
2306 ··[·2983a]··_ZNK4cvc56parser23BlockModelValuesCommand8toStreamERSo2306 ··[·2984b]··in_place_t
2307 ··[·29871]··_ZNKSt14default_deleteIN4cvc58internal7options12HolderDRIVEREEclEPS3_2307 ··[·29856]··_ZNK4cvc56parser23BlockModelValuesCommand8toStreamERSo
2308 ··[·298b7]··_ZNK4cvc58internal4expr9NodeValue11getMetaKindEv2308 ··[·2988d]··_ZNKSt14default_deleteIN4cvc58internal7options12HolderDRIVEREEclEPS3_
2309 ··[·298e8]··_ZNSt8_Rb_treeIN4cvc54TermESt4pairIKS1_S1_ESt10_Select1stIS4_ESt4lessIS1_ESaIS4_EE11equal_rangeERS3_2309 ··[·298d3]··_ZNK4cvc58internal4expr9NodeValue11getMetaKindEv
2310 ··[·2994d]··_ZN4cvc52OpC4EPNS_8internal11NodeManagerENS_4KindE2310 ··[·29904]··_ZNSt8_Rb_treeIN4cvc54TermESt4pairIKS1_S1_ESt10_Select1stIS4_ESt4lessIS1_ESaIS4_EE11equal_rangeERS3_
2311 ··[·29980]··_ZNSt8_Rb_treeIN4cvc54TermES1_St9_IdentityIS1_ESt4lessIS1_ESaIS1_EE4findERKS1_2311 ··[·29969]··_ZN4cvc52OpC4EPNS_8internal11NodeManagerENS_4KindE
2312 ··[·299cf]··_ZNSt12__shared_ptrIN4cvc58internal8TypeNodeELN9__gnu_cxx12_Lock_policyE2EEC4EDn2312 ··[·2999c]··_ZNSt8_Rb_treeIN4cvc54TermES1_St9_IdentityIS1_ESt4lessIS1_ESaIS1_EE4findERKS1_
2313 ··[·29a20]··__EXCEPTION__·2313 ··[·299eb]··_ZNSt12__shared_ptrIN4cvc58internal8TypeNodeELN9__gnu_cxx12_Lock_policyE2EEC4EDn
2314 ··[·29a2f]··mkTupleSortHelper2314 ··[·29a3c]··__EXCEPTION__·
2315 ··[·29a41]··__c12315 ··[·29a4b]··mkTupleSortHelper
2316 ··[·29a46]··_ZNSt19_Optional_base_implINSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEESt14_Optional_baseIS5_Lb0ELb0EEE8_M_resetEv2316 ··[·29a5d]··__c1
2317 ··[·29ac1]··_PSTL_CPP17_EXECUTION_POLICIES_PRESENT·(_MSC_VER·>=·1912·&&·_MSVC_LANG·>=·201703L)·||·(_GLIBCXX_RELEASE·>=·9·&&·__GLIBCXX__·>=·20190503·&&·__cplusplus·>=·201703L)2317 ··[·29a62]··_ZNSt19_Optional_base_implINSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEESt14_Optional_baseIS5_Lb0ELb0EEE8_M_resetEv
2318 ··[·29b64]··_ZNSt11_Tuple_implILm1EJSt14default_deleteIN4cvc58internal7options11HolderARITHEEEE7_M_swapERS6_2318 ··[·29add]··_PSTL_CPP17_EXECUTION_POLICIES_PRESENT·(_MSC_VER·>=·1912·&&·_MSVC_LANG·>=·201703L)·||·(_GLIBCXX_RELEASE·>=·9·&&·__GLIBCXX__·>=·20190503·&&·__cplusplus·>=·201703L)
2319 ··[·29bc5]··wcspbrk2319 ··[·29b80]··_ZNSt11_Tuple_implILm1EJSt14default_deleteIN4cvc58internal7options11HolderARITHEEEE7_M_swapERS6_
2320 ··[·29bcd]··FINITE_FIELD_NEG2320 ··[·29be1]··wcspbrk
2321 ··[·29bde]··_ZNSt12_Vector_baseINSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEESaIS5_EE19_M_get_Tp_allocatorEv2321 ··[·29be9]··FINITE_FIELD_NEG
2322 ··[·29c46]··_ZNSt11_Tuple_implILm0EJPN4cvc58internal7options9HolderSEPESt14default_deleteIS3_EEEC4ERKS4_RKS6_2322 ··[·29bfa]··_ZNSt12_Vector_baseINSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEESaIS5_EE19_M_get_Tp_allocatorEv
2323 ··[·29ca8]··_ZNKSt7__cxx1112basic_stringIwSt11char_traitsIwESaIwEE5beginEv2323 ··[·29c62]··_ZNSt11_Tuple_implILm0EJPN4cvc58internal7options9HolderSEPESt14default_deleteIS3_EEEC4ERKS4_RKS6_
2324 ··[·29ce7]··_MOVE_H·12324 ··[·29cc4]··_ZNKSt7__cxx1112basic_stringIwSt11char_traitsIwESaIwEE5beginEv
2325 ··[·29cf1]··_ZNSt12_Vector_baseIjSaIjEEC4EOS0_2325 ··[·29d03]··_MOVE_H·1
2326 ··[·29d14]··_ZNSt6vectorIN4cvc58internal8TypeNodeESaIS2_EE6assignEmRKS2_2326 ··[·29d0d]··_ZNSt12_Vector_baseIjSaIjEEC4EOS0_
2327 ··[·29d51]··d_pos2327 ··[·29d30]··_ZNSt6vectorIN4cvc58internal8TypeNodeESaIS2_EE6assignEmRKS2_
2328 ··[·29d57]··_ZNKSt19__shared_ptr_accessIN4cvc58internal12NodeTemplateILb1EEELN9__gnu_cxx12_Lock_policyE2ELb0ELb0EE6_M_getEv2328 ··[·29d6d]··d_pos
2329 ··[·29dc7]··_ZNSt11_Tuple_implILm0EJPN4cvc58internal7options8HolderBVESt14default_deleteIS3_EEE7_M_swapERS7_2329 ··[·29d73]··_ZNKSt19__shared_ptr_accessIN4cvc58internal12NodeTemplateILb1EEELN9__gnu_cxx12_Lock_policyE2ELb0ELb0EE6_M_getEv
2330 ··[·29e28]··_ZNK4cvc56Solver12getUnsatCoreEv2330 ··[·29de3]··_ZNSt11_Tuple_implILm0EJPN4cvc58internal7options8HolderBVESt14default_deleteIS3_EEE7_M_swapERS7_
2331 ··[·29e49]··_ZNSt22_Optional_payload_baseINSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEEEC4IJS5_EEESt10in_place_tDpOT_2331 ··[·29e44]··_ZNK4cvc56Solver12getUnsatCoreEv
2332 ··[·29eba]··_ZNK9__gnu_cxx17__normal_iteratorIPwNSt7__cxx1112basic_stringIwSt11char_traitsIwESaIwEEEEmiEl2332 ··[·29e65]··_ZNSt22_Optional_payload_baseINSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEEEC4IJS5_EEESt10in_place_tDpOT_
2333 ··[·29f18]··_Uninitialized<cvc5::OptionInfo::ModeInfo,·false>2333 ··[·29ed6]··_ZNK9__gnu_cxx17__normal_iteratorIPwNSt7__cxx1112basic_stringIwSt11char_traitsIwESaIwEEEEmiEl
2334 ··[·29f4a]··_ZN9__gnu_cxx14__alloc_traitsISaISt10unique_ptrIN4cvc58internal5DTypeESt14default_deleteIS4_EEES7_E10_S_on_swapERS8_SA_2334 ··[·29f34]··_Uninitialized<cvc5::OptionInfo::ModeInfo,·false>
2335 ··[·29fc2]··_ZNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEC2EOS4_2335 ··[·29f66]··_ZN9__gnu_cxx14__alloc_traitsISaISt10unique_ptrIN4cvc58internal5DTypeESt14default_deleteIS4_EEES7_E10_S_on_swapERS8_SA_
2336 ··[·29fff]··_ZN4cvc56parser15CheckSatCommandC2Ev2336 ··[·29fde]··_ZNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEC2EOS4_
2337 ··[·2a024]··_ZNSt8__detail15_Hashtable_baseIPN4cvc58internal4expr9NodeValueES5_NS_9_IdentityENS3_19NodeValueIDEqualityENS3_23NodeValueIDHashFunctionENS_18_Mod_range_hashingENS_20_Default_ranged_hashENS_17_Hashtable_traitsILb1ELb1ELb1EEEE9_S_equalsEmRKNS_21_Hash_n[·...·truncated·by·diffoscope;·len:·21,·SHA:·ef3cd9caaacc11e438767b9f2b0c42d1024ef1713ff4b865b036842497263e13·...·]2337 ··[·2a01b]··_ZN4cvc56parser15CheckSatCommandC2Ev
2338 ··[·2a135]··_ZNSt6vectorIN4cvc523DatatypeConstructorDeclESaIS1_EE6assignEmRKS1_2338 ··[·2a040]··_ZNSt8__detail15_Hashtable_baseIPN4cvc58internal4expr9NodeValueES5_NS_9_IdentityENS3_19NodeValueIDEqualityENS3_23NodeValueIDHashFunctionENS_18_Mod_range_hashingENS_20_Default_ranged_hashENS_17_Hashtable_traitsILb1ELb1ELb1EEEE9_S_equalsEmRKNS_21_Hash_[·...·truncated·by·diffoscope;·len:·22,·SHA:·06a21c367646ea149e716546833742cedfe91505e05281257e1a8aa4fe627848·...·]
2339 ··[·2a179]··_ZNSt8_Rb_treeIN4cvc58internal8TypeNodeESt4pairIKS2_NS1_11NodeManager14TupleTypeCacheEESt10_Select1stIS7_ESt4lessIS2_ESaIS7_EED4Ev2339 ··[·2a151]··_ZNSt6vectorIN4cvc523DatatypeConstructorDeclESaIS1_EE6assignEmRKS1_
2340 ··[·2a1fc]··_ZNSt12_Vector_baseIjSaIjEEC4EOS1_2340 ··[·2a195]··_ZNSt8_Rb_treeIN4cvc58internal8TypeNodeESt4pairIKS2_NS1_11NodeManager14TupleTypeCacheEESt10_Select1stIS7_ESt4lessIS2_ESaIS7_EED4Ev
2341 ··[·2a21f]··int_n_cs_precedes2341 ··[·2a218]··_ZNSt12_Vector_baseIjSaIjEEC4EOS1_
2342 ··[·2a231]··CVC5__UTILITY_H·2342 ··[·2a23b]··int_n_cs_precedes
2343 ··[·2a242]··__type_identity<std::allocator<cvc5::DatatypeSelector>·>2343 ··[·2a24d]··CVC5__UTILITY_H·
2344 ··[·2a27b]··_ZNKSt13unordered_setIPN4cvc58internal4expr9NodeValueENS2_23NodeValueIDHashFunctionENS2_19NodeValueIDEqualityESaIS4_EE6cbeginEm2344 ··[·2a25e]··__type_identity<std::allocator<cvc5::DatatypeSelector>·>
2345 ··[·2a2fb]··_ZNKSt6vectorIjSaIjEE2atEm2345 ··[·2a297]··_ZNKSt13unordered_setIPN4cvc58internal4expr9NodeValueENS2_23NodeValueIDHashFunctionENS2_19NodeValueIDEqualityESaIS4_EE6cbeginEm
2346 ··[·2a316]··_ZNSt10unique_ptrIN4cvc54Stat8StatDataESt14default_deleteIS2_EE11get_deleterEv2346 ··[·2a317]··_ZNKSt6vectorIjSaIjEE2atEm
2347 ··[·2a365]··_ZNKSt8_Rb_treeIN4cvc54TermESt4pairIKS1_S1_ESt10_Select1stIS4_ESt4lessIS1_ESaIS4_EE11equal_rangeERS3_2347 ··[·2a332]··_ZNSt10unique_ptrIN4cvc54Stat8StatDataESt14default_deleteIS2_EE11get_deleterEv
2348 ··[·2a3cb]··_ZNKSt15__new_allocatorIN4cvc55ProofEE7addressERKS1_2348 ··[·2a381]··_ZNKSt8_Rb_treeIN4cvc54TermESt4pairIKS1_S1_ESt10_Select1stIS4_ESt4lessIS1_ESaIS4_EE11equal_rangeERS3_
2349 ··[·2a400]··_ZNSt13unordered_mapIN4cvc58internal8TypeNodeES2_St4hashIS2_ESt8equal_toIS2_ESaISt4pairIKS2_S2_EEE6insertEOS9_2349 ··[·2a3e7]··_ZNKSt15__new_allocatorIN4cvc55ProofEE7addressERKS1_
2350 ··[·2a46f]··_ZNKSt13unordered_setIPN4cvc58internal4expr9NodeValueENS2_23NodeValueIDHashFunctionENS2_19NodeValueIDEqualityESaIS4_EE6cbeginEv2350 ··[·2a41c]··_ZNSt13unordered_mapIN4cvc58internal8TypeNodeES2_St4hashIS2_ESt8equal_toIS2_ESaISt4pairIKS2_S2_EEE6insertEOS9_
2351 ··[·2a4ef]··_ZNSt6vectorIN4cvc516DatatypeSelectorESaIS1_EE11_S_max_sizeERKS2_2351 ··[·2a48b]··_ZNKSt13unordered_setIPN4cvc58internal4expr9NodeValueENS2_23NodeValueIDHashFunctionENS2_19NodeValueIDEqualityESaIS4_EE6cbeginEv
2352 ··[·2a531]··_ZNSt6vectorIjSaIjEEC4EmRKS0_2352 ··[·2a50b]··_ZNSt6vectorIN4cvc516DatatypeSelectorESaIS1_EE11_S_max_sizeERKS2_
2353 ··[·2a54f]··_ZNSt11_Tuple_implILm0EJPN4cvc58internal6RandomESt14default_deleteIS2_EEE7_M_tailERKS6_2353 ··[·2a54d]··_ZNSt6vectorIjSaIjEEC4EmRKS0_
2354 ··[·2a5a7]··_ZNKSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEE4cendEv2354 ··[·2a56b]··_ZNSt11_Tuple_implILm0EJPN4cvc58internal6RandomESt14default_deleteIS2_EEE7_M_tailERKS6_
2355 ··[·2a5e5]··__SIZEOF_FLOAT__·42355 ··[·2a5c3]··_ZNKSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEE4cendEv
2356 ··[·2a5f8]··_ZNKSt13unordered_setIPN4cvc58internal4expr9NodeValueENS2_25NodeValuePoolHashFunctionENS2_15NodeValuePoolEqESaIS4_EE13get_allocatorEv2356 ··[·2a601]··__SIZEOF_FLOAT__·4
2357 ··[·2a67e]··_ZNSt10_Head_baseILm1ESt14default_deleteIN4cvc58internal7options15HolderDATATYPESEELb1EE7_M_headERS6_2357 ··[·2a614]··_ZNKSt13unordered_setIPN4cvc58internal4expr9NodeValueENS2_25NodeValuePoolHashFunctionENS2_15NodeValuePoolEqESaIS4_EE13get_allocatorEv
2358 ··[·2a6e4]··_ZNKSt10unique_ptrIN4cvc58internal7options12HolderARRAYSESt14default_deleteIS3_EEptEv2358 ··[·2a69a]··_ZNSt10_Head_baseILm1ESt14default_deleteIN4cvc58internal7options15HolderDATATYPESEELb1EE7_M_headERS6_
2359 ··[·2a73a]··fputc2359 ··[·2a700]··_ZNKSt10unique_ptrIN4cvc58internal7options12HolderARRAYSESt14default_deleteIS3_EEptEv
2360 ··[·2a740]··__glibcxx_want_erase_if2360 ··[·2a756]··fputc
2361 ··[·2a758]··_ZNSt10_Head_baseILm0EPN4cvc58internal7options9HolderSMTELb0EEC4ESt15allocator_arg_tSt13__uses_alloc02361 ··[·2a75c]··__glibcxx_want_erase_if
2362 ··[·2a7be]··_ZNSt11_Tuple_implILm1EJSt14default_deleteIN4cvc58internal7options13HolderBUILTINEEEEC4Ev2362 ··[·2a774]··_ZNSt10_Head_baseILm0EPN4cvc58internal7options9HolderSMTELb0EEC4ESt15allocator_arg_tSt13__uses_alloc0
Max diff block lines reached; 388/1748868 bytes (0.02%) of diff not shown.
17.9 MB
python3-cvc5-dbgsym_1.1.2-2_amd64.deb
367 B
file list
    
Offset 1, 3 lines modifiedOffset 1, 3 lines modified
1 -rw-r--r--···0········0········0········4·2024-03-19·00:06:23.000000·debian-binary1 -rw-r--r--···0········0········0········4·2024-03-19·00:06:23.000000·debian-binary
2 -rw-r--r--···0········0········0······540·2024-03-19·00:06:23.000000·control.tar.xz2 -rw-r--r--···0········0········0······540·2024-03-19·00:06:23.000000·control.tar.xz
3 -rw-r--r--···0········0········0··2663980·2024-03-19·00:06:23.000000·data.tar.xz3 -rw-r--r--···0········0········0··2664416·2024-03-19·00:06:23.000000·data.tar.xz
668 B
control.tar.xz
640 B
control.tar
392 B
./control
    
Offset 5, 8 lines modifiedOffset 5, 8 lines modified
5 Architecture:·amd645 Architecture:·amd64
6 Maintainer:·Debian·Science·Maintainers·<debian-science-maintainers@alioth-lists.debian.net>6 Maintainer:·Debian·Science·Maintainers·<debian-science-maintainers@alioth-lists.debian.net>
7 Installed-Size:·29277 Installed-Size:·2927
8 Depends:·python3-cvc5·(=·1.1.2-2)8 Depends:·python3-cvc5·(=·1.1.2-2)
9 Section:·debug9 Section:·debug
10 Priority:·optional10 Priority:·optional
11 Description:·debug·symbols·for·python3-cvc511 Description:·debug·symbols·for·python3-cvc5
12 Build-Ids:·21728b22c074c6bbf9461f8e95708606307510e712 Build-Ids:·924d9467010297420674df556ad342b2aa042d8e
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/21/728b22c074c6bbf9461f8e95708606307510e7.debug1 usr/lib/debug/.build-id/92/4d9467010297420674df556ad342b2aa042d8e.debug
17.8 MB
data.tar.xz
17.8 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/21/6 drwxr-xr-x···0·root·········(0)·root·········(0)········0·2024-03-19·00:06:23.000000·./usr/lib/debug/.build-id/92/
7 -rw-r--r--···0·root·········(0)·root·········(0)··2986720·2024-03-19·00:06:23.000000·./usr/lib/debug/.build-id/21/728b22c074c6bbf9461f8e95708606307510e7.debug7 -rw-r--r--···0·root·········(0)·root·········(0)··2986680·2024-03-19·00:06:23.000000·./usr/lib/debug/.build-id/92/4d9467010297420674df556ad342b2aa042d8e.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/python3-cvc5-dbgsym·->·python3-cvc510 lrwxrwxrwx···0·root·········(0)·root·········(0)········0·2024-03-19·00:06:23.000000·./usr/share/doc/python3-cvc5-dbgsym·->·python3-cvc5
17.8 MB
./usr/lib/debug/.build-id/21/728b22c074c6bbf9461f8e95708606307510e7.debug vs.
./usr/lib/debug/.build-id/92/4d9467010297420674df556ad342b2aa042d8e.debug
File has been modified after NT_GNU_BUILD_ID has been applied. Files 96% similar despite different names
887 B
readelf --wide --file-header {}
    
Offset 6, 15 lines modifiedOffset 6, 15 lines modified
6 ··OS/ABI:····························UNIX·-·System·V6 ··OS/ABI:····························UNIX·-·System·V
7 ··ABI·Version:·······················07 ··ABI·Version:·······················0
8 ··Type:······························DYN·(Shared·object·file)8 ··Type:······························DYN·(Shared·object·file)
9 ··Machine:···························Advanced·Micro·Devices·X86-649 ··Machine:···························Advanced·Micro·Devices·X86-64
10 ··Version:···························0x110 ··Version:···························0x1
11 ··Entry·point·address:···············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:··········2984288·(bytes·into·file)13 ··Start·of·section·headers:··········2984248·(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:·········917 ··Number·of·program·headers:·········9
18 ··Size·of·section·headers:···········64·(bytes)18 ··Size·of·section·headers:···········64·(bytes)
19 ··Number·of·section·headers:·········3819 ··Number·of·section·headers:·········38
20 ··Section·header·string·table·index:·3720 ··Section·header·string·table·index:·37
3.48 KB
readelf --wide --sections {}
    
Offset 1, 8 lines modifiedOffset 1, 8 lines modified
1 There·are·38·section·headers,·starting·at·offset·0x2d8960:1 There·are·38·section·headers,·starting·at·offset·0x2d8938:
  
2 Section·Headers:2 Section·Headers:
3 ··[Nr]·Name··············Type············Address··········Off····Size···ES·Flg·Lk·Inf·Al3 ··[Nr]·Name··············Type············Address··········Off····Size···ES·Flg·Lk·Inf·Al
4 ··[·0]···················NULL············0000000000000000·000000·000000·00······0···0··04 ··[·0]···················NULL············0000000000000000·000000·000000·00······0···0··0
5 ··[·1]·.note.gnu.build-id·NOTE············0000000000000238·000238·000024·00···A··0···0··45 ··[·1]·.note.gnu.build-id·NOTE············0000000000000238·000238·000024·00···A··0···0··4
6 ··[·2]·.gnu.hash·········NOBITS··········0000000000000260·00025c·000024·00···A··3···0··86 ··[·2]·.gnu.hash·········NOBITS··········0000000000000260·00025c·000024·00···A··3···0··8
7 ··[·3]·.dynsym···········NOBITS··········0000000000000288·00025c·003e10·18···A··4···1··87 ··[·3]·.dynsym···········NOBITS··········0000000000000288·00025c·003e10·18···A··4···1··8
Offset 25, 23 lines modifiedOffset 25, 23 lines modified
25 ··[20]·.data.rel.ro······NOBITS··········000000000017bce8·000cd8·003c90·00··WA··0···0··825 ··[20]·.data.rel.ro······NOBITS··········000000000017bce8·000cd8·003c90·00··WA··0···0··8
26 ··[21]·.dynamic··········NOBITS··········000000000017f978·000cd8·000230·10··WA··4···0··826 ··[21]·.dynamic··········NOBITS··········000000000017f978·000cd8·000230·10··WA··4···0··8
27 ··[22]·.got··············NOBITS··········000000000017fba8·000cd8·001458·08··WA··0···0··827 ··[22]·.got··············NOBITS··········000000000017fba8·000cd8·001458·08··WA··0···0··8
28 ··[23]·.data·············NOBITS··········0000000000181000·000cd8·008ba0·00··WA··0···0·3228 ··[23]·.data·············NOBITS··········0000000000181000·000cd8·008ba0·00··WA··0···0·32
29 ··[24]·.bss··············NOBITS··········0000000000189ba0·000cd8·005168·00··WA··0···0·3229 ··[24]·.bss··············NOBITS··········0000000000189ba0·000cd8·005168·00··WA··0···0·32
30 ··[25]·.comment··········PROGBITS········0000000000000000·00025c·00001f·01··MS··0···0··130 ··[25]·.comment··········PROGBITS········0000000000000000·00025c·00001f·01··MS··0···0··1
31 ··[26]·.debug_aranges····PROGBITS········0000000000000000·000280·00014f·00···C··0···0··831 ··[26]·.debug_aranges····PROGBITS········0000000000000000·000280·00014f·00···C··0···0··8
32 ··[27]·.debug_info·······PROGBITS········0000000000000000·0003d0·13d16f·00···C··0···0··832 ··[27]·.debug_info·······PROGBITS········0000000000000000·0003d0·13d14f·00···C··0···0··8
33 ··[28]·.debug_abbrev·····PROGBITS········0000000000000000·13d540·000b8e·00···C··0···0··833 ··[28]·.debug_abbrev·····PROGBITS········0000000000000000·13d520·000b8e·00···C··0···0··8
34 ··[29]·.debug_line·······PROGBITS········0000000000000000·13e0d0·03e211·00···C··0···0··834 ··[29]·.debug_line·······PROGBITS········0000000000000000·13e0b0·03e211·00···C··0···0··8
35 ··[30]·.debug_str········PROGBITS········0000000000000000·17c2e8·04856d·01·MSC··0···0··835 ··[30]·.debug_str········PROGBITS········0000000000000000·17c2c8·048575·01·MSC··0···0··8
36 ··[31]·.debug_line_str···PROGBITS········0000000000000000·1c4858·000877·01·MSC··0···0··836 ··[31]·.debug_line_str···PROGBITS········0000000000000000·1c4840·000877·01·MSC··0···0··8
37 ··[32]·.debug_loclists···PROGBITS········0000000000000000·1c50d0·0a0b8d·00···C··0···0··837 ··[32]·.debug_loclists···PROGBITS········0000000000000000·1c50b8·0a0b8d·00···C··0···0··8
38 ··[33]·.debug_macro······PROGBITS········0000000000000000·265c60·00c92c·00···C··0···0··838 ··[33]·.debug_macro······PROGBITS········0000000000000000·265c48·00c920·00···C··0···0··8
39 ··[34]·.debug_rnglists···PROGBITS········0000000000000000·272590·01775b·00···C··0···0··839 ··[34]·.debug_rnglists···PROGBITS········0000000000000000·272568·01775b·00···C··0···0··8
40 ··[35]·.symtab···········SYMTAB··········0000000000000000·289cf0·01a2e0·18·····36·3807··840 ··[35]·.symtab···········SYMTAB··········0000000000000000·289cc8·01a2e0·18·····36·3807··8
41 ··[36]·.strtab···········STRTAB··········0000000000000000·2a3fd0·034808·00······0···0··141 ··[36]·.strtab···········STRTAB··········0000000000000000·2a3fa8·034808·00······0···0··1
42 ··[37]·.shstrtab·········STRTAB··········0000000000000000·2d87d8·000184·00······0···0··142 ··[37]·.shstrtab·········STRTAB··········0000000000000000·2d87b0·000184·00······0···0··1
43 Key·to·Flags:43 Key·to·Flags:
44 ··W·(write),·A·(alloc),·X·(execute),·M·(merge),·S·(strings),·I·(info),44 ··W·(write),·A·(alloc),·X·(execute),·M·(merge),·S·(strings),·I·(info),
45 ··L·(link·order),·O·(extra·OS·processing·required),·G·(group),·T·(TLS),45 ··L·(link·order),·O·(extra·OS·processing·required),·G·(group),·T·(TLS),
46 ··C·(compressed),·x·(unknown),·o·(OS·specific),·E·(exclude),46 ··C·(compressed),·x·(unknown),·o·(OS·specific),·E·(exclude),
47 ··D·(mbind),·l·(large),·p·(processor·specific)47 ··D·(mbind),·l·(large),·p·(processor·specific)
430 B
readelf --wide --notes {}
    
Offset 1, 4 lines modifiedOffset 1, 4 lines modified
  
1 Displaying·notes·found·in:·.note.gnu.build-id1 Displaying·notes·found·in:·.note.gnu.build-id
2 ··Owner················Data·size·»  Description2 ··Owner················Data·size·»  Description
3 ··GNU··················0x00000014»  NT_GNU_BUILD_ID·(unique·build·ID·bitstring)»   ····Build·ID:·21728b22c074c6bbf9461f8e95708606307510e73 ··GNU··················0x00000014»  NT_GNU_BUILD_ID·(unique·build·ID·bitstring)»   ····Build·ID:·924d9467010297420674df556ad342b2aa042d8e
16.1 MB
readelf --wide --debug-dump=info {}
    
Offset 3, 64 lines modifiedOffset 3, 64 lines modified
3 ··Compilation·Unit·@·offset·0:3 ··Compilation·Unit·@·offset·0:
4 ···Length:········0x2c459c·(32-bit)4 ···Length:········0x2c459c·(32-bit)
5 ···Version:·······55 ···Version:·······5
6 ···Unit·Type:·····DW_UT_compile·(1)6 ···Unit·Type:·····DW_UT_compile·(1)
7 ···Abbrev·Offset:·07 ···Abbrev·Offset:·0
8 ···Pointer·Size:··88 ···Pointer·Size:··8
9 ·<0><c>:·Abbrev·Number:·360·(DW_TAG_compile_unit)9 ·<0><c>:·Abbrev·Number:·360·(DW_TAG_compile_unit)
10 ····<e>···DW_AT_producer····:·(strp)·(offset:·0x96631):·GNU·C++17·14.2.0·-mtune=generic·-march=x86-64·-g·-ggdb3·-O2·-O3·-std=c++17·-fstack-protector-strong·-fstack-clash-protection·-fcf-protection=full·-fno-extern-tls-init·-fPIC·-fvisibility=default·-fasynchronous-unwind-tables10 ····<e>···DW_AT_producer····:·(strp)·(offset:·0x96620):·GNU·C++17·14.2.0·-mtune=generic·-march=x86-64·-g·-ggdb3·-O2·-O3·-std=c++17·-fstack-protector-strong·-fstack-clash-protection·-fcf-protection=full·-fno-extern-tls-init·-fPIC·-fvisibility=default·-fasynchronous-unwind-tables
11 ····<12>···DW_AT_language····:·(data1)·33»   (C++14)11 ····<12>···DW_AT_language····:·(data1)·33»   (C++14)
12 ····<13>···DW_AT_name········:·(line_strp)·(offset:·0x26):·./obj-x86_64-linux-gnu/src/api/python/cvc5_python_base.cxx12 ····<13>···DW_AT_name········:·(line_strp)·(offset:·0x26):·./obj-x86_64-linux-gnu/src/api/python/cvc5_python_base.cxx
13 ····<17>···DW_AT_comp_dir····:·(line_strp)·(offset:·0):·./obj-x86_64-linux-gnu/src/api/python13 ····<17>···DW_AT_comp_dir····:·(line_strp)·(offset:·0):·./obj-x86_64-linux-gnu/src/api/python
14 ····<1b>···DW_AT_ranges······:·(sec_offset)·0x4a10e14 ····<1b>···DW_AT_ranges······:·(sec_offset)·0x4a10e
15 ····<1f>···DW_AT_low_pc······:·(addr)·015 ····<1f>···DW_AT_low_pc······:·(addr)·0
16 ····<27>···DW_AT_stmt_list···:·(sec_offset)·016 ····<27>···DW_AT_stmt_list···:·(sec_offset)·0
17 ····<2b>···DW_AT_macros······:·(sec_offset)·017 ····<2b>···DW_AT_macros······:·(sec_offset)·0
18 ·<1><2f>:·Abbrev·Number:·1·(DW_TAG_base_type)18 ·<1><2f>:·Abbrev·Number:·1·(DW_TAG_base_type)
19 ····<30>···DW_AT_byte_size···:·(data1)·819 ····<30>···DW_AT_byte_size···:·(data1)·8
20 ····<31>···DW_AT_encoding····:·(data1)·4»    (float)20 ····<31>···DW_AT_encoding····:·(data1)·4»    (float)
21 ····<32>···DW_AT_name········:·(strp)·(offset:·0x73a25):·double21 ····<32>···DW_AT_name········:·(strp)·(offset:·0x73a20):·double
22 ·<1><36>:·Abbrev·Number:·1·(DW_TAG_base_type)22 ·<1><36>:·Abbrev·Number:·1·(DW_TAG_base_type)
23 ····<37>···DW_AT_byte_size···:·(data1)·123 ····<37>···DW_AT_byte_size···:·(data1)·1
24 ····<38>···DW_AT_encoding····:·(data1)·8»    (unsigned·char)24 ····<38>···DW_AT_encoding····:·(data1)·8»    (unsigned·char)
25 ····<39>···DW_AT_name········:·(strp)·(offset:·0x80098):·unsigned·char25 ····<39>···DW_AT_name········:·(strp)·(offset:·0x800ce):·unsigned·char
26 ·<1><3d>:·Abbrev·Number:·1·(DW_TAG_base_type)26 ·<1><3d>:·Abbrev·Number:·1·(DW_TAG_base_type)
27 ····<3e>···DW_AT_byte_size···:·(data1)·227 ····<3e>···DW_AT_byte_size···:·(data1)·2
28 ····<3f>···DW_AT_encoding····:·(data1)·7»    (unsigned)28 ····<3f>···DW_AT_encoding····:·(data1)·7»    (unsigned)
29 ····<40>···DW_AT_name········:·(strp)·(offset:·0xdf11e):·short·unsigned·int29 ····<40>···DW_AT_name········:·(strp)·(offset:·0xdf138):·short·unsigned·int
30 ·<1><44>:·Abbrev·Number:·1·(DW_TAG_base_type)30 ·<1><44>:·Abbrev·Number:·1·(DW_TAG_base_type)
31 ····<45>···DW_AT_byte_size···:·(data1)·431 ····<45>···DW_AT_byte_size···:·(data1)·4
32 ····<46>···DW_AT_encoding····:·(data1)·7»    (unsigned)32 ····<46>···DW_AT_encoding····:·(data1)·7»    (unsigned)
33 ····<47>···DW_AT_name········:·(strp)·(offset:·0x14c67b):·unsigned·int33 ····<47>···DW_AT_name········:·(strp)·(offset:·0x14c67b):·unsigned·int
34 ·<1><4b>:·Abbrev·Number:·21·(DW_TAG_const_type)34 ·<1><4b>:·Abbrev·Number:·21·(DW_TAG_const_type)
35 ····<4c>···DW_AT_type········:·(ref_udata)·<0x44>,·unsigned·int35 ····<4c>···DW_AT_type········:·(ref_udata)·<0x44>,·unsigned·int
36 ·<1><4d>:·Abbrev·Number:·1·(DW_TAG_base_type)36 ·<1><4d>:·Abbrev·Number:·1·(DW_TAG_base_type)
37 ····<4e>···DW_AT_byte_size···:·(data1)·837 ····<4e>···DW_AT_byte_size···:·(data1)·8
38 ····<4f>···DW_AT_encoding····:·(data1)·7»    (unsigned)38 ····<4f>···DW_AT_encoding····:·(data1)·7»    (unsigned)
39 ····<50>···DW_AT_name········:·(strp)·(offset:·0x4e328):·long·unsigned·int39 ····<50>···DW_AT_name········:·(strp)·(offset:·0x4e323):·long·unsigned·int
40 ·<1><54>:·Abbrev·Number:·21·(DW_TAG_const_type)40 ·<1><54>:·Abbrev·Number:·21·(DW_TAG_const_type)
41 ····<55>···DW_AT_type········:·(ref_udata)·<0x4d>,·long·unsigned·int41 ····<55>···DW_AT_type········:·(ref_udata)·<0x4d>,·long·unsigned·int
42 ·<1><56>:·Abbrev·Number:·61·(DW_TAG_typedef)42 ·<1><56>:·Abbrev·Number:·61·(DW_TAG_typedef)
43 ····<57>···DW_AT_name········:·(strp)·(offset:·0xbc776):·__int8_t43 ····<57>···DW_AT_name········:·(strp)·(offset:·0xbc765):·__int8_t
44 ····<5b>···DW_AT_decl_file···:·(data1)·5244 ····<5b>···DW_AT_decl_file···:·(data1)·52
45 ····<5c>···DW_AT_decl_line···:·(data1)·3745 ····<5c>···DW_AT_decl_line···:·(data1)·37
46 ····<5d>···DW_AT_decl_column·:·(data1)·2146 ····<5d>···DW_AT_decl_column·:·(data1)·21
47 ····<5e>···DW_AT_type········:·(ref_udata)·<0x5f>,·signed·char47 ····<5e>···DW_AT_type········:·(ref_udata)·<0x5f>,·signed·char
48 ·<1><5f>:·Abbrev·Number:·1·(DW_TAG_base_type)48 ·<1><5f>:·Abbrev·Number:·1·(DW_TAG_base_type)
49 ····<60>···DW_AT_byte_size···:·(data1)·149 ····<60>···DW_AT_byte_size···:·(data1)·1
50 ····<61>···DW_AT_encoding····:·(data1)·6»    (signed·char)50 ····<61>···DW_AT_encoding····:·(data1)·6»    (signed·char)
51 ····<62>···DW_AT_name········:·(strp)·(offset:·0xddd0b):·signed·char51 ····<62>···DW_AT_name········:·(strp)·(offset:·0xddd25):·signed·char
52 ·<1><66>:·Abbrev·Number:·61·(DW_TAG_typedef)52 ·<1><66>:·Abbrev·Number:·61·(DW_TAG_typedef)
53 ····<67>···DW_AT_name········:·(strp)·(offset:·0xb49e3):·__uint8_t53 ····<67>···DW_AT_name········:·(strp)·(offset:·0xb49d2):·__uint8_t
54 ····<6b>···DW_AT_decl_file···:·(data1)·5254 ····<6b>···DW_AT_decl_file···:·(data1)·52
55 ····<6c>···DW_AT_decl_line···:·(data1)·3855 ····<6c>···DW_AT_decl_line···:·(data1)·38
56 ····<6d>···DW_AT_decl_column·:·(data1)·2356 ····<6d>···DW_AT_decl_column·:·(data1)·23
57 ····<6e>···DW_AT_type········:·(ref_udata)·<0x36>,·unsigned·char57 ····<6e>···DW_AT_type········:·(ref_udata)·<0x36>,·unsigned·char
58 ·<1><6f>:·Abbrev·Number:·61·(DW_TAG_typedef)58 ·<1><6f>:·Abbrev·Number:·61·(DW_TAG_typedef)
59 ····<70>···DW_AT_name········:·(strp)·(offset:·0xc02d1):·__int16_t59 ····<70>···DW_AT_name········:·(strp)·(offset:·0xc02c0):·__int16_t
60 ····<74>···DW_AT_decl_file···:·(data1)·5260 ····<74>···DW_AT_decl_file···:·(data1)·52
61 ····<75>···DW_AT_decl_line···:·(data1)·3961 ····<75>···DW_AT_decl_line···:·(data1)·39
62 ····<76>···DW_AT_decl_column·:·(data1)·2662 ····<76>···DW_AT_decl_column·:·(data1)·26
63 ····<77>···DW_AT_type········:·(ref_udata)·<0x78>,·short·int63 ····<77>···DW_AT_type········:·(ref_udata)·<0x78>,·short·int
64 ·<1><78>:·Abbrev·Number:·1·(DW_TAG_base_type)64 ·<1><78>:·Abbrev·Number:·1·(DW_TAG_base_type)
65 ····<79>···DW_AT_byte_size···:·(data1)·265 ····<79>···DW_AT_byte_size···:·(data1)·2
66 ····<7a>···DW_AT_encoding····:·(data1)·5»    (signed)66 ····<7a>···DW_AT_encoding····:·(data1)·5»    (signed)
Offset 68, 15 lines modifiedOffset 68, 15 lines modified
68 ·<1><7f>:·Abbrev·Number:·61·(DW_TAG_typedef)68 ·<1><7f>:·Abbrev·Number:·61·(DW_TAG_typedef)
69 ····<80>···DW_AT_name········:·(strp)·(offset:·0x53e7):·__uint16_t69 ····<80>···DW_AT_name········:·(strp)·(offset:·0x53e7):·__uint16_t
70 ····<84>···DW_AT_decl_file···:·(data1)·5270 ····<84>···DW_AT_decl_file···:·(data1)·52
71 ····<85>···DW_AT_decl_line···:·(data1)·4071 ····<85>···DW_AT_decl_line···:·(data1)·40
72 ····<86>···DW_AT_decl_column·:·(data1)·2872 ····<86>···DW_AT_decl_column·:·(data1)·28
73 ····<87>···DW_AT_type········:·(ref_udata)·<0x3d>,·short·unsigned·int73 ····<87>···DW_AT_type········:·(ref_udata)·<0x3d>,·short·unsigned·int
74 ·<1><88>:·Abbrev·Number:·61·(DW_TAG_typedef)74 ·<1><88>:·Abbrev·Number:·61·(DW_TAG_typedef)
75 ····<89>···DW_AT_name········:·(strp)·(offset:·0xa0ff4):·__int32_t75 ····<89>···DW_AT_name········:·(strp)·(offset:·0xa0fe3):·__int32_t
76 ····<8d>···DW_AT_decl_file···:·(data1)·5276 ····<8d>···DW_AT_decl_file···:·(data1)·52
77 ····<8e>···DW_AT_decl_line···:·(data1)·4177 ····<8e>···DW_AT_decl_line···:·(data1)·41
78 ····<8f>···DW_AT_decl_column·:·(data1)·2078 ····<8f>···DW_AT_decl_column·:·(data1)·20
79 ····<90>···DW_AT_type········:·(ref_udata)·<0x95>,·int79 ····<90>···DW_AT_type········:·(ref_udata)·<0x95>,·int
80 ·<1><92>:·Abbrev·Number:·21·(DW_TAG_const_type)80 ·<1><92>:·Abbrev·Number:·21·(DW_TAG_const_type)
81 ····<93>···DW_AT_type········:·(ref_udata)·<0x88>,·__int32_t,·int81 ····<93>···DW_AT_type········:·(ref_udata)·<0x88>,·__int32_t,·int
82 ·<1><95>:·Abbrev·Number:·377·(DW_TAG_base_type)82 ·<1><95>:·Abbrev·Number:·377·(DW_TAG_base_type)
Offset 88, 15 lines modifiedOffset 88, 15 lines modified
88 ·<1><a0>:·Abbrev·Number:·61·(DW_TAG_typedef)88 ·<1><a0>:·Abbrev·Number:·61·(DW_TAG_typedef)
89 ····<a1>···DW_AT_name········:·(strp)·(offset:·0x13431f):·__uint32_t89 ····<a1>···DW_AT_name········:·(strp)·(offset:·0x13431f):·__uint32_t
90 ····<a5>···DW_AT_decl_file···:·(data1)·5290 ····<a5>···DW_AT_decl_file···:·(data1)·52
91 ····<a6>···DW_AT_decl_line···:·(data1)·4291 ····<a6>···DW_AT_decl_line···:·(data1)·42
92 ····<a7>···DW_AT_decl_column·:·(data1)·2292 ····<a7>···DW_AT_decl_column·:·(data1)·22
93 ····<a8>···DW_AT_type········:·(ref_udata)·<0x44>,·unsigned·int93 ····<a8>···DW_AT_type········:·(ref_udata)·<0x44>,·unsigned·int
94 ·<1><a9>:·Abbrev·Number:·61·(DW_TAG_typedef)94 ·<1><a9>:·Abbrev·Number:·61·(DW_TAG_typedef)
95 ····<aa>···DW_AT_name········:·(strp)·(offset:·0x822d5):·__int64_t95 ····<aa>···DW_AT_name········:·(strp)·(offset:·0x8230b):·__int64_t
96 ····<ae>···DW_AT_decl_file···:·(data1)·5296 ····<ae>···DW_AT_decl_file···:·(data1)·52
97 ····<af>···DW_AT_decl_line···:·(data1)·4497 ····<af>···DW_AT_decl_line···:·(data1)·44
98 ····<b0>···DW_AT_decl_column·:·(data1)·2598 ····<b0>···DW_AT_decl_column·:·(data1)·25
99 ····<b1>···DW_AT_type········:·(ref_udata)·<0xb3>,·long·int99 ····<b1>···DW_AT_type········:·(ref_udata)·<0xb3>,·long·int
100 ·<1><b3>:·Abbrev·Number:·1·(DW_TAG_base_type)100 ·<1><b3>:·Abbrev·Number:·1·(DW_TAG_base_type)
101 ····<b4>···DW_AT_byte_size···:·(data1)·8101 ····<b4>···DW_AT_byte_size···:·(data1)·8
102 ····<b5>···DW_AT_encoding····:·(data1)·5»    (signed)102 ····<b5>···DW_AT_encoding····:·(data1)·5»    (signed)
Offset 112, 75 lines modifiedOffset 112, 75 lines modified
112 ·<1><c6>:·Abbrev·Number:·61·(DW_TAG_typedef)112 ·<1><c6>:·Abbrev·Number:·61·(DW_TAG_typedef)
113 ····<c7>···DW_AT_name········:·(strp)·(offset:·0xe9abb):·__int_least8_t113 ····<c7>···DW_AT_name········:·(strp)·(offset:·0xe9abb):·__int_least8_t
114 ····<cb>···DW_AT_decl_file···:·(data1)·52114 ····<cb>···DW_AT_decl_file···:·(data1)·52
115 ····<cc>···DW_AT_decl_line···:·(data1)·52115 ····<cc>···DW_AT_decl_line···:·(data1)·52
116 ····<cd>···DW_AT_decl_column·:·(data1)·18116 ····<cd>···DW_AT_decl_column·:·(data1)·18
117 ····<ce>···DW_AT_type········:·(ref_udata)·<0x56>,·__int8_t,·signed·char117 ····<ce>···DW_AT_type········:·(ref_udata)·<0x56>,·__int8_t,·signed·char
118 ·<1><cf>:·Abbrev·Number:·61·(DW_TAG_typedef)118 ·<1><cf>:·Abbrev·Number:·61·(DW_TAG_typedef)
119 ····<d0>···DW_AT_name········:·(strp)·(offset:·0x2f9ad):·__uint_least8_t119 ····<d0>···DW_AT_name········:·(strp)·(offset:·0x2f9c9):·__uint_least8_t
120 ····<d4>···DW_AT_decl_file···:·(data1)·52120 ····<d4>···DW_AT_decl_file···:·(data1)·52
121 ····<d5>···DW_AT_decl_line···:·(data1)·53121 ····<d5>···DW_AT_decl_line···:·(data1)·53
122 ····<d6>···DW_AT_decl_column·:·(data1)·19122 ····<d6>···DW_AT_decl_column·:·(data1)·19
123 ····<d7>···DW_AT_type········:·(ref_udata)·<0x66>,·__uint8_t,·unsigned·char123 ····<d7>···DW_AT_type········:·(ref_udata)·<0x66>,·__uint8_t,·unsigned·char
124 ·<1><d8>:·Abbrev·Number:·61·(DW_TAG_typedef)124 ·<1><d8>:·Abbrev·Number:·61·(DW_TAG_typedef)
125 ····<d9>···DW_AT_name········:·(strp)·(offset:·0x1368ba):·__int_least16_t125 ····<d9>···DW_AT_name········:·(strp)·(offset:·0x1368ba):·__int_least16_t
126 ····<dd>···DW_AT_decl_file···:·(data1)·52126 ····<dd>···DW_AT_decl_file···:·(data1)·52
127 ····<de>···DW_AT_decl_line···:·(data1)·54127 ····<de>···DW_AT_decl_line···:·(data1)·54
128 ····<df>···DW_AT_decl_column·:·(data1)·19128 ····<df>···DW_AT_decl_column·:·(data1)·19
129 ····<e0>···DW_AT_type········:·(ref_udata)·<0x6f>,·__int16_t,·short·int129 ····<e0>···DW_AT_type········:·(ref_udata)·<0x6f>,·__int16_t,·short·int
130 ·<1><e1>:·Abbrev·Number:·61·(DW_TAG_typedef)130 ·<1><e1>:·Abbrev·Number:·61·(DW_TAG_typedef)
131 ····<e2>···DW_AT_name········:·(strp)·(offset:·0xb475e):·__uint_least16_t131 ····<e2>···DW_AT_name········:·(strp)·(offset:·0xb474d):·__uint_least16_t
132 ····<e6>···DW_AT_decl_file···:·(data1)·52132 ····<e6>···DW_AT_decl_file···:·(data1)·52
133 ····<e7>···DW_AT_decl_line···:·(data1)·55133 ····<e7>···DW_AT_decl_line···:·(data1)·55
134 ····<e8>···DW_AT_decl_column·:·(data1)·20134 ····<e8>···DW_AT_decl_column·:·(data1)·20
135 ····<e9>···DW_AT_type········:·(ref_udata)·<0x7f>,·__uint16_t,·short·unsigned·int135 ····<e9>···DW_AT_type········:·(ref_udata)·<0x7f>,·__uint16_t,·short·unsigned·int
136 ·<1><ea>:·Abbrev·Number:·61·(DW_TAG_typedef)136 ·<1><ea>:·Abbrev·Number:·61·(DW_TAG_typedef)
137 ····<eb>···DW_AT_name········:·(strp)·(offset:·0x115acd):·__int_least32_t137 ····<eb>···DW_AT_name········:·(strp)·(offset:·0x115acd):·__int_least32_t
138 ····<ef>···DW_AT_decl_file···:·(data1)·52138 ····<ef>···DW_AT_decl_file···:·(data1)·52
139 ····<f0>···DW_AT_decl_line···:·(data1)·56139 ····<f0>···DW_AT_decl_line···:·(data1)·56
140 ····<f1>···DW_AT_decl_column·:·(data1)·19140 ····<f1>···DW_AT_decl_column·:·(data1)·19
141 ····<f2>···DW_AT_type········:·(ref_udata)·<0x88>,·__int32_t,·int141 ····<f2>···DW_AT_type········:·(ref_udata)·<0x88>,·__int32_t,·int
Max diff block lines reached; 16847551/16855493 bytes (99.95%) of diff not shown.
1.04 KB
readelf --wide --debug-dump=macro {}
    
Offset 5044, 16 lines modifiedOffset 5044, 16 lines modified
5044 ·DW_MACRO_define_strp·-·lineno·:·0·macro·:·__DECIMAL_BID_FORMAT__·15044 ·DW_MACRO_define_strp·-·lineno·:·0·macro·:·__DECIMAL_BID_FORMAT__·1
5045 ·DW_MACRO_define_strp·-·lineno·:·0·macro·:·_GNU_SOURCE·15045 ·DW_MACRO_define_strp·-·lineno·:·0·macro·:·_GNU_SOURCE·1
5046 ·DW_MACRO_define_strp·-·lineno·:·0·macro·:·CVC5_STATISTICS_ON·15046 ·DW_MACRO_define_strp·-·lineno·:·0·macro·:·CVC5_STATISTICS_ON·1
5047 ·DW_MACRO_define_strp·-·lineno·:·0·macro·:·CVC5_USE_CRYPTOMINISAT·15047 ·DW_MACRO_define_strp·-·lineno·:·0·macro·:·CVC5_USE_CRYPTOMINISAT·1
5048 ·DW_MACRO_define_strp·-·lineno·:·0·macro·:·NDEBUG·15048 ·DW_MACRO_define_strp·-·lineno·:·0·macro·:·NDEBUG·1
5049 ·DW_MACRO_define_strp·-·lineno·:·0·macro·:·cvc5_python_base_EXPORTS·15049 ·DW_MACRO_define_strp·-·lineno·:·0·macro·:·cvc5_python_base_EXPORTS·1
5050 ·DW_MACRO_define_strp·-·lineno·:·0·macro·:·_FORTIFY_SOURCE·25050 ·DW_MACRO_define_strp·-·lineno·:·0·macro·:·_FORTIFY_SOURCE·2
5051 ·DW_MACRO_define_strp·-·lineno·:·0·macro·:·DEB_BUILD_DATE·"2024-03-18"5051 ·DW_MACRO_define_strp·-·lineno·:·0·macro·:·DEB_BUILD_DATE·"2024-03-19"
5052 ·DW_MACRO_define_strp·-·lineno·:·0·macro·:·DEB_BUILD_TIME·"12:06:23"5052 ·DW_MACRO_define_strp·-·lineno·:·0·macro·:·DEB_BUILD_TIME·"14:06:23"
  
5053 ··Offset:······················0x704d5053 ··Offset:······················0x704d
5054 ··Version:·····················55054 ··Version:·····················5
5055 ··Offset·size:·················45055 ··Offset·size:·················4
  
5056 ·DW_MACRO_define_strp·-·lineno·:·19·macro·:·_STDC_PREDEF_H·15056 ·DW_MACRO_define_strp·-·lineno·:·19·macro·:·_STDC_PREDEF_H·1
5057 ·DW_MACRO_define_strp·-·lineno·:·38·macro·:·__STDC_IEC_559__·15057 ·DW_MACRO_define_strp·-·lineno·:·38·macro·:·__STDC_IEC_559__·1
7.95 KB
strings --all --bytes=8 {}
    
Offset 1, 286 lines modifiedOffset 1, 302 lines modified
1 GCC:·(Debian·14.2.0-19)·14.2.01 GCC:·(Debian·14.2.0-19)·14.2.0
2 }|]!(8SU 
3 z5L^#pvHr 
4 mD·7K,^J2 T#vb3[MdM
 3 O9lGg5m{#3}
 4 »       L|"tt'KN2
5 Th5·JI2;5 Th5·JI2'p
 6 !KJ2Yz0\>,
 7 'ilm#e2h
 8 ·}7j^#)i
 9 U%<~:fdr
 10 @QQQPQQQ@
 11 V2"KnVY4:
 12 z_D(w»  -[B
 13 G&|»    {J&sy
 14 4\N/_#be
 15 uajSUtFj
 16 i{XJ]KuV
 17 )Cy/`S}c7
 18 .·,q6Y4[
 19 sYUCF7O$
 20 f=1V?MXL
 21 iM`LT_3Tm
 22 8SD6^kg31n
 23 8+cc·%#f|
 24 ,[Z[Oei{
 25 gx"nE)YS
 26 v5O@3»  ify.
 27 gb*{1"n!M
 28 5,A")jKF*
 29 %L\=akv+
 30 E3Y4=dh*M
 31 `'JwEs*K
 32 ='?w<x/k
 33 *38^~!xf0{{
 34 A~5hkOe6
 35 `[G"S~]p
 36 7IOL4ESM
 37 laQ;F.d#
 38 _X+sKB73
 39 %1QD^7_+G.
 40 z:»     <ZcIF
 41 cJfU-RYh
 42 8woQaUR`A
 43 QZ.W*i@R4
 44 8B?|Cba5
 45 x`Yts}T4
 46 @5HJuE2x
 47 *{LC9}yr
 48 $x5$»   U8.Cpd]p
 49 MW,·@]&\
 50 Z5<@]&`p
 51 !D^d$ASt
 52 4·1}4·1C
6 4uR.2:HT 
7 s|O»    I1q.c$ 
8 ,a%M^)GA 
9 8k\3QPB, 
10 »       ,|!F/40 
11 ?'zCH{*{ 
12 9FnbK7I? 
13 {Bx1[T,! 
14 A9Q7R·/»  
15 jVo7Q%:G 
16 :E>n:]:]% 
17 DUSNr^GrTu 
18 `V$OUu·x 
19 xI.+?w)-] 
20 ?;=pV6[NF7 
21 ]fpB\VdG 
22 Tj:@dE.$ 
23 PnO8v*qh 
24 eE»     ·:o}(R 
25 $_·zD$Y{C 
26 T6qR?JlVj 
27 VDoJceg8 
28 CJrQI&!zB$O 
29 <a!iZ;Uk 
30 fpd]#?oL_ 
31 z-38F~!X< 
32 N~-8r3[v 
33 \'TRbX,#. 
34 elKx'm;Di 
35 8{3*DQ8'@ 
36 {Y!]E'y4 
37 ,pXE;9z0 
38 }k-<rx?, 
39 L4-LVsD=u 
40 M3_-Fd)3_ 
41 1"»     C#JlwQ 
42 iA'UykA?| 
43 Gg.VT»  :sq 
44 +rH6/<Kt 
45 Xr+w=oA6n 
46 ·KSe2k<. 
47 -Ob8N)0F 
48 JRN:2O:D@ 
49 OV*O,C,? 
50 R{t5^UcS 
51 =OAq\»  dm& 
52 ,O4orvk;{" 
53 N!(rX?» ?F 
54 d41meL'I 
55 p8UUB{h~F 
56 !0Z*}EC{ 
57 BhnauEC{ 
58 pz6P,S>` 
59 =kT]$@9~: 
60 .+c^Z%DY 
61 ./SMP]]e 
62 r;ppgIw}zJ 
63 |4*@<ITi 
64 v8}lN;YQ 
65 nb=!Y_!V53 jb=!Y_!V
66 Y`&e,0gGtV9Z 
67 uvE\r_u$ 
68 8;{I.gDCU 
69 8[7PqiW) 
70 G5Ve=cjvOW54 1b=)Y_%V
 55 Bb=.Y_&VV
 56 c=+Y_'V[%
 57 1grEJrEwK
 58 $7f'wFIN
 59 l87Mro=/
 60 Zgr_{E&'
 61 wn8G$wZM.
 62 U%k\9^Tr
Max diff block lines reached; 5309/8091 bytes (65.62%) of diff not shown.
1.76 MB
readelf --wide --decompress --string-dump=.debug_str {}
    
Offset 2788, 12523 lines modifiedOffset 2788, 12523 lines modified
2788 ··[·28ec4]··__DECL_SIMD_exp10f32x·2788 ··[·28ec4]··__DECL_SIMD_exp10f32x·
2789 ··[·28edb]··_ZSt20__throw_length_errorPKc2789 ··[·28edb]··_ZSt20__throw_length_errorPKc
2790 ··[·28ef9]··_ZNSt3mapIN4cvc54TermENSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEESt4lessIS1_ESaISt4pairIKS1_S7_EEE7extractERSB_2790 ··[·28ef9]··_ZNSt3mapIN4cvc54TermENSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEESt4lessIS1_ESaISt4pairIKS1_S7_EEE7extractERSB_
2791 ··[·28f72]··remove_extent<cvc5::internal::DTypeSelector>2791 ··[·28f72]··remove_extent<cvc5::internal::DTypeSelector>
2792 ··[·28f9f]··__pyx_kp_u_verbatim_embed_rst_leading_aste_135·__pyx_mstate_global->__pyx_kp_u_verbatim_embed_rst_leading_aste_1352792 ··[·28f9f]··__pyx_kp_u_verbatim_embed_rst_leading_aste_135·__pyx_mstate_global->__pyx_kp_u_verbatim_embed_rst_leading_aste_135
2793 ··[·29012]··allow_none2793 ··[·29012]··allow_none
Diff chunk too large, falling back to line-by-line diff (12509 lines added, 12509 lines removed)
2794 ··[·2901d]··_SYS_SINGLE_THREADED_H·2794 ··[·2901d]··_SYS_SINGLE_THREADED_H·
2795 ··[·29035]··_GLIBCXX_TSAN_MUTEX_POST_UNLOCK(X)·2795 ··[·29035]··DEB_BUILD_DATE·"2024-03-19"
2796 ··[·29059]··__pyx_tuple__169·__pyx_mstate_global->__pyx_tuple__1692796 ··[·29051]··_GLIBCXX_TSAN_MUTEX_POST_UNLOCK(X)·
2797 ··[·29090]··_ZNSt8_Rb_treeINSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEESt4pairIKS5_N4cvc54StatEESt10_Select1stISA_ESt4lessIS5_ESaISA_EEC4ERKSG_RKSF_2797 ··[·29075]··__pyx_tuple__169·__pyx_mstate_global->__pyx_tuple__169
2798 ··[·29121]··_ZNSt12__shared_ptrIN4cvc58internal6ResultELN9__gnu_cxx12_Lock_policyE2EEaSERKS5_2798 ··[·290ac]··_ZNSt8_Rb_treeINSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEESt4pairIKS5_N4cvc54StatEESt10_Select1stISA_ESt4lessIS5_ESaISA_EEC4ERKSG_RKSF_
2799 ··[·29173]··__Pyx_PyLong_CompactValueUnsigned(x)·(__Pyx_PyLong_Digits(x)[0])2799 ··[·2913d]··_ZNSt12__shared_ptrIN4cvc58internal6ResultELN9__gnu_cxx12_Lock_policyE2EEaSERKS5_
2800 ··[·291b4]··__pyx_pw_16cvc5_python_base_6Solver_77mkBoolean2800 ··[·2918f]··__Pyx_PyLong_CompactValueUnsigned(x)·(__Pyx_PyLong_Digits(x)[0])
2801 ··[·291e4]··_ZN9__gnu_cxx14__alloc_traitsISaIcEcE27_S_propagate_on_copy_assignEv2801 ··[·291d0]··__pyx_pw_16cvc5_python_base_6Solver_77mkBoolean
2802 ··[·29229]··HAVE_UNAME·12802 ··[·29200]··_ZN9__gnu_cxx14__alloc_traitsISaIcEcE27_S_propagate_on_copy_assignEv
2803 ··[·29236]··_ZNSt16allocator_traitsISaIjEE9constructIjJjEEEvRS0_PT_DpOT0_2803 ··[·29245]··HAVE_UNAME·1
2804 ··[·29274]··__ONCE_ALIGNMENT·2804 ··[·29252]··_ZNSt16allocator_traitsISaIjEE9constructIjJjEEEvRS0_PT_DpOT0_
2805 ··[·29286]··__pyx_k_asyncio_coroutines2805 ··[·29290]··__ONCE_ALIGNMENT·
2806 ··[·292a1]··__pyx_n_s_Sort_isRoundingMode·__pyx_mstate_global->__pyx_n_s_Sort_isRoundingMode2806 ··[·292a2]··__pyx_k_asyncio_coroutines
2807 ··[·292f2]··_SC_V6_LP64_OFF64·_SC_V6_LP64_OFF642807 ··[·292bd]··__pyx_n_s_Sort_isRoundingMode·__pyx_mstate_global->__pyx_n_s_Sort_isRoundingMode
2808 ··[·29316]··PyODict_CheckExact(op)·Py_IS_TYPE((op),·&PyODict_Type)2808 ··[·2930e]··_SC_V6_LP64_OFF64·_SC_V6_LP64_OFF64
2809 ··[·2934d]··_ZNSt10unique_ptrIN4cvc56parser13SymbolManagerESt14default_deleteIS2_EE11get_deleterEv2809 ··[·29332]··PyODict_CheckExact(op)·Py_IS_TYPE((op),·&PyODict_Type)
2810 ··[·293a4]··__pyx_codeobj__220·__pyx_mstate_global->__pyx_codeobj__2202810 ··[·29369]··_ZNSt10unique_ptrIN4cvc56parser13SymbolManagerESt14default_deleteIS2_EE11get_deleterEv
2811 ··[·293df]··__construct_n<1,·std::__detail::__variant::_Variadic_union<false,·cvc5::OptionInfo::NumberInfo<long·int>,·cvc5::OptionInfo::NumberInfo<long·unsigned·int>,·cvc5::OptionInfo::NumberInfo<double>,·cvc5::OptionInfo::ModeInfo>·>2811 ··[·293c0]··__pyx_codeobj__220·__pyx_mstate_global->__pyx_codeobj__220
2812 ··[·294be]··__pyx_k_DatatypeDecl_getNumConstructors2812 ··[·293fb]··__construct_n<1,·std::__detail::__variant::_Variadic_union<false,·cvc5::OptionInfo::NumberInfo<long·int>,·cvc5::OptionInfo::NumberInfo<long·unsigned·int>,·cvc5::OptionInfo::NumberInfo<double>,·cvc5::OptionInfo::ModeInfo>·>
2813 ··[·294e6]··_ZNSt12__shared_ptrIN4cvc58internal9ProofNodeELN9__gnu_cxx12_Lock_policyE2EEC4ERKSt10__weak_ptrIS2_LS4_2EESt9nothrow_t2813 ··[·294da]··__pyx_k_DatatypeDecl_getNumConstructors
2814 ··[·2955d]··_ZNKSt8_Rb_treeINSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEESt4pairIKS5_N4cvc54StatEESt10_Select1stISA_ESt4lessIS5_ESaISA_EE4findERS7_2814 ··[·29502]··_ZNSt12__shared_ptrIN4cvc58internal9ProofNodeELN9__gnu_cxx12_Lock_policyE2EEC4ERKSt10__weak_ptrIS2_LS4_2EESt9nothrow_t
2815 ··[·295ec]··UINT_WIDTH·__INT_WIDTH__2815 ··[·29579]··_ZNKSt8_Rb_treeINSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEESt4pairIKS5_N4cvc54StatEESt10_Select1stISA_ESt4lessIS5_ESaISA_EE4findERS7_
2816 ··[·29605]··__DECL_SIMD_logl·2816 ··[·29608]··UINT_WIDTH·__INT_WIDTH__
2817 ··[·29617]··__pyx_k_collections2817 ··[·29621]··__DECL_SIMD_logl·
2818 ··[·2962b]··__pyx_k_enum2818 ··[·29633]··__pyx_k_collections
2819 ··[·29638]··_ZNKSt16initializer_listIjE3endEv2819 ··[·29647]··__pyx_k_enum
2820 ··[·2965a]··_ZNKSt8_Rb_treeIN4cvc54TermESt4pairIKS1_S1_ESt10_Select1stIS4_ESt4lessIS1_ESaIS4_EE8_M_beginEv2820 ··[·29654]··_ZNKSt16initializer_listIjE3endEv
2821 ··[·296b9]··__pyx_n_s_POW·__pyx_mstate_global->__pyx_n_s_POW2821 ··[·29676]··_ZNKSt8_Rb_treeIN4cvc54TermESt4pairIKS1_S1_ESt10_Select1stIS4_ESt4lessIS1_ESaIS4_EE8_M_beginEv
2822 ··[·296ea]··_SC_2_VERSION·_SC_2_VERSION2822 ··[·296d5]··__pyx_n_s_POW·__pyx_mstate_global->__pyx_n_s_POW
2823 ··[·29706]··__pyx_k_FINITE_FIELD_NEG2823 ··[·29706]··_SC_2_VERSION·_SC_2_VERSION
2824 ··[·2971f]··__glibcxx_make_unique·201304L2824 ··[·29722]··__pyx_k_FINITE_FIELD_NEG
2825 ··[·2973d]··__pyx_pw_16cvc5_python_base_4Sort_43isFloatingPoint2825 ··[·2973b]··__glibcxx_make_unique·201304L
2826 ··[·29771]··_ZNKSt8_Rb_treeINSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEESt4pairIKS5_mESt10_Select1stIS8_ESt4lessIS5_ESaIS8_EE6rbeginEv2826 ··[·29759]··__pyx_pw_16cvc5_python_base_4Sort_43isFloatingPoint
2827 ··[·297f4]··HAVE_SYS_SYSMACROS_H·12827 ··[·2978d]··_ZNKSt8_Rb_treeINSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEESt4pairIKS5_mESt10_Select1stIS8_ESt4lessIS5_ESaIS8_EE6rbeginEv
2828 ··[·2980b]··__pyx_codeobj__402·__pyx_mstate_global->__pyx_codeobj__4022828 ··[·29810]··HAVE_SYS_SYSMACROS_H·1
2829 ··[·29846]··_ZN9__gnu_cxx14__alloc_traitsISaIwEwE15_S_always_equalEv2829 ··[·29827]··__pyx_codeobj__402·__pyx_mstate_global->__pyx_codeobj__402
2830 ··[·2987f]··_ZNSt10_Head_baseILm2EN4cvc54TermELb0EED4Ev2830 ··[·29862]··_ZN9__gnu_cxx14__alloc_traitsISaIwEwE15_S_always_equalEv
2831 ··[·298ab]··_ZNSt10_Head_baseILm0EPN4cvc513APIStatisticsELb0EEC4Ev2831 ··[·2989b]··_ZNSt10_Head_baseILm2EN4cvc54TermELb0EED4Ev
2832 ··[·298e2]··PyCMethod_New2832 ··[·298c7]··_ZNSt10_Head_baseILm0EPN4cvc513APIStatisticsELb0EEC4Ev
2833 ··[·298f0]··_ZNKSt6vectorIN4cvc55ProofESaIS1_EE5beginEv2833 ··[·298fe]··PyCMethod_New
2834 ··[·2991c]··_ZNSt14_Optional_baseINSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEELb0ELb0EED2Ev2834 ··[·2990c]··_ZNKSt6vectorIN4cvc55ProofESaIS1_EE5beginEv
2835 ··[·29974]··__pyx_k_UNKNOWN_REASON2835 ··[·29938]··_ZNSt14_Optional_baseINSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEELb0ELb0EED2Ev
2836 ··[·2998b]··_ZNSt8_Rb_treeIN4cvc54TermES1_St9_IdentityIS1_ESt4lessIS1_ESaIS1_EE13_Rb_tree_implIS5_Lb1EED2Ev2836 ··[·29990]··__pyx_k_UNKNOWN_REASON
2837 ··[·299eb]··Py_ASNATIVEBYTES_ALLOW_INDEX·162837 ··[·299a7]··_ZNSt8_Rb_treeIN4cvc54TermES1_St9_IdentityIS1_ESt4lessIS1_ESaIS1_EE13_Rb_tree_implIS5_Lb1EED2Ev
2838 ··[·29a0b]··_ZNSt17_Rb_tree_iteratorISt4pairIKN4cvc54TermES2_EEC4EPSt18_Rb_tree_node_base2838 ··[·29a07]··Py_ASNATIVEBYTES_ALLOW_INDEX·16
2839 ··[·29a59]··destroy<std::pair<const·cvc5::Term,·cvc5::Term>·>2839 ··[·29a27]··_ZNSt17_Rb_tree_iteratorISt4pairIKN4cvc54TermES2_EEC4EPSt18_Rb_tree_node_base
2840 ··[·29a8b]··Py_CPYTHON_WEAKREFOBJECT_H2840 ··[·29a75]··destroy<std::pair<const·cvc5::Term,·cvc5::Term>·>
2841 ··[·29aa6]··_ZN9__gnu_cxx14__alloc_traitsISaISt4pairIKN4cvc54TermENSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEEEESB_E10_S_on_swapERSC_SE_2841 ··[·29aa7]··Py_CPYTHON_WEAKREFOBJECT_H
2842 ··[·29b2b]··_ZNSt22_Optional_payload_baseINSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEEE8_StorageIS5_Lb0EEC4IJRS5_EEESt10in_place_tDpOT_2842 ··[·29ac2]··_ZN9__gnu_cxx14__alloc_traitsISaISt4pairIKN4cvc54TermENSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEEEESB_E10_S_on_swapERSC_SE_
2843 ··[·29baf]··__pyx_n_s_TANGENT·__pyx_mstate_global->__pyx_n_s_TANGENT2843 ··[·29b47]··_ZNSt22_Optional_payload_baseINSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEEE8_StorageIS5_Lb0EEC4IJRS5_EEESt10in_place_tDpOT_
2844 ··[·29be8]··Py_CPYTHON_MONITORING_H2844 ··[·29bcb]··__pyx_n_s_TANGENT·__pyx_mstate_global->__pyx_n_s_TANGENT
2845 ··[·29c00]··reverse_iterator<__gnu_cxx::__normal_iterator<const·cvc5::DatatypeConstructor*,·std::vector<cvc5::DatatypeConstructor,·std::allocator<cvc5::DatatypeConstructor>·>·>·>2845 ··[·29c04]··Py_CPYTHON_MONITORING_H
2846 ··[·29ca7]··STA_DEL·0x00202846 ··[·29c1c]··reverse_iterator<__gnu_cxx::__normal_iterator<const·cvc5::DatatypeConstructor*,·std::vector<cvc5::DatatypeConstructor,·std::allocator<cvc5::DatatypeConstructor>·>·>·>
2847 ··[·29cb6]··fgetpos2847 ··[·29cc3]··STA_DEL·0x0020
2848 ··[·29cbe]··Py_ITEROBJECT_H·2848 ··[·29cd2]··fgetpos
2849 ··[·29ccf]··__pyx_pf_16cvc5_python_base_2Op_14isIndexed2849 ··[·29cda]··Py_ITEROBJECT_H·
2850 ··[·29cfb]··SCHED_FLAG_KEEP_PARAMS·0x102850 ··[·29ceb]··__pyx_pf_16cvc5_python_base_2Op_14isIndexed
2851 ··[·29d17]··__pyx_tuple__389·__pyx_mstate_global->__pyx_tuple__3892851 ··[·29d17]··SCHED_FLAG_KEEP_PARAMS·0x10
2852 ··[·29d4e]··__pyx_n_s_rm·__pyx_mstate_global->__pyx_n_s_rm2852 ··[·29d33]··__pyx_tuple__389·__pyx_mstate_global->__pyx_tuple__389
2853 ··[·29d7d]··__pyx_doc_16cvc5_python_base_6Solver_18mkBitVectorSort2853 ··[·29d6a]··__pyx_n_s_rm·__pyx_mstate_global->__pyx_n_s_rm
2854 ··[·29db4]··__pyx_codeobj__19·__pyx_mstate_global->__pyx_codeobj__192854 ··[·29d99]··__pyx_doc_16cvc5_python_base_6Solver_18mkBitVectorSort
2855 ··[·29ded]··_ZNKSt6vectorIN4cvc523DatatypeConstructorDeclESaIS1_EE6rbeginEv2855 ··[·29dd0]··__pyx_codeobj__19·__pyx_mstate_global->__pyx_codeobj__19
2856 ··[·29e2d]··_ZNSt8_Rb_treeINSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEESt4pairIKS5_N4cvc54StatEESt10_Select1stISA_ESt4lessIS5_ESaISA_EE11_M_leftmostEv2856 ··[·29e09]··_ZNKSt6vectorIN4cvc523DatatypeConstructorDeclESaIS1_EE6rbeginEv
2857 ··[·29ec0]··_ZNSt17_Optional_payloadINSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEELb1ELb0ELb0EEC4ERKS6_2857 ··[·29e49]··_ZNSt8_Rb_treeINSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEESt4pairIKS5_N4cvc54StatEESt10_Select1stISA_ESt4lessIS5_ESaISA_EE11_M_leftmostEv
2858 ··[·29f23]··__gthrw_(name)·name2858 ··[·29edc]··_ZNSt17_Optional_payloadINSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEELb1ELb0ELb0EEC4ERKS6_
2859 ··[·29f37]··__pyx_k_Solver_mkFiniteFieldElem2859 ··[·29f3f]··__gthrw_(name)·name
2860 ··[·29f58]··construct<std::vector<cvc5::Term>,·std::vector<cvc5::Term,·std::allocator<cvc5::Term>·>·>2860 ··[·29f53]··__pyx_k_Solver_mkFiniteFieldElem
2861 ··[·29fb2]··_ZNSt6vectorIN4cvc519DatatypeConstructorESaIS1_EE6insertEN9__gnu_cxx17__normal_iteratorIPKS1_S3_EERS6_2861 ··[·29f74]··construct<std::vector<cvc5::Term>,·std::vector<cvc5::Term,·std::allocator<cvc5::Term>·>·>
2862 ··[·2a019]··_ZNKSt17basic_string_viewIcSt11char_traitsIcEE7compareEmmS2_mm2862 ··[·29fce]··_ZNSt6vectorIN4cvc519DatatypeConstructorESaIS1_EE6insertEN9__gnu_cxx17__normal_iteratorIPKS1_S3_EERS6_
2863 ··[·2a058]··__Pyx_DECREF(r)·Py_DECREF(r)2863 ··[·2a035]··_ZNKSt17basic_string_viewIcSt11char_traitsIcEE7compareEmmS2_mm
2864 ··[·2a075]··__MATH_TG(TG_ARG,FUNC,ARGS)·__builtin_choose_expr·(__builtin_types_compatible_p·(__typeof·(TG_ARG),·float),·FUNC·##·f·ARGS,·__builtin_choose_expr·(__builtin_types_compatible_p·(__typeof·(TG_ARG),·double),·FUNC·ARGS,·__builtin_choose_expr·(__builtin_typ[·...·truncated·by·diffoscope;·len:·85,·SHA:·5d0cc570a459f7faab513bad72ebef4046fcad2cef2d9cc55db5e58e58c657c6·...·])2864 ··[·2a074]··__Pyx_DECREF(r)·Py_DECREF(r)
2865 ··[·2a1c8]··__pyx_pw_16cvc5_python_base_6Solver_113mkFloatingPointNegInf2865 ··[·2a091]··__MATH_TG(TG_ARG,FUNC,ARGS)·__builtin_choose_expr·(__builtin_types_compatible_p·(__typeof·(TG_ARG),·float),·FUNC·##·f·ARGS,·__builtin_choose_expr·(__builtin_types_compatible_p·(__typeof·(TG_ARG),·double),·FUNC·ARGS,·__builtin_choose_expr·(__builtin_t[·...·truncated·by·diffoscope;·len:·88,·SHA:·9666e3c90dc4e7476b48f95d1a3cbcb211e29ccd7f00a5cbbd7e39c81b2aec77·...·]
2866 ··[·2a205]··in_place_t2866 ··[·2a1e4]··__pyx_pw_16cvc5_python_base_6Solver_113mkFloatingPointNegInf
2867 ··[·2a210]··__pyx_k_DatatypeConstructor2867 ··[·2a221]··in_place_t
2868 ··[·2a22c]··Py_INTERNAL_FRAME_H·2868 ··[·2a22c]··__pyx_k_DatatypeConstructor
2869 ··[·2a241]··_ZNSt8_Rb_treeIN4cvc54TermESt4pairIKS1_S1_ESt10_Select1stIS4_ESt4lessIS1_ESaIS4_EE11equal_rangeERS3_2869 ··[·2a248]··Py_INTERNAL_FRAME_H·
2870 ··[·2a2a6]··__DECL_SIMD_powf128x·2870 ··[·2a25d]··_ZNSt8_Rb_treeIN4cvc54TermESt4pairIKS1_S1_ESt10_Select1stIS4_ESt4lessIS1_ESaIS4_EE11equal_rangeERS3_
2871 ··[·2a2bc]··__Pyx_call_destructor<cvc5::Term::const_iterator>2871 ··[·2a2c2]··__DECL_SIMD_powf128x·
2872 ··[·2a2ee]··_ZN4cvc52OpC4EPNS_8internal11NodeManagerENS_4KindE2872 ··[·2a2d8]··__Pyx_call_destructor<cvc5::Term::const_iterator>
2873 ··[·2a321]··__pyx_n_s_BITVECTOR_ADD·__pyx_mstate_global->__pyx_n_s_BITVECTOR_ADD2873 ··[·2a30a]··_ZN4cvc52OpC4EPNS_8internal11NodeManagerENS_4KindE
2874 ··[·2a366]··__get<0,·std::__detail::__variant::_Move_assign_base<false,·cvc5::OptionInfo::VoidInfo,·cvc5::OptionInfo::ValueInfo<bool>,·cvc5::OptionInfo::ValueInfo<std::__cxx11::basic_string<char,·std::char_traits<char>,·std::allocator<char>·>·>,·cvc5::OptionInfo:[·...·truncated·by·diffoscope;·len:·139,·SHA:·03be90d288ffdbcb4012b7c3fdc66680dd3afdce4b0870aca12aa97e458a4e22·...·]2874 ··[·2a33d]··__pyx_n_s_BITVECTOR_ADD·__pyx_mstate_global->__pyx_n_s_BITVECTOR_ADD
2875 ··[·2a4ed]··__pyx_k_ABS2875 ··[·2a382]··__get<0,·std::__detail::__variant::_Move_assign_base<false,·cvc5::OptionInfo::VoidInfo,·cvc5::OptionInfo::ValueInfo<bool>,·cvc5::OptionInfo::ValueInfo<std::__cxx11::basic_string<char,·std::char_traits<char>,·std::allocator<char>·>·>,·cvc5::OptionInfo[·...·truncated·by·diffoscope;·len:·140,·SHA:·2c87391c89c287079bf97b6ef82937044350fb41a9232ce75cb26f19134f0b3c·...·]
2876 ··[·2a4f9]··HAVE_DUP3·12876 ··[·2a509]··__pyx_k_ABS
2877 ··[·2a505]··_ZNSt12__shared_ptrIN4cvc58internal8TypeNodeELN9__gnu_cxx12_Lock_policyE2EEC4EDn2877 ··[·2a515]··HAVE_DUP3·1
2878 ··[·2a556]··_LARGEFILE_SOURCE·12878 ··[·2a521]··_ZNSt12__shared_ptrIN4cvc58internal8TypeNodeELN9__gnu_cxx12_Lock_policyE2EEC4EDn
2879 ··[·2a56a]··__EXCEPTION__·2879 ··[·2a572]··_LARGEFILE_SOURCE·1
2880 ··[·2a579]··__pyx_n_s_DatatypeSelector_getTerm·__pyx_mstate_global->__pyx_n_s_DatatypeSelector_getTerm2880 ··[·2a586]··__EXCEPTION__·
2881 ··[·2a5d4]··__pyx_kp_u_An_array_sort_whose_argument_sor·__pyx_mstate_global->__pyx_kp_u_An_array_sort_whose_argument_sor2881 ··[·2a595]··__pyx_n_s_DatatypeSelector_getTerm·__pyx_mstate_global->__pyx_n_s_DatatypeSelector_getTerm
2882 ··[·2a641]··mkTupleSortHelper2882 ··[·2a5f0]··__pyx_kp_u_An_array_sort_whose_argument_sor·__pyx_mstate_global->__pyx_kp_u_An_array_sort_whose_argument_sor
2883 ··[·2a653]··_ZNSt6vectorISt4pairINSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEEN4cvc54SortEESaIS9_EE13shrink_to_fitEv2883 ··[·2a65d]··mkTupleSortHelper
2884 ··[·2a6c3]··_ZNSt19_Optional_base_implINSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEESt14_Optional_baseIS5_Lb0ELb0EEE8_M_resetEv2884 ··[·2a66f]··_ZNSt6vectorISt4pairINSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEEN4cvc54SortEESaIS9_EE13shrink_to_fitEv
2885 ··[·2a73e]··_PSTL_CPP17_EXECUTION_POLICIES_PRESENT·(_MSC_VER·>=·1912·&&·_MSVC_LANG·>=·201703L)·||·(_GLIBCXX_RELEASE·>=·9·&&·__GLIBCXX__·>=·20190503·&&·__cplusplus·>=·201703L)2885 ··[·2a6df]··_ZNSt19_Optional_base_implINSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEESt14_Optional_baseIS5_Lb0ELb0EEE8_M_resetEv
2886 ··[·2a7e1]··__pyx_pf_16cvc5_python_base_7Grammar_10addRules2886 ··[·2a75a]··_PSTL_CPP17_EXECUTION_POLICIES_PRESENT·(_MSC_VER·>=·1912·&&·_MSVC_LANG·>=·201703L)·||·(_GLIBCXX_RELEASE·>=·9·&&·__GLIBCXX__·>=·20190503·&&·__cplusplus·>=·201703L)
2887 ··[·2a811]··message2887 ··[·2a7fd]··__pyx_pf_16cvc5_python_base_7Grammar_10addRules
2888 ··[·2a819]··Py_ATOMIC_GCC_H·2888 ··[·2a82d]··message
2889 ··[·2a82a]··__Pyx_PyInt_From_uint32_t2889 ··[·2a835]··Py_ATOMIC_GCC_H·
2890 ··[·2a844]··_ZNSt12_Vector_baseINSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEESaIS5_EE19_M_get_Tp_allocatorEv2890 ··[·2a846]··__Pyx_PyInt_From_uint32_t
2891 ··[·2a8ac]··__Pyx_PyMethod_New2891 ··[·2a860]··_ZNSt12_Vector_baseINSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEESaIS5_EE19_M_get_Tp_allocatorEv
2892 ··[·2a8bf]··_ZNKSt7__cxx1112basic_stringIwSt11char_traitsIwESaIwEE5beginEv2892 ··[·2a8c8]··__Pyx_PyMethod_New
2893 ··[·2a8fe]··Py_CLEAR(op)·do·{·_Py_TYPEOF(op)*·_tmp_op_ptr·=·&(op);·_Py_TYPEOF(op)·_tmp_old_op·=·(*_tmp_op_ptr);·if·(_tmp_old_op·!=·NULL)·{·*_tmp_op_ptr·=·_Py_NULL;·Py_DECREF(_tmp_old_op);·}·}·while·(0)2893 ··[·2a8db]··_ZNKSt7__cxx1112basic_stringIwSt11char_traitsIwESaIwEE5beginEv
2894 ··[·2a9bc]··_MOVE_H·12894 ··[·2a91a]··Py_CLEAR(op)·do·{·_Py_TYPEOF(op)*·_tmp_op_ptr·=·&(op);·_Py_TYPEOF(op)·_tmp_old_op·=·(*_tmp_op_ptr);·if·(_tmp_old_op·!=·NULL)·{·*_tmp_op_ptr·=·_Py_NULL;·Py_DECREF(_tmp_old_op);·}·}·while·(0)
2895 ··[·2a9c6]··__pyx_kp_u_String_replace_regular_expressio·__pyx_mstate_global->__pyx_kp_u_String_replace_regular_expressio2895 ··[·2a9d8]··_MOVE_H·1
2896 ··[·2aa33]··__pyx_k_Set_is_singleton_tester_Arity_12896 ··[·2a9e2]··__pyx_kp_u_String_replace_regular_expressio·__pyx_mstate_global->__pyx_kp_u_String_replace_regular_expressio
2897 ··[·2aa5b]··__pyx_n_s_Term_isRealAlgebraicNumber·__pyx_mstate_global->__pyx_n_s_Term_isRealAlgebraicNumber2897 ··[·2aa4f]··__pyx_k_Set_is_singleton_tester_Arity_1
2898 ··[·2aaba]··_ZNSt12_Vector_baseIjSaIjEEC4EOS0_2898 ··[·2aa77]··__pyx_n_s_Term_isRealAlgebraicNumber·__pyx_mstate_global->__pyx_n_s_Term_isRealAlgebraicNumber
2899 ··[·2aadd]··d_pos2899 ··[·2aad6]··_ZNSt12_Vector_baseIjSaIjEEC4EOS0_
2900 ··[·2aae3]··_ZNKSt19__shared_ptr_accessIN4cvc58internal12NodeTemplateILb1EEELN9__gnu_cxx12_Lock_policyE2ELb0ELb0EE6_M_getEv2900 ··[·2aaf9]··d_pos
2901 ··[·2ab53]··__destroy<unsigned·int*>2901 ··[·2aaff]··_ZNKSt19__shared_ptr_accessIN4cvc58internal12NodeTemplateILb1EEELN9__gnu_cxx12_Lock_policyE2ELb0ELb0EE6_M_getEv
2902 ··[·2ab6c]··_ZNSt6vectorISt4pairINSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEEN4cvc54SortEESaIS9_EE4rendEv2902 ··[·2ab6f]··__destroy<unsigned·int*>
2903 ··[·2abd2]··__ch2903 ··[·2ab88]··_ZNSt6vectorISt4pairINSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEEN4cvc54SortEESaIS9_EE4rendEv
2904 ··[·2abd7]··__pyx_t_02904 ··[·2abee]··__ch
2905 ··[·2abe1]··__pyx_t_12905 ··[·2abf3]··__pyx_t_0
2906 ··[·2abeb]··__pyx_t_22906 ··[·2abfd]··__pyx_t_1
2907 ··[·2abf5]··__pyx_t_32907 ··[·2ac07]··__pyx_t_2
2908 ··[·2abff]··__pyx_t_42908 ··[·2ac11]··__pyx_t_3
2909 ··[·2ac09]··_ZNK4cvc56Solver12getUnsatCoreEv2909 ··[·2ac1b]··__pyx_t_4
2910 ··[·2ac2a]··__pyx_t_62910 ··[·2ac25]··_ZNK4cvc56Solver12getUnsatCoreEv
2911 ··[·2ac34]··__pyx_t_72911 ··[·2ac46]··__pyx_t_6
2912 ··[·2ac3e]··__pyx_t_82912 ··[·2ac50]··__pyx_t_7
2913 ··[·2ac48]··__pyx_t_92913 ··[·2ac5a]··__pyx_t_8
Max diff block lines reached; 416/1844945 bytes (0.02%) of diff not shown.