Transver update

[leventeBajczi]

No description provided.

[github-actions]

❗ Please modify build.gradle.kts to contain a later version than 6.19.3. Current version is 6.19.3.

[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 / 1029) HTML/CSV	✅ (48 / 0 / 100) HTML/CSV	❓ (0 / 0 / 1029) HTML/CSV
SV-COMP25_no-overflow	❓ (0 / 0 / 1625) HTML/CSV	✅ (60 / 0 / 886) HTML/CSV	❓ (0 / 0 / 1623) HTML/CSV
SV-COMP25_termination	❗ (7 / 2 / 283) HTML/CSV	❓ (0 / 0 / 385) HTML/CSV	✅ (4 / 0 / 277) HTML/CSV
SV-COMP25_unreach-call	✅ (16 / 0 / 673) HTML/CSV	✅ (50 / 0 / 292) HTML/CSV	❗ (47 / 1 / 423) 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	✅ (1 / 0 / 1676) HTML/CSV	❗ (41 / 6 / 988) HTML/CSV	✅ (1 / 0 / 1683) HTML/CSV