SIM001 › Beyond the cockpit › Flying by plan

Reaching «The plane that is it pursues the plane it can catch soonest» passed

Generated. No story reaches The plane that is it pursues the plane it can catch soonest, so this test takes the shortest route there from the setup of Flying by plan.

Start

From the setup of Flying by plan, and:

Given the chaser Kestrel is behind Merlin and ahead of Swift

Everything it starts with

Given the chaser Kestrel is behind Merlin and ahead of Swift
  And the flight mode of the plane is AGENT
  And the reply to the plan is none
  And the time to live of the plan is 0 s
  And the reported plan is 0
  And the reported primitive is none

Every arranged state read back as arranged (6)

1 When the ground control agent decides

When the ground control agent decides

Expected behaviour: The plane that is it pursues the plane it can catch soonest.

the plane that Kestrel pursues is Merlin · The plane that is it pursues the plane it can catch soonest