1*** Variables *** 2${UART} sysbus.uart0 3${URI} https://dl.antmicro.com/projects/renode 4${SCRIPT} scripts/single-node/hifive_unleashed.resc 5 6*** Test Cases *** 7Should Run Hifive Script With Enabled Profiler 8 Execute Script ${SCRIPT} 9 10 ${TEST_DUMP_FILE}= Allocate Temporary File 11 12 Create Terminal Tester ${UART} 13 Execute Command machine EnableProfiler "${TEST_DUMP_FILE}" 14 Execute Command emulation SetGlobalSerialExecution true 15 Execute Command emulation RunFor "1" 16 17 ${DUMP_FILE_SIZE} = Get File Size ${TEST_DUMP_FILE} 18 Should Be True ${DUMP_FILE_SIZE} > 0 19