diff options
| author | Daniel Dunbar <daniel@zuster.org> | 2014-09-14 10:01:17 -0700 |
|---|---|---|
| committer | Daniel Dunbar <daniel@zuster.org> | 2014-09-14 10:01:17 -0700 |
| commit | bc177e9d48719da65d65d76e4c9203f45876b125 (patch) | |
| tree | 980d2b8d5f4b6f15161589ad18c1987664f298c3 /Makefile.config.in | |
| parent | 7bb4d4463c66b8cac584d917f2def7d7940c1bf6 (diff) | |
| download | klee-bc177e9d48719da65d65d76e4c9203f45876b125.tar.gz | |
[Travis] Disable Write2 on Travis with LLVM-3.4 for now, to see if this prevents the hang we are seeing.
Diffstat (limited to 'Makefile.config.in')
0 files changed, 0 insertions, 0 deletions