MicroTESK

Для автогенерации тестов фрагмент подготовленного шаблона на данный момент выглядит следующим образом (представлены несколько фрагментов):

    la x(5), :data
    ld x(_), x(5), 0

    la x(5), :data
    sd x(5), x(5), 0

Проблема: точно не известно, какой из параметров является адресом чтения/записи для инструкций.

    beq x(_), x(_), :beq_label
    nop
    label :beq_label
    nop

Проблема: отсутствует знание об взаимодействии параметров и влияния на переход.