package jetbrains.mps.samples.secretCompartmentLanguage.sandbox;

/*Generated by MPS */

import jetbrains.mps.samples.secretCompartmentLanguage.runtime.StateMachineTest;
import org.junit.jupiter.api.Test;
import jetbrains.mps.samples.secretCompartmentLanguage.runtime.StateMachineFactory;
import org.junit.Assert;

public class MrsH_StateMachine_Test extends StateMachineTest {
  @Test
  public void test_A() throws Exception {
    StateMachineFactory stateMachineFactory = new MrsH_StateMachineFactory();
    init(stateMachineFactory);
    getController().handle("D1CL");
    getController().handle("D2OP");
    getController().handle("L1ON");
    Assert.assertEquals("panelUnlocked", getController().getCurrentState().getName());
  }
}
