Package de.uka.ipd.sdq.tcfmoop.tests

Provides tests to ensure the functionality of the implemented termination criteria.