search

LearnLib / automatalib

A free, open-source Java library for modeling automata, graphs, and transition systems
http://automatalib.net
Apache License 2.0
92 stars 34 forks source link

TAF writer does not enquote outputs of mealy machines #37

Closed aschieweck closed 4 years ago

aschieweck commented 4 years ago

Serializing a mealy machine with an output symbol like "Element Not Found" runs without error, but produces non parsable text.