Цитата Сообщение от capzap Посмотреть сообщение
проверить просто, написать одинаковый "тяжелый" код в обеих ветках условия ..
Сложно как-то.
Это же, но по бразильской системе.
Код:
function jopa: bool;
    var_input
        in : bool;
    end_var

    while in do
       ; //максимально тяжелый код
    end_while
    jopa := not in; //инверсия для показать проход функции
end_function


function func: bool;
    var_input
       in : bool;
    end_var

    if in then
      func := jopa(true);
    else
      func := jopa(false);
    end_if
end_function
func на холст и прилепить вход и выход
Кто докажет ОБА вызова jop'ы при func(false) ?