public void tearDown() throws Exception {
adapter.closeAdapter();
}
public void testRequest__58_11_9c_() throws Exception {
adapter.ElevatorControllerrequest(ElevatorController.sut, Actor.fb0, Floor._0);
adapter.ActorgetLastSentMessage(Actor.cb0, Messages.none);
adapter.ActorgetLastSentMessage(Actor.cb1, Messages.none);
adapter.ActorgetLastSentMessage(Actor.cb2, Messages.none);
adapter.ActorgetLastSentMessage(Actor.clock, Messages.none);
adapter.ActorgetLastSentMessage(Actor.door, Messages.openDoors);
adapter.ActorgetLastSentMessage(Actor.fb0, Messages.none);
adapter.ActorgetLastSentMessage(Actor.fb1, Messages.none);
adapter.ActorgetLastSentMessage(Actor.fb2, Messages.none);
adapter.ActorgetLastSentMessage(Actor.motor, Messages.none);
adapter.ElevatorControllerdoorOpened(ElevatorController.sut);
adapter.ActorgetLastSentMessage(Actor.cb0, Messages.none);
adapter.ActorgetLastSentMessage(Actor.cb1, Messages.none);
adapter.ActorgetLastSentMessage(Actor.cb2, Messages.none);
adapter.ActorgetLastSentMessage(Actor.clock, Messages.countdown);
adapter.ActorgetLastSentMessage(Actor.door, Messages.openDoors);
adapter.ActorgetLastSentMessage(Actor.fb0, Messages.none);
adapter.ActorgetLastSentMessage(Actor.fb1, Messages.none);
adapter.ActorgetLastSentMessage(Actor.fb2, Messages.none);
adapter.ActorgetLastSentMessage(Actor.motor, Messages.none);
adapter.ElevatorControllertimeout(ElevatorController.sut);
adapter.ActorgetLastSentMessage(Actor.cb0, Messages.none);
adapter.ActorgetLastSentMessage(Actor.cb1, Messages.none);
adapter.ActorgetLastSentMessage(Actor.cb2, Messages.none);
adapter.ActorgetLastSentMessage(Actor.clock, Messages.countdown);
adapter.ActorgetLastSentMessage(Actor.door, Messages.closeDoors);
adapter.ActorgetLastSentMessage(Actor.fb0, Messages.none);
adapter.ActorgetLastSentMessage(Actor.fb1, Messages.none);
adapter.ActorgetLastSentMessage(Actor.fb2, Messages.none);
adapter.ActorgetLastSentMessage(Actor.motor, Messages.none);
adapter.ElevatorControllerrequest(ElevatorController.sut, Actor.cb0, Floor._0);
adapter.ActorgetLastSentMessage(Actor.cb0, Messages.none);
adapter.ActorgetLastSentMessage(Actor.cb1, Messages.none);
adapter.ActorgetLastSentMessage(Actor.cb2, Messages.none);
adapter.ActorgetLastSentMessage(Actor.clock, Messages.cancel);
adapter.ActorgetLastSentMessage(Actor.door, Messages.openDoors);
adapter.ActorgetLastSentMessage(Actor.fb0, Messages.none);
adapter.ActorgetLastSentMessage(Actor.fb1, Messages.none);
adapter.ActorgetLastSentMessage(Actor.fb2, Messages.none);
adapter.ActorgetLastSentMessage(Actor.motor, Messages.none);
}