diff options
Diffstat (limited to '.travis')
| -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 |