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

LearnLib / automatalib / 263
93%

Build:
DEFAULT BRANCH: develop
Ran 29 Oct 2020 11:34PM UTC
Jobs 1
Files 562
Run time 46s
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
263

push

travis-ci

mtf90
fix consistency bug in incremental DAG builders

Previously, confluences that were introduced in the currently tracked trace were not properly detected or handled. This commit adds the required checks and adds test traces from a context-free learning setup which originally discovered these bugs.

11070 of 13515 relevant lines covered (81.91%)

1.5 hits per line

Jobs
ID Job ID Ran Files Coverage
6 263.6 (LTSMIN_VERSION="v3.1.0") 29 Oct 2020 11:34PM UTC 0
81.91
Travis Job 263.6
Source Files on build 263
Detailed source file information is not available for this build.
  • Back to Repo
  • Travis Build #263
  • b07fb643 on github
  • Prev Build on develop (#262)
  • Next Build on develop (#268)
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