coverity: enable analysis

.travis.yml

@@ -3,6 +3,25 @@ dist: trusty
 compiler: g++
 sudo: required
 
+env:
+  global:
+   # The next declaration is the encrypted COVERITY_SCAN_TOKEN, created
+   #   via the "travis encrypt" command using the project repo's public key
+   - secure: "hsLs5vKP4ydhCtO990sNlPXuRZlHVDUbUVPYoFAHaij3GYfLgnXyv28yF8EQ0QHlbOHtfRH7xZ8SxE0RUdX3BQLLr7vhvO0W3MfWnFflGoHF9crAPd5DrBUVBnIEhQOLhMuGlsM59a/LGBimAoPZz2amcdAEOlqJeIjvYyxO/jIzatF4kpupDrndny5yFSq+W1Fw1/HgyYtGIrAG+8RMnrLDRq13M5SeTcBZqMWSe0pR6RjWlyO5BOBoZHKsAxJf8P856pm3q0nSEgdTOEFMvwGwDltt2y8SbwyDCUyLthsSHP6y5mEBCNeWzhgkgZwWLAoMo8igELd4KuNPNtTvK/QCHh3xxjIv6iRAHd6KEq/xLfl1jTpkeUIWBWkEKsIVHLZeNFTHxL4sILLCxV6IfQTPYJFKozHzGrAiLQc2D4SQDfSSzIul5YLSoYikp0pj+sEABtsAEhJCgUD9p4WTp7GUstAsfgS050yj1E6tPEMKpzM+O7xrwEhzCUlYWvf1/qEXtVqxMR5nGjH2EdAyv+hpKuKOcGPNcnuUKGr5SyahZv3w/F6Iq6UHjD+MqnlwjidovJiLBUos/qORg5NTSHPCh9O6vJxJPE9G299lxj42gajrqKR0Viys003MdGPvMYHBbt/yej84fpjz/pjO79pNHA6HIr0DkHwsUeiW7ac="
+
+before_install:
+  - echo -n | openssl s_client -connect https://scan.coverity.com:443 | sed -ne '/-BEGIN CERTIFICATE-/,/-END CERTIFICATE-/p' | sudo tee -a /etc/ssl/certs/ca-
+
+addons:
+  coverity_scan:
+    project:
+      name: "conp-solutions/PCasso"
+      description: "Parallel SAT solver"
+    notification_email: [email protected]
+    build_command_prepend: "true"
+    build_command: "make pcassod"
+    branch_pattern: master
+
 before_install:
   - sudo add-apt-repository ppa:ubuntu-toolchain-r/test -y
   - sudo apt-get update -q