JavaSMT proofs

[leventeBajczi]

No description provided.

[github-actions]

Benchexec test report for a selection of SV-Benchmarks (correct / incorrect / all):

Rundefinition	BOUNDED	CEGAR	HORN
SV-COMP25_no-data-race	❓ (0 / 0 / 562) HTML/CSV	✅ (50 / 0 / 129) HTML/CSV	❓ (0 / 0 / 564) HTML/CSV
SV-COMP25_no-overflow	✅ (30 / 0 / 334) HTML/CSV	✅ (30 / 0 / 329) HTML/CSV	✅ (30 / 0 / 320) HTML/CSV
SV-COMP25_termination	✅ (6 / 0 / 370) HTML/CSV	✅ (11 / 0 / 381) HTML/CSV	✅ (9 / 0 / 370) HTML/CSV
SV-COMP25_unreach-call	✅ (5 / 0 / 206) HTML/CSV	✅ (23 / 0 / 106) HTML/CSV	❗ (8 / 1 / 189) HTML/CSV
SV-COMP25_valid-memcleanup	❓ (0 / 0 / 65) HTML/CSV	❓ (0 / 0 / 65) HTML/CSV	❓ (0 / 0 / 65) HTML/CSV
SV-COMP25_valid-memsafety	❓ (0 / 0 / 532) HTML/CSV	❗ (35 / 2 / 405) HTML/CSV	❓ (0 / 0 / 512) HTML/CSV