Skip to content

Conversation

@Indanz
Copy link
Contributor

@Indanz Indanz commented Aug 12, 2025

It is very timing sensitive and relies on non-guaranteed ordering of timeout faults. In Qemu it faults about 1 in 10 times for me.

Proper long-term fix is to make the test more robust by not assuming ordering of faults, but that requires rewriting a lot of the test code.

Copy link
Member

@lsf37 lsf37 left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Looks good from my side. (Style failure still to fix up)

It is very timing sensitive and relies on non-guaranteed ordering
of timeout faults. In Qemu it faults about 1 in 10 times for me.

Proper long-term fix is to make the test more robust by not assuming
ordering of faults, but that requires rewriting a lot of the test code.

Signed-off-by: Indan Zupancic <[email protected]>
@Indanz Indanz merged commit 827af38 into seL4:master Aug 12, 2025
23 of 24 checks passed
@Indanz Indanz deleted the TIMEOUTFAULT0003 branch August 12, 2025 16:24
@Indanz
Copy link
Contributor Author

Indanz commented Aug 12, 2025

I swear I saw the style check pass when I hit the merge button, but now it complains about:

 DEFINE_TEST(TIMEOUTFAULT0003, "Nested timeout fault", test_timeout_fault_nested_servers,
-            config_set(CONFIG_KERNEL_MCS) && !config_set(CONFIG_SIMULATION))
+            config_set(CONFIG_KERNEL_MCS)&& !config_set(CONFIG_SIMULATION))

Apologies. :-(

@lsf37
Copy link
Member

lsf37 commented Aug 12, 2025

No worries, we can fix it next time. This is one of the cases where astyle sucks, actually. We should probably move to clang-format longer term, but we currently have enough style chaos with cmake for now I think.

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants