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

LearnLib / automatalib
93%
develop: 93%

Build:
Build:
LAST BUILD BRANCH: master
DEFAULT BRANCH: develop
Repo Added 15 Sep 2017 02:18PM UTC
Files 775
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

LAST BUILD ON BRANCH semantics
branch: semantics
CHANGE BRANCH
x
Reset
  • semantics
  • addlib-4.0
  • cf-assert-rework
  • cfmps-parser
  • develop
  • develop-local-timer-mealy
  • java11
  • java25
  • kway
  • macos-intel
  • master
  • mata
  • min-overhaul
  • refs/tags/automatalib-0.11.0
  • refs/tags/automatalib-0.12.0
  • refs/tags/automatalib-0.12.1
  • refs/tags/automatalib-13.0.0
  • release
  • serialization-overhaul
  • update-dependencies

22 Jul 2026 03:46PM UTC coverage: 92.906% (-0.1%) from 93.041%
29934952204

Pull #103

github

web-flow
Merge d633f78fd into a136446e1
Pull Request #103: Distinguish between structural and semantic interpretations of automata

283 of 329 new or added lines in 48 files covered. (86.02%)

5 existing lines in 2 files now uncovered.

17601 of 18945 relevant lines covered (92.91%)

1.72 hits per line

Relevant lines Covered
Build:
Build:
18945 RELEVANT LINES 17601 COVERED LINES
1.72 HITS PER LINE
Source Files on semantics
  • Tree
  • List 775
  • Changed 81
  • Source Changed 81
  • Coverage Changed 55
Coverage ∆ File Lines Relevant Covered Missed Hits/Line

Recent builds

Builds Branch Commit Type Ran Committer Via Coverage
29934952204 semantics Merge d633f78fd into a136446e1 Pull #103 22 Jul 2026 04:03PM UTC web-flow github
92.91
29622048893 semantics Merge 8e66953a6 into edbbaaaa4 Pull #103 18 Jul 2026 12:18AM UTC web-flow github
92.9
29423381876 semantics Merge 4f79219ab into b68d5cf70 Pull #103 15 Jul 2026 02:43PM UTC web-flow github
92.9
28013097648 semantics Merge 1553bac46 into 87b9d660b Pull #103 23 Jun 2026 08:51AM UTC web-flow github
92.88
See All Builds (497)
  • Repo on GitHub
STATUS · Troubleshooting · Open an Issue · Sales · Support · CAREERS · ENTERPRISE · START FREE TRIAL · SCHEDULE DEMO
ANNOUNCEMENTS · TWITTER · TOS & SLA · Supported CI Services · What's a CI service? · Automated Testing

© 2026 Coveralls, Inc