Chccomp update

[leventeBajczi]

No description provided.

[github-actions]

Release Preview

Version: 7.0.0
Tag: v7.0.0

Release Notes:

Modified subprojects (since v6.29.4):
xcfa/xcfa-cli

Files to be uploaded:

upload/EmergenTheta-svcomp.zip
upload/Theta-cfa.zip
upload/Theta-chccomp.zip
upload/Theta-sts.zip
upload/Theta-svcomp.zip
upload/Theta-xsts.zip
upload/Theta-xta.zip
upload/Thorn-svcomp.zip
upload/theta-cfa-cli.jar
upload/theta-solver-smtlib-cli.jar
upload/theta-sts-cli.jar
upload/theta-xcfa-cli.jar
upload/theta-xsts-cli.jar
upload/theta-xta-cli.jar

[github-actions]

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

Rundefinition	Correct	Incorrect	All	Status
CHC-COMP_Portfolio	0	0	195	❓
Hardware_CEGAR	47	0	54	✅
PLC_CEGAR	9	0	9	✅
PetriNet_MDD	60	0	122	✅
PetriNet_PN_MDD	70	0	122	✅
SV-COMP_Portfolio_Emergent	46	0	94	✅
SV-COMP_Portfolio_Horn	74	0	94	✅
SV-COMP_Portfolio_Stable	46	0	94	✅
Statechart_CEGAR	110	0	126	✅