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

vermaseren / form / 197 / 8
49%
master: 49%

Build:
DEFAULT BRANCH: master
Ran 30 Jun 2017 11:29AM UTC
Files 75
Run time 4s
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

30 Jun 2017 11:10AM UTC coverage: 45.777% (+0.03%) from 45.747%
CI_TARGET=coverage-tvorm

push

travis-ci

tueda
[ci] Add Forcer tests

This introduces a few tests with forcer-1.0.0 to avoid any regressions
in future (at least for some simple diagrams). Currently, the tests are
performed for the "form" and "tform" jobs.

Why not for parform, code coverage and valgrind?
- For valgrind, they are too slow.
- ParFORM would be slow by the overheads. Moreover the parallelization
  is disabled by spectators.
- It would be nice to use the same test set for code coverage and
  valgrind to see which part of the code is presumably safe.

31241 of 68246 relevant lines covered (45.78%)

105118.02 hits per line

Source Files on job 197.8 (CI_TARGET=coverage-tvorm)
  • Tree
  • List 0
  • Changed 26
  • Source Changed 1
  • Coverage Changed 25
Coverage ∆ File Lines Relevant Covered Missed Hits/Line
  • Back to Build 197
  • Travis Job 197.8
  • efd0c913 on github
  • Prev Job for CI_TARGET=coverage-tvorm on master (#196.8)
  • Next Job for CI_TARGET=coverage-tvorm on master (#198.8)
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