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);
 }