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

FSMTestConfig: CONFIGURATION
IMPORTS CoreProperties, Rope, SCTestUtil
EXPORTS SCTestUtil
CONTROL FSMTest = {
FSMTest;
FSMTestImpl1;
FSMTestImpl2;
}.