diff options
| author | Calvin Morrison <calvin@pobox.com> | 2026-08-19 10:57:54 -0400 |
|---|---|---|
| committer | Calvin Morrison <calvin@pobox.com> | 2026-08-19 10:57:54 -0400 |
| commit | 5bf7e1f5ea541af3275e287939485fa2b4149e2c (patch) | |
| tree | 32eddedf31589371ebc1e82f959624b8a9e9163f /svc/lib/cs | |
| parent | f05383bb3447f7fbd44c9051c4e273caeb33352f (diff) | |
test: the log is not this run's, so do not ask it for a total
The suite failed on the second run of a pair, on the two checks that
read /sys/log/fw:
FAIL a denied connection is logged, with the rule that said so
want: 1 got: 2
Not a firewall bug. The checks counted matching lines in the whole
log, on the stated grounds that "the port is this run's, so the whole
file can be searched". The port is 17000 + pid%900 and /sys/log/fw
keeps every run there has ever been, so the port is this run's only
until two runs pick the same one. Thirty entries over nine hundred
ports is a two-in-five chance of a collision, and there it was:
ports that appear more than once:
2 17538
So they are differences now, like the fragment count and the listen
log before them. That is three checks in this suite that have had to
learn the same thing: a check that reads a file which outlives the run
must read it twice and subtract, because every other reading is a
measurement of the machine's history.
Verified passing; the stronger proof -- poisoning the log with a line
for every port the suite can pick, so the collision is certain rather
than likely -- did not finish, because the VM it was running on was
shut down partway through.
Co-Authored-By: Claude Opus 5 <noreply@anthropic.com>
Diffstat (limited to 'svc/lib/cs')
0 files changed, 0 insertions, 0 deletions
