instruction and branch coverage

покрытие операторов и ветвей (при тестировании программ; корпорации AdaCore Alex_Odeychuk)