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

LearnLib / automatalib
92%

Build:
DEFAULT BRANCH: develop
Repo Added 15 Sep 2017 02:18PM CUT
Files 729
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 develop
branch: SELECT
CHANGE BRANCH
x
  • No branch selected
  • develop
  • java11
  • master
  • min-overhaul
  • refs/tags/automatalib-0.11.0
  • refs/tags/automatalib-0.12.0
  • refs/tags/automatalib-0.12.1
  • release
  • serialization-overhaul
  • update-dependencies

22 May 2025 12:20PM CUT coverage: 92.115% (+0.06%) from 92.058%
15186415914

push

github

web-flow
Bump minimal Java version to 11 (#90)

* initial refactoring

* update doc

* cleanups

* simplify CF config

* fix errors when building javadoc jars

* remove IOUtil#copy

* further cleanups

* typo

28 of 28 new or added lines in 19 files covered. (100.0%)

16589 of 18009 relevant lines covered (92.12%)

1.71 hits per line

Relevant lines Covered
Build:
Build:
18009 RELEVANT LINES 16589 COVERED LINES
1.71 HITS PER LINE
Source Files on develop
  • Tree
  • List 729
  • Changed 20
  • Source Changed 19
  • Coverage Changed 7
Loading...
Coverage∆FileLinesRelevantCoveredMissedHits/Line
0.0
...a/net/automatalib/common/util/mapping/Mapping.java53 1 0 1 0.0
0.0
...a/net/automatalib/common/util/IntDisjointSets.java94 9 0 9 0.0
0.0
...utomatalib/common/util/function/FunctionsUtil.java111 15 0 15 0.0
0.0
...n/java/net/automatalib/ts/TransitionPredicate.java29 1 0 1 0.0
0.0
...net/automatalib/serialization/ModelSerializer.java68 3 0 3 0.0
0.0
...ib/exception/UndefinedPropertyAccessException.java29 2 0 2 0.0
0.0
...mon/smartcollection/InvalidReferenceException.java38 2 0 2 0.0
0.0
...in/java/net/automatalib/graph/ShrinkableGraph.java62 2 0 2 0.0
0.0
...main/java/net/automatalib/automaton/Automaton.java51 1 0 1 0.0
0.0
...atalib/common/util/mapping/StringIndexMapping.java66 15 0 15 0.0
Showing 1 to 10 of 729 entries
  • Previous
  • 1
  • 2
  • 3
  • 4
  • 5
  • …
  • 73
  • Next
  • ►
    77.08
    adapters/
  • ►
    90.6
    api/
  • ►
    77.6
    commons/
  • ►
    93.71
    core/
  • ►
    98.89
    examples/
  • ►
    96.7
    incremental/
  • ►
    94.93
    modelchecking/
  • ►
    94.58
    serialization/
  • ►
    94.83
    util/
  • ►
    81.58
    visualization/

Recent builds

Builds Branch Commit Type Ran Committer Via Coverage
15186415914 develop Bump minimal Java version to 11 (#90) * initial refactoring * update doc * cleanups * simplify CF config * fix errors when building javadoc jars * remove IOUtil#copy * further cleanups * typo push 22 May 2025 12:39PM CUT web-flow github
92.12
15185022195 java11 Merge 362da4acd into 407dc29eb Pull #90 22 May 2025 11:28AM CUT web-flow github
92.12
15185018476 java11 Merge 7b1e64043 into 407dc29eb Pull #90 22 May 2025 11:24AM CUT web-flow github
92.12
15040365125 develop dot: fix parsing of IDs closes #89 push 15 May 2025 08:48AM CUT mtf90 github
92.06
13815628111 develop cleanup redundant type variable definitions push 12 Mar 2025 04:02PM CUT mtf90 github
92.06
13792039126 develop [maven-release-plugin] prepare for next development iteration push 11 Mar 2025 03:50PM CUT mtf90 github
92.06
13791977368 master [maven-release-plugin] prepare release automatalib-0.12.1 push 11 Mar 2025 03:46PM CUT mtf90 github
92.06
13791601079 release [maven-release-plugin] prepare for next development iteration push 11 Mar 2025 03:34PM CUT mtf90 github
92.06
13791600238 refs/tags/automatalib-0.12.1 [maven-release-plugin] prepare release automatalib-0.12.1 push 11 Mar 2025 03:33PM CUT mtf90 github
92.06
13791599877 release [maven-release-plugin] prepare release automatalib-0.12.1 push 11 Mar 2025 03:29PM CUT mtf90 github
92.06
See All Builds (438)
  • Repo on GitHub
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

© 2025 Coveralls, Inc