| Library Name | libz3-dev |
|---|---|
| Version #1 | lfs |
| Version #2 | timet |
| Arch | ARM |
| GCC Version | 12 |
| Subject | Binary Compatibility |
| Total Header Files | 13 |
|---|---|
| Total Libraries | 0 |
| Total Symbols / Types | 4 / 16 |
| Compatibility | 100% |
| Severity | Count | |
|---|---|---|
| Added Symbols | - | 0 |
| Removed Symbols | High | 0 |
| Problems with Data Types | High | 0 |
| Medium | 0 | |
| Low | 0 | |
| Problems with Symbols | High | 0 |
| Medium | 0 | |
| Low | 0 | |
| Problems with Constants | Low | 0 |
| Library Name | libz3-dev |
|---|---|
| Version #1 | lfs |
| Version #2 | timet |
| Arch | ARM |
| Subject | Source Compatibility |
| Total Header Files | 13 |
|---|---|
| Total Libraries | 0 |
| Total Symbols / Types | 1890 / 189 |
| Compatibility | 100% |
| Severity | Count | |
|---|---|---|
| Added Symbols | - | 0 |
| Removed Symbols | High | 0 |
| Problems with Data Types | High | 0 |
| Medium | 0 | |
| Low | 0 | |
| Problems with Symbols | High | 0 |
| Medium | 0 | |
| Low | 0 | |
| Problems with Constants | Low | 0 |