diff options
author | Daniel Dunbar <daniel@zuster.org> | 2014-09-14 16:56:02 -0700 |
---|---|---|
committer | Daniel Dunbar <daniel@zuster.org> | 2014-09-14 16:56:14 -0700 |
commit | e2c382075e8bef39c9404715a88478e12807ac78 (patch) | |
tree | fdee62786edbf586f9606f349e194f8d60974be5 /.travis.yml | |
parent | 524ea8027e4b5c8c72fa812d06ad8c12e77c33c2 (diff) | |
download | klee-e2c382075e8bef39c9404715a88478e12807ac78.tar.gz |
[Travis] Stop building with both Clang and GCC for now, see comment.
Diffstat (limited to '.travis.yml')
-rw-r--r-- | .travis.yml | 8 |
1 files changed, 7 insertions, 1 deletions
diff --git a/.travis.yml b/.travis.yml index 0a1b4269..e868493b 100644 --- a/.travis.yml +++ b/.travis.yml @@ -1,6 +1,12 @@ language: cpp compiler: - - clang + # FIXME: For now, building with Clang is disabled because the STP built with + # it hits an assertion failure during some tests. We should sort this out + # eventually and file the bug against STP or Clang whichever is appropriate, + # but for now it is easier to just reduce the number of configs we test + # anyway. + # - clang + - gcc env: ########################################################################### |