-- File: FSMTestConfig.config - Created by SETAR 13-May-86 14:58:32

FSMTestConfig: CONFIGURATION
IMPORTS CDIO, RTTestUtil
EXPORTS RTTestUtil
CONTROL FSMTest = {
FSMTest;
FSMTestImpl1;
FSMTestImpl2;
}.