*** Keywords ***
Create Machine
    [Arguments]                     ${binary}
    Execute Command                 mach create
    Execute Command                 machine LoadPlatformDescription @platforms/boards/stm32f4_discovery-kit.repl
    Execute Command                 sysbus LoadELF @${binary}
    Create Terminal Tester          sysbus.usart2

Run Test
    [Arguments]                     ${binary}
    Create Machine                  ${binary}
    Start Emulation
    Wait for Line On Uart           PROJECT EXECUTION SUCCESSFUL

*** Test Cases ***
Should Pass Zephyr mem_protect Test
    Run Test                        https://dl.antmicro.com/projects/renode/stm32f4_disco--zephyr-mem_protect.elf-s_1418612-2dce5412be6959ebb19a6ca9c1e61c700fc6517d

Should Pass Zephyr protection Test
    Run Test                        https://dl.antmicro.com/projects/renode/stm32f4_disco--zephyr-protection.elf-s_555424-ba244b9f0b1ee5bf2efcfc1b619b480d76553e9c

Should Pass Zephyr stackprot Test
    Run Test                        https://dl.antmicro.com/projects/renode/stm32f4_disco--zephyr-stackprot.elf-s_1301048-1b874b2d7d744113b06f48ef50bd857c3a3bb767

Should Pass Zephyr userspace Test
    Run Test                        https://dl.antmicro.com/projects/renode/stm32f4_disco--zephyr-userspace.elf-s_1287304-684a0dad9e1b5ca94fe5cf224a13067113dbdfa3