diff options
author | Martin Nowack <m.nowack@imperial.ac.uk> | 2019-02-28 11:56:19 +0000 |
---|---|---|
committer | Cristian Cadar <c.cadar@imperial.ac.uk> | 2019-03-10 20:10:32 +0000 |
commit | cf930214e12b49e89be4674043d9f461d667baae (patch) | |
tree | 90de5ea1c643d0d7ad2c5cf55e862d309e605d48 /.codecov.yml | |
parent | b4d8fe0301b82e8abff0336bf6d1347dff11a853 (diff) | |
download | klee-cf930214e12b49e89be4674043d9f461d667baae.tar.gz |
Updated dependency build system for KLEE
Provide a single `scripts/build/build.sh` file to build KLEE and its dependencies.
Diffstat (limited to '.codecov.yml')
-rw-r--r-- | .codecov.yml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/.codecov.yml b/.codecov.yml index c4a12ef7..bccacde0 100644 --- a/.codecov.yml +++ b/.codecov.yml @@ -11,7 +11,7 @@ coverage: range: "70...100" fixes: - - "home/travis/build/klee/klee::" + - "/tmp/klee_src::" ignore: - "usr/" - "test/" |