Skip to content

Draft: Simplify strategy selection in SV-COMP24 config

Thomas Lemberger requested to merge svcomp24-simplify-strategy-selection into trunk

There is no conceptual reason to use VA+k-Induction on loops with arrays, because this can not handle arrays better than our multiple-loops config. So simplify this and use the multiple-loops config for complex loops, as well

Merge request reports