search

seL4 / sel4test

Test suite for seL4.
http://sel4.systems
Other
25 stars 63 forks source link

Analyze test case BREAKPOINT_002 for race conditions #43

Open axel-h opened 3 years ago

axel-h commented 3 years ago

https://github.com/seL4/seL4/pull/462 had a failure in BREAKPOINT_002 that seems completely unrelated to the changes in the PR, especially sicne the changes affect ARM and RISC-V only, but the test failed for PC99_release_gcc_32.

<testcase classname="sel4test" name="BREAKPOINT_002">
    <failure type="failure">
        result == SUCCESS 
        at line 291 of file /github/workspace/projects/sel4test/apps/sel4test-driver/src/testtypes.c
    </failure>
    <error>
        result == SUCCESS 
        at line 217 of file /github/workspace/projects/sel4test/apps/sel4test-driver/src/main.c
    </error>
</testcase>

Analysze BREAKPOINT_002 for potential race conditions.