[google/syzkaller] 50faec: pkg/aflow: add robust monotonic timing primitives ...

[Alexander Potapenko]

Branch: refs/heads/gh-readonly-queue/master/pr-7320-0909d65fc692e54fa1900b68b476e89207bc7f34
Home: https://github.com/google/syzkaller
Commit: 50faec11fe42983be46948ee49a83acc5e1d9844
https://github.com/google/syzkaller/commit/50faec11fe42983be46948ee49a83acc5e1d9844
Author: Alexander Potapenko <gli...@google.com>
Date: 2026-05-20 (Wed, 20 May 2026)

Changed paths:
M pkg/aflow/tool/toolkit/race_toolkit.h
M pkg/aflow/tool/toolkit/testdata/toolkit_functional_test.c

Log Message:
-----------
pkg/aflow: add robust monotonic timing primitives to race toolkit

Add TIMER_START and TIMER_NOT_EXPIRED macros to race_toolkit.h.
These macros use CLOCK_MONOTONIC instead of time(NULL) to avoid unreliable
timing behavior, clock drift, or failure in minimal VM test environments.

Also added functional tests in toolkit_functional_test.c to verify the
compilation and execution of the new timer macros.


Commit: 270d7aa3623b0914c4d213d16e1dbfa3a5c20b22
https://github.com/google/syzkaller/commit/270d7aa3623b0914c4d213d16e1dbfa3a5c20b22
Author: Alexander Potapenko <gli...@google.com>
Date: 2026-05-20 (Wed, 20 May 2026)

Changed paths:
M pkg/aflow/flow/reproc/reproc.go

Log Message:
-----------
pkg/aflow: bump maximum workflow iterations to 20 for c-repro

Increase MaxIterations from 10 to 20 in the c-repro pipeline.
This allows the agent more attempts to refine its reproduction strategy
and C code candidates, which is particularly helpful for complex races
that require multiple incremental evolution steps.


Compare: https://github.com/google/syzkaller/compare/50faec11fe42%5E...270d7aa3623b

To unsubscribe from these emails, change your notification settings at https://github.com/google/syzkaller/settings/notifications

[Alexander Potapenko]

Branch: refs/heads/master

Compare: https://github.com/google/syzkaller/compare/0909d65fc692...270d7aa3623b