Add test counting (without running) to SV-COMP runner script
Add test counting (without running) to SV-COMP runner script

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