Implement hashCode and equals methods in IdentityNextStateDescriptor

[mondokm]

No description provided.

[github-actions]

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

[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 / 557) HTML/CSV	✅ (50 / 0 / 129) HTML/CSV	❓ (0 / 0 / 549) HTML/CSV
SV-COMP25_no-overflow	✅ (30 / 0 / 323) HTML/CSV	✅ (30 / 0 / 332) HTML/CSV	✅ (30 / 0 / 332) HTML/CSV
SV-COMP25_termination	✅ (2 / 0 / 364) HTML/CSV	✅ (11 / 0 / 376) HTML/CSV	✅ (11 / 0 / 373) HTML/CSV
SV-COMP25_unreach-call	✅ (8 / 0 / 117) HTML/CSV	✅ (18 / 0 / 98) HTML/CSV	✅ (10 / 0 / 104) 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 / 520) HTML/CSV	❗ (35 / 2 / 401) HTML/CSV	❓ (0 / 0 / 493) HTML/CSV