Package de.cau.cs.kieler.kies.transformation.test

Contains code responsible for testing esterel to synccharts transformation.

See:
          Description

Class Summary
TimeMeasurement This JUnit tests serves as a kind of regression test for Esterel to SyncChart transformations.
TransformationRulesTest This JUnit tests serves as a kind of regression test for Esterel to SyncChart transformations.
 

Package de.cau.cs.kieler.kies.transformation.test Description

Contains code responsible for testing esterel to synccharts transformation.