diff options
| author | Dan Liew <daniel.liew@imperial.ac.uk> | 2016-12-17 23:56:41 +0000 |
|---|---|---|
| committer | Dan Liew <daniel.liew@imperial.ac.uk> | 2016-12-18 14:44:58 +0000 |
| commit | fd7d94baa3e5a8462d70e975da0cf09d435c0776 (patch) | |
| tree | 1f7125200929a4ae699353bcfbc77f63d6019e49 /.travis/klee.sh | |
| parent | ff8fa19642baed8100c7d47bf1e92aaf864758f0 (diff) | |
| download | klee-fd7d94baa3e5a8462d70e975da0cf09d435c0776.tar.gz | |
[TravisCI] When building with the old build system move back
to the root of the build tree after doing the hack the generate the lit configuration files. This will make it easier in the future to run more test configurations (e.g. by passing options to lit to change KLEE's behaviour).
Diffstat (limited to '.travis/klee.sh')
| -rwxr-xr-x | .travis/klee.sh | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/.travis/klee.sh b/.travis/klee.sh index ee65781f..e1adc6bc 100755 --- a/.travis/klee.sh +++ b/.travis/klee.sh @@ -200,8 +200,8 @@ else DISABLE_ASSERTIONS=${DISABLE_ASSERTIONS} \ ENABLE_OPTIMIZED=${ENABLE_OPTIMIZED} \ ENABLE_SHARED=0 - - lit -v . + cd ../ + lit -v test/ fi #generate and upload coverage if COVERAGE is set |