Показаны различия между двумя версиями страницы.
| Предыдущая версия справа и слева Предыдущая версия | |||
|
ob:o7:pwm [2022/02/04 18:25] iadenisov |
ob:o7:pwm [2022/02/04 18:27] (текущий) iadenisov |
||
|---|---|---|---|
| Строка 89: | Строка 89: | ||
| BEGIN | BEGIN | ||
| ASSERT(chn >= 0); | ASSERT(chn >= 0); | ||
| - | ASSERT(chn < 3); (* ASSERT(chn < 4); BLOCKED *) | + | ASSERT(chn < 4); |
| ASSERT(pos >= 0); | ASSERT(pos >= 0); | ||
| ASSERT(pos < positions); | ASSERT(pos < positions); | ||