1*** Variables ***
2${ZEPHYR_BINARY}                    @https://dl.antmicro.com/projects/renode/systemc-examples-zephyr-interrupts-stm32f401_mini.elf-s_573712-209c153accbf90335274ee5ae16eb9abb74d7808
3${SYSTEMC_BINARY}                   @https://dl.antmicro.com/projects/renode/x64-systemc--interrupts.elf-s_1017672-89c2d9745bc1fbc82c3ee727ae0d248415ed6d35
4${PLATFORM}                         @tests/platforms/systemc/interrupts/interrupts.repl
5${UART}                             sysbus.usart1
6
7*** Keywords ***
8Create Machine
9    Execute Command                 mach create
10    Execute Command                 machine LoadPlatformDescription ${PLATFORM}
11    Execute Command                 sysbus LoadELF ${ZEPHYR_BINARY}
12    Execute Command                 sysbus.systemc SystemCExecutablePath ${SYSTEMC_BINARY}
13
14*** Test Cases ***
15Should Invoke Interrupt Handlers Initiated By SystemC
16    [Tags]                          skip_windows    skip_osx
17    Create Machine
18    Create Terminal Tester          ${UART}
19    Start Emulation
20
21    Wait For Line On Uart           Interrupt handler for interrupter 0 (every 1 second)
22    Wait For Line On Uart           Interrupt handler for interrupter 1 (every 3 seconds)
23