seL4Test

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

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
Simulation (armv7a, gcc)	12m 29s
Simulation (armv7a, clang)	12m 18s
Simulation (armv8a, gcc)	3m 41s
Simulation (armv8a, clang)	3m 56s
Simulation (nehalem, gcc)	7m 26s
Simulation (nehalem, clang)	8m 31s
Simulation (rv32imac, gcc)	4m 52s
Simulation (rv32imac, clang)	9m 11s
Simulation (rv64imac, gcc)	5m 38s
Simulation (rv64imac, clang)	7m 42s
	1h 15m 44s