Oracle¶

-pt model_name binary_program trace options_path program_counter terminating_instr 

• model_name - имя модели (minimips, riscv)
• binary_program - путь к программе в бинарном виде (*.bin, *.elf)
• trace - путь к файлу с трассой
• options_path - путь к настройкам для подсистемы (...)
• program_counter - указания счетчика команд в модели (default="PC"), например: "-pcn PC"
• terminating_instr - инструкция завершающая работу программы, например "-fi return"

Simulator¶