Closed lsf37 closed 1 year ago
We are currently not running any tests with NUM_DOMAINS > 1 and the defaults in sel4test lead to extremely slow test execution.
This PR picks nicer defaults:
This should enable faster tests even under simulation.
This PR is a prerequisite for seL4/ci-actions#248.
@robs-cse this should be close to the values you used in your test run. Does this look overall reasonable?
We are currently not running any tests with NUM_DOMAINS > 1 and the defaults in sel4test lead to extremely slow test execution.
This PR picks nicer defaults:
This should enable faster tests even under simulation.
This PR is a prerequisite for seL4/ci-actions#248.