LearnLib / automatalib / 12242735401

93%

push

github

Add serialization-ba module. (#82)

* Add serialization-ba module. This allows serialization/deserialization of the BA format. This format is used in several automata tools, including RABIT, SPOT, and soon Walnut and OTF.

* Fix Spotbugs, PMD.

* Fix spotbugs, checkstyle, pmd. PMD was especially difficult.

* cleanups

* add missing docs

---------

Co-authored-by: jn1z <blah@nospam.com>
Co-authored-by: Markus Frohme <markus.frohme@udo.edu>

120 of 120 new or added lines in 3 files covered. (100.0%)

16114 of 17746 relevant lines covered (90.8%)

1.68 hits per line