test-clock - #1773

Draft

daniel-noland wants to merge 18 commits into

pr/daniel-noland/config-algebrafrom

pr/daniel-noland/driven-clock

Commits on Aug 28, 2026

feat(clock): Give a test one clock, and refuse a read from any other

daniel-noland
and
claude
committed
ffa49db
build(semgrep): Refuse a clock read from a Drop implementation

daniel-noland
and
claude
committed
1102eb6
feat(tracectl): Stamp a log line with the clock the code is reading

daniel-noland
and
claude
committed
cf92e61
feat(dataplane): Let a drawn schedule age a generated configuration

daniel-noland
and
claude
committed
a7b39e1
feat(clock): Inherit the driven clock across thread spawns

daniel-noland
and
claude
committed
8294188
fix(dataplane): Drive the runtime a fuzz property spawns timers on

daniel-noland
and
claude
committed
c91de1e
fix(nat): Let the nat properties be fuzzed at all

daniel-noland
and
claude
committed
cd36e26
build(just): Compare the sanitizer that is used, not the one that is named

daniel-noland
and
claude
committed
7e93824
fix(net): Take the flow-info properties out of the closure that hid them

daniel-noland
and
claude
committed
174ec12
build: Ask for the bolero feature the fuzz engine actually calls

daniel-noland
and
claude
committed
980cda0
fix(net): Give each split shard a fuzz target of its own

daniel-noland
and
claude
committed
52f86aa
fix: Give every remaining shared fuzz driver a target name per test

daniel-noland
and
claude
committed
02217f0
build(just): Give a fuzz build the flags it was silently losing

daniel-noland
and
claude
committed
34b9deb
build: Make instrumentation an axis rather than a profile

daniel-noland
and
claude
committed
474bf58
build: Make a fuzz-instrumented sysroot buildable

daniel-noland
and
claude
committed
ebfaee1
fix(clock): Count the worlds a thread is in, not whether it is in one

daniel-noland
and
claude
committed
b42937f
fix(concurrency): Drop two imports nothing uses any more

daniel-noland
and
claude
committed
076a183
style(clock,nat,net,dataplane): Settle the sync facade for opengrep here too
daniel-noland
committed
dda153d

Navigation Menu

Uh oh!

test-clock - #1773

test-clock#1773
daniel-noland wants to merge 18 commits into
pr/daniel-noland/config-algebrafrom
pr/daniel-noland/driven-clock

Commits on Aug 28, 2026

feat(clock): Give a test one clock, and refuse a read from any other

build(semgrep): Refuse a clock read from a Drop implementation

feat(tracectl): Stamp a log line with the clock the code is reading

feat(dataplane): Let a drawn schedule age a generated configuration

feat(clock): Inherit the driven clock across thread spawns

fix(dataplane): Drive the runtime a fuzz property spawns timers on

fix(nat): Let the nat properties be fuzzed at all

build(just): Compare the sanitizer that is used, not the one that is named

fix(net): Take the flow-info properties out of the closure that hid them

build: Ask for the bolero feature the fuzz engine actually calls

fix(net): Give each split shard a fuzz target of its own

fix: Give every remaining shared fuzz driver a target name per test

build(just): Give a fuzz build the flags it was silently losing

build: Make instrumentation an axis rather than a profile

build: Make a fuzz-instrumented sysroot buildable

fix(clock): Count the worlds a thread is in, not whether it is in one

fix(concurrency): Drop two imports nothing uses any more

style(clock,nat,net,dataplane): Settle the sync facade for opengrep here too