Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

Analyze test case BREAKPOINT_002 for race conditions #43

Open
axel-h opened this issue Jul 25, 2021 · 0 comments
Open

Analyze test case BREAKPOINT_002 for race conditions #43

axel-h opened this issue Jul 25, 2021 · 0 comments
Labels
help wanted

Comments

@axel-h
Copy link
Member

axel-h commented Jul 25, 2021

seL4/seL4#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.
@axel-h axel-h mentioned this issue Jul 25, 2021
Closed
lsf37 added a commit that referenced this issue Aug 21, 2021
@lsf37
switch off tests that are flaky under simulation
e39d33e 
These are currently BREAKPOINT_002 and SCHED0021. The corresponding
issues #43 and #42 remain open, and when resolved positively, these
tests should be enabled again for simulation runs.

Signed-off-by: Gerwin Klein <[email protected]>
@lsf37 lsf37 mentioned this issue Aug 21, 2021
Merged
lsf37 added a commit that referenced this issue Aug 21, 2021
@lsf37
switch off tests that are flaky under simulation
ad4695f 
These are currently BREAKPOINT_002 and SCHED0021. The corresponding
issues #43 and #42 remain open, and when resolved positively, these
tests should be enabled again for simulation runs.

Signed-off-by: Gerwin Klein <[email protected]>
lsf37 added a commit that referenced this issue Aug 21, 2021
@lsf37
switch off tests that are flaky under simulation
e9cd00b 
These are currently BREAKPOINT_002 and SCHED0021. The corresponding
issues #43 and #42 remain open, and when resolved positively, these
tests should be enabled again for simulation runs.

Signed-off-by: Gerwin Klein <[email protected]>
lsf37 added a commit that referenced this issue Aug 23, 2021
@lsf37
switch off tests that are flaky under simulation
df1f1df 
These are currently BREAKPOINT_002 and SCHED0021. The corresponding
issues #43 and #42 remain open, and when resolved positively, these
tests should be enabled again for simulation runs.

Signed-off-by: Gerwin Klein <[email protected]>
lsf37 added a commit that referenced this issue Aug 23, 2021
@lsf37
switch off tests that are flaky under simulation
a9d3d68 
These are currently BREAKPOINT_002 and SCHED0021. The corresponding
issues #43 and #42 remain open, and when resolved positively, these
tests should be enabled again for simulation runs.

Signed-off-by: Gerwin Klein <[email protected]>
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees
No one assigned
Labels
help wanted
Projects
None yet
Milestone
No milestone
Development

No branches or pull requests
1 participant
@axel-h