schedcontext: Disable SCHED_CONTEXT_0012

seL4 / sel4test

Test suite for seL4.

http://sel4.systems

Other

25 stars 63 forks source link

schedcontext: Disable SCHED_CONTEXT_0012 #36

Closed nomadeel closed 3 years ago

nomadeel commented 3 years ago

This test was re-enabled following a fix to the test conditional guards. However upon further investigation, the test was found to be old and was testing an old implementation of the MCS scheduler. For now, this test is disabled pending a decision to remove or update it.

Signed-off-by: Damon Lee Damon.Lee@data61.csiro.au

pingerino commented 3 years ago

Is it possible to fix the test rather than disable? I believe the new behaviour is that the client shouldn't return as it never gets the SC back.

nomadeel commented 3 years ago

Yeah that's the case. I need to figure out how to test that though.

nomadeel commented 3 years ago

Well, I figured out how to test it properly, closing this.