Use lazy Sequence in cartesianProduct to prevent out of memory error

[mondokm]

No description provided.

[github-actions]

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

[github-actions]

Release Preview

Version: 6.28.0
Tag: v6.28.0

Release Notes:

Modified subprojects (since v6.28.0):
xsts/xsts-analysis

Files to be uploaded:

EmergenTheta-svcomp.zip
Theta-cfa.zip
Theta-chccomp.zip
Theta-sts.zip
Theta-svcomp.zip
Theta-xsts.zip
Theta-xta.zip
Thorn-svcomp.zip
theta-cfa-cli-6.28.0-all.jar
theta-cfa-cli.jar
theta-solver-smtlib-cli-6.28.0-all.jar
theta-solver-smtlib-cli.jar
theta-sts-cli-6.28.0-all.jar
theta-sts-cli.jar
theta-xcfa-cli-6.28.0-all.jar
theta-xcfa-cli.jar
theta-xsts-cli-6.28.0-all.jar
theta-xsts-cli.jar
theta-xta-cli-6.28.0-all.jar
theta-xta-cli.jar
theta.2.2026-04-01_18-09-16.logfiles.zip
theta.2.2026-04-01_18-09-16.results.Theta-statechart-Integration-Test._transition_TrafficLight_10.xml.bz2
theta.2.2026-04-01_18-09-16.results.Theta-statechart-Integration-Test.choices.xml.bz2
theta.2.2026-04-01_18-09-16.results.Theta-statechart-Integration-Test.count_up_down.xml.bz2
theta.2.2026-04-01_18-09-16.results.Theta-statechart-Integration-Test.count_up_down2.xml.bz2
theta.2.2026-04-01_18-09-16.results.Theta-statechart-Integration-Test.cross.xml.bz2
theta.2.2026-04-01_18-09-16.results.Theta-statechart-Integration-Test.green_and_red.xml.bz2
theta.2.2026-04-01_18-09-16.results.Theta-statechart-Integration-Test.main_region_eq_read_exp.xml.bz2
theta.2.2026-04-01_18-09-16.results.Theta-statechart-Integration-Test.obc2.xml.bz2
theta.2.2026-04-01_18-09-16.results.Theta-statechart-Integration-Test.obc3.xml.bz2
theta.2.2026-04-01_18-09-16.results.Theta-statechart-Integration-Test.obc4.xml.bz2
theta.2.2026-04-01_18-09-16.results.Theta-statechart-Integration-Test.obc5.xml.bz2
theta.2.2026-04-01_18-09-16.results.Theta-statechart-Integration-Test.obc6.xml.bz2
theta.2.2026-04-01_18-09-16.results.Theta-statechart-Integration-Test.obc7.xml.bz2
theta.2.2026-04-01_18-09-16.results.Theta-statechart-Integration-Test.obc8.xml.bz2
theta.2.2026-04-01_18-09-16.results.Theta-statechart-Integration-Test.obc9.xml.bz2
theta.2.2026-04-01_18-09-16.results.Theta-statechart-Integration-Test.oldas_exit.xml.bz2
theta.2.2026-04-01_18-09-16.results.Theta-statechart-Integration-Test.on_off_statemachine.xml.bz2
theta.2.2026-04-01_18-09-16.results.Theta-statechart-Integration-Test.on_off_statemachine2.xml.bz2
theta.2.2026-04-01_18-09-16.results.Theta-statechart-Integration-Test.on_off_statemachine3.xml.bz2
theta.2.2026-04-01_18-09-16.results.Theta-statechart-Integration-Test.sequential.xml.bz2
theta.2.2026-04-01_18-09-16.results.Theta-statechart-Integration-Test.sequential2.xml.bz2
theta.2.2026-04-01_18-09-16.results.Theta-statechart-Integration-Test.slp10.xml.bz2
theta.2.2026-04-01_18-09-16.results.Theta-statechart-Integration-Test.slp2.xml.bz2
theta.2.2026-04-01_18-09-16.results.Theta-statechart-Integration-Test.slp3.xml.bz2
theta.2.2026-04-01_18-09-16.results.Theta-statechart-Integration-Test.slp4.xml.bz2
theta.2.2026-04-01_18-09-16.results.Theta-statechart-Integration-Test.slp5.xml.bz2
theta.2.2026-04-01_18-09-16.results.Theta-statechart-Integration-Test.slp6.xml.bz2
theta.2.2026-04-01_18-09-16.results.Theta-statechart-Integration-Test.slp7.xml.bz2
theta.2.2026-04-01_18-09-16.results.Theta-statechart-Integration-Test.slp8.xml.bz2
theta.2.2026-04-01_18-09-16.results.Theta-statechart-Integration-Test.slp9.xml.bz2
theta.2.2026-04-01_18-09-16.results.Theta-statechart-Integration-Test.tran1.xml.bz2
theta.2.2026-04-01_18-09-16.results.Theta-statechart-Integration-Test.tran10.xml.bz2
theta.2.2026-04-01_18-09-16.results.Theta-statechart-Integration-Test.tran11.xml.bz2
theta.2.2026-04-01_18-09-16.results.Theta-statechart-Integration-Test.tran12.xml.bz2
theta.2.2026-04-01_18-09-16.results.Theta-statechart-Integration-Test.tran13.xml.bz2
theta.2.2026-04-01_18-09-16.results.Theta-statechart-Integration-Test.tran14.xml.bz2
theta.2.2026-04-01_18-09-16.results.Theta-statechart-Integration-Test.tran15.xml.bz2
theta.2.2026-04-01_18-09-16.results.Theta-statechart-Integration-Test.tran16.xml.bz2
theta.2.2026-04-01_18-09-16.results.Theta-statechart-Integration-Test.tran17.xml.bz2
theta.2.2026-04-01_18-09-16.results.Theta-statechart-Integration-Test.tran2.xml.bz2
theta.2.2026-04-01_18-09-16.results.Theta-statechart-Integration-Test.tran3.xml.bz2
theta.2.2026-04-01_18-09-16.results.Theta-statechart-Integration-Test.tran4.xml.bz2
theta.2.2026-04-01_18-09-16.results.Theta-statechart-Integration-Test.tran5.xml.bz2
theta.2.2026-04-01_18-09-16.results.Theta-statechart-Integration-Test.tran6.xml.bz2
theta.2.2026-04-01_18-09-16.results.Theta-statechart-Integration-Test.tran7.xml.bz2
theta.2.2026-04-01_18-09-16.results.Theta-statechart-Integration-Test.tran8.xml.bz2
theta.2.2026-04-01_18-09-16.results.Theta-statechart-Integration-Test.tran9.xml.bz2
theta.2.2026-04-01_18-09-16.results.Theta-statechart-Integration-Test.txt
theta.2.2026-04-01_18-09-16.results.Theta-statechart-Integration-Test.x_between_0_and_5.xml.bz2
theta.2.2026-04-01_18-09-16.results.Theta-statechart-Integration-Test.x_eq_5.xml.bz2
theta.2.2026-04-01_18-09-16.results.Theta-statechart-Integration-Test.x_eq_50.xml.bz2
theta.2.2026-04-01_18-09-16.results.Theta-statechart-Integration-Test.x_eq_51.xml.bz2
theta.2.2026-04-01_18-09-16.results.Theta-statechart-Integration-Test.x_geq_y.xml.bz2
theta.2.2026-04-01_18-09-16.results.Theta-statechart-Integration-Test.xml.bz2