Показаны различия между двумя версиями страницы.
Предыдущая версия справа и слева Предыдущая версия | |||
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); |