LearnLib
/
learnlib
/
20487913496
/
1
95%
develop: 95%
develop: 95%
|
Ran
|
Files
594
|
Run time
13s
|
Badge
Embed ▾
README BADGES
|
coverage: 95.051% (+0.09%) from 94.965%
push
github
web-flowSparse Learner (#152) * added sparse learner * fixed comment * adjustments for code style * extended contributor list * extended test cases * Revert "extended test cases" This reverts commit 32953b5fd. * cleanups * some nullability augmentations * more cleanups * more cleanups * update README * update changelog * add DOIs * reverted some refactorings and extended comments * improved documentation * use Java 17 language features * ctrl + f * remove redundant whitespaces * properly order contributors * make checkerframework happy * shortened varnames for readability * replaced confusing getOrDefault call * adjust to upstream changes --------- Co-authored-by: Markus Frohme <markus.frohme@udo.edu> Co-authored-by: Markus Frohme <mtf90@users.noreply.github.com>
14557 of 15315 relevant lines covered (95.05%)
1.74 hits per line
