diff options
| author | Mathias Preiner <mathias.preiner@gmail.com> | 2017-08-30 09:04:36 -0700 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2017-08-30 09:04:36 -0700 |
| commit | fa9fe7dafcc57ec967992a00693650fd11d643ab (patch) | |
| tree | c50c39fbef37478cafd5c3fdbd1cf06e928d6ed5 /src/expr/pickler.h | |
| parent | 6642b52b199d658a838d1c1bb26c02e732c4e4d6 (diff) | |
Remove Coverity SSL certificate workaround from Travis configuration. (#1058)
Coverity works without the SSL certificate workaround and is not needed anymore. Note that we don't require sudo anymore and we could switch to container-based Travis builds (instead of VM-based). However, container-based environments only provide 4G of memory (instead of 7.5G for VMs) , which is not enough for the current CVC4 build environment.
Diffstat (limited to 'src/expr/pickler.h')
0 files changed, 0 insertions, 0 deletions