• Home
  • Features
  • Pricing
  • Docs
  • Announcements
  • Sign In

leanprover / lean / 3328
85%

Build:
DEFAULT BRANCH: master
Ran 21 Sep 2017 05:19PM UTC
Jobs 4
Files 101
Run time 30s
Badge
Embed ▾
README BADGES
x

If you need to use a raster PNG badge, change the '.svg' to '.png' in the link

Markdown

Textile

RDoc

HTML

Rst

pending completion
3328

Pull #878

travis-ci

Daniel Selsam
test(simplifier19): nested fusion
Pull Request #878: Finish fusion

1200 of 1940 relevant lines covered (61.86%)

2.3 hits per line

Jobs
ID Job ID Ran Files Coverage
8 3328.8 (CMAKE_CXX_COMPILER=clang++-3.4 CMAKE_BUILD_TYPE=Release TCMALLOC=OFF PUSH_TO_CDASH=TRUE LUA=52) 21 Sep 2017 05:19PM UTC 0
59.02
Travis Job 3328.8
9 3328.9 (CMAKE_CXX_COMPILER=g++-4.9 CMAKE_BUILD_TYPE=Release TCMALLOC=OFF UPLOAD=linux PUSH_TO_CDASH=TRUE LUA=52 CONSERVE_MEMORY=ON) 21 Sep 2017 05:19PM UTC 0
59.02
Travis Job 3328.9
10 3328.10 (CMAKE_CXX_COMPILER=g++-4.9 CMAKE_BUILD_TYPE=DOXYGEN BUILD_DOXYGEN=TRUE TCMALLOC=OFF LUA=52 CONSERVE_MEMORY=ON) 21 Sep 2017 05:19PM UTC 0
61.71
Travis Job 3328.10
11 3328.11 (CMAKE_CXX_COMPILER=g++-4.9 CMAKE_BUILD_TYPE=Release TCMALLOC=OFF UPLOAD=linux PUSH_TO_CDASH=TRUE LUA=51 CONSERVE_MEMORY=ON) 21 Sep 2017 05:19PM UTC 0
60.16
Travis Job 3328.11
Source Files on build 3328
Detailed source file information is not available for this build.
  • Back to Repo
  • Travis Build #3328
  • Pull Request #878
STATUS · Troubleshooting · Open an Issue · Sales · Support · CAREERS · ENTERPRISE · START FREE · SCHEDULE DEMO
ANNOUNCEMENTS · TWITTER · TOS & SLA · Supported CI Services · What's a CI service? · Automated Testing

© 2026 Coveralls, Inc