SIM001 › Beyond the cockpit › Flying by plan
Reaching «The envelope leaves a safe plan alone» failed
Generated. No story reaches The envelope leaves a safe plan alone, so this test takes the shortest route there from the setup of Flying by plan.
Start
From the setup of Flying by plan.
Everything it starts with
Given 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 (5)
1 When the ground sends an orbit plan
When the ground sends an orbit plan
Expected behaviour: An orbit plan circles a point.
- the reply to the plan is accepted · An orbit plan circles a point
- the time to live of the plan is 600 s · An orbit plan circles a point
- the reported plan is 1 · An orbit plan circles a point
- the reported primitive is orbit · An orbit plan circles a point
2 When the plane flies on for 10 minutes
When the plane flies on for 10 minutes
Expected behaviour: The envelope leaves a safe plan alone.
- the interventions in the last minute are 0 · The envelope leaves a safe plan alone — observed 1199