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

LearnLib / automatalib / 282 / 6
93%
develop: 93%

Build:
DEFAULT BRANCH: develop
Ran 20 Mar 2021 01:24AM UTC
Files 619
Run time 40s
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

20 Mar 2021 12:19AM UTC coverage: 82.677% (+0.04%) from 82.642%
LTSMIN_VERSION="v3.1.0"

push

travis-ci

mtf90
simplify Minimizer

do not enforce ThreadLocal synchronization but allow for regular instantiation.

12438 of 15044 relevant lines covered (82.68%)

1.51 hits per line

Source Files on job 282.6 (LTSMIN_VERSION="v3.1.0")
  • Tree
  • List 0
  • Changed 51
  • Source Changed 50
  • Coverage Changed 41
Coverage ∆ File Lines Relevant Covered Missed Hits/Line
  • Back to Build 212
  • Travis Job 282.6
  • a35263a3 on github
  • Prev Job for LTSMIN_VERSION="v3.1.0" on develop (#281.6)
  • Next Job for LTSMIN_VERSION="v3.1.0" on develop (#283.6)
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