[prev in list] [next in list] [prev in thread] [next in thread] 

List:       klee-commits
Subject:    [klee-commits] [klee/klee] e43229: Fix coverage generation
From:       Martin Nowack <martin_nowack () tu-dresden ! de>
Date:       2018-01-30 22:09:02
Message-ID: 5a70ecfe63a77_176a2af8a52b9bfc31580 () hookshot-fe-cace476 ! cp1-iad ! github ! net ! mail
[Download RAW message or body]

Branch: refs/heads/master
  Home:   https://github.com/klee/klee
  Commit: e432297c3e43a476a6d97b6f1bf39bb2859816ce
      https://github.com/klee/klee/commit/e432297c3e43a476a6d97b6f1bf39bb2859816ce
  Author: Martin Nowack <martin_nowack@tu-dresden.de>
  Date:   2018-01-30 (Tue, 30 Jan 2018)

  Changed paths:
    A .codecov.yml
    M .travis/klee.sh
    R codecov.yml

  Log Message:
  -----------
  Fix coverage generation

* Generate base coverage tracking all files
* Reset coverage tracking before running experiments
* Use base path KLEE_SRC
* Fix uploading of results


  Commit: c4a8b2901160568fba95b33d73a7792e0ba32c50
      https://github.com/klee/klee/commit/c4a8b2901160568fba95b33d73a7792e0ba32c50
  Author: Martin Nowack <martin_nowack@tu-dresden.de>
  Date:   2018-01-30 (Tue, 30 Jan 2018)

  Changed paths:
    M .travis.yml
    M .travis/install-llvm-and-runtime-compiler.sh

  Log Message:
  -----------
  Enable caching for travis-ci

* Use ccache for building
* Implement caching of locally build brew packages


Compare: https://github.com/klee/klee/compare/860a4a749e68...c4a8b2901160

_______________________________________________
klee-commits mailing list
klee-commits@imperial.ac.uk
https://mailman.ic.ac.uk/mailman/listinfo/klee-commits


[prev in list] [next in list] [prev in thread] [next in thread]