*** Variables ***
${UART}                       sysbus.uart0
${URI}                        https://dl.antmicro.com/projects/renode
${SCRIPT}                     scripts/single-node/hifive_unleashed.resc

*** Test Cases ***
Should Run Hifive Script With Enabled Profiler
    Execute Script            ${SCRIPT}

    ${TEST_DUMP_FILE}=        Allocate Temporary File

    Create Terminal Tester    ${UART}
    Execute Command           machine EnableProfiler "${TEST_DUMP_FILE}"
    Execute Command           emulation SetGlobalSerialExecution true
    Execute Command           emulation RunFor "1"

    ${DUMP_FILE_SIZE} =       Get File Size  ${TEST_DUMP_FILE}
    Should Be True            ${DUMP_FILE_SIZE} > 0