Skip to content
seL4Test

Add tests for all of the ARM cache operations on all kinds of frame mappings. #190

Sign in to view logs

Add tests for all of the ARM cache operations on all kinds of frame mappings.

Add tests for all of the ARM cache operations on all kinds of frame mappings. #190

Triggered via pull request June 16, 2024 11:16
@Ivan-VelickovicIvan-Velickovic
synchronize #94
Ivan-Velickovic:arm_invalidate_test
Status Cancelled
Total duration 1m 32s
Artifacts –

sel4test-sim.yml

on: pull_request
Matrix: Simulation
Fit to window
Zoom out
Zoom in

Annotations

20 errors
Simulation (armv8a, gcc)
Canceling since a higher priority waiting request for 'seL4Test-pr-94' exists
Simulation (armv8a, clang)
Canceling since a higher priority waiting request for 'seL4Test-pr-94' exists
Simulation (armv8a, gcc)
The operation was canceled.
Simulation (armv8a, clang)
The operation was canceled.
Simulation (rv64imac, clang)
Canceling since a higher priority waiting request for 'seL4Test-pr-94' exists
Simulation (rv64imac, clang)
The operation was canceled.
Simulation (armv7a, gcc)
Canceling since a higher priority waiting request for 'seL4Test-pr-94' exists
Simulation (armv7a, gcc)
The operation was canceled.
Simulation (rv32imac, gcc)
Canceling since a higher priority waiting request for 'seL4Test-pr-94' exists
Simulation (rv32imac, gcc)
The operation was canceled.
Simulation (nehalem, gcc)
Canceling since a higher priority waiting request for 'seL4Test-pr-94' exists
Simulation (nehalem, gcc)
The operation was canceled.
Simulation (armv7a, clang)
Canceling since a higher priority waiting request for 'seL4Test-pr-94' exists
Simulation (armv7a, clang)
The operation was canceled.
Simulation (rv64imac, gcc)
Canceling since a higher priority waiting request for 'seL4Test-pr-94' exists
Simulation (rv32imac, clang)
Canceling since a higher priority waiting request for 'seL4Test-pr-94' exists
Simulation (rv64imac, gcc)
The operation was canceled.
Simulation (rv32imac, clang)
The operation was canceled.
Simulation (nehalem, clang)
Canceling since a higher priority waiting request for 'seL4Test-pr-94' exists
Simulation (nehalem, clang)
The operation was canceled.