Updated permissions

Signed-off-by: Herbert <herberthb12@gmail.com>
Update the svcomp script tests

Signed-off-by: Herbert <herberthb12@gmail.com>