Our tools measured structural code coverage up to MC/DC on the Flight Control System of the M-436, leading transonic trainer aircraft from Aermacchi.