# Copyright 2024 Google LLC
#
# Licensed under the Apache License, Version 2.0 (the "License");
# you may not use this file except in compliance with the License.
# You may obtain a copy of the License at
#
#     https://www.apache.org/licenses/LICENSE-2.0
#
# Unless required by applicable law or agreed to in writing, software
# distributed under the License is distributed on an "AS IS" BASIS,
# WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
# See the License for the specific language governing permissions and
# limitations under the License.

*** Comments ***
Tests for sencha system from bootup to running the cheriot-rtos test suite.

*** Settings ***
Resource  resources/sencha.resource
Variables  variables/common.py
Variables  variables/${PLATFORM}_${BUILD_TYPE}.py

*** Test Cases ***
Test CHERIoT-RTOS Test Suite
    Prepare SailMachine
    Start Emulation
    Create Terminal Tester      ${SMC_UART}

    # Check only that test cases finish
    Wait For Line On Uart       Test runner: Checking that rel-ro caprelocs work
    Wait For Line On Uart       Test runner: MMIO finished
    Wait For Line On Uart       Test runner: Static sealing finished
    Wait For Line On Uart       Test runner: Crash recovery finished
    Wait For Line On Uart       Test runner: Compartment calls finished
    Wait For Line On Uart       Test runner: check_pointer finished
    Wait For Line On Uart       Test runner: Misc APIs finished
    Wait For Line On Uart       Test runner: Stacks exhaustion in the switcher finished
    Wait For Line On Uart       Test runner: Thread pool finished
    Wait For Line On Uart       Test runner: Global Constructors finished
    Wait For Line On Uart       Test runner: Queue finished
    Wait For Line On Uart       Test runner: Futex finished
    Wait For Line On Uart       Test runner: Locks finished
    Wait For Line On Uart       Test runner: Event groups finished
    Wait For Line On Uart       Test runner: Multiwaiter finished
    Wait For Line on Uart       Test runner: Allocator finished
    Wait For Line on Uart       Test runner: All tests finished