diff options
| author | Dan Liew <daniel.liew@imperial.ac.uk> | 2017-05-23 16:58:51 +0100 |
|---|---|---|
| committer | Dan Liew <delcypher@gmail.com> | 2017-05-23 20:44:16 +0100 |
| commit | 92367dec2ee00cb708454e4c33ff34d80eddb878 (patch) | |
| tree | 323a49983422f5f5398b5c3c662136e9cf3f7a71 /test/regression/2007-10-12-failed-make-symbolic-after-copy.c | |
| parent | 827786517026ef36f5e69c29fd429c26a934b0f7 (diff) | |
| download | klee-92367dec2ee00cb708454e4c33ff34d80eddb878.tar.gz | |
[TravisCI] Try to unbreak the build against upstream STP.
It seems there are have been quite a few changes upstream that change the way CMake is invoked. There doesn't seem to be any good reason for doing this.
Diffstat (limited to 'test/regression/2007-10-12-failed-make-symbolic-after-copy.c')
0 files changed, 0 insertions, 0 deletions