diff options
| author | Dan Liew <daniel.liew@imperial.ac.uk> | 2016-12-01 21:30:02 +0000 |
|---|---|---|
| committer | Dan Liew <daniel.liew@imperial.ac.uk> | 2016-12-02 23:23:04 +0000 |
| commit | 7fc3ad784e0dd585bc522105fea1cb5511b3d33e (patch) | |
| tree | 17be620a1461f89bebfa3e4132fe16b44aea4291 /lib/Core/TimingSolver.cpp | |
| parent | 93328c569caa894c482614d7b18e1ab16d64a0e1 (diff) | |
| download | klee-7fc3ad784e0dd585bc522105fea1cb5511b3d33e.tar.gz | |
[TravisCI] Clean up the configuration matrix.
The main change here try to
* Avoid testing so many metaSMT configurtions
* Avoid testing so many build with STP's master branch
* Avoid testing so many builds that tests klee-uclibc's
`klee_0_9_29` branch.
* Avoid testing so many LLVM 2.9 builds given that it will
be deprecated soon.
* Remove coverage build. The server for receving this data
is dead.
This reduces 24 configurations to test down to just 14.
Diffstat (limited to 'lib/Core/TimingSolver.cpp')
0 files changed, 0 insertions, 0 deletions