Skip to content

Draft: Turn sequential combinations in SV-COMP run config into parallel portfolio

Thomas Lemberger requested to merge svcomp24-parallel-portfolio-approach into trunk

The sequences contain configurations for '::if-recursive' and '::if-concurrent'. These configurations are still set in sequence after the parallel portfolio of all other techniques.

Merge request reports