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

pc99: SCHED0011 sometimes times out #93

Open
lsf37 opened this issue May 9, 2023 · 0 comments
Open

pc99: SCHED0011 sometimes times out #93

lsf37 opened this issue May 9, 2023 · 0 comments

Comments

@lsf37
Copy link
Member

lsf37 commented May 9, 2023 •
edited
Loading

In this run: https://github.com/seL4/util_libs/actions/runs/4920068732/jobs/8789972531?pr=156#step:4:3957 we're getting:

Tue, 09 May 2023 02:21:49 GMT  Test SCHED0010 passed
Tue, 09 May 2023 02:21:49 GMT  </testcase>
Tue, 09 May 2023 02:21:49 GMT  <testcase classname="sel4test" name="SCHED0011">
Tue, 09 May 2023 02:21:49 GMT  Running test SCHED0011 (Test scheduler accuracy)
Tue, 09 May 2023 02:36:11 GMT
Tue, 09 May 2023 02:36:11 GMT  [[Timeout]]
Tue, 09 May 2023 02:36:11 GMT  None
Tue, 09 May 2023 02:36:12 GMT  
Tue, 09 May 2023 02:36:12 GMT  console_run returned -1
Tue, 09 May 2023 02:36:12 GMT  Shutting down haswell4

Note the 15min passing between start of SCHED011 and the timeout.

The failing config was PC99_debug_MCS_clang_32
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees
No one assigned
Labels
None yet
Projects
None yet
Milestone
No milestone
Development

No branches or pull requests
1 participant
@lsf37