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

bug in DAGIncrementalBuilder #12

Closed mgeske closed 9 years ago

mgeske commented 9 years ago

In certain situations the DAGBuilder introduces loops into the data structure.