Skip to content

Bugfix: Empty rows are not prime in NL*. Fixes Issue 70 - #71

Merged
mtf90 merged 1 commit into
LearnLib:developfrom
Jaxan:bugfix-nlstar
Mar 17, 2020
Merged

Bugfix: Empty rows are not prime in NL*. Fixes Issue 70#71
mtf90 merged 1 commit into
LearnLib:developfrom
Jaxan:bugfix-nlstar

Commits

Commits on Mar 17, 2020