diff options
author | Aina Niemetz <aina.niemetz@gmail.com> | 2017-09-01 09:57:28 -0700 |
---|---|---|
committer | GitHub <noreply@github.com> | 2017-09-01 09:57:28 -0700 |
commit | 29e0da43933f8b388f3317baf522cb9d32affef2 (patch) | |
tree | 2d909ef4beabcc8de2981cee9bb6bcd35fff81b1 /src/theory/strings | |
parent | 50b6ae2d3d117d6e76f21238ac64b35fda501df3 (diff) |
Add travis debug build with cln. (#1066)
Until now, all travis builds where built with gmp. This commit adds an additional debug build built with cln.
Diffstat (limited to 'src/theory/strings')
0 files changed, 0 insertions, 0 deletions