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

DEFAULT BRANCH: develop
Ran
Files 609
Run time 2min
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
coverage: 81.985% (+0.1%) from 81.863%
LTSMIN_VERSION="v3.1.0"

push

travis-ci

mtf90 
reduce memory footprint of CompactNFA

by switching from Set of Integers to BitSets and introducing an IntSet wrapper for compatibility with the Java Collection Framework.

11978 of 14610 relevant lines covered (81.98%)

1.5 hits per line

Source Files on job 277.6 (LTSMIN_VERSION="v3.1.0")