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 /include | |
| 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 'include')
0 files changed, 0 insertions, 0 deletions