The TESTAIRCODE test case is rerun and on completion code coverage statistics are displayed in the Micro Focus Code Coverage window.
You will see that code coverage for Section: distance-between-airports is now 100%.
The cursor is positioned in the source code at the distance-between-airports section, and you will notice that it is no longer highlighted red.