- tls_verify(+SSL, +ProblemCert, +AllCerts, +FirstCert, +Status) is semidet
- Accept or reject the certificate verification. Similar to the
Redis command line client (
redis-cli), we accept the
certificate as long as it is signed, not verifying the hostname.