|
|
Проблема в том, что formality утверждает, что две схемы разные. А они одинаковые, в симуляторе ведут себя одинаково. Ну, на тех векторах, которые я смог придумать.
Пробовал и так и эдак. В какой-то момент дописал else и явно указал, что значение регистра должно сохраняться.
Получил совершенно другой pattern, при котором есть расхождение.
Причем такой ситуации быть не может.
На всякий случай, решил убедиться, что я правильно понимаю то, что пишу.
Спасибо.
|
|
E-mail: 
info@telesys.ru
