| *** Keywords *** |
| Prepare SailMachine |
| Execute Command path set @${ROOTDIR} |
| Execute Command $repl_file=@sim/config/platforms/sail.repl |
| Execute Command $cheriot_elf=@out/cheriot/test-suite/release/cheriot/cheriot/release/test-suite |
| Set Default Uart Timeout 20 |
| Create Log Tester ${LOG_TIMEOUT} |
| Execute Script sim/config/cheriot.resc |
| Execute Command showAnalyzer "smc-uart-analyzer" ${SMC_UART} Antmicro.Renode.Analyzers.LoggingUartAnalyzer |
| # Add SMC_UART virtual time so we can check the machine execution time |
| Execute Command smc-uart-analyzer TimestampFormat Virtual |