From b7bce1f50d87db7c5849510adae6b58d00e29b59 Mon Sep 17 00:00:00 2001 From: Gerwin Klein Date: Thu, 15 Jun 2023 20:19:44 +1000 Subject: [PATCH] SCHED0014: fix misleading comment The budgets in test SCHED0014 are the same, the periods are different (in relation 1/2/8), and we're checking that the kernel achieves that period relation in scheduling. Signed-off-by: Gerwin Klein --- apps/sel4test-tests/src/tests/scheduler.c | 6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) diff --git a/apps/sel4test-tests/src/tests/scheduler.c b/apps/sel4test-tests/src/tests/scheduler.c index 29b273ee..3e6dcd83 100644 --- a/apps/sel4test-tests/src/tests/scheduler.c +++ b/apps/sel4test-tests/src/tests/scheduler.c @@ -1113,9 +1113,9 @@ DEFINE_TEST(SCHED0013, "Test two periodic threads", test_two_periodic_threads, int test_ordering_periodic_threads(env_t env) { /* - * Set up 3 periodic threads with different budgets. - * All 3 threads increment global counters, - * check their increments are inline with their budgets. + * Set up 3 periodic threads with same budget and different periods. + * All 3 threads increment global counters. + * We check that their increments are in line with their budgets. */ const int num_threads = 3;