Change regression2sv-benchmarks to only generate multithreaded
Change regression2sv-benchmarks to only generate multithreaded

goblint/analyzer,goblint/analyzer,goblint/analyzer,goblint/analyzer,goblint/analyzer