SCHED0021: allow for simulation tests again

Since e7d9607 reduced the chance of hitting the race condition, this test might be suitable for simulation again. Signed-off-by: Gerwin Klein <[email protected]>
seL4 · Oct 28, 2023 · 9488500 · 9488500
1 parent e7d9607
commit 9488500
Showing 1 changed file with 1 addition and 2 deletions.
diff --git a/apps/sel4test-tests/src/tests/scheduler.c b/apps/sel4test-tests/src/tests/scheduler.c
@@ -1642,8 +1642,7 @@ static int test_simple_preempt(struct env *env)
 }
 /* This test is flaky under simulation. Probably a race condition that only
    comes out under simulator timing conditions. See also #42  */
-DEFINE_TEST(SCHED0021, "Test for pre-emption during running of many threads with equal prio", test_simple_preempt,
-            !config_set(CONFIG_SIMULATION));
+DEFINE_TEST(SCHED0021, "Test for pre-emption during running of many threads with equal prio", test_simple_preempt, true);
 
 int sched0022_to_fn(struct env *env, helper_thread_t *thread, seL4_CPtr ep)
 {