Package de.learnlib.testsupport

This package (including sub-packages) contains utility code for formalizing test-cases.