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 <[email protected]>
seL4 · Jun 19, 2023 · b7bce1f · b7bce1f
1 parent c9d077c
commit b7bce1f
Showing 1 changed file with 3 additions and 3 deletions.
diff --git 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;