sim:tests: sel4test+wrapper robot script
Change-Id: Ie4f8932b89e90650018452287579c255fa922f17
diff --git a/shodan_sel4test.robot b/shodan_sel4test.robot
new file mode 100644
index 0000000..f20871b
--- /dev/null
+++ b/shodan_sel4test.robot
@@ -0,0 +1,174 @@
+# m sel4test+wrapper robot script; expects/runs pre-built artifacts
+# Takes ~15 mins (wall time) on a cloudtop
+# TODO: need build target to just build artifacts
+
+*** Settings ***
+Suite Setup Setup
+Suite Teardown Teardown
+Test Setup Reset Emulation
+Test Teardown Test Teardown
+Resource ${RENODEKEYWORDS}
+
+*** Variables ***
+${LOG_TIMEOUT} 2
+${ROOTDIR} @${CURDIR}/../..
+${SCRIPT} sim/config/shodan.resc
+${UART0} sysbus.uart0
+${UART1} sysbus.uart1
+${UART2} sysbus.uart2
+${UART3} sysbus.uart3
+${UART5} sysbus.uart5
+
+*** Keywords ***
+Prepare Machine
+ Execute Command path set ${ROOTDIR}
+ Execute Command $tar=@out/sel4test-wrapper/riscv32-unknown-elf/release/ext_flash.tar
+ Execute Command $kernel=@out/sel4test-wrapper/riscv32-unknown-elf/release/kernel/kernel.elf
+ Execute Command $cpio=@/dev/null
+ Execute Script ${SCRIPT}
+# Add UART5 virtual time so we can check the machine execution time
+ Execute Command uart5-analyzer TimestampFormat Virtual
+ Execute Command cpu0 IsHalted false
+ Set Default Uart Timeout 30
+
+
+*** Test Cases ***
+Shodan seL4test with Rust syscall wrappers
+ [Documentation] Test TockOS boot, seL4 boot and sel4test
+ [Tags] tock seL4 sel4test uart
+ Prepare Machine
+ Create Log Tester ${LOG_TIMEOUT}
+ ${tockuart}= Create Terminal Tester ${UART0}
+ ${sel4uart}= Create Terminal Tester ${UART5}
+ Start Emulation
+
+ Wait For Line On Uart load_sel4() completed successfully testerId=${tockuart}
+ Wait For Line On Uart Booting all finished, dropped to user space testerId=${sel4uart}
+ Wait For Line On Uart MCS configuration testerId=${sel4uart}
+ Wait For Line On Uart Starting test suite sel4test testerId=${sel4uart}
+ Wait For Line On Uart Test BIND0001 passed testerId=${sel4uart}
+ Wait For Line On Uart Test BIND0002 passed testerId=${sel4uart}
+ Wait For Line On Uart Test BIND0003 passed testerId=${sel4uart}
+ Wait For Line On Uart Test BIND0004 passed testerId=${sel4uart}
+ Wait For Line On Uart Test BIND005 passed testerId=${sel4uart}
+ Wait For Line On Uart Test BIND006 passed testerId=${sel4uart}
+ Wait For Line On Uart Test CANCEL_BADGED_SENDS_0001 passed testerId=${sel4uart}
+ Wait For Line On Uart Test CANCEL_BADGED_SENDS_0002 passed testerId=${sel4uart}
+ Wait For Line On Uart Test CNODEOP0001 passed testerId=${sel4uart}
+ Wait For Line On Uart Test CNODEOP0002 passed testerId=${sel4uart}
+ Wait For Line On Uart Test CNODEOP0003 passed testerId=${sel4uart}
+ Wait For Line On Uart Test CNODEOP0004 passed testerId=${sel4uart}
+ Wait For Line On Uart Test CNODEOP0005 passed testerId=${sel4uart}
+ Wait For Line On Uart Test CNODEOP0006 passed testerId=${sel4uart}
+ Wait For Line On Uart Test CNODEOP0007 passed testerId=${sel4uart}
+ Wait For Line On Uart Test CNODEOP0008 passed testerId=${sel4uart}
+ Wait For Line On Uart Test CSPACE0001 passed testerId=${sel4uart}
+ Wait For Line On Uart Test DOMAINS0001 passed testerId=${sel4uart}
+ Wait For Line On Uart Test DOMAINS0002 passed testerId=${sel4uart}
+ Wait For Line On Uart Test DOMAINS0003 passed testerId=${sel4uart}
+ Wait For Line On Uart Test FPU0000 passed testerId=${sel4uart}
+ Wait For Line On Uart Test FPU0001 passed testerId=${sel4uart}
+ Wait For Line On Uart Test FRAMEDIPC0001 passed testerId=${sel4uart}
+ Wait For Line On Uart Test FRAMEDIPC0002 passed testerId=${sel4uart}
+ Wait For Line On Uart Test FRAMEDIPC0003 passed testerId=${sel4uart}
+ Wait For Line On Uart Test FRAMEEXPORTS0001 passed testerId=${sel4uart}
+ Wait For Line On Uart Test IPC0001 passed testerId=${sel4uart}
+ Wait For Line On Uart Test IPC0002 passed testerId=${sel4uart}
+ Wait For Line On Uart Test IPC0003 passed testerId=${sel4uart}
+ Wait For Line On Uart Test IPC0004 passed testerId=${sel4uart}
+ Wait For Line On Uart Test IPC0010 passed testerId=${sel4uart}
+ Wait For Line On Uart Test IPC0011 passed testerId=${sel4uart}
+ Wait For Line On Uart Test IPC0012 passed testerId=${sel4uart}
+ Wait For Line On Uart Test IPC0013 passed testerId=${sel4uart}
+ Wait For Line On Uart Test IPC0014 passed testerId=${sel4uart}
+ Wait For Line On Uart Test IPC0015 passed testerId=${sel4uart}
+ Wait For Line On Uart Test IPC0016 passed testerId=${sel4uart}
+ Wait For Line On Uart Test IPC0017 passed testerId=${sel4uart}
+ Wait For Line On Uart Test IPC0018 passed testerId=${sel4uart}
+ Wait For Line On Uart Test IPC0019 passed testerId=${sel4uart}
+ Wait For Line On Uart Test IPC0020 passed testerId=${sel4uart}
+ Wait For Line On Uart Test IPC0021 passed testerId=${sel4uart}
+ Wait For Line On Uart Test IPC0022 passed testerId=${sel4uart}
+ Wait For Line On Uart Test IPC0023 passed testerId=${sel4uart}
+ Wait For Line On Uart Test IPC0024 passed testerId=${sel4uart}
+ Wait For Line On Uart Test IPC0025 passed testerId=${sel4uart}
+ Wait For Line On Uart Test IPC0026 passed testerId=${sel4uart}
+ Wait For Line On Uart Test IPC0027 passed testerId=${sel4uart}
+ Wait For Line On Uart Test IPC1001 passed testerId=${sel4uart}
+ Wait For Line On Uart Test IPC1002 passed testerId=${sel4uart}
+ Wait For Line On Uart Test IPC1003 passed testerId=${sel4uart}
+ Wait For Line On Uart Test IPC1004 passed testerId=${sel4uart}
+ Wait For Line On Uart Test IPCRIGHTS0001 passed testerId=${sel4uart}
+ Wait For Line On Uart Test IPCRIGHTS0002 passed testerId=${sel4uart}
+ Wait For Line On Uart Test IPCRIGHTS0003 passed testerId=${sel4uart}
+ Wait For Line On Uart Test NBWAIT0001 passed testerId=${sel4uart}
+ Wait For Line On Uart Test PAGEFAULT0001 passed testerId=${sel4uart}
+ Wait For Line On Uart Test PAGEFAULT0002 passed testerId=${sel4uart}
+ Wait For Line On Uart Test PAGEFAULT0003 passed testerId=${sel4uart}
+ Wait For Line On Uart Test PAGEFAULT0004 passed testerId=${sel4uart}
+ Wait For Line On Uart Test PAGEFAULT1001 passed testerId=${sel4uart}
+ Wait For Line On Uart Test PAGEFAULT1002 passed testerId=${sel4uart}
+ Wait For Line On Uart Test PAGEFAULT1003 passed testerId=${sel4uart}
+ Wait For Line On Uart Test PAGEFAULT1004 passed testerId=${sel4uart}
+ Wait For Line On Uart Test REGRESSIONS0001 passed testerId=${sel4uart}
+ Wait For Line On Uart Test RETYPE0000 passed testerId=${sel4uart}
+ Wait For Line On Uart Test RETYPE0001 passed testerId=${sel4uart}
+ Wait For Line On Uart Test RETYPE0002 passed testerId=${sel4uart}
+ Wait For Line On Uart Test SCHED0002 passed testerId=${sel4uart}
+ Wait For Line On Uart Test SCHED0003 passed testerId=${sel4uart}
+ Wait For Line On Uart Test SCHED0004 passed testerId=${sel4uart}
+ Wait For Line On Uart Test SCHED0005 passed testerId=${sel4uart}
+ Wait For Line On Uart Test SCHED0007 passed testerId=${sel4uart}
+ Wait For Line On Uart Test SCHED0016 passed testerId=${sel4uart}
+ Wait For Line On Uart Test SCHED0017 passed testerId=${sel4uart}
+ Wait For Line On Uart Test SCHED0019 passed testerId=${sel4uart}
+ Wait For Line On Uart Test SCHED0020 passed testerId=${sel4uart}
+ Wait For Line On Uart Test SCHED_CONTEXT_0001 passed testerId=${sel4uart}
+ Wait For Line On Uart Test SCHED_CONTEXT_0003 passed testerId=${sel4uart}
+ Wait For Line On Uart Test SCHED_CONTEXT_0006 passed testerId=${sel4uart}
+ Wait For Line On Uart Test SCHED_CONTEXT_0007 passed testerId=${sel4uart}
+ Wait For Line On Uart Test SCHED_CONTEXT_0008 passed testerId=${sel4uart}
+ Wait For Line On Uart Test SERSERV_CLIENT_001 passed testerId=${sel4uart}
+ Wait For Line On Uart Test SERSERV_CLIENT_002 passed testerId=${sel4uart}
+ Wait For Line On Uart Test SERSERV_CLIENT_003 passed testerId=${sel4uart}
+ Wait For Line On Uart Test SERSERV_CLIENT_004 passed testerId=${sel4uart}
+ Wait For Line On Uart Test SERSERV_CLIENT_005 passed testerId=${sel4uart}
+ Wait For Line On Uart Test SERSERV_CLI_PROC_001 passed testerId=${sel4uart}
+ Wait For Line On Uart Test SERSERV_CLI_PROC_002 passed testerId=${sel4uart}
+ Wait For Line On Uart Test SERSERV_CLI_PROC_003 passed testerId=${sel4uart}
+ Wait For Line On Uart Test SERSERV_CLI_PROC_004 passed testerId=${sel4uart}
+ Wait For Line On Uart Test SERSERV_CLI_PROC_005 passed testerId=${sel4uart}
+ Wait For Line On Uart Test SERSERV_PARENT_001 passed testerId=${sel4uart}
+ Wait For Line On Uart Test SERSERV_PARENT_002 passed testerId=${sel4uart}
+ Wait For Line On Uart Test SERSERV_PARENT_003 passed testerId=${sel4uart}
+ Wait For Line On Uart Test SERSERV_PARENT_004 passed testerId=${sel4uart}
+ Wait For Line On Uart Test SERSERV_PARENT_005 passed testerId=${sel4uart}
+ Wait For Line On Uart Test SERSERV_PARENT_006 passed testerId=${sel4uart}
+ Wait For Line On Uart Test SERSERV_PARENT_007 passed testerId=${sel4uart}
+ Wait For Line On Uart Test SERSERV_PARENT_008 passed testerId=${sel4uart}
+ Wait For Line On Uart Test SERSERV_PARENT_009 passed testerId=${sel4uart}
+ Wait For Line On Uart Test SERSERV_PARENT_010 passed testerId=${sel4uart}
+ Wait For Line On Uart Test SYNC001 passed testerId=${sel4uart}
+ Wait For Line On Uart Test SYNC002 passed testerId=${sel4uart}
+ Wait For Line On Uart Test SYNC003 passed testerId=${sel4uart}
+ Wait For Line On Uart Test SYNC004 passed testerId=${sel4uart}
+ Wait For Line On Uart Test THREADS0004 passed testerId=${sel4uart}
+ Wait For Line On Uart Test THREADS0005 passed testerId=${sel4uart}
+ Wait For Line On Uart Test TIMEOUTFAULT0001 passed testerId=${sel4uart}
+ Wait For Line On Uart Test TIMEOUTFAULT0002 passed testerId=${sel4uart}
+ Wait For Line On Uart Test TIMEOUTFAULT0003 passed testerId=${sel4uart}
+ Wait For Line On Uart Test TLS0001 passed testerId=${sel4uart}
+ Wait For Line On Uart Test TLS0002 passed testerId=${sel4uart}
+ Wait For Line On Uart Test TLS0006 passed testerId=${sel4uart}
+ Wait For Line On Uart Test TRIVIAL0000 passed testerId=${sel4uart}
+ Wait For Line On Uart Test TRIVIAL0001 passed testerId=${sel4uart}
+ Wait For Line On Uart Test TRIVIAL0002 passed testerId=${sel4uart}
+ Wait For Line On Uart Test VSPACE0000 passed testerId=${sel4uart}
+ Wait For Line On Uart Test VSPACE0002 passed testerId=${sel4uart}
+ Wait For Line On Uart Test VSPACE0003 passed testerId=${sel4uart}
+ Wait For Line On Uart Test VSPACE0004 passed testerId=${sel4uart}
+ Wait For Line On Uart Test VSPACE0005 passed testerId=${sel4uart}
+ Wait For Line On Uart Test VSPACE0006 passed testerId=${sel4uart}
+# Wait For Line On Uart Test suite passed. 139 tests passed. 43 tests disabled. testerId=${sel4uart}
+# ${passed} ${disabled} = Wait For Line On Uart Test suite passed. (\\d+) tests passed. (\\d+) tests disabled. testerId=${sel4uart}
+ Wait For Line On Uart All is well in the universe testerId=${sel4uart}
