# test_contracts.spec — проверка отказов сервера. Все три команды ниже ДОЛЖНЫ

set step 0

# envelope_reader идёт до конца по своему аккумулятору и на длительность события
# не смотрит. Если огибающая длиннее окна, РЧ переживёт событие и наложится на
# следующее.

defaults
set dur 5
start rf

# выше Найквиста (62.5 МГц)
set freq 70000000
# env_id только 0..3
set env 4 100
# маска шире 16 бит
set mask 0x1FFFF

defaults

# --- секвенсор: контракт проверяется и при загрузке, не только в live ---
# Тот же самый случай, что и выше (defaults + dur 5 + start rf), только
# внутри seqbegin/seqend. start rf обязан отклониться на этой же теневой
# структуре загрузки — она устроена так же, как боевая, и не пропускает
# нарушения только потому, что команда идёт в BRAM, а не в event_controller.
seqbegin
defaults
set dur 5
start rf
seqend

# --- секвенсор: seqrun без загруженной программы ---
seqbegin
seqend
seqrun

defaults