055 segmenter fuzz property

✓ Passing This code compiles and runs correctly.

Code

input.k

Supporting Files

reslib/fuzz.kz
reslib/res.kz

Actual

200 rounds: fingerprint 564 over 200
[BRIDGE] Invoked 'release' for handle 'h:Res:65cc44' [reslib.res:opened]
[BRIDGE] Invoked 'release' for handle 'h:Res:ef1487' [reslib.res:opened]
[BRIDGE] Invoked 'release' for handle 'h:Res:8653b5' [reslib.res:opened]
[BRIDGE] Invoked 'release' for handle 'h:Res:b09233' [reslib.res:opened]

Expected patterns

Each line is a regex that must match the program output.

^200 rounds: fingerprint 564 over 200$
\[BRIDGE\] Invoked 'release' for handle 'h:Res:[0-9a-f]{6}' \[reslib\.res:opened\]

Flows

flow ~register click a branch to expand · @labels scroll to their anchor
register (scope: "res", source: reslib.res:mint -> mint(1) reslib.res:grab -> grab(1) reslib.res:release -> release(1))
subflow ~round click a branch to expand · @labels scroll to their anchor
fuzz (seed)
flow ~create click a branch to expand · @labels scroll to their anchor
create (id: "fz", scope: "res")

Test Configuration

MUST_RUN

koru.json:

Post-validation Script: