sv comp related tests
updated gitignore